9月1日が火曜日の場合、
敬老の日がハッピーマンデーでなくても9月15日の火曜日は休み
ハッピーマンデーの場合、秋分の日が9月23日でも、9月22日の火曜日は休み