【問題】 対を手続きで表現することがそれほどの驚きでなければ、手続きを操作できる言語では、0 と、1 を足す演算を、 (define zero (lambda (f) (lambda (x) x))) (define (add-1 n) (lambda (f) (lambda (x) (f ((n f) x))))) と実装することで、（少なく…

【問題】 a と b の対を積 2^a・3^b とである整数で表現するなら、非負の整数の対は数と算術演算だけを使って表現できることを表せ。 これに対応する手続き cons、car、及び cdr の定義は何か。 【解答】 素数だからこの表現が可能になるのか？ 直感的にはす…