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

8 時起床.

午前中は語学と数学の勉強をする.
どちらもノートをとらず, スマホだけでやっている.
そのため前にどこまでやったかを忘れてしまうし, 覚えておきたいこともなかなか身につかない. 深く集中することも難しい.

ある程度で区切りをつけてコンビニで昼食を買う.
パンと牛乳.

午後は部屋の片付けをするつもりだったが, 思いと反対にネットを延々と見てしまう. 良くない.

夕方前から気分が沈んでくる. 無目的にネットに耽ると必ずこうなる.

少し休む.

夕方にいつものスーパーに夕食を買いに行く.
体が重く感じて辛かったが踏ん張った.

帰宅して一休みしてから食事.
鯖塩焼き弁当.
美味かった.

まだ早いが休む.

13 時半起床.

眠剤が効き過ぎたが, すっきりと起きられた.

語学の勉強をする.

それから数学をやる.
ネットで Fandamentals of Zermelo-Frankel Set Theory (ツェルメロ・フレンケル集合論の基礎) というファイルを見つけた. 15 ページほどにまとまっている.
ざっと見たら, 以前にも途中まで目を通していたものだった. 頑張れば自分でも何とか最後まで読めそうだ.

夕方まで部屋の片付けをする. 段ボールが一箱空いた. もうキッチンの廊下はゴミ袋でいっぱいだ.

それからいつものスーパーに夕食を買いに行く,
ロースカツとキャベツ.
元気が出る.

薬を飲んで休む.

朝から鬱が辛い.
気分が酷く落ち込んでいる.

頓服を飲んで寝込む.

午後になってようやく起き上がれた.
午前中の鬱が午後まで長引くと, 半日が潰れてしまう.

食事をまだとっていない. 空腹である.
駅の近くのラーメン屋に出かける.

ラーメンライスと餃子.
美味しい. 元気が出るようだ.

帰宅して語学をやる.

それから数学をやる.
昨日引っ掛かった箇所を以前のノートで調べる.
反変冪集合関手 (contravariant power set functor) $P : \mathbf{Set}^{\mathrm{op}}\rightarrow\mathbf{Set}$ がモナド的 (monadic) であるという結果.
どこかで証明しただろうか?
そうしたら 教科書 の定理 5.5.8 の帰結として, 反変冪集合関手 $P$ がモナド的であることが導いてある.
だが, この定理の証明は練習問題になっていて読者に任せられている. 自分はこれをやっていない. だから証明はまだである.
これは証明しておかないといけない.
明日以降証明する.

薬を飲んで休む.

10 時起床.

昨日より少し早い時間に起きられた.
体調もいい.

遅い朝食をとる.
オムレツとキャベツとコーヒー.

片付けをしてから買い物に行く.
野菜と魚を買って帰宅.

語学の勉強をする.
楽しい. 短い時間でも毎日続けたい. 継続したい.

それから数学をやる.
モナド的関手 (monadic functor) と極限の関係についての定理の証明中で用いられている図式を描く.
図式は TikZ-cd パッケージを使って描くのだが, その使い方を大分忘れている.
ドキュメント を見ながら作業した.

証明ではこれらの図式の可換性を証明するのだが, 図式を描いただけで疲れてしまい先へ進めなかった.
まとまった時間集中することができない. 思考の体力が無い感じだろうか.

横になって休む.

夜まで休んでから夕食をとる.
メカジキのムニエルと玉葱炒めとサラダ.
ムニエルはこれまでなかなか上手く作れなかったのだが, 今日はたまたまなのか美味しくできた.

薬を飲んで布団に入る. 眠剤は今夜も飲まない.

11 時半起床.

鬱と無気力が辛い. その上, 眠剤のせいかふらふらする.
踏ん張って起き上がる.

コーヒーを淹れる.
香りで癒される. ゆっくり飲んで目を覚ました.

なかなか頭が働かなかったが, 語学の勉強をする.
単語を復習したり文章を声に出して読んだり.
次第に目が覚めてくる.

その後, 数学の勉強をする.
圏論の 教科書 の続き.
モナド的関手 (monadic functor) が極限と余極限を作る (creattion of limits and colimits) という定理の証明を読む.
昨日読んでわからなかったところを一つ解消した.
一行づつ証明で不明な箇所の解釈などをノートに書いていく.
証明の一部は読者への練習問題とされていて, それを考えるのも楽しみである.
このペースで読んでいると理解するまで何日もかかるだろうが, 自分の現在の体調を考えると仕方が無い.
急いで不十分な理解のまま進むよりは良い.

語学も数学も, 手を動かしてノートを取りながら勉強すると気持ちが上向いてくる.
鬱が辛い日でもこのやり方でやれば日々継続できるかも知れない.

2 時間ほどで区切りを付ける. 頭が疲れた.

気分転換を兼ねて買い物に出かける.
野菜や魚を買う.

帰宅して夕食.
枝豆と鮪の刺身とご飯.

明日も今日の続きをやりたい.
早い時間に起きたいが, いきなりそれは難しい.
何とか午前中には起きたい.

