λ入口メモλ計算 http://d.hatena.ne.jp/keyword/%A6%CB%B7%D7%BB%BB?kid=136136 ラムダ計算 http://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%A0%E3%83%80%E8%A8%88%E7%AE%97 ラムダ計算ABC http://members.at.infoseek.co.jp/nbz/ref/lambda.html計算モデルの…

Yコンビネータが良く分からない・・・。 ちょっと覗いてみただけですけどね。笑 λ計算を勉強するのはまだまだ先の予定。。。 ちなみにλ算法修行をLispを用いて行うのなら，Common LispよりSchemeがいいですね・・・。