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

8 時半起床.

鬱が辛いが, 何とか起き上がる.

ゆっくり朝食をとる.
山形のだしと卵かけご飯と味噌汁.

食べ終わったのはもう昼前になってからだった.
気分を上向かせるために, 散歩に出かける.

空気は冷たいが晴れていて, 陽射しが気持ちいい.

途中, 今月分の生活費をおろして帰宅.

それから買い物に行く.
野菜や肉を買う.

また鬱が辛くなってきたが, ふと思い付いて絵を描いた.
相変わらず弱々しい線の絵しか描けなかったが, 少し落ち着いた.

夕方に食事.
ソーセージと野菜のグリル.

眠剤と頓服を飲んで休む.

3 時起床.

数学をやる.
圏論の教科書を読む.
Par$\acute{\textrm{e}}$ の定理 (反変冪集合関手 (contravariant power set functor) $P : \mathbf{Set}^{\mathrm{op}}\rightarrow\mathbf{Set}$ はモナド的 (monadic) であるという主張) の証明を読み終わる.

体調が悪かったりと毎日勉強ができなかったが, 2 週間かけて何とか理解できたと思う.

区切りを付けて朝食をとる.
納豆と卵かけご飯と味噌汁.

頭が疲れたので少し眠る.

午後に起きて買い物に行く.
空が晴れていて, 太陽の光が眩しい.

帰宅して読書.
戸部良一他『失敗の本質』.
ミッドウェイ海戦について.

夕食は蕎麦と大根おろし.

眠剤を飲んで布団に入る.

2 時半起床.

数学をやる.
圏論の教科書を読み進める.

朝までやって食事.
キャベツと目玉焼きとコーヒー.

それから朝の数学の続きをやる.

昼前に横になる.
午後まで眠る.

買い物に行く.
野菜や肉を買う.

戸部良一他『失敗の本質』を読む.
ノモンハン事件の頃から, 軍部は「日本軍伝統の精神的威力をますます拡充すべきである」などと言っていたのだ.

夕方に食事.
牛肉と長葱炒めとご飯.

次第に鬱が辛くなってくる. いつものことだが, この夕方の鬱は苦しい.
頭も疲れてしまった.
まだ早いが布団に入る.

2 時起床.

本を読む.
イアン・ハッキング『数学はなぜ哲学の問題になるのか』.
数学におけるプラトニズムについて書かれる.

それから数学をやる.
圏論の教科書を読み進める.

朝までやって食事をとる.
キャベツと目玉焼きとコーヒー.

午前中も数学の続きをやる.

昼前に頭が疲れてしまったので横になって休む.
2 時間ほど眠った.

午後に起きて買い物に行く.
野菜などを買う.

戸部良一他『失敗の本質』を読む.

夕方に食事.
バジルのパスタ.

眠剤と頓服を飲んで休む.

8 時半起床.

今朝も眠剤が効き過ぎていてふらふらする.
何とか起き上がる.

朝食をとる.
キャベツとコーヒー.

昼前に買い物に行く.
野菜と肉などを買う.

帰宅して本を読む.
戸部良一他『失敗の本質』.

昨日図書館で借りた.
組織論の研究で知られる本だが, 自分個人に当て嵌めた場合でも学ぶことがあるのではないかと思った.

まだ最初の方を読んだだけだが, 面白い.

夕方になって食事.
炒飯.

少しづつ鬱が辛くなってくる.

まだ早いが眠剤と頓服を飲んで布団に入る.

11 時起床.

眠剤が効き過ぎてしまった. 体がふらふらする.

昼過ぎに買い物に行く.
野菜や鶏卵などを買う.

図書館に行く.
現在借りている本の貸出延長の手続きをする.

次回の返却期限がもう来年である.

帰宅して少し休む.

夕方から食事.
納豆と卵かけご飯と味噌汁.

一日体がだるかった.

眠剤と頓服とを飲んで休む.

4 時起床.

早く起きたが, 鬱が辛い.

コーヒーを淹れて飲む.
香りで気分が落ち着いたが, 自分に対する否定的な気持ちが拭えず苦しい.

布団に入って寝込む.

午後まで動けず.

夕方前に起きて買い物に行く.
いつものスーパーまで歩く気力が出ず, 近くのコンビニに行く.

夕食はミートソーススパゲッティ.
コンビニで買ったレトルトのミートソースを使う.
味があまり感じられない.

眠剤と頓服を飲んで早めに休む.

朝から鬱が辛く動けない.
自分は駄目だ, みんなから見捨てられているという思いがあって苦しい.

昼になってようやく起き上がる.

体が重いが, 無理をして散歩に出かける.
足を一歩前に出すのも辛い. 本当に辛い.

ゆっくり歩いて, 銀行の ATM まで行って今週の生活費をおろす.
それからいつものスーパーで買い物をする.

1 時間半ほど歩いた.
気分は少し上向いた.

運動をすると確実に気分は上向く.
ただ, 動き始めるまでが精神的にも肉体的にも非常に難しい.

帰宅して食事.
鶏もも肉と白菜の鍋.

今日はよく頑張って散歩に出られたと思う.

眠剤と頓服を飲んで布団に入る.

9 時起床.

昨晩は明け方まで眠れなかった. 眠剤が効かなかったようだ.

遅い朝食をとる.
キャベツと目玉焼きとコーヒー.

お昼に買い物に行く.
寝不足で体がだるい.

帰宅して横になって休む.
そのまま眠った.

夜に起きて食事.
ロースカツカレー.

今日は何もできなかった.
布団に入る.

1 時起床.

本を読む.
イアン・ハッキング『数学はなぜ哲学の問題になるのか』.
数学の「応用」に関しては, 単純にある分野に数学を使うということだけではなく, 数学自身もその分野との活発な交流があるということが語られる.
自分もそのように感じる.

それから日記を書く.
5 月の上旬から続く不安定な体調のことなど書いていたら, 追体験したようになって疲れてしまった.

明け方に布団に入って少し眠る.
日記を苦しみのはけ口にするというのは, いいのか悪いのか. あまり健全なこととは思えないが...

小一時間眠って再び起きる.

朝食をとる.
納豆と卵かけご飯と味噌汁.

昼からデイケアの友人の家に遊びに行く.
友人が録画してくれていた「笑わない数学」のビデオを見させてもらう.
自分は TV を持っていない.
この番組のことは知ってはいたのだが, 見るのは初めてである.

今回の録画で取り上げられていたのは, バーチ・スウィナートン=ダイアー予想 (Birch and Swinnerton-Dyer conjecture) だった.

こんなに深いテーマまで扱っているのか.
驚いたが非常に面白かった. 興奮する.

買い物をして夕方に帰宅.

夕食はインスタントラーメン.

少し疲れた.
眠剤と頓服を飲んで眠る.