大学の正式な夏休みが12月23日から始まった。夏休みは1月4日に終わる。この期間は大学スタッフ（事務系や教授などのアカデミックスタッフも含め全員）の休み。彼らとワークスケジュールを共にするPhD学生も年に一度の公式な連休がもらえる時期。ちなみに子供…