【普通のやつらの】 Arc Language 0 【上を行け】at TECH【普通のやつらの】 Arc Language 0 【上を行け】 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト200:デフォルトの名無しさん 08/04/09 00:20:32 Σ(´д` ). 201:デフォルトの名無しさん 08/04/10 23:24:33 相互再帰たらいまわし (= 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))))))) 202:デフォルトの名無しさん 08/04/22 20:44:47 直接貼ると見づらいが、リンクするのも微妙だし、なんとかならんのか 203:デフォルトの名無しさん 08/04/22 22:14:44 >>201 どうなってるんだｿﾚ 204:デフォルトの名無しさん 08/04/22 23:05:29 ふつうの定義。超遅い。竹内関数とも呼ばれる。 (= tarai (fn (x y z) (if (<= x y) y (tarai (tarai (- x 1) y z) (tarai (- y 1) z x) (tarai (- z 1) x y))))) #これコピペすると が鬱陶しい Y*は2変数ならこうなる ((Y* f g) h) => (h ((Y* f g) f) ((Y* f g) g)) 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch