Hatena::Groupcsnagoya-sicp

toyoshiのSICP宿題帖

 | 

2008-11-18

1.17 *の再帰的実装

03:58 | はてなブックマーク - 1.17 *の再帰的実装 - toyoshiのSICP宿題帖

再帰プロセスの方はわかるんだけどなー

1.18が不安

(define (* a b)
  (cond ((= b 0) 0)
	((even? b) (double (* a (halve b))))
	(else (+ a (* a (- b 1))))))


(define (even? n)
  (= (remainder n 2) 0))

(define (double x)
  (+ x x))

(define (halve x)
  (/ x 2))

clairvyclairvy2008/11/19 06:13product + (b x a) が不変量だとすると.
(a + product) + {(b / 2) x (a x 2)} と,
(a + product) + {(b - 1) x a} は,両方とも不変量?
それともただのtypo?

 |