第３回電王戦ソフト差し替え問題に対する考察
この記事は、やねうらお氏の以下の記事に対する考察です。
2014-03-21 棋力と指し手の性質とは何か？
http://d.hatena.ne.jp/yaneurao/20140321
詳しい経緯は説明するのが面倒なので、各自ググってください。
さて、記事の説明に分かりづらい部分があって、言葉足らずに思えたので、以下のように再構成した上で、新たな考察を加えてみました。
（Ｂ１）Bonanza6（Bonanza評価関数＋Bonanza探索部＋トッピング全部乗せ）
（Ｂ２）仮想Bonanza（Bonanza評価関数＋Stockfish探索部＋トッピング全部乗せ）
（Ｙ１）やねうら王２０１０ （Bonanza評価関数？＋Bonanza探索部＋トッピング全部乗せ）
（Ｙ２）やねうら王２０１３ （やね裏評価関数＋Bonanza探索部改造＋トッピング全部乗せ＝魔改造＝バグ持ち改造）
（Ｙ３）やねうら王２０１３α１（やね裏評価関数＋Stockfish探索部）２月２日版
（Ｙ４）やねうら王２０１３α２（やね裏評価関数＋Stockfish探索部＋トッピング一部乗せ）３月１日版
やねうらさんの主張は、以下の式で表すことができます。
棋力（Ｂ２）＞棋力（Ｂ１）
棋力（Ｙ３）＜棋力（Ｙ１）
さらに、数学的に明確化するために、表記を簡略化してみます。
（Ｂ１）Bonanza6（ＢＨ＋ＢＴ＋ＴＡ）
（Ｂ２）仮想Bonanza（ＢＨ＋ＳＴ＋ＴＡ）
（Ｙ２）やねうら王２０１３ （ＹＨ＋ＢＴＫ＋ＴＡ）
（Ｙ３）やねうら王２０１３α１（ＹＨ＋ＳＴ）
（Ｙ４）やねうら王２０１３α２（ＹＨ＋ＳＴ＋ＴＺ）
（Ｙ５）仮想やねうら王２０１３（ＹＨ＋ＳＴ＋ＴＡ）
ＴＡ：トッピング全部乗せ
ＴＺ：トッピング暫定版（一部乗せ）
性能（ＳＴ）＞性能（ＢＴ）から、
棋力（ＢＨ＋ＳＴ＋ＴＡ）＞棋力（ＢＨ＋ＢＴ＋ＴＡ）が成り立ちます。
数学嫌いの人も、左右の項目の差異だけに着目してみてください。
ＳＴとＢＴが違うだけですよね。
棋力（Ｂ２）＞棋力（Ｂ１）を、内部構造も含めて数学的に表記し直しただけです。
ここで、ＢＴ≒ＢＴＫとします。
性能（ＳＴ）＞性能（ＢＴＫ）から、
棋力（ＹＨ＋ＳＴ＋ＴＡ）＞棋力（ＹＨ＋ＢＴＫ＋ＴＡ）が成り立ちます。
これは、棋力（Ｙ５）＞棋力（Ｙ２）に対応します。
しかし、やねうら王２０１３αは、Ｙ５（仮想やねうら王２０１３）ではないというのが、やねうらお氏の主張の最重要点だと思います。
ところが、棋力（Ｙ４）＞棋力（Ｙ２）だったというのが、今回の騒動の発端だったわけです。
では、なぜやねうらさんは、棋力（Ｙ４）≒棋力（Ｙ２）と判断してしまったのか？
それが、彼のブログ記事では、触れられていないように見えます。
だからといって、棋力向上を認識していたというのは早計な判断で、逆に棋力向上を認識していなかったというのも早計です。
現在のところ、触れられていない部分に関する彼の発言がないため、ここからは推測です。
やねうらお氏のブログ記事の「指し手の性質」の部分から、彼は、
指し手（Ｙ４）≒指し手（Ｙ２）
と判断していた。
そこから、棋力（Ｙ４）≒棋力（Ｙ２）と判断してしまったのではないか？
もしそうだとしたら、「やねうらお氏が棋力向上を認識していたのは間違いない」という命題は、否定されます。
ただし、この命題には様相論理と認識論理が関わっているので、少しややこしい事情があります。
それは、認識に関しては、否定も肯定もできないが、その認識に対し、必然とするのは否定されるということです。
そして、以下のように命題を分類してみました。
（１Ａ）悪意があったのは間違いない。
（２Ａ）棋力向上を認識していたのは間違いない。
（１Ｂ）悪意があった可能性が高い。
（２Ｂ）棋力向上を認識していた可能性が高い。
（１Ｃ）悪意があった可能性がある。なかった可能性もある。
（２Ｃ）棋力向上を認識していた可能性がある。なかった可能性もある。
（３） 棋力向上を認識できたはずだ。
（しかし、見通しが甘く、認識できていなかった。）
１Ａと２Ａは、やねうらお氏のブログ記事の内容に関わらず、証明不可能問題です。
ただし、相手のコンセンサスが得られれば、一応証明されたことにはなります。
（それでも、相手が嘘をついて、非を認める可能性はある。日本人によくあるパターンとして。）
問題は１Ｂと２Ｂですが、それを裏付ける証拠が増えれば、信憑性は増しますが、帰納法は常に反証可能性があり、いくら可能性が高いと思っても、１Ａや２Ａにはならないということに注意する必要があります。
そして、やねうらお氏の主張により、確実に言えることは、１Ｃと２Ｃになったわけです。
２つの可能性のどちらかはっきりしない場合は、推定無罪とすべきですし、論理学の語用論規則として、寛容の原則というものがあり、相手の主張が偽と言い切れない場合は、真と解釈してあげるのが原則となっています。
結局、責任問題として、着目すべき命題を考えた場合、３が残るわけです。
そして、やねうらさん自体、３の過失を認めて謝罪していますから、これ以上の責めるべきではないと思います。
ただし、謝罪したからといって、責任を果たしたことにはなりません。
なぜこのようになったかを明らかにして、二次的失敗を防止するために、説明責任を果たす必要はあります。
よって、私はやねうらお氏に対し、責めるつもりはないですが、まだ充分な責任を果たしていないと考えています。
もっとも、彼は自分がどう思われるかよりも、プログラマーとして局面がフリーズするバグが生じないことが最重要だったのかもしれません。
だからこそ、今回のような失敗が生じたわけで、だからこそ、彼は天才かつ異端児であり、だからこそ、社会はそれを許容する寛容さが求められているではないでしょうか？
確かに彼は、一時的原因を作りました。
しかし、関係者が二次的原因を作り、三次的原因を作り、次々と事態を大きくしていきました。
果たして、火を点けて、消そうとした者に対し、油を次から次へと注いだ者が、火を点けた者を責めることが出来るのでしょうか？
そんな滑稽さと無責任さを、今回の件では強く感じました。
ネットの発言で、「清濁併せ呑む」という言葉を見かけましたが、もし将棋連盟や関係者がそのような姿勢で接していれば、このようなことにはならなかったはずです。
もっとも、ドワンゴに関しては、清濁併せ呑んだ上でそれを商売に利用するという感じで、それはそれでプロフェッショナルだと思いますが、今回はさすがにやりすぎてしまったため、すべての責任をしょい込んで謝罪したのでしょう。
ただ、今回のことに対し、事前防止策や、チェック体制、生じてしまった時の対応策をどうすべきだったのかを充分に検討することなく、問題の本質が欠落した状態での形だけの謝罪では、再発防止に全くなっていないと思います。
だからこそ、私は第３回電王戦第２局が無事に終わった後でも、現状を危惧せずにはいられず、このような考察をしているのです。
