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

7 時起床.

体調はまあまあ.

朝食後に小一時間眠る. この時間帯はなぜか眠くなる.

それから数学をやる.
関手 (functor) の具体例や基本的な命題の復習をした.
初めて学んだときよりも, 関手的 (functorial) な理解・思考はできているだろうか? そうであってほしいが…

午後に風呂に入る. ゆっくりと温まって穏やかな気持ちになる.
何もしていなくても常に緊張しているのだが, それがほぐれた感じ.

入浴の後で看護師さんが部屋に来た.
最近の体調や抑鬱感の度合いについていろいろ聞かれる. 入院してからの心理状態の変化なども.

その後, 栄養士さんが来る.
退院後の食事計画を立てましょうとのこと.
そのために入院前の食生活について話す.

まとまった時間 (と言っても併せて 30 分程度) 会話したからか, 精神的にかなり消耗した.

鬱から大分回復してきたとはいえ, ひ弱なメンタルは変わっていない.
それはおそらく鬱病のせいではなくて, 自分の元々の気質のせいなのだ.
変えようが無い.

一休みして数学の続きをする.
心が疲れた状態で数学に内省することが一種の現実逃避のようになっていた.

夕食は豚肉と卵の炒め物とご飯.
あまり食欲が無かったが, 何とか食べる.

疲れている.

薬を飲んで休む.

6 時起床.

午前中は看護師さんと, その後担当医と簡単に話す.

看護師さんと話して, 退院までの間, 薬を自分で管理して服用することになった. また, 入院にかかる費用のことも教えてもらった.
担当医とは退院後の認知療法プログラムへの参加について確認する.

昼食後は少し眠る.
ここ数日, 昼間は寝てばかりいる.

夕方に数学をやる.
教科書 にある関手の具体例を復習した.
この中で任意の集合 $S$ に対して, その上の自由群 $FS$ を対応させる関手 $F : \mathbf{Set}
\rightarrow \mathbf{Group}$ が取り上げられている. 本書ではこの例 (より一般に自由関手 (free functor)) をこれ以降も繰り返し扱っている.

夕食は鰆の生姜焼きとご飯.

今日も体調は良好だった.
明日が退院日でも大丈夫な気がする.

薬を飲んで眠る.

5 時起床.

昨晩も眠りが浅かった. しかし体調はいい.

眠いので午前中は寝ていた.

昼食の後, 洗濯をする.
調子がよくないときは洗濯をすることさえ億劫だったが, 今は普通にできる.
回復を感じる.

それから数学の復習をする.
Riehl の教科書 の続きで, 関手の定義と具体例のところを読んだ.

夕食は鶏の照り焼きとご飯.
病院の食事はまあまあだと思うが, 鶏肉と焼き魚の繰り返しにも飽きてきた.
ラーメンが食べたい.

早めに休む.

5 時半起床.

午前中は何もせずに休む. ほとんど寝ていた.

途中, 体温と血圧を測りに来た看護師さんに退院の手続きについて聞く.
基本的に荷物をまとめておくことと, 会計を済ませることだけやればいいようである.

午後は数学の復習をする.
Riehl の教科書 のノートを読み返した. 圏の基本的な概念, 様々な具体圏,スライス圏や双対など.

ずっとやっていたので頭が疲れた.
今の自分の体力では, せいぜい 2 時間の集中が限界だ.

夕食は赤魚の西京漬け焼きとご飯.

穏やかな一日だった.

早めに休む.

昨晩は深夜まで眠れず, 眠剤を飲んでやっと眠ることができた.

昼間も眠った.

食事と散歩と入浴の時に起きたが, それ以外は寝る.

夕食は鰈の唐揚げとご飯.

まだ眠い.
歯を磨いて布団に入る.

6 時起床.

穏やかな気分である. 体調はいい.

午前中は数学をやる.
今日は 濃度 (cardinal number) と 順序数 (ordinal number) について復習した.
これらは 圏の大きさの問題 (size issues) を考える際に必要になる.

午後も数学の続きをする.
あらためて自分の現在の理解は, かなり曖昧で不十分なことがわかった.
頭の中で考えているだけでは理解が難しそうである. 実際に手を動かして計算してみないといけない.

退院後にもう一度勉強し直すことにする.

夕方になってから担当の医師が病室まで来る.
鬱が大分回復してきたので, 退院の日にちを決めましょうとのこと.
ようやく退院のことを具体的に考えることができるようになった. 嬉しい.

現在の体調などについて話し合った結果, 今月の 22 日に退院することが決まった. ただし体調の悪化があった場合は延期になる.

夕食は鮭の南蛮焼きとご飯.

一応の退院日が決まったことで気持ちがずいぶん楽になった.

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

5 時起床.

一旦起きたが, まだ眠気が残っていたので二度寝をする.

昼まで寝たり起きたりを繰り返した.

午後から心理テストを受ける. 二度目である.

与えられた言葉に対して思い浮かんだことを短文にしていく.
設問が結構多い.
やり終えるのに 2 時間近くかかった.

自分の経験や記憶を思い出しながら文章を作ったので, 精神的な負担が大きい.

終わった後は部屋に戻って休む.

夕方に数学のノートを少し読む.
確認のため, nLab のページで モノイド (monoid), 半順序集合 (poset: partially ordered set), 前順序集合 (preordered set) などの項目を読んだ.

夕食は五目炒り卵とご飯.
食欲が出なかったが無理に喉に押し込む.

思ったより疲れている. 早く休みたい.
そのまま布団に入る.

6 時起床.

よく眠れた.
しかし雨が降っているせいか, 気分が少し塞いでいる.

数学の復習をする.
群 や 環 の性質をざっと振り返った.
nLab なので圏論との関わりについても述べられている.

なかなか集中できない. 同じところを繰り返し読む.

夕方前に風呂に入る.
ゆっくり浴槽に浸かった. 気持ちが落ち着く.

夕食は鶏の幽庵焼きとご飯.

沈んだ気分から一日抜け出せなかった.
入浴できたのはよかったと思う.

今日もぐっすり眠りたい.
早めに布団に入る.

6 時起床.

午前中は洗濯をする.
それ以外の時間はずっと休んでいた.

午後は Riehl の教科書 を読む.
圏の具体例を復習する.
グラフの圏 (category of simple graphs) についてよく理解していない部分があったので nLab の記事 であらためて勉強した.
もう少し調べてみたい.

夕食は鶏肉生姜焼きととろろご飯.

ここ数日眠りが浅い. ぐっすり眠りたい.
歯を磨いて布団に入る.

5 時半起床.

昨晩は目が冴えてあまり眠れなかった.
そのせいでとても眠く, 食事で起きたとき以外は寝ていた.

目が覚めたらもう夕方になっている.
よく寝た.
ようやく眠気が治まった気がする.

昨日一時帰宅した際に, Riehl の教科書 のノートの PDF ファイルをスマホにコピーしてきた.
細かい計算手順や, 気になった箇所の考察などが書いてある.

復習のために頭から読む.
今日は圏の定義と, 特にその具体例について.

夕食は焼き鶏のオーロラソースとご飯.

昼間あれだけ眠ったが, また眠くなってきた.
そのまま休む.