本日はドシャ語とか圏論とか線形論理の某研究とか谷崎とか！

夜の勉強と研究終了。英語論文書けそうな気がしてきた……

朝の勉強終了。まあまあ。

本日はドシャ語とかドネランとか線形論理の某研究とか！

夜の研究終了。LaTeX問題は解決。

夕方の研究終了。LaTeXがおかしい！

本日はドシャ語とかOCamlとか超越論的シンタクスとか線形論理の某研究とか！

昼の勉強と研究終了。悪くない。

朝の勉強やら研究やら終了。努力。

本日はドシャ語とかOCamlとか超越論的シンタクスとか！