試合終了のことです。