ex1.15 (define (cube x) (* x x x)) (define (p x) (- (* 3 x) (* 4 (cube x)))) (define (sine angle) (if (not (> (abs angle) 0.1)) angle (p (sine (/ angle 3.0))))) 正直、へーっと思わされた。よく考えたら(よく考えなくても)この通りなんだけど不思…

ex1.13 として、がに最も近い整数であることを証明せよ。 最初からヒントを当てにする。 つまり、として、であることを帰納法によって証明する。 まず、n=0のとき。 (1) n=1のとき、 (2) つぎに、 と仮定する。(3)このとき、Fib(n+1)を求めると次式のように…

ex1.12 一応出来た。そもそも、問題がよく分からない部分もある。 この(ex1.12 n)はn段目のPascalの三角形の要素を示している。が、これであってるのかな？ (define (ex1.12 n) (define (a list n) (cond ((= n 1) list) (else (a (cons 1 (f list)) (- n 1)…

夏休み前からちょくちょくやっているのでメモってみる。 ex. 1.6 早速だが分からない。condを使ってifを再実装したときの問題点。 恐らく、p.19の補足項目あたりが怪しいけど。。。 A minor difference between if and cond is that the part of each cond c…

去年も一回SICPをやろうと決意したけど結局研究に追われて諦めたんだけど、今はそれなりに時間があるからやってみることにしました。前回はtraceがどうしても使いにくかったのも理由としてあるから、今回はそれもありません。やるしかないです。もうやるしか…