今日はお休みなのでまったり過ごした。妻と少しお出かけして、Le Cercleというカフェでぶどうのタルトを食べた。ナガノパープルという品種で、深みのある甘さが素晴らしかった。 最近『財政=軍事国家の衝撃』という本を読んでいる。近世イギリスで近代国家がどのように生成したかについて本である。エピソードも多いので専門書のわりには楽しく読める。最近あまりハードカバーの本を読めてなかったが、やはり自腹を切ると読めるのかもしれない。

大名のWeWorkで働く。新しい知り合いができたのでその人とランチに行った。ベトナム料理屋でフォーを食べた。雨が降って肌寒い日だったのでしみじみと美味しかった。 仕事は来週の勉強会 (Python Meetup Fukuoka) の発表資料を作ったりした。どんな情報を出していいかなどいろいろ考える必要があって面倒だったが、とりあえずスライドの初稿を作ってレビューに回した。

今日はちょっと忙しくてひたすら働いていた。最近いろいろ手を出しすぎて、複数の締め切りが重なってしまった。そして目が冴えて夜更かししている。 先日収録した会社のポッドキャストが公開されていた: DevPods Fukuoka #48。確認のため聞いてみたが、自分の平常時の声ってテンション低く聞こえるなと思った。

大名のWeWorkで働く。昼ごろ妻と合流してうどんを食べにいく。まだ夏のうちに萬田うどんのとうもろこしかき揚げうどんをもう一度食べようと思っていたのだが、既に終了していた。けっきょく自分はごぼう天、妻は舞茸天のうどんにした。

中公新書の『レコンキスタ』を読み終わった。基本的に時系列に沿ってアンダルスの成立からナスル朝グラナダの滅亡までのレコンキスタの通史が語られていて読みやすい。 通史を縦糸とすると、横糸として他の西欧諸国との関係や攻城戦の実態など、より視野が広がるトピックについても扱われていて中世スペインを立体的に把握できる本になっている。 その流れで『アルカサル 王城』も読んだ。かなり本格的な歴史漫画で面白かったので、これもおすすめしたい。

『トポロジーの基礎』のセミナーでvan Kampenの定理を応用について発表する。球面やブーケなど簡単な例をやったあとにトーラスの基本群を計算した。8の字の1-skeltonに対して2-cellを貼り付けることによって[a, b] = 1となる、というあたりの幾何学的直観が得られて良かった。

昼は博多バスターミナルの牧のうどんで食べた。肉ごぼう天うどんとかしわ飯のセット。麺がつゆを吸ってやわやわで美味しかった。これで有名チェーン三店（ウエスト、資さん、牧）はコンプリートした。 午後は会社のポッドキャスト収録。Zoomで繋いで話しつつ、音声はそれぞれの端末で録音する形式。時計を見ながら秒数を合わせて手拍子をしたりで面白かった。数週間後には公開されるはず。

今日はミーティングが多め。昼は懇親会があったのでオフィスで食べる。午後早めに切り上げて数学同好会の準備。 今日の『トポロジーの基礎』セミナーではvan Kampenの定理の証明をやった。ひとつひとつフォローすれば分かるタイプの証明だったが、ちゃんと書こうとするとノーテーションが面倒。次回はvan Kampenの定理を使っていろいろ基本群を計算する予定なのでもっと楽しいはず。

家族でプールに行った。娘は最初流れるプールを怖がっていたが、途中から楽しくなったようだ。日焼け止めを忘れて肌がヒリヒリしている。

友人が福岡に旅行に来ていたので、一緒に水炊きを食べに行く。3人家族が2組で6人。娘は自分より歳下の子どもの相手をするのが楽しかったようだ。