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

0 時半起床.

カント『人倫の形而上学の基礎づけ』.
自由の理念に基く意志が, 道徳法則に従わなければならないのはなぜかという問題へのアプローチ.
理性の司る知性界においては, 自由な意志から道徳法則が導かれる.
一方, 悟性と感性の司る感性界においては, 道徳法則は義務として機能する.
難しい. 概ね納得はした. 日をあらためて考えてみたい.

それから数学をやる.
教科書を読み進める.
任意のモナドが与えられたとき, それを導く関手の随伴は存在するかについて.
朝までやって区切りを付ける.

朝食をとる.
納豆と卵かけご飯と味噌汁.

午前中は OpenBSD のアップグレード作業の続きと Emacs HEAD のコンパイルを行う.

昼に買い物に行く.
野菜や肉などを買う.

少し疲れた.
帰宅して横になって休む.

夕方に食事.
湯豆腐と梅干しとご飯.

次第に鬱が辛くなってくる.
なかなか安定しない.

早めに布団に入る.