真面目なノート

こまめにその日の進捗などをメモしておく。

型システム

おウチはいいところ

ここ数日のまとめ プログラミング AOJで競技プログラミングの練習 48時間でSchemeを書こう プログラミング言語と型の理論 研究 論文を数本読んだ データをとった