8月10日が土曜日で11日祝日、12日振替休日なので 夏季休暇は13～15日と書いたらいいんだろうか。   それとも10～15日と書いたほうがいいんだろうか。   なんか13～15日の方が仕事やってる