囲碁のルールの代数的記述について

井上, 克郎; 鳥居, 宏次

囲碁のルールの代数的記述について

井上, 克郎; 鳥居, 宏次

情報処理学会研究報告. ソフトウェア工学研究会報告, 1987, 1986-SE-052(11), 57-64

アクセス数:484件（2026-02-16 11:46 集計）

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

閲覧可能ファイル

ファイル	フォーマット	利用条件	サイズ	閲覧回数	利用開始日	説明	information
ipsj-se_52_11_57	pdf	なし	1.31 MB	85	2014.09.26	出版社版/publisher

論文情報

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

タイトル	囲碁のルールの代数的記述について
	Algebraic Specification of the Go Rule
	イゴ　ノ　ルール　ノ　ダイスウテキ　キジュツ　二　ツイテ
著者	NRID 1000020168438 1000020168438 著者名井上, 克郎 ; イノウエ, カツロウ ; Inoue, Katsuro
著者	NRID 1000010172222 1000010172222 著者名鳥居, 宏次 ; トリイ, コウジ ; Torii, Koji
抄録	囲碁プログラムの基礎となるゲームのルールを厳密に規定するために、代数的記述言語ASL/1を用いて囲碁ルールを記述してみた。基底データ型及びそれに関する基本関数としては整数、ブール値、そして集合のみを前提とした。そして、現在や過去の盤面、打手、アゲ石等をすべて記憶する抽象的基盤と呼ぶ’状態’を定義し、その状態が対局者の各一手によってどのように変化するかを記述した。代数的記述の公理は、自然語で書かれたルールの各条文にほぼ対応して作成され、全体で96個になった。この記述は、比較的容易にかつ形式的に、効率的実行可能な関数型言語や手続き型言語のプログラムに変換可能で、変換されたプログラムは、禁じ手や勝負の判定を厳密にルールに従って行なうルールチェックプログラムになる。同様に囲碁で用いられる種々の用語、戦略、定石等を代数的に記述し、それを効率的に実行可能なプログラムに変換すれば、機械対人間の対局を行なう囲碁プログラム作成の一部となりうる.
抄録	To construct a game program, we have to clarify the rule of the game. In this paper, we show an algebraic specification of the GO game, witten in an algebraic specification language ASL/1. We used integer, boolean, and set as primitive data types, and functions on them as primitive functions. In this specification, we defined an abstract GO board which holds the current and past GO boards, the plays already made, and captured stones. We wrote the changes of the states of the board for each play. In the specification, there are 96 axioms, each of which consists of several lines. This specification can be transformed into an efficient functional or procedural program, which tests legality of each play given to this program and judges the winner at the end of the game. In the same manner, if we would write the specifications of the strategies of GO game and transform it into efficiently executable programs, the programs obtained would be major parts of a practical GO program.
出版者	情報処理学会
出版者	ジョウホウ　ショリ　ガッカイ
収録物名	情報処理学会研究報告. ソフトウェア工学研究会報告
巻(号)	1986-SE-052(11)
ページ	57-64
刊行年月	1987-02-13
言語	日本語
ハンドルURL	https://hdl.handle.net/11094/50179
PISSN	09196072
NCID	AN10112981
アクセス権	open access
権利情報	ここに掲載した著作物の利用に関する注意本著作物の著作権は情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。
権利情報	Notice for the use of this material The copyright of this material is retained by the Information Processing Society of Japan (IPSJ). This material is published on this web site with the agreement of the author (s) and the IPSJ. Please be complied with Copyright Law of Japan and the Code of Ethics of the IPSJ if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof. All Rights Reserved, Copyright (C) Information Processing Society of Japan. Comments are welcome. Mail to address editj＠ipsj.or.jp, please.
出版タイプ	Version of Record
カテゴリ	学術雑誌論文 Journal Article

資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
DCMI資源タイプ	text
DCTERMS.bibliographicCitation	情報処理学会研究報告. ソフトウェア工学研究会報告. 1987, 1986-SE-052(11), p. 57-64
DC.title	囲碁のルールの代数的記述について
	Algebraic Specification of the Go Rule
	イゴ　ノ　ルール　ノ　ダイスウテキ　キジュツ　二　ツイテ
DC.creator	井上, 克郎
	イノウエ, カツロウ
	Inoue, Katsuro
	鳥居, 宏次
	トリイ, コウジ
	Torii, Koji
DC.publisher	情報処理学会
DC.publisher	ジョウホウ　ショリ　ガッカイ
DC.language' scheme='DCTERMS.RFC1766	日本語
DC.type' scheme='DCTERMS.DCMIType	text
DCTERMS.issued' scheme='DCTERMS.W3CDTF	1987-02-13
DCTERMS.abstract	囲碁プログラムの基礎となるゲームのルールを厳密に規定するために、代数的記述言語ASL/1を用いて囲碁ルールを記述してみた。基底データ型及びそれに関する基本関数としては整数、ブール値、そして集合のみを前提とした。そして、現在や過去の盤面、打手、アゲ石等をすべて記憶する抽象的基盤と呼ぶ’状態’を定義し、その状態が対局者の各一手によってどのように変化するかを記述した。代数的記述の公理は、自然語で書かれたルールの各条文にほぼ対応して作成され、全体で96個になった。この記述は、比較的容易にかつ形式的に、効率的実行可能な関数型言語や手続き型言語のプログラムに変換可能で、変換されたプログラムは、禁じ手や勝負の判定を厳密にルールに従って行なうルールチェックプログラムになる。同様に囲碁で用いられる種々の用語、戦略、定石等を代数的に記述し、それを効率的に実行可能なプログラムに変換すれば、機械対人間の対局を行なう囲碁プログラム作成の一部となりうる.
DCTERMS.abstract	To construct a game program, we have to clarify the rule of the game. In this paper, we show an algebraic specification of the GO game, witten in an algebraic specification language ASL/1. We used integer, boolean, and set as primitive data types, and functions on them as primitive functions. In this specification, we defined an abstract GO board which holds the current and past GO boards, the plays already made, and captured stones. We wrote the changes of the states of the board for each play. In the specification, there are 96 axioms, each of which consists of several lines. This specification can be transformed into an efficient functional or procedural program, which tests legality of each play given to this program and judges the winner at the end of the game. In the same manner, if we would write the specifications of the strategies of GO game and transform it into efficiently executable programs, the programs obtained would be major parts of a practical GO program.
DC.rights	ここに掲載した著作物の利用に関する注意本著作物の著作権は情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。
DC.rights	Notice for the use of this material The copyright of this material is retained by the Information Processing Society of Japan (IPSJ). This material is published on this web site with the agreement of the author (s) and the IPSJ. Please be complied with Copyright Law of Japan and the Code of Ethics of the IPSJ if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof. All Rights Reserved, Copyright (C) Information Processing Society of Japan. Comments are welcome. Mail to address editj＠ipsj.or.jp, please.
DC.format	50179
citation_title	囲碁のルールの代数的記述について
citation_author	井上, 克郎
citation_author	鳥居, 宏次
citation_publisher	情報処理学会
citation_language	日本語
citation_date	1987-02-13
citation_journal_title	情報処理学会研究報告. ソフトウェア工学研究会報告
citation_volume	1986-SE-052
citation_issue	11
citation_firstpage	57
citation_lastpage	64
citation_public_url	https://hdl.handle.net/11094/50179

囲碁のルールの代数的記述について

閲覧可能ファイル

論文情報

論文詳細を表示