@article{oai:ipsj.ixsq.nii.ac.jp:00009368,
 author = {三島, 健 and 櫻井, 英俊 and 吉元, 昭裕 and 野下浩平 and Ken, Mishima and Hidetoshi, Sakurai and Akihiro, Yoshimoto and Kohei, Noshita},
 issue = {12},
 journal = {情報処理学会論文誌},
 month = {Dec},
 note = {ゲームHexでは，具体的な必勝手順を求めるために，様々な数学的技法が提案されている．8×8や9×9など大きい盤面に対する必勝手順を導くためには，これらの技法に基づいたシステムで人間とコンピュータの共同作業ができるものを実装する必要がある．本稿では，与えられた局面に対してユニオン連結性を判定するプログラムAとBを提示する．プログラムAは局面表を用いたAND-OR探索に基づくものであり，Hex特有の着手選択アルゴリズムにより強化した．プログラムBは，さらに仮想準連結などを組み込んで改良したものである．これらのプログラムは，実行時間と探索節点について評価する．ベンチマーク問題として，Noshitaによる7×7と8×8の必勝手順に現れる約40種類の難しい問題を選んだ．我々の実験結果によると，これらの局面の正しさは，非常に速く検証できた．このことは，我々のプログラムが実用に使えるということを意味する．着手選択（順序付けと先行排除）は，人間の熟練者と同程度に正確であると評価できる．本稿の実験結果をみると，我々のプログラムは，8×8以上の必勝手順の検証・発見のための対話システムを開発する際に最も基本的な道具として使えることが分かる．, In the game of Hex several mathematical techniques have been proposed for constructing explicit winning strategies. If we try to construct them for relatively large boards of 8×8, 9×9 or more, it is necessary to implement a system which enables human-computer cooperation based on those techniques. This paper presents two programs A and B for testing whether, for a given position, a desired union-connection can be attained. Program A is based on ANDOR searching with a transposition table, which is enhanced by Hex-dependent move-selection algorithms. Program B is further improved by incorporating, among others, virtual semi-connections. We evaluate the efficiency of those programs in terms of the running time as well as the number of searched nodes. For the set of benchmark problems, we have selected about forty hard positions from Noshita's winning strategies for 7×7 and 8×8. Our computing experiment shows that the correctness of those positions has been verified very quickly in that our programs can be used for practical purposes. The quality of the move-selection (ordering and preclusion) can be evaluated to be as accurate as human expert players. Our results show that our programs can be used as the most basic tool for building an interactive system to verify/find winning strategies for 8×8 or more.},
 pages = {4007--4015},
 title = {ゲームHexにおける必勝手順の検証プログラム},
 volume = {49},
 year = {2008}
}