- 330 名前：デフォルトの名無しさん mailto:sage [2008/06/05(木) 20:22:55 ]
- >>329
(((lambda (X)
((lambda (procedure)
(X (lambda (arg) ((procedure procedure) arg))))
(lambda (procedure)
(X (lambda (arg) ((procedure procedure) arg))))))
(lambda (func-arg)
(lambda (n)
(if (zero? n)
1
(* n (func-arg (- n 1)))))))
5)
Yコンビネータの雛形が内蔵されている階乗関数になってます。
