ICOT Free Software ニュースレター
平成4年10月23日 第4号
ICOT Free Softwareには，以下の4種類のソフトウェアがあります．それぞ
れ，実行可能なOS，マシンが異なりますので，ご注意下さい．なお，下記と同
様の注意事項は，トップレベルのREADME.jにも書いてあります．
(1) KL1で記述されたもの
ifsのディレクトリでは，XXX/pimosの中に置かれているもの，およ
びsymbolic-proc/pim-psiの中のpimosがKL1で記述されたソフトウェ
アで，これらのシステムの実行には，現在のところ，並列推論マシン
PIM，あるいはマルチPSI，およびその上のKL1処理系，並列推論マシ
ン用オペレーティングシステムPIMOSが必要です．
また，BSD系UNIX上のKL1動作環境であるPDSS (PIMOS Development
Support System)を使うことによって，KL1プログラムを動作させるこ
とは可能ですが，PIMOSの機能を利用したり，大規模なプログラムを
動作させることはできません．
また PSI-III を使える環境にあるユーザの方は Pseudo PIM/m
(pdspim) をインストールすると, PIM 上の KL1 処理環境をエミュレー
トすることができます. これは PIM 実機上の PIMOS/KL1 環境と機
能的には等価ですが, 動作可能なプログラムサイズは小さくなります.
(2) ESPで記述されたもの
ifsのディレクトリでは，XXX/simposの中に置かれているものがESP
で記述された言語で，これらのシステムの実行には，逐次推論マシン
PSIとその上のオペレーティングシステムSIMPOSが必要です．
また，UNIX上で動作するESP言語 Common ESP処理系を利用すると，
ESPプログラムをUNIXマシン上で動作させることが出来ますが，
SIMPOSの機能を利用している部分が使えないことやウィンドウとの入
出力などの仕様が異なる部分がありますので，そのまま動作させるこ
とは困難です．ESPで記述されたプログラムをCommon ESPに書き直す
際の注意点は，ifsの直下のINFO.tar.Zに含まれています．
(3) Common ESPで記述されたもの
ifsのディレクトリでは，XXX/cespの中に置かれているものは
Common ESPで記述された言語で，これらのシステムは，UNIXマシン上
で動作させることが可能です．しかし，Common ESP処理系が必要とな
りますので，下記の(株)AI言語研究所までお問い合わせ下さい．
(4) それ以外の言語で記述されたもの
ifsのディレクトリでは，XXX/UNIXの中に置かれているもので，C言
語，あるいはProlog等で記述されており，UNIX環境下で動作させるこ
とが可能です．
ICOTのFTPサーバマシンからanonymous FTPによりファイルを転送するための
標準的な方法を以下に示します.
1) ftp ftp.icot.or.jp
FTPコマンドを用いてICOTのFTPサーバマシンに接続します.
2) Name: anonymous
Password:
ユーザ名に対し「anonymous」と答えます.
パスワードに対しては, あなたのメールアドレスを入力してください.
3) FTP> cd ifs
ログインしたら「ifs」というディレクトリに入ってください.
4) FTP> get README
まず README ファイルを転送してください. このファイルにはIFSに
関する一般的な情報が網羅されています.
5) README ファイルに書かれているディレクトリ構造の表にしたがって希望
のファイルの場所を探してください.
6) FTP> binary
FTPの転送モードを「イメージ (バイナリ)」にしてください.
7) FTP> get XXXXX.tar.Z
希望のアーカイブファイルを転送します.
これまでに，IFSとしてリリースされたソフトウェアのうち，下記のものが
改版されました．
4 並列推論マシンのOS：PIMOS 9月18日
オブジェクトとソースを分離
5 並列オブジェクト指向言語：A'UM-90 9月29日
aum-1.2c版に改版(バグフィックス版)．パッチはaum-pat-1.2b
9 制約論理型言語： cu-Prolog 10月7日
バグフィックス
14 制約論理型言語：CAL (CESP版) 8月14日
ブールおよびシンプレックス制約評価系の修正
18 並列制約論理型言語：GDCC 8月13日
操作マニュアルの追加
19 制約論理型言語：CAL (ESP版) 8月14日
ブールおよびシンプレックス制約評価系の修正
8月7日に IFSの公開を開始して以来, 10月1日までに国内約580件, 海外約 2000件以上ファイル転送が行われましたが, あるソフトウェアに関し, ユーザ グループを結成し, そのソフトウェアに関する研究, 改良, 改版等を行いたい とお考えの方がおられましたら, 本ニュースレター末尾の無償公開ソフトウェ ア担当まで, メールでお知らせ下さい. お申し出の内容を, メール, ニュースレター等で告知の上, それに対する反 応を連絡します. また, 改版を行った結果を, ご希望があれば無償公開ソフトウェアのFTPサー バーに登録します.
このたび, スウェーデンの「スウェーデン計算機科学研究所 (SICS)」のご 好意により, SICSのマシンにICOTと同じディレクトリ構成でICOT無償公開ソフ トウェアを置いていただけることになりました. SICSのFTPサーバは, ftp.sics.se です. ただ, このFTPサーバはストックホルムにありますので, ICOTかSICSか, どちらか近い方へのアクセスをお願いします. アクセス方法は, 上のICOTへの アクセス方法と, サーバの名前を除いて同じです.
第2期リリース以降に公開した7本(10月12日現在)のIFSのプログラムを下の 表に示します. これで全部で64本のプログラムが公開されたことになります. なお, 表中の番号は, 「ICOT無償公開ソフトウェア一覧」に記した番号を, 容 量はcompressした後のアーカイブファイルの容量をそれぞれ表しています. 記号処理分野: 1 ---------------------------------------------------------------------- 2 並列分散KL1処理系：VPIM 1.8MB 3 PSI-IIIのためのKL1擬似並列システム 1.1MB 知識処理分野(知識表現, 知識ベース, 制約): 2 ---------------------------------------------------------------------- 11 知識表現言語：Quixote (暫定版) 1MB 13 並列非正規関係データベース管理システム：Kappa-P (暫定版) 1.6MB 応用実験分野: 4 ---------------------------------------------------------------------- 60 分散協調に基づく計画支援システム 293KB 63 統合型制約ソルバー：Consort 375KB 64 深い知識に基づく設計支援システム：Desq 794KB 71 制御用エキスパートシステム 421KB
Common ESPに関する問い合わせは，下記(株)AI言語研究所までお願いします．
〒247 神奈川県鎌倉市大船 5-1-1
三菱電機株式会社 情報電子研究所 内
株式会社 AI言語研究所
研究管理部
e-mail: cesp-request@air.co.jp
FAX: 0467--48--4847
本ソフトウェアに関するお問い合わせ, ご連絡などは原則としてe-mailでお
願いします. また本ニュースレターはe-mailで配布しておりますので, 新規購
読ご希望の方, バックナンバーをご希望の方は, e-mailアドレスを次の宛先ま
でご連絡ください.
ifs@icot.or.jp
なお, e-mailがご利用になれない場合, お問い合わせの節は以下の宛先まで
郵便またはファックスでご連絡ください.
〒108 東京都港区三田 1丁目4番28号
三田国際ビル 21階
(財) 新世代コンピュータ技術開発機構
無償公開ソフトウェア担当
FAX : 03--3456--1618
なお, 無償公開ソフトウェアの一覧については, 「ICOT無償公開ソフトウェ
ア一覧 (A4版142ページ)」をご覧下さい. もし, この冊子がお手もとに無い場
合には, 住所をご連絡いただければこちらから郵送いたします.
また, 皆様のお近くに, ICOT無償公開ソフトウェアに興味をお持ちの方がい
らっしゃいましたら, 上記窓口までご連絡ください. 同一覧を郵送し, 今後,
本ニュースレターを継続してお送りします.
以下に, これまでにリリースされたICOT無償公開ソフトウェアの一覧を掲載し
ます. 表中, 「最終改版」とあるのは, 現在時点での最新版のリリース日を表
します. また, 「*」印のあるものは, 今回のリリース分です.
記号処理分野：8
----------------------------------------------------------------------
1 UNIX上のKL1プログラミング環境：PDSS 9月 7日 2.6MB
* 2 並列分散KL1処理系：VPIM 10月12日 1.8MB
* 3 PSI-IIIのためのKL1擬似並列システム 10月12日 1.1MB
4 並列推論マシンのOS：PIMOS 8月 7日 (9月18日最終改版)
ソースプログラム 2.6MB
オブジェクトプログラム 2.2MB
5 並列オブジェクト指向言語：A'Um-90 9月 7日 (9月29日最終改版)
1.1MB
6 実験的リフレクティブ・プログラミングシステム：ExReps
8月 7日 132KB
7 KL1図的プログラム作成支援システム 8月 7日 255KB
8 性能管理シェル 8月 7日 430KB
知識処理分野(知識表現, 知識ベース, 制約): 12
----------------------------------------------------------------------
9 制約論理型言語：cu-Prolog 8月 7日 (10月7日最終改版)
252KB
10 力学プログラミング：DP 8月 7日 454KB
* 11 知識表現言語：Quixote (暫定版) 10月12日 1MB
12 非正規関係データベース管理システム：Kappa-II
9月 7日
本体 5.7MB
データ-1 5.3MB
データ-2 4.8MB
データ-3 10MB
* 13 並列非正規関係データベース管理システム：Kappa-P (暫定版)
10月12日 1.6MB
14 制約論理型言語：CAL (CESP版) 8月 7日 (8月14日最終改版)
269KB
15 階層制約論理型言語：CHAL 8月 7日 76KB
16 ロボット設計支援システム 8月 7日 40KB
17 並列階層制約論理型言語：P-CHAL 8月 7日 24KB
18 並列制約論理型言語：GDCC 8月 7日 (8月13日最終改版)
622KB
19 制約論理型言語：CAL (ESP版) 8月 7日 (8月14日最終改版)
722KB
20 ボロノイ図生成支援プログラム 8月 7日 96KB
21 知識検証支援システム：KNOV 8月 7日 244KB
知識処理分野(問題解決, 高次推論, 定理証明): 7
----------------------------------------------------------------------
22 並列モデル生成型プルーバ：MGTP 9月 7日 44KB
23 プログラム生成システム：PAPYRUS 8月 7日 3.8MB
25 前向き推論システム：KORE/IE 9月 7日 79KB
28 論証支援システム：EUODHILOS 8月 7日 273KB
29 類似度クラスタリングツール 8月 7日 406KB
30 並列問題解決システム 8月 7日 72KB
32 構造写像エンジン：SME 8月 7日 180KB
知識処理分野(自然言語処理): 19
----------------------------------------------------------------------
33 形態素辞書 8月 7日 1.5MB
34 局所単一化文法：LUG 8月 7日
本体 832KB
日本語解析環境 1.5MB
マニュアル 873KB
35 制限依存文法：RDG 8月 7日 113KB
36 用例検索ツール：KWIC (CESP版) 9月 7日 1.1MB
37 形態素解析処理プログラム 8月 7日 402KB
38 文法開発支援環境：Linguist 8月 7日 557KB
39 並列構文解析プログラム：PAX 8月 7日 75KB
40 言語知識記述言語 9月 7日 1.5MB
41 構文解析処理プログラム 9月 7日 167KB
42 立論テキスト生成実験システム：Dulcinea 9月 7日 873KB
43 日本語文生成ツール 8月 7日 390KB
44 文分割ツール 8月 7日 80KB
45 文章要約支援システム 8月 7日 196KB
46 入力解析・修正支援システム：ICOTEXT 8月 7日 522KB
47 用例検索ツール：KWIC (ESP版) 8月 7日 1.9MB
48 語用論的発話選択機構を持つ対話実験システム
8月 7日 550KB
49 文章構造解析システム 9月 7日 316KB
50 文脈構造抽出実験システム 8月 7日 345KB
51 並列処理に基づく自然言語解析ツール：Laputa
8月 7日 537KB
応用実験分野: 18
----------------------------------------------------------------------
52 囲碁対局システム：逐次版「碁世代」GOG 9月 7日 628KB
53 囲碁対局システム：並列版「碁世代」GOG 9月 7日 834KB
54 法的推論実験システム：HELIC-II 8月 7日 775KB
55 3次元DP法によるマルチプル・アラインメント
8月 7日 93KB
56 並列SA法によるマルチプル・アラインメント 8月 7日 98KB
57 並列セル配置実験システム 8月 7日 262KB
58 LSI配線プログラム 9月 7日 89KB
59 並列論理シミュレータ 8月 7日 2.1MB
* 60 分散協調に基づく計画支援システム 10月12日 293KB
61 並列プログラム開発支援システム：MENDELS ZONE
8月 7日 1.0MB
62 KL1動作情報収集ツール：Performance Monitor
8月 7日 377KB
* 63 統合型制約ソルバー：Consort 10月12日 375KB
* 64 深い知識に基づく設計支援システム：Desq 10月12日 794KB
65 階層再帰並列レイアウト実験システム：Co-HLEX
8月 7日 397KB
68 配列解析実験システム 8月 7日 169KB
69 事例に基づく回路設計支援システム 8月 7日 1.0MB
70 論理アーキテクチャ設計支援システム：RODIN
8月 7日 903KB
* 71 制御用エキスパートシステム 10月12日 421KB
--- 以上 ---