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

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

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

日中は在宅勤務。夕方WeWorkで夏祭りイベントがあったので家族三人で行った。ライブがあったり射的があったりで楽しかった。娘も楽しんでいたようで良かった。

大名のセイロンという店でカレー混ぜ麺を食べた。スパイシーかつクリーミーで美味しい。追加でご飯を頼みたくなったが我慢した。 仕事はとあるCPUのベンチマーク。現行のCPUより速くなった気がしたが、ちょっとまだ自信が持てないので引き続きやる。

ちょっと仕事で良いことがあったので、昼は赤坂の華あざというお寿司屋さんに行った。タマメというネタを初めて食べたが美味しかった。あと味噌（金山寺味噌？）で味付けされたカンパチも良かった。 『イギリス史10講』を読んでいる。16世紀のあたり。この本では百年戦争の終わりから三十年戦争の始まりまで (1453 - 1618) を「長い16世紀」という時代区分で扱っている。ヘンリー8世やカール5世、ルターやシェイクスピアなど馴染みの人物が活躍する楽しい時代である。

日曜日。家族で大刀洗えだまめ収穫祭2024に行く。めっちゃ暑かったが、ビール飲んだり枝豆食べたり高菜巻きを食べたりできて良かった。町役場の隣でやってて、近くの施設で涼めるようになってたのが素晴らしかった。 帰宅してから昼寝。買ってきた枝豆を使って、夕飯は妻が枝豆とトウモロコシの炊き込みご飯を作ってくれた。甘みがあって美味しかった。

今日はWeWorkで働く。昼は友人とうどんを食べに行く。萬田うどんのトウモロコシかき揚げうどん。暑い日はこれが食べたくなる。 午後帰宅してから社内SlackのPython雑談チャンネルでhuddleを開く。2人ほど来てくれていろいろ話ができて良かった。

天神のガーデンシティで健康診断。胃カメラがあったので気が重かったが、一昨年紀尾井町でやったときよりは楽だった。その時は鼻に入れる麻酔の量が多かったせいか半日くらい喉が変になってつらかった。あと検査中に入れる空気の量も多くてきつかった記憶がある。今回はその2点がだいぶ改善されていて良かった。 最近『力の追求 ヨーロッパ史1815-1914』を読んでいる。上下巻で1000ページ弱あって気合いがいるが、小ネタが面白くてけっこう読める。

今日は在宅勤務。週末は風邪気味だったが、だいぶ回復してきた。仕事はミーティングが多かった。合間に重めのジョブを動かして見守ったり。 明日は健康診断で胃カメラがあるので気が重い。午前中は絶食なので、健康診断のあとはがっつり食べたいが胃カメラのあとにたくさん食べても大丈夫だろうか。