【普通のやつらの】 Arc Language 0 【上を行け】

【普通のやつらの】 A ..

205:デフォルトの名無しさん
08/04/23 20:04:10
>>201を（´д`）Editで観易くするテスト

(= Y* ([_ _]
　　　[fn fs (fn (f) (fn xs (apply (apply f (map (apply (_ _) fs) fs)) xs)))]))

(= tarai
　　((fn (f g) ((Y* f g) f))
　　 (fn (f g)
　　　(fn (x y z)
　　　　(if (<= x y) y
　　　　　(g (f (- x 1) y z)
　　　　　　(f (- y 1) z x)
　　　　　　　(- z 1) x y))))
　　 (fn (f g)
　　　(fn (x y zx zy zz)
　　　　(if (<= x y) y
　　　　　(let z (f zx zy zz)
　　　　　　(f x y z)))))))

次ページ