私が子供の頃にはなかった「海の日」が1995年に定められた時、当時は「7月20日は海の日」と固定だったのですが（今は7月の第三月曜日）、「何故に7月20日？」と疑問を持ったのですが、何せまだGoogleさんがない先史時代（！）だったので今のようにすぐにお手…