夏休み短縮されたけど、場合よっては休校という形で延長する可能性はあるな。