魂の生命の領域

ラムダ項 チャーチ数 演算 PLUS を使わない演算 掛け算 累乗 Python で試す 参考 プログラム意味論の基礎(サイエンス社)[小林 直樹・住井 英二郎] を読んでいて、いくつかメモを残したくなったのでメモを残す（メモを残したくなったため）。 ラムダ項 M ::= x | λx.M | M1 M2 x : 変数を表すメタ変数（関数でもいい） λx.M…