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

0 時半起床.
今日も早い時間に起きることができた.
続けていきたい.

本を読む.
イアン・ハッキング『数学はなぜ哲学の問題になるのか』.
イギリスにおける応用数学の発展について述べられている.
応用数学や数理物理学がはっきりと姿を顕す前には, マックスウェルも数学の賞をもらったことがあると書かれていた.

それから数学をやる.
圏論の教科書を読み進める.
その途中で, 理解したと思っていた命題の証明のノートに誤りがあることに気付く.
朝まで考えるが解決せず. 理解がどこか間違っている.

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

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

短時間の睡眠ですっきりした.

午前中は区役所に行く.
新しい障害者手帳を受け取る.
更新の手続きをしてから 4 か月ほどかかったが, 無事に受け取れてほっとする.

買い物をして帰宅.

遅めの昼食をとる
昨日作ったスープが残っているので, パスタと和えて食べる.

まだ午後の早い時間だが, いろいろやって疲れてしまった.
眠い.

昼間だが眠剤と頓服を飲んで布団に入る.
ぐっすり休めれば回復するだろう.