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

2 時起床.

昨日は体調不良で数学ができなかった.
懸案になっている右 Kan 拡張の構成をやる.
左 Kan 拡張の構成を右 Kan 拡張の構成に書き直す形で書いていく. その過程で左 Kan 拡張の構成の記述に typo や小さな誤りなども見つかり, そういうものを直しながら進める.

Kan 拡張というのは Daniel Kan という数学者が考え出した概念である.
このような非常に抽象的な, しかしおそらく非常に本質的な概念を生み出したのは一体どんな人なのだろう.

午後は散歩をする. いつもと違う道を歩いたら結構楽しかった.

夕方スーパーに食材の買い出しに行き, レジで精算をするときに気付いた.
おつりを受け取ったときに「どうも...」と言ったのが今日初めて発した言葉だ. 朝から一言も口を喋っていなかったのだ.

それで考えてみると, 昨日も買い物のとき以外は全く喋っていないのでは, という気がする.
一言も発することなく終えた日もあるのでは, とも思う.

一人暮らしで, 人との関わりが少ないので当然か.