2020年8月13日から16日まで夏季休暇です。