2.1.2 抽象の壁 問題2.2 線のデータ抽象 (define (make-segment start end) (cons start end)) (define (start-segment segment) (car segment)) (define (end-segment segment) (cdr segment)) 点のデータ抽象 (define (make-point x y)…続きを読む

2.1.1 有理数の算術演算 cons（construct）、car（Contents of Address part of Register）、cdr（Contents of Decrement part of Register）によって対（pair）を作り有理数を表現する。 (define x (cons 1 2)) (car x) 1 (cdr x) 2 (define (add-rat x…続きを読む

問題1.46 (iterative-improve [予測値が十分であるかを調べる手続き] [予測値を改良する手続き]) (define (iterative-improve enough? improve) (lambda (guess) (define (iter guess) (if (enough? guess) guess (iter (improve guess)))) (iter g…続きを読む

問題1.45 (define (average-damp f) (lambda (x) (average x (f x)))) (define (compose f g) (lambda (x) (f (g x)))) (define (repeated f n) (if (= n 1) (lambda (x) (f x)) (compose f (repeated f (- n 1))))) (…続きを読む

問題1.42 (define (compose f g) (lambda (x) (f (g x)))) ((compose square inc) 6) gosh> 49 問題1.43 (define (repeated f n) (if (= n 1) (lambda (x) (f x)) (compose f (repeated f (- n 1))))) ((repeated squ…続きを読む

問題1.40 (define tolerance 0.00001) (define (fixed-point f first-guess) (define (close-enough? v1 v2) (< (abs (- v1 v2)) tolerance)) (define (try guess) (let ((next (f guess))) (if (close-enough? gue…続きを読む

問題1.38 (define (cont-frac n d k) (define (iter i) (if (= i k) (/ (n i) (d i)) (/ (n i) (+ (d i) (iter (+ i 1)))))) (iter 1)) (define (iter-a-to-b f a b) (newline) (display a) (display " -> &qu…続きを読む

問題1.35 (define tolerance 0.00001) (define (fixed-point f first-guess) (define (close-enough? v1 v2) (< (abs (- v1 v2)) tolerance)) (define (try guess) (let ((next (f guess))) (if (close-enough? gue…続きを読む

1.3.3 一般的方法としての手続き 区間二分法による方程式の零点の探索 (define (search f neg-point pos-point) (let ((midpoint (average neg-point pos-point))) (if (close-enough? neg-point pos-point) midpoint (let ((test-value (f midpoi…続きを読む