何が新しくなったのか
2026年9月18日から、ChessRank.org の Board Analysis は Syzygy エンドゲーム・テーブルベースを使用しています。盤上の駒がキングを含めて7個以下になると、その局面をテーブルベースで検索します。答えが届くと、パネルはエンジンの推定ではなく正確な結果を表示します。白の勝ち、黒の勝ち、または引き分けと、その結果を保つ指し手です。
これにより、こうした終盤の局面の分析はより速く、より正確になります。より速いのは、結果を計算するのではなく参照するので、エンジンがさらに深く読むのを待つ必要がないからです。より正確なのは、それがそもそも推定ではないからです。その局面の証明済みの結果なのです。
その間も Stockfish はこれまでとまったく同じように各局面で起動します。盤上の駒が7個を超える場合は何も変わりません。また、テーブルベースに接続できない場合、たとえばオフラインのときは、盤面はそのまま Stockfish の分析を続けます。
エンジンとテーブルベースの違い
Stockfish は限られた手数だけ先を読み、たどり着いた局面を評価します。その評価は推定です。非常に優れた推定ですが、読みが深くなるにつれてまだ変わることがあります。終盤ではこれが重要です。大きな駒得でも、まったく勝ちに結びつけられないことがあるからです。キング、ビショップ、ルークポーン対キング単騎で、ビショップが昇格マスを支配できず、守る側のキングがすでにその隅にいる場合は、白がビショップ1個とポーン1個多くても引き分けです。
テーブルベースはその逆の方法をとります。ある駒の組み合わせ、たとえばキングとルーク対キングとナイトについて、コンピューターはそれらの駒で作れるすべての合法な局面を調べ、双方が完璧に指した場合の結果をひとつ残らず決定します。推定されるものは何もなく、漏れるものも何もありません。
テーブルベースの作り方
この方法は後退解析(retrograde analysis)と呼ばれます。まず、結果がすでに分かっている局面から始めます。チェックメイト、ステイルメイト、そして駒取りやプロモーションによって、すでに解かれた別の終盤へ移る局面です。そこからコンピューターは逆向きにたどっていきます。
- 手番の側に、相手にとって負けとなる局面へ進む手が少なくとも1つあれば、その局面は勝ちです。
- すべての合法手が相手にとって勝ちとなる局面へ進むなら、その局面は負けです。
- この2つの手順を、新たに結果が決まる局面がなくなるまで繰り返します。その時点でまだ決まっていない局面はすべて引き分けです。どちらの側もそこから勝ちを強制できないからです。
なぜ結果は数学的に確実なのか
すべての局面が確認されるので、テーブルベースの判定は意見でも確率でもありません。それは総当たりによる証明、つまり、すべての場合を調べることでしか判定できない命題に対して数学者が用いる種類の証明です。Board Analysis が「白の勝ち」と表示するとき、白はどんな守りに対しても勝ちを強制できることが証明されています。「引き分け」と表示するとき、どちらの側も勝ちを強制できないことが証明されています。
指し手についても同じです。緑の点が付いた手はすべて、その局面で可能な最善の結果を保ちます。勝ちは勝ちのまま、引き分けは引き分けのままです。これも推定ではなく証明されたものです。灰色の点は勝ちを逃すがまだ引き分けを保つ手、赤の点は負ける手を示します。
厳密に言えば、あらゆるコンピューター支援による証明と同じく、この証明もテーブルを生成したプログラムが正しく動作したことを前提としています。そのため Syzygy のファイルにはチェックサムが付いており、生成プログラムにはテーブルの内部整合性を検証するツールが付属しています。
そして「正しい」が意味しないことが2つあります。
- 正しい手が複数あることがあります。勝ちを保つ手が1つだけでないことはよくあります。Board Analysis は最善のものから順に最大4手を表示します。
- 最善手が常に最短の詰みとは限りません。Syzygy は勝ちの手を DTZ(distance to zeroing)で並べます。これは、最善の応手で次の駒取り、ポーンの手、またはチェックメイトまでの半手数です。まさにこれが、50手ルールのもとで勝ちを確実に守る仕組みです。別の手のほうが早く詰むこともあるため、両方とも勝ちであっても、テーブルベースの手が Stockfish の好む手と異なることがあります。
勝ち、引き分け、そして呪われた勝ち
テーブルベースは 50手ルールも考慮します。このルールでは、両者がそれぞれ駒取りもポーンの手もなく連続して50手を指すと、対局は引き分けにできます。盤上の対局では、プレイヤーが引き分けを申請する必要があります。オンラインでは、通常このルールは自動的に適用されます。
理論上は勝ちでも、勝つためには駒取りもポーンの手もない50手を超える区間が必要な終盤があります。Syzygy はこれを呪われた勝ち(cursed win)と呼びます。完璧に指せば勝ちですが、守る側は50手ルールによって引き分けに持ち込めます。守る側から見ると、同じ局面は祝福された負け(blessed loss)です。Board Analysis は呪われた勝ちを独立した判定として表示し、評価バーを中央に置きます。対局のルール上は引き分けだからです。
完璧に指された終盤はどれほど長くなり得るのでしょうか。2012年、7駒の Lomonosov テーブルベースが完成に近づいていたとき、最短の強制詰みに 549手かかる局面が見つかりました。これは、エンジンが先読みで見通せる範囲をはるかに超えています。
誰が考えたのか
- 1913年、エルンスト・ツェルメロ。このドイツの数学者は、集合論のチェスへの応用に関する論文(「Über eine Anwendung der Mengenlehre auf die Theorie des Schachspiels」)を発表しました。これはしばしばゲーム理論の最初の論文とされています。彼の名を冠した結果は、チェスでは、白が勝ちを強制できるか、黒が勝ちを強制できるか、あるいは双方が少なくとも引き分けを強制できるかのいずれかであると述べています。テーブルベースは、その具体的な答えを終盤ごとに示します。
- 1970年、Thomas Ströhlein。ミュンヘン工科大学での博士論文で、チェスの後退解析を初めてコンピューターで実装した方法を記述し、キングとクイーン対キングとルークを含む、3駒と4駒のいくつかの終盤を解きました。
- 1970年代後半から1980年代、ケン・トンプソン。Unix の生みの親の一人として知られるベル研究所の計算機科学者は、5駒までの多くの終盤についてテーブルベースを作りました。彼のキングとクイーン対キングとルークのデータベースは、グランドマスターのウォルター・ブラウンがクイーン側を持ってコンピューターの完璧な守りと戦い、局面は勝ちだったにもかかわらず、最初の挑戦で50手以内に勝てなかったことで有名になりました。
- 1991年、Lewis Stiller。超並列コンピューターを使って、6駒の終盤の一部を解きました。
- 1990年代後半から、Eugene Nalimov。詰みまでの距離を示す彼のテーブルベースはチェスプログラムで広く使われるようになり、まず5駒のすべての終盤、のちに6駒のすべての終盤をカバーしました。
- 2012年、Lomonosov テーブルベース。モスクワ大学の Vladimir Makhnychev と Victor Zakharov が、スーパーコンピューター「Lomonosov」で7駒のテーブルを計算しました。
- 2013年、Ronald de Man と Syzygy。2013年4月、Ronald de Man は6駒までのすべての終盤について Syzygy テーブルベースを公開しました。Syzygy は詰みまでの距離の代わりに、2つの情報を保存します。50手ルールを考慮した結果(WDL、win・draw・loss、つまり勝ち・引き分け・負け)と DTZ です。これによりテーブルははるかに小さくなり、エンジンが探索中に直接使えるほど高速になりました。
- 2018年、7駒。2018年8月、Bojun Guo と Ronald de Man が7駒の Syzygy テーブルを完成させました。Lomonosov のテーブルでは6駒対キング単騎の終盤が省かれていたため、これが初めての完全な7駒テーブルベースとなりました。このセットは18.4 TB に423兆を超える局面を収めており、Lichess によって誰でも無料で利用できるようになりました。
答えはどこから来るのか
7駒のテーブルはブラウザーにダウンロードするには大きすぎるため、Board Analysis は Lichess が運営する無料の公開テーブルベース・サービスに問い合わせます。リクエストに含まれるのは局面だけで、アカウントや対局のデータは含まれません。それぞれの答えはページを開いている間は記憶されるので、一度見た局面に戻ると結果がすぐに表示されます。
厳密な制限
- 駒は最大7個(キングを含む)。8個以上の場合、Board Analysis は Stockfish のままです。
- キャスリング権とアンパッサンは考慮しません。Syzygy はキャスリングがまだ可能な局面をカバーしていないため、Board Analysis はキャスリング権を除き、さらにアンパッサンの可能性も除いて局面を検索します。実際の終盤でこれが問題になるのはまれなケースだけです。
- 50手カウントはゼロから。盤上に並べた局面には指し手の履歴がないため、50手のカウントが始まったばかりであるものとして検索されます。実際の対局で、駒取りもポーンの手もない手がすでに多く指されている場合、ここに表示される勝ちは、実際には50手ルールに間に合わない可能性があります。
今後の予定
2026年9月18日時点で、テーブルベースは Board Analysis で利用できます。今後は Game Analysis、Report、Blunder Puzzles、Play Bots、Opponent Prep など、ChessRank.org の他の機能にも広げる予定です。2026年9月23日からは、オプションの「さらに深く」ボタンを通じて Game Analysis でも使えます(設定の Game Analysis で有効にします)。そこでは局面を見せるだけで、レポートを変えることはありません。
ぜひ試してみてください。Board Analysis で、たとえばキングとクイーン対キングとルークのような、駒が7個以下の任意の終盤を並べると、エンジンの推定ではなく正確な判定が表示されます。