勝つ戦略の数学的な定義