(wat-aro)

生きてます

2015-10-04から1日間の記事一覧

SICP 問題1.10

(define (A x y) (cond ((= y 0) 0) ((= x 0) (* 2 y)) ((= y 1) 2) (else (A (- x 1) (A x (- y 1)))))) (A 1 10) ;; gosh> 1024 (A 2 4) ;; gosh> 65536 (A 3 3) ;; gosh> 65536 (define (f n) (A 0 n)) ;; => f(n) = 2n (define (g n) (A 1 n)) ;; => g(n…

SICP 問題1.9

(define (+ a b) (if (= a 0) b (inc (+ (dec a) b)))) ;; 再帰的 (+ 4 5) (inc (+ 3 5)) (inc (inc (+ 2 5))) (inc (inc (inc (+ 1 5)))) (inc (inc (inc (inc (+ 0 5))))) (inc (inc (inc (inc 5)))) (inc (inc (inc 6))) (inc (inc 7)) (inc 8) 9 (define…