本日は「海の日」。Wikiによると、 海の日（うみのひ）は、1996年（平成8年）に制定された日本の国民の祝日の1日である。制定当初は7月20日だったが、祝日法の改正（ハッピーマンデー制度）により2003年（平成15年）から7月第3月曜日となった。祝日化される…