問題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…続きを読む

局所変数 let の使い方 let は変数を特定の範囲内に束縛する。 変数の値は let の外側で計算される。 問題1.34 (define (f g) (g 2)) (f square) (square 2) (* 2 2) 4 (f (lambda (z) (* z (+ z 1)))) ((lambda (z) (* z (+ z 1))) 2) (* 2 (+ 2 1)) (* 2 3) …続きを読む

問題1.33 まず再帰的プロセスのものを書く。 (define (filtered-accumulate combiner null-value filter-pre term a next b) (cond ((> a b) null-value) ((filter-pre a) (combiner (term a) (filtered-accumulate combiner null-v…続きを読む

問題1.32 a 再帰的プロセスの accumulate (define (accumulate combiner null-value term a next b) (if (> a b) null-value (combiner (term a) (accumulate combiner null-value term (next a) next b)))) ;; sum (define…続きを読む

問題1.31 a sum 手続きとほぼ同じ形で表せる（+ が * になる）。 ただし、a > b の際の戻り値が1となる。 (define (product term a next b) (if (> a b) 1 (* (term a) (product term (next a) next b)))) product を使って factorial を書く。 (define (fac…続きを読む

問題1.30 線形再帰の sum 手続き (define (sum1 term a next b) (if (> a b) 0 (+ (term a) (sum1 term (next a) next b)))) a から b までの整数の和（線形再帰手続き） (define (sum-integers1 a b) (define (identify x) x) (define (inc x…続きを読む

問題1.27 パス 問題1.28 パス 問題1.29 うーん、Simpsonの公式を使った方が精度が落ちているような気がする… (define (cube x) (* x x x)) (define (inc x) (+ x 1)) (define (sum term a next b) (if (> a b) 0 (+ (term a) (sum term (next a) n…続きを読む

問題1.24 計算量は Θ(log n) の増加なので 1,000:1,000,000 は 1:2 程度と予想される。 結果を見ると 1:4 ぐらいになっている。 (define (square n) (* n n)) (define (smallest-divisor n) (find-divisor n 2)) (define (find-divisor n test-divisor…続きを読む

問題1.21 (define (square n) (* n n)) (define (smallest-divisor n) (find-divisor n 2)) (define (find-divisor n test-divisor) (cond ((> (square test-divisor) n) n) ((divides? test-divisor n) test-divis…続きを読む