6.7_順序関係を決定可能にする