１０月１０日は、「スポーツの日」

　「スポーツの日」は、２０１９年（平成３１年）までは、「体育の日」でした。
体育の日の由来は、１９６４年（昭和３９年）に日本で初めて開催された東京五輪を記念して、１９６６年（昭和４１年）に「スポーツにしたしみ、健康な心身をつちかう日」として制定された国民の祝日です。
はじめは、曜日に関係なく、１０月１０日が「体育の日」でした。
この日は、東京五輪の開会式が行われた日でした。
２０００年（平成１２年）から「ハッピーマンデー制度」が適用され、「体育の日」は、１０月の第２月曜日になりました。
２０２０年に２回目の東京オリンピックが開催されることに伴い、「体育の日」は、「スポーツの日」に改称されました。

現在、日本の祝日で「ハッピーマンデー制度」が適用されているものは、スポーツの日以外に何がありますか。