仕事で祝日のことを調べていて初めて知った。5月4日って特別な休日だったんだ。なんでも祝日にはさまれた日が休日でない場合に休日になるそうな。だから今年は単なる日曜日なのね。結果的に毎年5月4日は休みなんだけど。3日と5日が祝日である限りは。そういえば海の日と敬老の日がハッピーマンデーになるというのも聞いたことあったような気もしたけど、今年からとは知らなかった。学校の時間割組むと、月曜日だけますます授業日数が少なくなるんだなあ。