- 9 名前：デフォルトの名無しさん [05/02/03 00:08:20 ]
- 問題2.6
対を手続きで表現することがそれほど驚きでなければ、
手続きを操作できる言語では、0と、1を足す演算を
(define zero (lambda (f) (lambda (x) x)))
(define (add-1 n)
(lambda (f) (lambda (x) (f ((n f) x)))))
と実装することで、（少なくとも非負の整数だけを問題とする限りは）
数を使わないで済ませることが出来ることを考えよう。
この表現は発明者Alonzo Churchに従い、Church数として知られている。
このへんよく分からん。そういういう風に自然数を定義するってことかな。
