雑務処理をする．
出席．
3時間ほど．途中type-0文法で生成されない言語の存在の証明でかなり議論に時間がかかったけど，こういうのをするのも大切かなと思う．
お昼に(米が無いから)キムチ鍋を作っていて余っていたんだけど，連続で食べるのはなーということで，smlyとtetsuoとでマクドへ行く．
