2020年7月23日（木）　海の日
2020年7月24日（金）　体育の日
2020年8月10日（月）　山の日

金曜日を祝日にするくせに、土曜日と祝日が重なった場合には振替休日は無し…
海の日が、7月22日だったら、23日は「国民の休日」になっていたかも…？（それは反則？）
そもそも祝日の意味が薄れない？