2009-06-22

■ 雑務処理

雑務処理をする．

■ 談話と対話

出席．

■ 離散数学勉強会

3時間ほど．途中type-0文法で生成されない言語の存在の証明でかなり議論に時間がかかったけど，こういうのをするのも大切かなと思う．

■ マクド

お昼に(米が無いから)キムチ鍋を作っていて余っていたんだけど，連続で食べるのはなーということで，smlyとtetsuoとでマクドへ行く．