食べ残し

日付が変わってからλ計算のレポートを書き始める。α-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