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

8 時起床.
無気力が辛い.

頓服を飲んで何とか起き上がった.

午前中にクリニックに行き, 診察を受けて薬を出してもらう.
朝から午前中にかけての鬱と, 寝付きの悪さが苦しいことを伝える.
新しい薬を試してみることになった.

2 時間以上順番を待つ間, 数学を考えた.
$\mathscr{C}$ を小圏とするとき, 関手圏 $\mathrm{Func}(\mathscr{C}^{\mathrm{op}}, \mathbf{Set})$ がトポスになることの証明の中で何箇所か引っ掛かっている.
わからない箇所の計算をした. 少しだけ進展した.

その後, 認知療法を受ける.
無気力とコミュニケーション恐怖が辛いのだが, 無気力については梅雨明け以降の暑さも関係しているのではないかという話をした.

自分は意識をしていなかったが, PSW さんからすると体調は上向く方向になっているそうである.

過去の記憶に苦しむ頻度が少なくなってきているとのこと.
それは確かにそうだ.