ただ（型なし）ラムダ計算を用いて形式的に記述してゆくだけの遊びです。 言語はSchemeを選択しました。（途中までPythonを使っていたのは秘密） (define true (lambda (x y) x)) (define false (lambda (x y) y)) (define if_ (lambda (p x y) (p x y))) ;;…

コンビネータとは自由変数を含まないλ項のことをいいますが、Yコンビネータ以外あまり取り上げられていない気がするのですが、これも100年に1度の金融危機の影響かとか、WBC楽しみですねだとか、そういえば今年雪祭り行けなかったんですよとか、最近携帯変え…

国立情報学研究所の先生が型付きラムダ計算についての難問を解決したそうで。未解決問題22問のリストがあって、このリスト中の問題解決は世界初だって。スゲー！ http://d.hatena.ne.jp/siokoshou/20080618#p1 すげー！ 問題そのものを解いたのは去年みたい…

λ入口メモλ計算 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計算モデルの…