10:00起床。最近忙しかったのでのんびりとする予定だった。けど残り二日間しか夏休みがないやんけってなったので結局何か進捗をうまなくては、となり数学原論をやることにした。 12:00～まで数学原論と格闘する。逆極限の辺りの地の文でかなり悩んでいたとこ…