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

6 時半起床.
今朝はやや鬱が辛い. 頓服を飲んだのだが, なかなか効き目が現れてこない. 10 時過ぎくらいにやっと普通になった.

午前中は数学の勉強をする. 任意に与えられた圏の骨格 (skeleton) を適切な方法で構築して, 骨格それ自体も圏になることを示せという問題を延々とやっている. 証明を何度も書き直していて時間がかかっているがきちんと解きたい.
以前より議論の細かいところに考えが向くようになったり, 証明内で使用する集合や写像の定義の整合性がとれていること (well-defined であること) をチェックし直したりしている.
証明自体もできるだけ圏論的な方法で書いているつもりだがどうなるか.

そんなこんなで何回も一から証明を書き直している.
これをきちんとやれば少しは前進できたと感じられるのではないか.

昼食はぶっかけ饂飩.

午後から買い物に出かける. 野菜と魚と肉の他, 豆腐の味噌汁が食べたかったので木綿豆腐も買う.
一旦帰宅して買ってきたものを冷蔵庫にしまったりした後, 散髪に出かける.
髪を切るのは昨年の暮れ以来なので, かなり鬱陶しく伸びてしまった. 短く切ってもらう.

床屋が混んでいたこともあるのか, 切ってもらっている途中から次第に抑鬱感が強くなってくる.
ちょっとまずい.
帰り道はあまり良くなくて, 背中を丸めて人と目が合わないようにしながら道路の隅っこを歩く.
鬱が苦しいときはこうなる.

頓服を飲んで少し休んでから夕食の支度をする. 食事が作れるようになったのは良かった.
豆腐とワカメの味噌汁, 豚こま肉の塩焼き, 野菜炒めと納豆とご飯.

今日は終日低調だった. ひとまず頓服で落ち着いたので多分ぐっすり眠れると思う.