筑波の

ホテルから更新。
起床は7時、結局５時間睡眠。あわてて空港へ行き、8時55分の便で羽田に向かう。機内で爆睡。モノレール、山手線、つくばエキスプレス経由でつくばへ。定理証明系に関する研究集会に出席する。面白い話が多い。
今回はテーマ（バランスがとれた文字列の集合を表す文脈自由言語の同等性）を決めて、参加者が自分の専門とする定理証明系でそれを証明し、それぞれを比較するという特別企画があった。各証明系の個性が見えて面白かった。
その後懇親会。タクシーで乗り合いしつくばセンターまで行く。30分待ってバスでホテルまで行こうとするが、バスに乗る直前、5000円札以下を持っていないことに気づき、結局運転手に乗車を拒否される。結局タクシーでホテルへ（思ったより駅から近かった）。22時に到着。