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

3 時起床.

数学をやる.
圏論の教科書を読む.
Par$\acute{\textrm{e}}$ の定理 (反変冪集合関手 (contravariant power set functor) $P : \mathbf{Set}^{\mathrm{op}}\rightarrow\mathbf{Set}$ はモナド的 (monadic) であるという主張) の証明を読み終わる.

体調が悪かったりと毎日勉強ができなかったが, 2 週間かけて何とか理解できたと思う.

区切りを付けて朝食をとる.
納豆と卵かけご飯と味噌汁.

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

午後に起きて買い物に行く.
空が晴れていて, 太陽の光が眩しい.

帰宅して読書.
戸部良一他『失敗の本質』.
ミッドウェイ海戦について.

夕食は蕎麦と大根おろし.

眠剤を飲んで布団に入る.