昨日（2022年10月10日）の体育の日、いや体育の日ではない、いつの間にかスポーツの日に名称が変わっていた。 何時変わったんだ？ 調べてみると2020年だった。 特例により、2020年と2021年は東京五輪の開閉会式に合わせて3つの祝日（「海の日」、「山の日」…