引越説明会，会議，談話会，懇親会

午前中は引越し説明会．壁一面の本棚を入れたいんだけど，お金も時間もない…

午後は教授会と談話会．話題提供者は田原先生(ソフトウェア工学)．時相演算子とか，経路演算子とかの概念は面白いんだが，厳密性のためには総当たりのシナリオ・テストが不可避，ということになっているようで，そこは食指が動かない．

夕方から懇親会．佐藤先生と東北大の話で盛り上がったり，吉永先生とバトルしたり．