午前7時前に出社した。しかしPCを忘れていたので家に取りに戻って満員電車に巻き込まれる。

午前中は1on1が2つ。昼は数学同好会のメンバーたちと社食で雑談。超準解析の話をいろいろ聞いた。ウルトラプロダクトで超実数体を直接構成する方法以外にも、移行原理と飽和モデルの存在を表現する公理をZFCに追加するアプローチがあると聞いた。

午後はCPythonの勉強会。初回だから少し緊張したが、参加者からの質問も活発で良い会になった。

今日はさすがに喋り過ぎて疲れた。明日はミーティングもないので自分のペースで過ごしたい。