こういうのは思考の順序をメモしておく価値がある、気がする。 (define zero (lambda (f) (lambda (x) x))) この定義によれば zero は一引数の手続きで、受け取った引数を無視して「値をそのまま返す手続き」を返す。でもって一加える次の手続き定義は... (d…

パス

証明...？置き換えを愚直に示せばいいんだろうか？ (car (cons x y)) の cons について問題にある定義を適用すると、 (car (lambda (m) (m x y))) 続いて car の定義を適用する...と、 ((lambda (m) (m x y)) (lambda (p q) p)) 先の lambda 式の引数に値を…

ごめん。 回転とか考えると長方形ってなんか難しい気がするのでパス。

(define (make-segment s e) (cons s e)) (define (start-segment s) (car s)) (define (end-segment s) (cdr s)) (define (make-point x y) (cons x y)) (define (x-point p) (car p)) (define (y-point p) (cdr p)) (define (midpoint-segment s) (define …

(define (make-rat n d) (define (sign x) (if (< x 0) -1 1)) (let ((g (gcd n d))) (cons (* (sign (* n d)) (abs (/ n g))) (abs (/ d g))))) 汚いけど、ま、こんなもんでよろしかろうか。

以前に挫折して、再挑戦中の SICP。 tumblr に書こうとしたら cocolog に三件書いたつもりが上書きしていて二件を台無しにしてしまい、 勢いではてなにアカウントを作ってみた。とりあえず答えたい問題にのみ答えていくという (自分に甘い) シンプルルールで…