日付が変わってからλ計算のレポートを書き始める。α-conversionとβ-reductionまでは書いてあったので、そこからごにょごにょ。一番手間取ったのはこいつの入力↓ (define IFACT `(lmd n ((((n (lmd d (lmd x (lmd y *1 (,PRED y)))))) (lmd x (lmd y x))) ,ON…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。