ホテルから更新。 起床は7時、結局５時間睡眠。あわてて空港へ行き、8時55分の便で羽田に向かう。機内で爆睡。モノレール、山手線、つくばエキスプレス経由でつくばへ。定理証明系に関する研究集会に出席する。面白い話が多い。 今回はテーマ（バランスがと…

本日よりつくばに出張し、その後実家により、関西には日曜日に帰ります。したがって、次回更新は遅ければ日曜日となる予定です。ご了承ください。