• 睡眠の質は「高い」。「深い」がないが、目が覚める時間が少なかったらしい。
• シークエント計算の練習。別の本の練習問題をシークエントでやってみる。今日一日でずいぶん慣れた。ちゃっぴーはこの方面では理屈をこねるだけで、正確な計算はできないことがわかった。計算機のくせに、と言いたくなるが、こういうところが生成AIの特徴なのだろう。
• 昼は、まいばすで買ってきたレトルトカレーに、ウインナーを入れたもの。
• 午後も引き続き紙と鉛筆でがんばる。このところ興味が出ていた製図用のシャープペンシルが、計算をきれいに書くのに役立つ。
• 夕方ジム。
• 夕食は、シメジとトマトソースの鶏モモ肉のロースト。