夏季休業日の短縮について