問題2.7 (define (make-interval a b) (cons a b)) (define (lower-bound z) (car z)) (define (upper-bound z) (cdr z)) 問題2.8 (define (sub-interval x y) (make-interval (- (lower-bound x) (upper-bound y)) (- (upper-bound x) (lower-bound y)))) …

λ計算のところ。データは全て手続きで記述できますよっと。 いや、正直、問題はわかるんだ。ただ、コレが何なのか人に説明できるところまでいってない。とりあえず、問題を解くと、zero, one, twoは、それぞれ、 zero = λs.(λx.x) one = λs.(λx.sx) two = λs…