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

10 時起床.

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

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

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

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

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

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

横になって休む.

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

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