世間は夏休みだが、本学内は夏働き。