囲碁ルールの形式化とその実行プログラムへの変換

井上, 克郎; 鳥居, 宏次

電子情報通信学会論文誌D-1, 1989, J72-D-I(1), 17-23

アクセス数:436件（2025-07-06 17:09 集計）

固定URL: https://hdl.handle.net/11094/26461

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明 information
IEICE_J72-D-I_1_17 pdf なし 512 KB 81 2013.12.09  

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル
囲碁ルールの形式化とその実行プログラムへの変換
Formalization of GO Rule and Its Transformation to an Executable Program
イゴ　ルール　ノ　ケイシキカ　ト　ソノ　ジッコウ　プログラム　へ　ノ　ヘンカン
著者
NRID
1000020168438 1000020168438
著者名
井上, 克郎 ; イノウエ, カツロウ ; Inoue, Katsuro
NRID
1000010172222 1000010172222
著者名
鳥居, 宏次 ; トリイ, コウジ ; Torii, Koji
抄録
ゲームのプログラムを作成する際，その基礎となるルールが厳密に規定されている必要がある．本研究では，代数的記述言語を用いて囲碁ルールを記述し，次にそれを関数型プログラムに変換した．まず，現在の盤面，打ち手，アゲ石等の要素から構成される状態を考え，ゲームの進行を，入力される打つ手によって起こる状態遷移の繰返しであると思う．そして，①初期状態，②状態遷移，③入力として許される正しい手，④最終状態，および⑤勝者，の五つを与える関数や定数を代数的記述言語ASL/1を用いて定義することによってルールの記述を行う．ASL/1の仕様の記述スタイルとしては，効率的な関数型プログラムへ，機械的に変換可能な抽象的順序機械（ASM）を用いた．ここでは，ASL/1で記述された囲碁のルールの仕様を，ASL/1の部分言語であるASL/Fのプログラムに変換した．得られたプログラムは，盤面の更新や禁じ手の判定等を記述されたルールに厳密に従って行う．これにいくつかの入出力関数を追加して，現在の盤面を表示したり，禁じ手や勝敗の判定を厳密に行う碁盤プログラムを作成した。
出版者
電子情報通信学会
デンシ　ジョウホウ　ツウシン　ガッカイ
The Institute of Electronics, Information and Communication Engineers
収録物名
電子情報通信学会論文誌D-1
巻(号)
J72-D-I(1)
ページ
17-23
刊行年月
1989-01-25
言語
日本語
ハンドルURL
https://hdl.handle.net/11094/26461
PISSN
09151915
NCID
AN10071319
関連情報 (references)
URI
http://search.ieice.org/
アクセス権
open access
権利情報
copyright©1989 IEICE
出版タイプ
Version of Record
カテゴリ
学術雑誌論文 Journal Article