G. J. Chaitin

セクシーな数学―ゲーデルから芸術・科学まで

高校生の終わりぐらいの時にこの本を読んでなかなか面白かったのを覚えていたのだが、著者であるG. J. Chaitinの名前を「Modern Compiler Implement in ML」の「Bibliography」で見付けてハッとした。「Register allocation via coloring」ですか。ははぁ。

内容とは全然関係無いが、この本はid:Ririkaが言及していて読んだのを2年越しに思い出した。なかなか楽しい議論を繰り広げていたと記憶していたのだが、気づいたら日記が消えていたっけか。残念。