2025年8月3日: フィットボクシング
日曜日、家でゆっくり。7月の経費登録をしたり。
最近はまたフィットボクシングを定期的にやっているので偉い。せっかくなのでApple Watchのワークアウトにも記録していて、ちょうどいい項目がないのでとりあえずダンスを選んでいる。日曜日はリビングにいる時間が長いので部屋のエアコンを付けておらず、フィットボクシングのためだけに付けるのも微妙だと思って (無意味かもしれない)、暑い中やっている。リビングから冷たい空気が流れては来るので、どうにか耐えられる範囲ではある。

同じ日付の日記
2024年8月3日
AWSのリソースをTerraformで作り直して、ついでにS3で配信していた画像をCloudFrontに流すようにした。Terraformというより、AWSの理解が甘くてなかなか難しい。 鮎が安かったので、また鮎ご飯にした。炊きたてが美味しい。

2023年8月3日: ビリヤニ
今日はセブンのビリヤニが手に入ったので、昼食に食べた。非常においしい。米がちゃんとバスマティライスなのが素晴らしいところだ。 夜は明日からの広島遠征の準備をしつつ、集合論の続き。順序集合の章は最後のおまけ (ツォルンの補題の群論・線形代数への応用) だけだったのでさらっと読んで、これで一通り素朴集合論の内容は終わったことになる。PDFにまとめつつ、位相空間論は後にして、次はとりあえず群論の方を読んでいきたい。
