表記のような計算はまったく触れないことにした（http://d.hatena.ne.jp/m-hiyama/20090109/1231481303参照）。が、ネタは考えていたので後日の為列挙しておく。 λ(f, g).λx.g(fx) 合成 λx.λy.λz.x(yz) 同じく合成 チャーチの数と掛け算（足し算は難しすぎ）…

Tクリップファイル ￥630 コクヨ クリップホルダー ￥966

本編のhttp://d.hatena.ne.jp/m-hiyama/20070813/1186984585 「圏論的指数の周辺：ラムダ計算、デカルト閉圏、ノイマン型コンピュータ」とか、http://d.hatena.ne.jp/m-hiyama/20070816/1187250855「圏論的指数の定義」とかで述べているが、「fのラムダ抽象f…

土曜日の目標を、ベータ変換だけでなくイータ変換までにしようかと、もし可能ならだが。ガンマオペレーション＝脱抽象が、ラムダオベレーション＝抽象の逆であることを理解する。背景となる意味的な法則は： Exec(λt.(φ・t), a) = Exec(φ, a) である。ここで…