世間では今日は海の日で祝日だったそうですね。 「世間が休んでいるのならいっか」と思ったのか、僕はベッドで3度寝しました。おかげで起きたら午後2時でした。 そんなこともあり、起きてボーっとしてから3時ごろに研究室に出向いて、数理論理の勉強です。今…