副テーマはおもしろかった。はずれの副テーマも多いらしいけど、うちは大当たりだと思う。 ご飯がいくらでも食べられることを帰納法で表す (1の場合）ご飯１粒はたべることができる (nの場合）ご飯ｎ粒がたべられると仮定すると、 (n+1の場合）ごはんｎ粒を…

この帰納法における場合分けは基本的に定義に沿って行われるとのこと。例えば「ラムダ式の構造に関する帰納法」であれば、ラムダ式の定義から導かれる。ラムダ式の定義が再帰的なので、帰納法における仮定として「より単純な式だから」ということがいえるの…

発表。いきなり詰まってしまう。当初の計画が狂い、あっぷあっぷで何とか乗り切る。ほっとした。 先生のレポートを速攻でやって副テーマ終了。

あいかわらず。ディスクの平均シーク時間とか回転待ち時間とか懐かしかった。

このひは雲がほとんどない快晴。日差しが暖かく、風もない。小春日和。