今日は「海の日」で祭日。「海の日」は1995年に制定され、1996年から施行された日本の国民の祝日の1つであり、制定当初は7月20日と決められていた。その後、2003年の「祝日法改正（ハッピーマンデー制度）」により、7月の第3月曜日となった。ちなみに、祝日…