11:00起床。昨晩はテンションが完全におかしく、途中まで徹夜するつもりだったけど急に冷静になり4:00に就寝。生活習慣くん…(n回目) とりあえず、予定してたとおり『数学原論』を読む。しばらく前から埋まってなかった行間が埋まった。(表現可能関手FがA、B…