このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

ひたすら記号計算としてのラムダ計算

セミナー

表記のような計算はまったく触れないことにした（http://d.hatena.ne.jp/m-hiyama/20090109/1231481303参照）。が、ネタは考えていたので後日の為列挙しておく。

  1. λ(f, g).λx.g(fx) 合成
  2. λx.λy.λz.x(yz) 同じく合成
  3. チャーチの数と掛け算（足し算は難しすぎ）
  4. SKK = I の話
  5. spl = (λx.xx)(λx.xx)
  6. (λab.b) spl I
  7. W = λh.f(hh), Y = λf.WW 不動点演算子
  8. True = λxy.x, False = λxy.y
  9. IfThenElse L M N = (LM)N = LMN