8:00起床。最近、何だかんだ1限には間に合う時間に起きているので偉いと思っている。6時起床とか言ってたような気もするけど… まずは大学の図書館に向かう。とりあえず昨日Twitterで教えて貰った本が図書館にあるか探してみた。『数理論理学』(鹿島亮)はすぐ…