Posts

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

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

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

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

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

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

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

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

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

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