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への意欲はまだま…