id:hargが会社で「Lispとか知らないくせに文句言うな」とか言いやがったのでいろいろと調べてみる。
#スルー力足りねーーー
特にココらへん
[日常] 計算論とかラムダとか
http://d.hatena.ne.jp/harg/20061223/1166893797
で、調べてみると面白げなエントリを発見。
檜山正幸のキマイラ飼育記 - プログラマのための「ゲーデルの不完全性定理」(1)
http://d.hatena.ne.jp/m-hiyama/20060104/1136328998
檜山正幸のキマイラ飼育記 - プログラマのための「ゲーデルの不完全性定理」(2):速攻速習編
#"アルゴリズム的に行為する限り"とあるが、じゃあ、アルゴリズム的に行為しないというのはどういうことなのだろう? 量子論的な感じかな?
http://d.hatena.ne.jp/m-hiyama/20060110/1136843110
檜山正幸のキマイラ飼育記 - プログラマのための「ゲーデルの不完全性定理」(3):自己適用からゲーデル化へ
http://d.hatena.ne.jp/m-hiyama/20060117/1137469335
おおおおお。おもすれーーーー。プログラマは是非読むべし。
あとはラムダ計算についてとりあえず
ラムダ計算 - Wikipedia
http://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%A0%E3%83%80%E8%A8%88%E7%AE%97
だいたい分かったのだけど、ラムダ式の読み方がいまいち理解しきれていない。
さて、早速何か書いてみますかね。