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

6 時起床.
昨日トークライブに行って精神的にへとへとになったせいで泥のように眠った.
熟睡できたから, いい疲れ方だったのだろう.

午前中, アパートから歩いて 30 分ほどのところにあるスポーツ施設を見に行った.
引っ越しをしてからプールには行っていない. それで近所のプールを調べたら, このスポーツ施設が見つかった.

見学させてもらったプールは広くてきれいだ. 日曜日ということもあり, いろいろな人たちが泳いでいる.
楽しそうである.
週一くらいのペースで泳げればいいなあ.

午後は図書館で数学をやる.
Kan 拡張と随伴関手の関係を示す命題の証明を考える.

夕方, なぜか急に鬱が強くなってきた. 頓服を飲む.

夕食は冷奴と納豆, 麻婆豆腐とご飯.
豆腐が重なってしまったが美味しいからいい.