笑わない数学って終わっちゃったの？