問題1.19 Tをn回作用させた時のa, bをとするとは となる。 さらに、もう一回Tを作用させたときは これから とすると、を２回作用させるのは、を１回作用させるのと同じになる。 (define (square x) (* x x)) (define (fib n) (fib-iter 1 0 0 1 n)) (define …

問題1.14がワカラナイヨ。 明日の答え合わせで教えてもらおう。 問題1.16 ;; if n is even, procedure returns true, otherwise false. (define (even? n) (= (remainder n 2) 0)) ;; ex1.16 procedure "fast-expt and fast-expt-iter" (define (fast-expt x…

gabuchan : 「さあ、証明するのだ」 babanban : 「yes master」 証明スタート として が０を含む全ての自然数について成り立つことをnに関する数学的帰納法をつかって証明する。 基底 n = 0 のとき Fib(0) = 0 より成り立つ n = 1 のとき Fib(1) = 1 より成…

こつこつやろうということで今日は問題1.13を解きました。 証明問題だからちょっとあせったけど、ヒント通りにやればできました。というかヒントなしじゃできませんでした。 答えを書こうとしたけど、tex記法のフォントが気に入らなかったのでやめました。

皆さんがんばって実装しているみたいなので僕も、今回smlでスキャナを実装した。 Gaucheは後回し。すいません。 でも、関数型で実装するイメージはこれでだいぶつかんだと思う。 TextIOモジュールのlookaheadは先読みする関数なので、これを使えば１文字ずつ…

軽い気持ちではじめました。 今日バイトの面接に行ってきました。あっれー？C言語全然書けないじゃんワタシ！！ なんかすっごい冷や汗かいちゃいましたw こんなんでバイト大丈夫なんかなー？で、今日からjavaのお勉強（焦り気味） でもSICPへの意欲はまだま…