■

小雨が降り、肌寒い日。
起床は9時半、眠い。JR駅近くの郵便局に寄り、それから新大阪へ。駅構内のスタバでコーヒーとサンドイッチを買い、新幹線内で朝食。名古屋駅構内の旅行代理店でホテルをとる（駅裏、徒歩3分）。ホテルに行き、荷物を置いてから大学へ。野依記念館を探すのに手間取る。
13時半から「システム検証の科学シンポジウム」、講演を聞く、17時まで。研究所メンバーと一緒に栄で夕食、ひつまぶし。ホテルに帰り、本を読んで、23時半に寝る。