■

残暑。長袖シャツを脱いでTシャツで過ごす。
8時15分に起床、阪急駅前でサンドイッチと紅茶で朝食、出勤して論文読み。昼はカキフライ弁当、奮発して付け合わせにサバと秋なすの香味揚げを食べる。午後は研究打ち合わせ。
18時にKTさんと議論を始め、気がついたら20時半（タイプ理論では証明できないがAgdaで証明できてしまう定理の解釈について）、慌てて帰宅。夕食はほうれん草のパスタのクリームソース。Cと録画した「タモリ倶楽部」を見る。