組み込みエンジニアの現場力養成ドリル（3）

将棋「名人位」挑戦規定のバグ（2/2 ページ）

公開 2018年04月06日 09時00分

更新 2018年04月09日 23時41分

[TechFactory]

印刷する連載新着通知を受け取る

　補足説明として、各級に在籍する棋士には「級の中の順位」があり、前年度の成績のよい順になります。この順位が意外に重要で、例えば、B級2組で全勝者が5人いる場合、上位の2人しかB級1組へ昇級できません。降級も同様で、同じ成績でも下位者から降級します（これを「順位に泣く」とか「順位に救われる」と言います）。

　また、昇級と降級は物理的に確定した瞬間、制度的にも確定します（今回のC級2組では、9戦が終わった時点で藤井聡太六段が9勝0敗、2位の7勝2敗が4人だったため、あと1局を残しながらも、この時点で昇級が確定しました）。なお、プロの将棋では「持将棋」という引き分けがありますが、日をあらためて指し直すので、必ず勝ち負けがつくと考えてください。

　以上が「通常の規定」で、ご存じの方々も多いでしょう。ここで、「通常」と書いたのは、2017年6月から2018年3月までの第76期の対局では、三浦弘行九段の冤罪（えんざい）事件の救済措置として、三浦九段がA級の11位となりました。A級に通常より1人多い11人が在籍することになったため、以下の影響が出ました。

A級からB級1組への降級者は3人になった。
B級1組の在籍者が11人になった。
B級1組からA級への昇級は通常通り2人だが、B級2組への降級者は1人に減った。

　いずれも、来期には定員をA級は10人、B級1組は13人に戻すための措置と思われます。以上が補足を含めた「名人位タイトル戦」の概要ですが、この「仕様書」の中にバグがあります。それを見つけてください。ヒントとして、第76期のA級の全成績を以下に挙げます。今期は6人が6勝4敗となり、史上最多人数による挑戦者決定プレーオフが行われました。B級1組への降級は、渡辺明棋王、行方尚史八段、屋敷伸之九段の3人です。

第76期名人戦　A級順位戦（名人：佐藤天彦）

名人戦の「仕様書」に潜むバグ

　この名人戦の「仕様書」に潜むバグとは、「B級1組へ降級した棋士が、最高位の名人になる可能性がある」ことです。

　第76期名人戦に限ってはA級に11人の棋士がいるため、総当たり戦は1人10局となります。となれば、11人全員が5勝5敗になる可能性があります。降級は順位が下の3人なので、今回の第76期名人戦で全員が5勝5敗であった仮定すると、9位の久保利明王将、10位の豊島将之八段、11位の三浦弘行九段がB級1組へ降級します（あくまで仮定の話なので、関係者の方、ご容赦ください）。

　一方、名人への挑戦権は、最高勝者によるパラマス方式でのプレーオフで決めるため、全員のプレーオフになります。もし、最下位の三浦九段が残りの10人に勝ち、佐藤天彦名人に挑戦して4勝すれば、名人になります。名人は、プロ棋士の中でただ1人、順位戦に参加しません（神のような存在ですね）。当然、「三浦名人」は順位戦に参加しないのですが、降級規定ではB級1組に落ちることになります。

　「名人だからB級1組へ落とさない」とすると、「降級者は下位3人」の規定が矛盾を起こし、佐藤天彦「元名人」がA級1位になるため、降級する下位3人の中には、実際には下から4番目の佐藤康光九段が該当してしまいます。あちこちに「ほころび」が見えますね。

　A級は通常10人の総当たり戦なので、対局数は1人9局。従って、全員が同じ成績になることはなく、上記の「バグ」は発生しません。将棋連盟も、三浦九段をA級の11位として救済措置をとった時、上記の「バグ」は想定していなかったと思います。名人位争奪に関するバグは上記以外にも、「A級の棋士全員が死亡した場合どうするのか」のような「仕様の記載なし」もあります（そんな状況になれば、将棋連盟が臨機応変に対策するでしょうが）。

　一方、ソフトウェア開発の場合、全てのケースをあらかじめ想定してロジックを組み立てるため、想定外の事象が発生するとプログラムは暴走します。起こりうる可能性があることは、必ず起こります。全てのケースを考え、細心の注意で仕様書のバグを見つけてください。

おわりに

　世の中には、いろいろな規則があります。その規則を細かく見れば、上記の名人戦挑戦の規定のような「バグ」がいくつも見つかります。そのような「重箱の隅を突つくようなあら探し」は、仕様書のデバッグでは非常に重要です。

　仕様書のデバッグでは「性悪説」の視点で対処すべきですが、人との付き合いでは「性善説」で行きたいものですね。

印刷する

組み込みエンジニアの現場力養成ドリル

このコラムでは、組み込みエンジニアが日々の開発で実際に遭遇する「小さなトラブルを」取り上げ、演習形式で解説します。

連載新着通知を受け取る

この連載の記事をもっと見る

この記事の著者

山浦恒央　東海大学大学院組込み技術研究科非常勤講師（工学博士）

1977年、日立ソフトウェアエンジニアリングに入社、2006年より、東海大学情報理工学部ソフトウェア開発工学科助教授、2007年より、同大学大学院組込み技術研究科准教授、2016年より非常勤講師。主な著書・訳書は、「Advances in Computers」（Academic Press社、共著）、「ピープルウエア第2版」「ソフトウェアテスト技法」「実践的プログラムテスト入門」「デスマーチ第2版」「ソフトウエア開発プロフェッショナル」（以上、日経BP社、共訳）、「ソフトウエア開発 55の真実と10のウソ」「初めて学ぶソフトウエアメトリクス」（以上、日経BP社、翻訳）。

将棋「名人位」挑戦規定のバグ（2/2 ページ）

名人戦の「仕様書」に潜むバグ

おわりに

組み込みエンジニアの現場力養成ドリル

この記事の著者

新着ホワイトペーパー PR

関連記事

将棋「名人位」挑戦規定のバグ（2/2 ページ）

名人戦の「仕様書」に潜むバグ

おわりに

組み込みエンジニアの現場力養成ドリル

この記事の著者

新着ホワイトペーパー PR

関連記事

「仕様に潜むバグ」を見つける、たった1つの心掛け

ソフトウェア品質は規則やテストではなく「ヒト」が作る

若き組み込みエンジニア、B君の憂鬱

間違いだらけの組み込み系品質管理、面倒な品質管理を楽しむコツ

組み込みソフトウェアの「品質」とは何か――品質の始まりからその実態まで