もう8月が終わりというのが信じられない。企業の方からよく「大学はいつまで夏休みですか。え、そんなに長いんですか。いいですねえ」と言われるのだが、夏休みは授業がないということ以外は通常営業で、（理工系の）大学教員としては日常業務が1割程度減る…