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

5 時起床.

昨晩は深夜に目が覚めて, そのまま明け方まで眠れなかった.

午前中はずっと寝る.

午後に入浴する.
なぜか朝から体が怠かったのだが, 湯船に浸かって少しよくなる.

風呂から上がって病院の庭を小一時間ほど散歩. 外の空気が気持ちいい.

夕方は数学の勉強をする.
昨日の続きで, nLab の Eilenberg-Moore 圏 (Eilenberg-Moore category) と Kleisli 圏 (Kleisli category) の項目を復習した.
nLab でのこれらの概念の説明は, Riehl の教科書 と比べてより一般的な観点から記述してあり, 少し戸惑ったが何とか思い出す.

夕食は焼き魚のラタトゥイユソース風とご飯.

眠くなってきた.

早めに眠る.

6 時起床.

体調はいい.

午前中, 天気がよかったので病院の外へ散歩に出かけた.
遊歩道を歩く.
陽射しが眩しい.

人が怖いという思いに囚われたり不安に襲われるのではないかと思っていたが, 杞憂だった.
病院に戻るまで落ち着いた気持ちでいられた.

午後は少し眠る. 疲れが出たようだ.
やはり久し振りの外出で緊張していたのだろう.

夕方に起きる.

昨日の続きで, nLab から モナド (monad) の項目を読む.
モナドの起源なども書いてあって面白い.

夕食は鰆の味噌煮とご飯.

疲れている.

そのまま布団に入る.

5 時半起床.

調子はまあまあで気持ちも穏やかである. 安心感がある.

午前中は部屋で静かに休む.

午後は作業療法に参加する. 今日のプログラムはアロマとストレッチ.

アロマを焚いてストレッチをする.
入院以来あまり運動していないため, 体をゆっくり伸ばすのが心地よい.
アロマの香りで癒やされる.

部屋に戻った後, Riehl の本 で勉強していることの整理も兼ねて nLab から algebra (代数) の項目を読む.
内容が幅広くて全部は読み切れない.
少しづつでも目を通していきたい.

いろいろなことができるようになってきた. それほど無理を感じない.

夕食は蒸し魚のなめこ餡かけとご飯.

早い時間に休む.

7 時起床.
まだ少し眠い.

昼まで寝る. 入院して以来, 午前中は寝てばかりだ.

午後になってから入浴.
ゆっくり湯船に浸かる. さっぱりした.

食事の時間まで nLab の記事を読む.
一昨日の続きで, 分析幾何学 (analytic geometry ─「解析幾何学」と呼ばれる分野. 以下この呼び方を使う) と綜合幾何学 (synthetic geometry) について. 理解できない部分もあったがざっと目を通す.

解析幾何学では, 対象の図形を適当な座標系の中に置いて, 各点の座標に対する計算を行うことによって図形の性質を導く. デカルトによって創始された.

一方, 綜合幾何学では, 図形そのものに対して直観的な操作を行うことによってその図形の性質を導く (よく理解していないが, たとえば平面幾何学において補助線を用いる場合などを思い浮かべればいいのだろうか?).

夕食は鶏の梅焼きとご飯.

穏やかな一日を過ごすことができた.

早めに休む.

5 時起床.

昼間, 担当医と話をする.

自分からは最近体調がいいことを伝える.
また, これまで気力が出なかったが, 少しづつ気持ちが前向きになってきたことも.

そうしたら担当医から, 調子がいいようなので今後は退院を見据えてやって行きましょうと言われた.

午後は何もせずに休む.

夕食は豚キムチとご飯.

回復してきたという実感はある.
ようやく退院が現実的な目標になってきた.

歯磨きをして休む.

7 時半起床.

妙に神経が昂ってしまい明け方まで眠れなかった.

食事の時間以外, 夕方まで眠る.

それから nLab の記事を漫然と読む.

その中で analytic versus synthetic (分析的 (analytic) と綜合的 (synthetic)) という項目は, 以前読んだカント『プロレゴメナ』の内容とも関係していて興味を惹かれる.
あらためて自分なりに考えてみたのだが, 途中で疲れてしまった. もう少し考えてみたい.

夕食は豚の酢豚風とご飯.

昼間にずっと寝ていたのにまだ眠い.
早めに布団に入る.

4 時半起床.
早い時間に目が覚めた.

午前中は何もせずにベッドの上で休む.

午後に洗濯をする.

夕食までの時間, nLab で米田の補題について読む.
昨日読んだ Riehl の本 と内容は同じだが, 少し一般的な形で記述されている.

夕食は赤魚のきのこソースとご飯.

いつもの早い時間に布団に入る.

5 時半起床.

昨晩は深夜まで眠れなかった.
体がだるい.

昼まで眠る.
何もせずにただ寝るだけという時間がとても落ち着く.

午後になって風呂に入る.
湯船に浸かって温まる. やはり風呂は気持ちいい.

一息ついてから Emily Riehl, "Category Theory in Context" を読む.
米田の補題の証明の復習.　一行一行、意味を掴みながら証明を辿った.
楽しい.

夕食は魚の香味焼きとご飯.

午前中ずっと寝ていたがまだ眠い.

早い時間に布団に入る.

5 時半起床.

いつもより少し早く目が覚めた.
体調はいい.
心と体が軽く感じる.

午前中, 病室に担当医が来た.
最近の体調や退院について話す.

自分からは, 鬱の辛さが軽くなってきていること, 現在感じている心の疲れ, 気力が出ない症状などが無くなったら退院したい旨を伝えた.
担当医からは, 今後の薬の処方の話や, 退院までの期間で認知療法をやってみないかという提案があった.

午後は nLab の記事を読む.
圏や関手, 自然変換の定義や米田の補題について復習した.

入院時には望むべくも無かった, 集中して考えることができるようになってきた.
確実に回復はしているのだ.

夕食はほっけの塩焼きとご飯.

早めに布団に入る.

6 時起床.

昨日は午後から鬱が辛くなったが, 一晩眠って回復した.
しかし深夜まで寝付けなかったのでまだ眠い.
昼まで寝る.

午後は院内の売店に行き, ちょっとした買い物をする. マスクと電池を購入した.

部屋に戻って一息ついてから, nLab の記事を読む.

concrete category ("具体圏" と訳せばいいのだろうか) の定義と実例について復習した.
紙と鉛筆無しでベッドに寝転がったまま, 頭の中で図式を書きながら考える.
疲れるが楽しい.

夕食は魚のつけ焼きとご飯.

いろいろなことができた一日だった.

早めに休む.