今晩は眠剤を飲まずに寝てみる.

11 時半起床.
ぎりぎり正午の時間だが, 久し振りに午前中に起きた.
眠剤が効いたせいでよく眠れた.
多少気分が落ち込んでいるものの, この程度ならどうにかなる.

昼食をとる.
スクランブルエッグとキャベツとコーヒー.
コーヒーの香りで癒される.

午後の時間は, 昨日の続きの語学の勉強をする.

それから数学をやる.
久し振りのわりには集中できたが, すぐに脳が疲れてしまった.
仕方が無い.
圏論の教科書 の続きで, モナド的関手 (monadic functor) が極限と余極限を作る (creation of limits and colimits) という定理の証明.
理解が追い付かない記述がいくつかあるが, とりあえず証明全体を読んだ.
一行づつゆっくり時間をかけて教科書を読んでいく.
世界が広がっていくように感じられて楽しい.

ノートに内容をまとめながら読んでいくのは精神衛生上良い効果があるようだ.
以前にも書いたが文章を書くこと自体にも同じ感覚がある.
次第に気分が上向いてくる.

夜までやってから買い物に行く.
日曜日のこの時間だと, スーパーはとても混んでいる.
今夜はラーメンを作る予定なので, 焼豚やメンマや煮玉子などを買った.

夕食は豚骨ラーメンと餃子.
美味しかった.

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

-2 時起床.

早く起きられたのはいいが, やや鬱が辛い.

数学をやる.
monadic functor (モナド的関手) の計算.
なかなか頭が働かず, 計算に集中できない.

横になって休みながら計算を進める.
鬱のときには仕方が無い.

明け方に少し眠る.

眠ってだいぶ気分が落ち着いた.
朝食をとる.
パンと紅茶.

それから昼まで数学の続きをやる.

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

帰宅して再び少し眠る.

夕方前に起きて食事.
トマトと小松菜のパスタ.

片付けをして休む.

0 時起床.

昨日, 体を動かしたせいか疲れている.
数学をやるが, 眠くて集中できない.

諦めて二度寝をする.

明け方に起きてシステム管理の作業を行う.

作業を行っているうちに次第に気分が沈んでくる. 理由不明.

頓服を飲んで寝込む.
幸い頓服が効いてきて, 小一時間で起き上がれた.

朝食をとる.
パンと紅茶.

それから数学をやる.
代数の勉強. ユークリッド環の性質について学ぶ.

昼に区切りを付けて買い物に行く.
野菜や惣菜を買う.

帰宅したが, 昨日の疲れがとれていない.
それにまた鬱が苦しくなってくる.
今日 2 錠目の頓服を飲み, 横になって眠る.

夕方前に再び起きる.
数学をやる. 今度は圏論の教科書を読んだ.
圏論と代数学は, できれば並行して勉強していきたい.

夕方までやって区切りを付ける.

夕食をとる.
かき揚げと大根おろし, 蕎麦.

片付けをして布団に入る.

0 時起床.

早い時間に起きることができた.
絵を描く. 一昨日作業療法のアトリエで描いた絵の続きを描く.
いくつかの色の絵の具が無くなった. 体調が良ければ明日買いに行きたい.

昼間は数学の勉強をする. Emily Riehl の 圏論の教科書.
この本では図式を様々に使って証明の議論などを進めていく.
TeX でとっているノートでも, 図式をたくさん書く.

ところでコンピューター上のノートは編集や検索は非常に便利だが, 自分にとっては以前にまとめた箇所を見直したりじっくり読み直したりするのが紙のノートに比べて不便だと感じる.
慣れの問題かとも思っていたのだが, 長年やってきても慣れない.
それでこれまでのノートを紙に印刷して使うことも考えている.

疲れたので早い時間に布団に入る.
今日は比較的充実した一日だったと思う.

3 時半起床.

朝の時間に数学をやった.
教科書の練習問題が解きかけになっている. その続きをやる.

数学をやることも, TeX や git を使うのもほぼ 1 か月半振りだ.

新しくプログラミングの勉強も始めた. 家にある古い本の中に

R. H. エックハウス, L. R. モリス 著, 中西正和 訳『ミニコンピュータシステム入門 (PDP-11)』

という教科書があって, これを読むことにしたのだ.

この本は UNIX の勉強を始めた頃に買ったのだろうが, ほとんど読まずに放っておかれたものである.

プログラミングの勉強のために今, PDP-11 を学ぶというのは一体どうなのだろう.
ただ内容はかなり面白そうである. これから読んでいく.

午後からアルコール依存症の自助グループに参加する.
参加して気持ちが落ち着いた. また一日づつ断酒を続けていけたらと思う.

帰宅して少し休む.

夕食は湯豆腐, 牛肉のバター焼きと長葱炒め.
昨日と同じ献立になってしまった.

昨日あたりから脳が疲れた重たい感じが無い. 疲れがとれてきたのかも知れない.

明るい時間に布団に入る.