完全解析すると、必勝手順の有無（引き分けなし）がわかるという点では≠で
構わないけど、少なくとも必勝手順がある事がわかった時点で完全解析は
終了しているのではないかと。