今日から事務室が夏休みに入ってしまったせいなのか，故障のせいなのかわからないけど院生室の空調が効いていない． これなら自宅で作業していたほうがましなので，事務室の夏休みが明けるくらいまでしばらく登校するのを止めようかと…