この記事は方法論に関する解説であり、製品ランキングではありません。ソルバーとエクイティ計算ツールやハンドヒストリートラッカーを区別し、手計算可能な単純なゲームを例に挙げ、あるツールが優れていると主張する前に比較に必要な要素を列挙しています。 プレイ中の使用はルームポリシーの問題です。ソフトウェアが特定の局面を解けるからといって、運営者がプレイ中の参照を許可しているとは限りません。
ソルバー、エクイティ計算機、トラッカー、意思決定支援ツールは異なるツールである
エクイティ計算機は、それ以上のベットなしにショーダウンまで進む場合、指定した相手のハンドやレンジに対して、残りのボードカードと引き分けも考慮しながら、自分のハンドが得るポットの期待シェアを推定します。トラッカーは過去のハンド履歴や統計を整理します。ソルバーは、双方の選択肢と対応を決定木に含め、そのモデル内で戦略を探索します。リアルタイムの意思決定支援は、現在進行中のハンドに助言する機能や使い方です。ソルバーの出力、チャート、その他の分析を利用する場合があり、ルームの規則による制限を受けます。これらの機能が一つの製品に含まれることはあっても、同義ではありません。
| 質問 | 代表的なツールの種類 | その回答が確立しないこと |
|---|---|---|
| 「ショーダウンにおいて、このハンドは相手のそのレンジに対してポットの何割を獲得できるか？」 | エクイティ計算ツール | どのベットサイズやアクションがEVを最大化するかを特定する。 |
| 「先月、私は類似したハンドをどのようにプレイしたか？」 | トラッカーまたはデータベース | 記録されたサンプルが次の対戦相手を予測することを示す。 |
| 「このモデル化されたツリーにおいて、両プレイヤーはどのようにアクションを組み合わせるべきか？」 | ソルバー | 実際の対戦相手が想定されたレンジやベットサイズを使用すること。 |
| 「この実戦ハンドでどうすべきか？」 | リアルタイムアドバイスワークフロー | オペレーターがワークフローを許可すること。 |
Poker-Eyeの製品ページは、別途テストされた機能契約がない限り、ソルバー、または特定のソルバーと同等であると記述してはならない。戦略記事は、プラットフォームとの互換性やオペレーターの承認を保証するものではない。
入力データが解決すべき問題を定義する
ポストフロップのノーリミット・ホールデム分析において、ソルバーには両プレイヤーの初期レンジ、ボードカード、ポットと有効スタック、許可されたベットおよびレイズのサイズ、および該当する場合はキャッシュゲームのレーキやトーナメントのペイアウトモデルなどの効用処理が必要です。それらの 相対的なポジションによって、各意思決定において誰が先にアクションを起こすかが決まります。GTO Wizardの解説では、これらをゲーム空間の入力として挙げ、ベットサイズの制限がどのようにしてポーカーゲームの計算を大幅に扱いやすくするかを説明しています。 実際のプレイヤーが選択し得るサイズを省略してしまうと、計算された戦略はその省略された分岐を文字通りカバーできなくなります。
| 入力 | 仮説的な研究における例 | 誤りまたは省略の場合 |
|---|---|---|
| プレイヤーのレンジ | BTNのオープン対BBのコール | ソリューションが誤った可能性のあるハンドを評価してしまう。 |
| ボード | K♣7♦2♠ | 別のフロップではハンドの強さやブロッカーが異なる。 |
| ポットと有効スタック | 20 BBのポット、80 BBのビハインド | 別の深度ではベットサイズや将来のコミットメントが変化する。 |
| アクションツリー | チェック、ポット33%ベット、ポット75%ベット、レイズ許可 | フルポットアクションが除外されていた場合、その分岐が存在しない。 |
| ユーティリティ | レイクなしのチップEV、または指定されたレイク／ペイアウトモデル | キャッシュゲームのレイクやトーナメントのペイアウトにより、目的関数が変わる可能性がある。 |
これらの入力例は、計算された解答ではありません。これらは、実際に解かれたスポットにおいて開示されるべき事項のチェックリストです。オープニングレンジ自体には、出典とバージョンが必要です。読者は、戦略グリッド上の色がどのツリーによって生成されたかを正確に特定できる必要があります。
決定木は利用可能なアクションのマップである
ノードは決定点であり、分岐はアクションであり、終端ノードはフォールドまたは定義されたペイオフを伴うショーダウンで終わる。 2人プレイヤーのリバー・ツリーでは、一方のプレイヤーがチェックまたはベットし、もう一方がコールまたはフォールドする可能性があります。2つ目のベットサイズ、レイズの選択肢、あるいは別のストリートが追加されると、分岐の数は増えます。ソルバーは、情報セット（プレイヤーが同じ情報を持っている状況）において戦略を割り当て、プレイヤーの選択がどのように相互作用するかを評価します。
各終端分岐において、期待値はペイオフにその分岐に到達する確率を乗じた値となる。あるアクションについて、分岐全体を合計する。 GTO Wizardの記事では、この終端ペイオフの計算方法を解説し、反復的な後悔の低減について論じています。オリジナルの2007年の反事実的後悔に関する論文は、ある重要な手法群に関する主要な研究資料であり、すべての商用ソルバーが同一の内部構造を持っているという主張ではありません。
手計算できる小さなリバーゲーム
なぜ戦略がアクションを組み合わせることができるのかを理解するには、実際のホールデムのボードに関する主張ではなく、簡易ゲームを用いる。ポットには100チップがある。攻撃者は、コールされれば常に勝つバリューハンド、あるいはコールされれば常に負けるブラフハンドを保持している可能性がある。 アタッカーは50チップをベットするか、チェックすることができます。ディフェンダーは、すべてのブラフに勝ち、すべてのバリューハンドに負けるブラフキャッチャーを持っています。ベットをされた場合、ディフェンダーは50チップをコールするか、フォールドすることができます。 引き分け、レイズ、レーキ、および今後のストリートは存在しません。バリューハンドは常にベットされ、ブラフハンドはチェックしても追加のチップをゼロしか獲得できないものと仮定します。この意図的に制約されたモデルでは、バリューハンドとブラフハンドの出現頻度は当初、等しいものとします。
ブラフがベットした場合、ディフェンダーは確率 1 − c でフォールドし、確率 c でコールする。ディフェンダーがフォールドすればブラフは既存の100を獲得し、コールされれば自身のベットした50を失う。チェックした場合の追加利益を0とする仮定の下で、ベットの期待値（EV）は次の通りである：
bluff EV = (1 − c) × 100 + c × (−50) = 100 − 150c
c = 100/150 = 2/3 の場合、ブラフ側はベットとチェックのどちらを選択しても差がない：防御側は66⅔%の確率でコールする。これは、この固定された100/50ツリーの結果であり、一般的な「常に3分の2の確率でコールする」という指示ではない。
ディフェンダーのコールには50のコストがかかる。ベットが条件付き確率 q のブラフである場合、コールすればアタッカーがベットした後にポットにすでに含まれている150を獲得できる。一方、バリューベットである場合、コールすると50を失う。フォールドと比較すると：
call EV = q × 150 + (1 − q) × (−50) = 200q − 50
q = 50/200 = 25% のとき、ディフェンダーは無関心となる。攻撃者のバリューハンドとブラフハンドの出現頻度が当初同等で、すべてのバリューハンドがベットする場合、 ブラフタイプに対して3分の1の頻度でしかベットしない場合、ベット総量は 0.5 value + (0.5 × 1/3) bluff = 2/3 となり、そのうちブラフの割合 1/6 が4分の1を占める。 この制約付きの簡易ツリーにおいて、ブラフ頻度が3分の1、ディフェンダーのコール頻度が3分の2であれば、両方の無関心方程式が満たされる。これは解決済みのマルチストリート・ポーカー戦略ではないが、モデルが単一の純粋なボタン操作ではなく、混合した割合を出力する理由を単に示しているに過ぎない。
| 簡易入力または出力 | 値 | 再計算 |
|---|---|---|
| ベット前のポット／ベット額／コール額 | 100 / 50 / 50 | コール後の最終ポット = 200。 |
| ベットにおけるディフェンダーの損益分岐点となるブラフの割合 | 25% | 50 / 200. |
| ブラフが中立となる場合のディフェンダーのコール頻度 | 66⅔% | 100 / (100 + 50). |
| 初期タイプが50/50の場合のブラフハンドのベット頻度 | 33⅓% | ベット全体に占めるブラフは (0.5 × 1/3) / (0.5 + 0.5/3) = 25%。 |
「混合戦略」が本当に意味すること
ソルバーは、あるノードにおいて、あるハンドに対してベット70％、チェック30％を割り当てるかもしれない。 それは、ソルバーが次の対戦相手の正確な反応を知っていることを意味するわけではない。それは、解かれたモデル内において、それらのアクションを組み合わせることで、そのプレイヤーの戦略に対して改善が困難になるか、あるいは選択肢の価値がほぼ同等であることを反映していることを意味する。頻度は、わずかな期待値（EV）の差、ツリーの抽象化、収束許容度によって左右されやすい。 「70％ベット」を「毎回ベットする」と解釈する初心者は戦略を変えてしまい、これを「すべてのポーカーゲームにおいて最適」と表現する執筆者は主張を変えてしまっている。
上記の簡易ツリーは意図的に簡略化されています。実際のホールデムには、多くのホールカードの組み合わせ、将来的なボードの展開、ベットサイズ、そして対戦相手の反応が存在します。市販のソルバーは、異なるアルゴリズムや抽象化手法を使用している可能性があります。 GTO Wizardの方法論では、ツリーが狭すぎると解決策が自身の人工的な限界を悪用してしまう一方、ツリーが大きすぎると計算コストが高くなってしまうことが論じられている。ツリーの仕様が記載されていない出力スクリーンショットは、再現可能な研究とは言えない。
抽象化、収束、レーキ、および実テーブルにおける不確実性
抽象化とは、ゲームを扱いやすいカードやアクションのセットに還元することです。 収束とは、反復的な解が、選択された停止基準にどれほど近づいているかを表すものです。出力は小数点以下1桁まで正確であっても、過度に単純化されたツリーに属している可能性があります。レイク、実効スタック、ペイアウトルール、レンジ、ベットサイズはすべて、EVの全体像を変える可能性があります。 2つのアクション間の差がチップのごくわずかな割合である場合は、その情報源が精度や仮定を明示していない限り、慎重に扱うべきである。
たとえ特定のゲームに対する優れた解であっても、特定の対戦相手がどれほど頻繁にブラフをするか、そのルームのレーキがモデルと一致しているか、あるいはプレイヤーが混合アクションを実行できるかといった点は測定できません。テーブル外での研究では、この結果を用いてなぜそのアクションが現れるのかを考察することはできますが、それを実際のテーブルでの自動的な指針として提示すべきではありません。 当サイトのGTOポーカーガイドでは、この戦略用語について解説しています。本記事では、入出力監査に焦点を当てています。
プリフロップとポストフロップは異なる計算タスクである
プリフロップのモデリングでは、将来のボードと決定からなるはるかに大規模なツリーを考慮する必要があります。ポストフロップの分析は、指定されたレンジと既知のフロップまたはそれ以降のボードから始まるため、状態空間は縮小されますが、その答えは、それらの入力レンジがどのように構築されたかに左右されやすくなります。 プリフロップのオープニングチャートは、特定のボードにおけるリバーのベットに対する答えではありません。逆に、誤ったプリフロップレンジから始まるポストフロップのソルブは、内部的には一貫性があるにもかかわらず、間違った質問に答えてしまう可能性があります。
ベンダーの出力を検証する際は、ソルブが事前に計算されたものか、現在の設定に基づいて生成されたものか、どのようなアクションが利用可能か、戦略の頻度やEVがどのように表示されているか、そしてツールが精度に関する情報を記載しているかを確認してください。 本記事では、ベンダー間の直接比較ベンチマークを実施していません。機能一覧は、独立したタスクにおいて、どのベンダーがより高速に、より正確に、あるいはより有用にソルブを行うかを示す証拠にはなりません。
公正な比較プロトコル、でっち上げのランキングではない
ソルバーのクラスや製品を比較するには、まず1つの同一のテスト課題を指定する必要があります。これには、バリアント、パブリックボード、両方のレンジ、ポット、スタック、ベットツリー、レーキまたはペイアウトモデル、および目標精度が含まれます。 ツール名、バージョン／ビルド、マシン、設定、実行時間、メモリ使用量、エクスポートされた戦略、EV、および警告があればそれらを記録します。製品が同じツリーを表現できない場合は、勝者を強引に決定するのではなく、「このタスクでは比較不能」と報告してください。独立したレビューアに入力と出力を再現してもらいます。 そのテストが実施されるまで、各製品の数値性能の状況は未検証となります。
| ツールクラス | テスト項目 | 記録すべきソース／バージョン | 報告すべき境界条件 |
|---|---|---|---|
| 事前計算済みソリューションライブラリ | 指定されたシナリオが正確に含まれているか？ | ライブラリ／バージョンおよびツリーのメタデータ | 近似的な結果は同一の解とはみなされない。 |
| 設定可能なポストフロップソルバー | 指定されたレンジ、ボード、アクションサイズを解くことができるか？ | ビルド、設定、ハードウェア、精度 | ツリーが異なると、速度やEVの直接比較は無効になる。 |
| エクイティ計算ツール | 指定されたハンドまたはレンジのショーダウン・エクイティは何か？ | アルゴリズム／ビルドおよびカード／レンジ | それ自体ではベット戦略を最適化しない。 |
| ハンドヒストリー・トラッカー | 記録された過去のハンドで何が起きたか？ | バージョン、インポート、フィルタ設定 | 観測された頻度は、解かれた均衡ではない。 |
学習用途と実戦用途の比較
オンラインプレイ中のソルバー使用が自動的に認められるわけではありません。PokerStarsのツールポリシーは、同社ソフトウェア起動中の高度なGTOソリューションを制限しています。GGPokerはリアルタイムの外部支援を禁止し、補助ツールの節にソルバーを挙げています。CoinPokerのツール専用ポリシーは、起動中のRTA、指定ソルバー、判断支援用学習ツールを制限し、2026年利用規約21ページもプレイ中のRTAとソルバーを禁止しています。各箇所は2026年10月22日に再確認しましたが、特定製品の承認を意味しません。
安全な編集上の指針は単純です：学習の文脈と実戦での意思決定の文脈は別物です。教育用の図解、製品のラベル、またはベンダーのブログを、稼働中のクライアント上で解決策を参照する許可として用いてはなりません。特定の機能については、運営者からの書面による回答を求め、バージョンや日付を明記して保存してください。
ハンドレビューガイドは、ソルバーモデルを構築する前の、テーブル外での質問・記録プロセスを提供しています。これは、プレイ中にソルバーを使用することを許可するものではありません。
よくある質問
ソルバーは相手のカードを知っていますか？ いいえ。ソルバーは、定義されたモデル内で、可能性のあるレンジと既知のボードに基づいて動作します。隠されたカードを明らかにすることはありません。
ソルバーの出力が、1つのアクションではなくパーセンテージで表示されるのはなぜですか？ モデル内では複数のアクションが混在する可能性があります。私たちの単純な100/50のリバーツリーは、無差別性を示しています。実際の出力は、レンジ、アクションのサイズ、収束度にも依存します。
エクイティ計算機はソルバーですか？ それ単体ではそうではありません。生のエクイティは、指定されたハンドやレンジにおけるショーダウン時のポットシェアを推定するものであり、将来のベットや、プレイヤーがそのシェアのうちどれだけ実現できるかまでは考慮していません。ベットソルバーは、ゲームツリーにおける選択や反応もモデル化します。
スクリーンショットだけで2つのソルバーを比較できますか？ 両方が同じタスク、ツリー、レンジ、レーキ／ペイアウト、バージョン、および精度基準を使用している場合を除き、公平な比較はできません。そうでない場合、スクリーンショットが示す内容は異なる質問に対する回答となる可能性があります。
出典と適用範囲
- GTO Wizard: How Solvers Work — ゲームツリーの入力、終端の利得、反復計算、抽象化の限界を説明しています。本記事の仮想ツリーを実戦の解として検証するものではありません。
- Zinkevich et al.: Regret Minimization in Games With Incomplete Information (2007) — 反実仮想後悔に関する原論文です。求解手法の一系統の根拠であり、すべての商用ソルバーが同じ内部処理を使う証拠ではありません。
- PokerStars: Prohibited Programs, Tools and Services — 同社ソフトウェアの起動中における高度なGTOツールの制限を確認しています。
- GGPoker: Security & Ecology Policy — プレイ中の外部支援と補助ツールの制限を確認しています。学習用という名称は包括的な許可を意味しません。
- CoinPoker: Third-Party Tools & Software Policies — RTAとプレイ中のトレーニングツールの各節は、クライアント起動中のソルバーと判断支援用学習ツールを制限しています。2026年10月22日再確認。
- CoinPoker: Terms and Conditions (2026), pp. 4–5, 21 — 4〜5ページはゲームに関連するHUDの制限と他プラットフォームの条項、21ページはプレイ中のRTA・ソルバー・HUDを扱います。FAQの起動中制限とは区別します。2026年10月22日直接再確認。
100／50のリバー例は無差別条件の式を示した独自の制約付きモデルです。商用ソルバーの比較測定や複数ストリートの戦略を求解した結果ではありません。