2015-04-23 ものまね鳥をまねる ざっと読み(解き)終えて思ったこと。超よい本でした。 スマリヤンはやはり手品師です。こんな解った気にさせてくれる本はめったないです。この本で直接書かれてる訳ではないけど、クイズのような問題で手を動かしていると以下のようなことが解ったような感じになれます。 コンビネータ論理 ラムダ計算 Yコンビネータ クワイン(自己出力プログラム) ポイントフリースタイル 不完全性定理 日本語訳は誤植も多かったですが、原典版もKindleで買えます。