2 時起床.
昨日できたと思った練習問題の証明だが, 最後の結論を導き出す部分を書いていなかった.
間違いが無いかどうかを確認しながら LaTeX で書いていく.
どうにかできた. 小さな問題でもきちんと証明を完成させるためにはかなりの時間が費されるものである.
あと, TeX というのは本当にすごいプログラムだとあらためて実感した.
何度も証明の文章を書き直した箇所があったのだが, 文章が長くなれば長くなったなりに, 短くまとめれば短いなりに, パラグラフと数式の配置のバランスを絶妙に調整してくれる.
可能な限り美しい文書ができあがるようにプログラムが動いているのだ.
証明を LaTeX のファイルで書き終えて PDF ファイルにして印刷する.
明日また読み直す.
9 時になっていたのでスポーツセンターはもう開いている. プールに行った.
今日は混んでいた.
土曜日だからか.
やや緊張したが気持ちよく泳ぐことができた.
昼食はナポリタンスパゲッティを作る.
玉葱とピーマンとベーコンを具にする. 美味しくできた.
どうしてもタバスコを多めにふりかけてしまう.
昼寝の後, 散歩に出かける.
外は暑かったがのんびり歩くのはいい.
ところが 1 時間ほど歩いていたら気分が沈んできた.
理由不明.
帰宅して横になる.
良くない.
踏ん張ってシャワーを浴びて頓服を飲んで休む.