2012-04-18 ■ 20本ほどタームペーパーの採点終了。疲労困憊。 つづいて指導教官との Kunen, Set Theory (2nd ed.) の二人読書会の準備。 またしても寝る時間がない。 ほんとうに今期はきついな。