読者です 読者をやめる 読者になる 読者になる

2月を振り返る

とても遅い振り返りですが、なかなか時間がとれませんでした。2月はジェネリック・プログラミングについて勉強してきたのですが、ものにできないままになっています。「プログラミング原論(ステパノフ)」に載っている定理、補題などの証明をすっ飛ばしたのが原因かもしれません。そもそも数学のレベルで正しい証明をほぼ書いた経験がなかったので、それをチクチク勉強していたら、3月も中盤に入っていました。

3月(今日)からやっていることとしては、Rake(Ruby Make)のソースコード・リーディングです。数千行の小さなプログラムなので、多分4月までには理解できるんじゃないかと期待しています。