11:00起床。今日は本当に何もやる気が起きない一日だった。布団の中でもぞもぞしたり数学を少しだけしてたら気づいたら15:30に。元々16:00に出身中学校に行く予定があったので仕方ないので布団から出た。 16:00～出身中学校に行く。昨晩、元同級生に急遽呼ば…

11:00起床。最近睡眠不足(当社比)が続いていたので久しぶりに二桁時間睡眠を決めた。週に一回はこれをやらないと体調が悪くなるので仕方がない(ほんまか？) とりあえず『数学原論』を読んでる。本文で出てくる自然変換が本当に自然変換なのかを確認する作業…