こんなことを言っていたけど、

実際は全くやって無くて、主に数理論理学論理と計算の仕組みを読み進めていた。

半分くらい進んだと思う。

4月中旬くらいまでは数理論理学の問題を解いたり、読み返したりする予定だけど、暫くは論理学周りからは離れようかな。 夏休みにでも、復習してから上の二冊より進んだ内容を勉強しようと思っている。

春学期は圏論とホモロジー代数は今まで通り続けて(と、言いながら3月はほとんど触れてないんだけども)、微分方程式とか確率・統計学みたいな 自分の苦手な分野を勉強する(したい)。 (春休みに痛感したんだけど、2,3個くらいの事しか同時に学べないようなので、手を出しすぎると時間を無駄にしてまう。気を付けないと。)

Algebra of ProgrammingCatamorphisms in 15 Minutes! というおもしろい記事で紹介されていたので購入した。


結局、先月の記事のMOOCsは続かなかった...


数年ぶりに旅行に行った。


3月はこんな感じかな...