Lisp Scheme Part19

1 名前：デフォルトの名無しさん mailto:sage [2008/01/14(月) 00:14:56 ] 過去スレ Part18: ttp://pc11.2ch.net/test/read.cgi/tech/1186922295/ Part17: ttp://pc11.2ch.net/test/read.cgi/tech/1177065699/ Part16: ttp://pc11.2ch.net/test/read.cgi/tech/1172404795/ Part15: ttp://pc10.2ch.net/test/read.cgi/tech/1151025773/ Part14: ttp://pc8.2ch.net/test/read.cgi/tech/1132275726/ Part13: ttp://pc8.2ch.net/test/read.cgi/tech/1115901841/ Part12: ttp://pc8.2ch.net/test/read.cgi/tech/1100229366/ Part11: ttp://pc5.2ch.net/test/read.cgi/tech/1091456033/ Part10: ttp://pc5.2ch.net/test/read.cgi/tech/1075630259/ Part9: ttp://pc2.2ch.net/test/read.cgi/tech/1069594582/ Part8: ttp://pc5.2ch.net/tech/kako/1058/10582/1058263391.html Part7: ttp://pc5.2ch.net/tech/kako/1042/10421/1042167213.html Part6: ttp://pc3.2ch.net/tech/kako/1031/10315/1031560687.html Part5: ttp://pc3.2ch.net/tech/kako/1023/10230/1023091882.html Part4: ttp://pc.2ch.net/tech/kako/1016/10162/1016211619.html Part3: ttp://pc.2ch.net/tech/kako/1008/10082/1008220265.html Part2: ttp://pc.2ch.net/tech/kako/1002/10025/1002584344.html Part1: ttp://piza2.2ch.net/tech/kako/987/987169286.html 114 名前：デフォルトの名無しさん mailto:sage [2008/01/15(火) 23:50:00 ] >>113 ホレ。 (define S (lambda (f) (lambda (g) (lambda (x) ((f x) (g x)))))) (define K (lambda (x) (lambda (y) x))) (define I (lambda (x) x)) (define-macro (define-combinator name body) `(define ,name (lambda (arg) (,body arg)))) (define define-combinator define) (define-combinator B ((S (K S)) K)) (define-combinator C ((S((S(K((S(K S))K)))S))(K K))) (define-combinator M ((S I) I)) (define-combinator L ((C B) M)) (define Y (lambda (F) ((lambda (my-make-f) (F (lambda (x) ((my-make-f my-make-f) x)))) (lambda (my-make-f) (F (lambda (x) ((my-make-f my-make-f) x))))))) 115 名前：デフォルトの名無しさん mailto:sage [2008/01/15(火) 23:52:45 ] (define (Fact my-fact) (lambda (n) (if (= n 0) 1 (* n (my-fact (- n 1)))))) (define fact (Y Fact)) (fact 10) 3628800 116 名前：デフォルトの名無しさん mailto:sage [2008/01/15(火) 23:53:43 ] (define (Fib my-fib) (lambda (n) (if (<= n 1) 1 (+ (my-fib (- n 1)) (my-fib (- n 2)))))) (define fib (Y Fib)) (fib 10) 89 117 名前：デフォルトの名無しさん mailto:sage [2008/01/15(火) 23:55:09 ] これでもいいﾊｽﾞだけどｗ (define-combinator Y ((S L) L)) 118 名前：デフォルトの名無しさん mailto:sage [2008/01/16(水) 00:00:31 ] >>110 > [9] メタ、マジックゲーム 超なつかしい 高校の夏休みにY.M.O.ベストと一緒に図書館で借りて読んだのをおぼえてる。 いま思うと充実してたなあの頃は。 119 名前：デフォルトの名無しさん mailto:sage [2008/01/16(水) 00:02:22 ] 　　　　　　　　 ,. -‐'''''""¨¨¨ヽ　　　それじゃあ僭越ながら 　　　　 　 　 (.＿＿_,,,... -ｧァﾌ|　　　あ…ありのまま 今　起こった事を話すぜ！ 　 　 　 　 　 |i i|　 　 }!　}} /／| 　　　　 　 　 |l､{　 　j}　/,,ｨ//｜　　　　『おれは階乗計算のために無名関数をいじっていたと 　　　　　　　 i|:!ヾ､_ﾉ／ u {:}//ﾍ　　　　　思ったらいつのまにかいじる前の状態に戻っていた』 　　　　　　　 |ﾘ u' }　 ,ﾉ　_,!V,ﾊ | 　　 　 　 ／´fト､_{ﾙ{,ィ'ｅﾗ　, ﾀ人　　　　　　な…　何を言ってるのか　わからねーと思うが 　　　　 /' 　 ヾ|宀| {´,)⌒`/ |<ヽﾄiゝ　　　　　おれも何をされたのかわからなかった… 　　　　,ﾞ　 ／ )ヽ iLﾚ 　u' |　| ヾｌﾄﾊ〉 　　 　 |／_／　 ﾊ !ニ⊇　'／:} 　V:::::ヽ　　　　　　頭がどうにかなりそうだった… 　　　 /／ 二二二7'T'' ／u'　__ /:::::::/｀ヽ 　　　/'´r　ー---ｧ‐ﾞＴ´　'"´ ／::::／-‐ 　＼　　　　グラハムだとかチャイティンだとか 　　 / // 　 广¨´ 　/'　　 ／:::::／´￣｀ヽ ⌒ヽ　　　　そんな大層なもんじゃあ　断じてねえ 　　ﾉ ' /　 ノ:::::`ー-､___／:::::／/ 　 　 　 ヽ　　} _／｀丶　/::::::::::::::::::::::::::￣`ー-{:::...　　　 　　　ｲ　　　 もっと恐ろしい「普通の再帰」と「Ｙコンビネータ」の違いを味わったぜ…

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef