ていへんかけるたかさわるに

8 時半起床.
少し鬱が苦しい. 自分を否定する感情, 罪悪感が強い.
頓服を飲んで凌いだ.

午前中は休んでいたが, 昼に買い物に行き, それから洗濯をする.

午後からまた鬱が苦しくなってくる.
けれど少し無理をすれば寝込むまでではないと思う.

勉強をした.

本を読む.
最初は文章を追うのが辛かったが, 我慢して読み続けているうちに割とスムーズに読めるようになった.

プログラミングの勉強 ── HP-42S のマニュアルを読む ── をする.
今日は変数またはレジスターの内容を表示させる機能についての節. なかなか理解できない.
それでも何度か繰り返して読んで, "変数名=値" のような表示をさせる機能の説明であることはわかった.
だが, そこに載っているサンプルプログラムを理解するパワーが出ない.
諦める.

最後に数学をやる.
小さな命題の証明を考えてノートに書いた.
証明を完成させた喜びがあった. しかしその喜びも間も無く鬱の中に沈んでしまう.
そしてその証明が正しいかどうかを確かめるのがとても難しい.
自分で書いた証明だが, その内容がなかなか理解できない.
結局できなかった. 明日以降もう一度読み返してみる.
※ 2018 年 8 月 17 日付記.
見直した結果, この証明は不完全だった.
証明を完成させるためには, この「証明」に加えて示す必要のある項目がまだいくつかある.
そういう部分を見逃していたのだ.

---

それでも寝込まずに休み休みでもこれだけできたのは良かった.
今日の午後の鬱は結構苦しかったのだが, その状態でもある程度考えることができる.