2024/1/15

早起きして東京駅へ。名古屋駅に向かう。

駅の中で、迷ったりよく分かんない行動したりしていたが、なんとか新幹線には乗れた。

名古屋駅に着いて、きしめんを食べた。安くて早くて美味しかった。

集中講義の内容はover view とSpecの復元の話。とても面白かった。こういう話を押し進めていくと、スキームの復元とかになるのかもしれない。

集中講義終わりは、みなさんとハンバーグを食べに行った。面白かったことがあったが、プライバシー(？)の関係でここではあまり触れない。

名古屋楽しい。1週間楽しめそう。