「この解き方、面白いですねえ。」 「その生徒はなかなか面白いやつで、たまにこういう原石のきらめきを感じる。中二からモデルやってるそうだ。」 「その割には数学できませんね。」

モデルは神の似姿だと思うのですよ。 complete theory は有限の能力では扱えない神だが、それら全体を考えてからその元を考えることで、このような神がいるようだという議論はできる。

「「心の影」の革命的な新主張」という文が「21世紀を動かす心とコンピュータのサイエンス」ペンローズの量子脳理論にあった。 竹内薫さんと茂木健一郎さんが解説を書いている本である。まず、茂木さんの意見をいくつか引用しておこう。 私は、生物学的常識…

http://d.hatena.ne.jp/smoking186/20071205/ ねえ、きみ。それにしても、こんどの小さな事件でもわかったんだが、世の中のいざこざは、悪意や策謀から起こるというよりは、むしろ誤解や怠慢から起こるのではないだろうか。少なくとも、悪意や策謀なんて場合…

好きな自殺の方法 イゾルテ 好きな自殺の理由 藤村操 藤村操は華厳の滝に飛び込んだ一高生。後追い自殺が多かったことで有名。自殺理由は「人生不可解」。 イゾルテは、自分の意志で死んだ状態になることを決意し、意志の力だけで死ぬ。

そう、それでペンローズの「不完全性定理を利用した強いAI論への反駁」の何が問題なのかをようやく理解したもののこれを説明するのは大変だ。 「到達不可能基数の存在は ZFC から独立である」 これは論理学の専門家でもよく勘違いしてしまう誤りです。という…

グレッグイーガンの「ひとりっ子」に「それが事実だという理論をひとつ、そっくり考えだしました。"魂"は量子不確定性を利用して物理法則になにも違反することなく、人が生きているあいだは体を動かし、死後は生者に意思を伝えられるのだと。科学に興味を持…

EVA をみて、ノートパソコンが10年前のものだということに人の想像力の限界を感じた。「たったひとつの冴えたやりかた」を読んで、SF のギミックに人の能力の限界を感じた。 受け取り手にも限界があるのもあるのだと思う。 なんていうんだろう。結局、記号の…

非常によい本だった。是非読んでおきたい。 大学教授になるころには、もともとあった科学への情熱を失う*1といったアカデミックの嫌らしさすら書いてある。 難点としては、研究者として彼が直接見たことしか書いていない。 ただ、いままでにそういう本がどれ…

「圏論による論理学 高階論理とトポス」を読んだ。 lambda の = という概念が primitive に入っているがそれが強力すぎるのが気にかかる。 Bool 演算が自然に構築できるとして T := (\x -> x = \x -> x) F := (\x -> x = \x -> T) として話をするのだが。 う…

だいぶ前に藤原正彦の国家の品格読んだんですよ。 10〜15世紀なんて欧州は未開もいところで、その証拠に欧州の文学が三つ上げられる日本人なんて文学に詳しくないといないだろう、メジャーなのカンタベリー物語くらいしかない、とあったので反射的にあげたの…

彼氏と彼女という言葉について「20歳程度の極めて新しい語だ」と述べたところ勘違いじゃないかといわれた。こういうときには知り合いに聞く。高校同期で言語学(?)に詳しいのがいた気がすると。 許可を得て転載。 恋人という意味での、彼氏／彼女という言葉が…

この春、慶応義塾は安西塾長のもとで二期八年目、来年には選挙だ。 安西塾長は、薬科大学の併合や小中一貫校の創設と拡大路線をとってきた。 これには非常に金銭がかかるので、母体となっている理工学部でさえ安西おろしの風が吹いていると聞く。 同じく理工…

そういえば、入る前から修士号なんてあってもなあ、と思っていたことを思い出させてもらった。

ある人とのメール call/cc を使って > (a) 0 > (a) 1 > (a) 2 > (a) 3となるような Scheme コードが作れるかに興味がわいたのだけれども、 できれば、! を使わずに define だけでいきたいんだが書けると思う? > (a) 0 > a 1にも興味が

いつぞや、情報の技能が高い人たちが、ポインタは難しいっていうけれども プログラミングを始めたときにまず躓くところって遥かにもっと手前だよねと話していた。 二重ループが分からんかった。 文字列概念。 代入。 えっと、僕が同列に発言していいのかは分…

物工の人と会い、就職活動をすると時間に余裕ができる、ということで合意した。ものを考える時間が欲しい。いい就職に興味はないのだが、それだけのためにもう少しやればよかった。二週間に一回程度しかコードを書き換えないなどの技が必要か。

横浜市営地下鉄4号線グリーンラインが開業した。 これで日吉へ一本で出られるようになる。20年と少し前、「4号線ができるからここに家を構えることにしたのです」 と私の両親に告げた慶應大学の吉田和夫教授が急逝したのは開業の十日と一日前であった。