2023年8月7日: あなごめし

朝食券がついていたが、眠いのと会場が混みそうなので使わなかった。

チェックアウトしてから新幹線の時間まで余裕があったので、広島駅で弁当を買ったりする。ちょうど「うえの」のあなごめしが入荷したタイミングだったので入手できた。やや高いが非常に美味しい。

新幹線は混んでいる。集合論のノートを修正していたが、途中で寝たりもしていた。

午後は15時頃に東京駅に着いて、そのまま帰宅。せっかくこういう時期に広島に行ったので、Kindleではだしのゲンを買って小学生ぶりに読んでみた。夜はノート修正の続き。