言語の演算の閉包性についての証明． 訳わかんねー． しかし，テストも近いしなぁ．．
夜はお仕事． 新規プロジェクト． 実社会の一部を担っているって，ちょっと思った．
期末テスト終わるまで，一縷も気が抜けない