閑話休題と夏休み。