ボードゲームBAOのCCSによる記述と解析

• Item type: Trans(1)
• 公開日: 2004-11-15
• タイトル: ボードゲームBAOのCCSによる記述と解析
• タイトル / 言語: en
• タイトル: Representation and Analysis of Board Game BAO Using CCS
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 発表概要
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 関西学院大学
• 著者所属: 関西学院大学
• 著者所属(英): en
• 著者所属(英): Kwansei Gakuin University
• 著者所属(英): en
• 著者所属(英): Kwansei Gakuin University
• 著者名: 稲畑, 康博; 高橋, 和子
• 著者名(英): Yasuhiro, Inahata; Kazuko, Takahashi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本論文では，ボードゲームBAO をプロセス代数CCS を使って記述し，盤面の状態変化に対する性質の形式的扱いについて述べる．BAO は2 人のプレーヤーが複数の穴に入った石を動かしながら取り合うボードゲームである．ルールは単純で探索空間も比較的狭い一方，1 手の間に盤面の状態が大局的に変化し，しかも1 つの穴の状態が何度も変化するため，人間が先読みを行うことは困難である．このゲームを実装して動きを解析した結果，特定の状態およびそのときに選択される穴によって，1 手の間の盤面の状態変化は停止せずしかも周期性を持つことが分かった．このゲームを穴をプロセス，石をプロトコルとする並行プロセスとしてとらえると，並行プロセスの周期性や停止性と関係が深く，非常に興味深い．本論文では，BAO の動きと性質をプロセス代数CCS を使って記述し，盤面の状態と選択する穴に対して一定の条件が満たされていれば盤面は周期的な状態変化を起こしその変化は停止しないことを示す．また，ある状態から動きを逆に解析することによって一連の動きの列をつくり，1 手による状態変化が停止するためにその列が満たすべき条件があることを示す．さらに，状態変化が停止するための必要十分条件となる性質についても議論する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In this paper, we show a representation of a board game BAO in a process algebra CCS, and a formal treatment of a state transition of the board. BAO is a board game in which two players are taking seeds in turn by moving them from hole to hole. While the rule is simple and search space is rather small, it is hard for a human player to look ahead, since the state of the board changes globally, and the state of a hole may change several times during one turn. Implementing the game and analysing the behavior, we have found that the state transition may not terminate during one turn and constructs a cyclic behavior depending on a selected hole in a specific state. It is interesting to consider the relationship between the game and a concurrent process, by regaring a hole and a seed as a process and a protocol, respectively. In this paper, we represent the bahavior and characterstics of BAO in a process algebra CCS, and show that the state changes cyclically if the selected hole and the initial state satisfy a specific condition. We also make behavioral sequences by roling back from a state to explore the condition for the termination. Furthermore, we also discuss the sufficient condition for the termination.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 45, 号 SIG12(PRO23), p. 96-96, 発行日 2004-11-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会