2005-01-10 食べ残し 日付が変わってからλ計算のレポートを書き始める。α-conversionとβ-reductionまでは書いてあったので、そこからごにょごにょ。一番手間取ったのはこいつの入力↓ (define IFACT `(lmd n ((((n (lmd d (lmd x (lmd y *1 (,PRED y)))))) (lmd x (lmd y x))) ,ONE) n))) 恥ずかしくて人には言えないほどの実行速度です… *1:d ((,TIMES x) y