朝の電車で、Harada-Sasa の DLG での証明にとりくむ。うーむ、できなかった。昼間は、名大集中講義の準備でおちつかない。とりあえず、名古屋にもっていくものは鞄にいれたのだろうか？夕方は会議。こういうときに限って、思った以上に時間がかかる。