ケン・トンプソン：正確な終盤解には範囲の定義が必要

博物館はトンプソンとジョー・コンドンのBelleハードウェア開発を1977年としている。^[3] リッチーはハードウェア支援探索と後の終盤データベースを別の発展として説明する。^[2] ここで扱う詳細な手法は1986年の論文に基づく。すべての結果が1977年に揃っていたとは言えない。^[1]

トンプソンは合法な先行局面を生成し、既知の結果を伝播させる。勝ちには一つの勝てる手があればよいが、強制的な負けには全合法応手の確認が必要だ。駒取りなどは明示的に処理する。^[1] チェスを単に「可逆」と呼ぶと、信頼性を支える作業が見えなくなる。 終了条件も重要で、合法手がないことは直ちにチェックメイトを意味しない。

論文は限定された少数駒の終盤を扱い、メイトまでの距離と、より単純な勝ちの終盤に移るまでの距離を区別する。^[1] 指標は同一ではない。全引き分けへの強制手数、チェス全体の解、1977年の一度の実演だけによる競技規則変更を示すものでもない。

分析と応用

製品の業務フローでは、成功という大きな約束より、検証可能な終了条件を絞る。許可される状態遷移を描き、システムが選べる行動と他者が選ぶ応答を分ける。逆向きの推論は不足する前提を見つけられるが、モデル外の顧客の好みや将来市場の不確実性は消せない。

分析と応用

1. 状態、許可される遷移、各行動の選択者を定める。
2. 検証できる終了結果を挙げる。
3. 一つの十分な経路と、すべての応答で必要な条件を分ける。
4. 循環、不正な状態、例外、測定目標を記録する。
5. 小例で検証し適用限界を示す。これは私たちの応用提案であり、トンプソンが実証した事業成果ではない。