ゲームの結果と順序関係 結果の順序関係 ( Left 側から見た優先順位 ) LEFT > DRAW > RIGHT OC(G) の順序関係の定義 OC(G) のなす半順序関係