信頼性のある統計に基づくのなら、「体育の日」はハッビーマンデーにしなくても良かったんじゃないかなあ。