2023年7月19日

今週から久しぶりにしっかりとした開発業務に入るので、開発環境の確認からやっていた。

夜、スーパーへ。ハーゲンダッツの新作はなぜか安売りされていて残り少なかったが、追加で2個確保した。

寝る前に少しだけ集合論の続き。