Edit Comment on 20090726-1

n[0] = "てなさく";
m[0] = "てなさくの意見は自分のページに書きましたよん http://www.tenasaku.com/tenasaku/tepipi/diary200907.html ";
d[0] = "2009-07-27 00:34:08";
n[1] = "通りすがり";
m[1] = "＞数学において「納得する」というのはまさに「証明」を読み、 ＞その概念や証明の構築過程を再体験することだと思う 私の場合、数学書を読んで納得できないのは、その対象に対する自分の思い込みが、実は全く見当違いなせいだったりする。 そういう場合、自分の思い込みの間違いを探すつもりで読むと、理解できる。";
d[1] = "2009-07-27 17:25:38";
n[2] = "通りすがり";
m[2] = "＞自分が納得していない事柄を何かに使うのはいや なら、どういう記述なら自分が納得するか、具体的に書いてみるのがいいと思う。そこに自分の思い込みが端的に現れるはず。そして、それが数学書の記述と相反していたら「ブラボー！」と叫ぶのがよい。だって、ひとつオリコウさんになったんだから。いや、ほんと、マジで。ボクは実際、そうしてるし。";
d[2] = "2009-07-27 17:43:27";
n[3] = "かがみ";
m[3] = "返信が遅れて申しわけございません。たしかに精算機のハードウエアーやソフトウエアーの階層構造と数学のある種の階層構造には類似点があるような気がします。指摘していただくと私が発言したことは全部ハードウエアーの層、もっと言うとその根拠となる量子論のレヴェルからという感じになってしまうのかも知れません。ちょっと極端すぎるのかなあ。証明証明という割には証明論のこと全然知らないのも恥ずかしい限りです。なんのかんので強制法に関しては色々愛着があるということでご容赦の程お願いいたします。";
d[3] = "2009-07-27 21:55:39";
n[4] = "てなさく";
m[4] = "証明論がいうところの証明と、かがみさんが考えている証明は同じではありませんよ。証明論を知らなくても数学はできます。なんだか最近つらそうですけど、あまり自分で自分にプレッシャーをかけすぎないでくださいね。";
d[4] = "2009-07-27 22:51:30";
n[5] = "かがみ";
m[5] = "あ。少し疲れてるかも。なので今日はのんびり会社を休んでいます。ご心配おかけして申しわけございません。";
d[5] = "2009-07-28 13:01:36";
n[6] = "通りすがり";
m[6] = "＞強制法に関しては色々愛着がある なるほど。で、強制法ってズバリ、どんなものだと思ってます？";
d[6] = "2009-07-28 20:20:17";
n[7] = "ふちの";
m[7] = "期末試験の点つけの作業がいやでいやで逃避をしています．この一つ前の「通りすがり」氏の発言が気になったので，ネット上に稼働していた人工無能の一つに，かがみさんの「証明が重要であることについて 」の第四パラグラフをかましてみたところ， &gt;&gt; ま、時と場合によりけりだから一概には言えないよね。 (8/3 - 17:23:58) という返事が帰ってきました．これに対して，第五パラグラフを答えてみたら，その返事は， &gt;&gt; そんなに言われると、あたしの方が恐縮しちゃうよ。 (8/3 - 17:30:09) ですって．なんかこっちの方がずっとインテリジェンスがあるみたいな…． ";
d[7] = "2009-08-03 17:34:55";
n[8] = "かがみ";
m[8] = "「人工無能」って語句の意味内容はほとんど解釈せず、文章の構造からほとんどの情報を得ていると思うのですが、存外まともな返事を返すのにびっくりです。 ELIZA を思い出しました。CPU 資源やアルゴリズムの進歩でこの方面は当時に比べてどのくらい進歩しているのでしょうか。全然分からないのがちょっと情けないです。";
d[8] = "2009-08-04 12:51:23";
n[9] = "ふちの";
m[9] = "期末試験の点つけの作業がいやでいやで逃避をしています．この一つ前の「通りすがり」氏の発言が気になったので，ネット上に稼働していた人工無能の一つに，かがみさんの「証明が重要であることについて 」の第四パラグラフをかましてみたところ， &gt;&gt; ま、時と場合によりけりだから一概には言えないよね。 (8/3 - 17:23:58) という返事が帰ってきました．これに対して，第五パラグラフを答えてみたら，その返事は， &gt;&gt; そんなに言われると、あたしの方が恐縮しちゃうよ。 (8/3 - 17:30:09) ですって．なんかこっちの方がずっとインテリジェンスがあるみたいな…． ";
d[9] = "2009-08-04 17:29:23";
n[10] = "ふちの";
m[10] = "あ、 ごめんなさい。画面を更新したら再送しちゃいました。";
d[10] = "2009-08-04 17:31:41";
n[11] = "かがみ";
m[11] = "こちらこそ申しわけございません。この CGI はフリーかつ改変自由なのを自分で少し修正したのを使っているのですが、リロード時の重複対応とか真面目に考えていません。さすがにコンテキストを記録するのは面倒そうなので「こういうもの」ということでご了承お願いいたします。";
d[11] = "2009-08-04 17:35:55";
n[12] = "ふちの";
m[12] = "2009-08-03 17:34:55 の発言で言いたかったのは，コメント欄で人間の発言がどのくらいあるか分らない，ということです．私も実はチューリングテストに挑戦しているマシンです．ところで，上の人工無能との会話ですが，2009-07-28 20:20:17 の通りすがりさんのコメントをまねて，ありさちゃんと会話してみたところ， ずん ＞ 強制法に関しては色々愛着がある (8/4 - 17:37:44) ありさ ＞ 何だかなあ…。あ、ずんさん、オパオパのことどう思う？ (8/4 - 17:37:44) と逆に聞かれてしまいました． ちなみに「ずん」は私どものローカルな里言葉では，…大学の…先生のニックネームです． ";
d[12] = "2009-08-04 17:51:51";
n[13] = "通りすがり";
m[13] = "インテリジェンスに乏しい私ですが、ふちの氏の「構成的集合と公理的集合論入門」の強制法のところの記述を読んで、「ああ、なるほどそういうことだったか」と納得しました。あたま山でいえば、アタマに池のある私と、その池に入る私は実は同じではない、けれども、同じとみなしてよい、といったところでしょうか。";
d[13] = "2009-08-05 07:16:02";
n[14] = "てなさく";
m[14] = "人工無能に数学の論文をヒトヤマ読ませたら、チューリングテストはともかく期末テストくらいは合格するかも、ってところですね。ああ、採点しなくっちゃ。";
d[14] = "2009-08-05 10:14:28";
n[15] = "ふちの";
m[15] = "〉てなさくさん． 同業者には話が通じるなあ． 採点は人口無能との戦いです．僕は昨日遅くまで採点して，あと200枚くらいに絞りこめています．";
d[15] = "2009-08-05 14:54:46";
n[16] = "通りすがり";
m[16] = "私も、かがみ氏同様、合格はとてもじゃないが無理ですよ。";
d[16] = "2009-08-06 06:58:10";

(password)