博多オフィスで働く。午前中は今期の目標をちまちま書く。AIに文章を生成してもらいたかったが、しっくりこなかったので結局自分で書いた。

昼休みに丸善で『数学セミナー』の新刊と『朝鮮は、いかに「外患」を克服したのか』を買った。数学セミナーは「カルタン接続の幾何学」という微分幾何の連載が今月も面白そう。具体例で学ぶリー群という感じの回。