| 平成８年度 委託研究ソフトウェアの 成果ソフトウェア |
詰将棋ゲーム木並列探索プログラム：
詰将棋のゲーム木を並列探索して詰将棋の問題を解くプログラム
戦略獲得用FOIL-Iプログラム：
詰将棋の背景知識、事例から詰将棋の戦略を獲得するプログラム
並列FOILプログラム：
帰納学習システムFOILのアルゴリズムを並列化したプログラム
詰将棋ゲーム木並列探索プログラム：
並列計算機AP1000
戦略獲得用FOIL-Iプログラム：
SICStus Prolog Release 2.1 が動作する環境
並列FOILプログラム：
並列計算機AP1000
このアーカイブには以下のファイルが含まれています。 各プログラムアーカイブの詳細については、アーカイブ に含まれる Readme をお読み下さい．Readme-J アーカイブの説明（日本語） Readme-E アーカイブの説明（英語） tsumeshogi.tar.gz 詰将棋ゲーム木並列探索プログラム foili.tar.gz 戦略獲得用FOIL-Iプログラム pfoil.tar.gz 並列FOILプログラム
各プログラムアーカイブの展開後のディスク使用量は以下です．
tsumeshogi.tar.gz 503k foili.tar.gz 173k pfoil.tar.gz 135k
各プログラムアーカイブのファイル構成は以下です．
tsumeshogi.tar.gz: tsumeshogi/Readme-J アーカイブの説明（日本語） tsumeshogi/Readme-E アーカイブの説明（英語） tsumeshogi/Man-user ユーザマニュアル tsumeshogi/Example 例題 tsumeshogi/Man-install インストールマニュアル tsumeshogi/src/ ソースプログラムからなるディレクトリ tsumeshogi/mondai/ 詰将棋問題からなるディレクトリ
foili.tar.gz: Readme-J アーカイブの説明（日本語） Readme-E アーカイブの説明（英語） Man-user ユーザマニュアル Man-user インストールマニュアル Example 例題 foil-i.pl メインプログラム declarations.pl プログラムに必要な宣言など pre_and_post.pl 前処理および後処理のプログラム generate_candidates.pl 候補節を生成するためのプログラム evaluate.pl 候補節を消化するためのプログラム determinate.pl determinate リテラルを生成／付加するための プログラム redundancy.pl 冗長な節を取り除くためのプログラム merge.pl 節を併合するためのプログラム（論文では触れ ていないがこのバージョンでは仮説空間を効率 良く探索するために部分的な節を併合する機能 を持つ．） construct_clauses.pl 節の内部形式から表示形式へ変換するプログラム utilities.pl 一般的なユーテリティ misc.pl FOIL-I特有のユーテリティ hojo.pl 背景知識を扱うためのプログラム builtin.pl FOIL-Iの組み込む述語のためのプログラム sample/ 例題
pfoil.tar.gz: pfoil/Readme-J アーカイブの説明（日本語） pfoil/Readme-E アーカイブの説明（英語） pfoil/Man-User ユーザマニュアル pfoil/Man-Install インストールマニュアル pfoil/CELL/ セルプログラムのディレクトリ pfoil/HOST/ ホストプログラムのディレクトリ pfoil/Makefile メイクファイル pfoil/Makefile.casim casim用メイクファイル pfoil/example/append.d 例題
www-admin@icot.or.jp