各ソフトウェアは実際には各研究グループのサイトにおいてありますので、常 に最新のバージョンが入手可能です。

• 記号処理分野
  • 並行並列論理型言語処理系ＫＬＩＣ（ＫＬＩＣ協会 ）
  • ＫＬ１プログラム静的解析系ｋｌｉｎｔ／ＫＬ１プログラム 自動修正系Ｋｉｍａ（早稲田大学　上田 先生）
  • ゴール・スケジューリング最適化ＫＬＩＣ　 ＫＬＩＣ／Ｔ Ｈ（豊橋科学技術大学　中島先生）
  • ｋｌｉｃの視覚的インタフェースおよびｋｌｉｃとＪａｖａ のメッセージインタフェース（筑波大学　田中先生）
• 知識処理分野：知識表現・知識ベース・制約
  • ＤＪ：Ｊａｖａに基づく制約言語とシステム（九州工業大学 　周先生）
  • Distributed Constraint Solving for Functional Logic Programming (Prof. Buchberger Research Institute for Symbolic Computation, Johannes Kepler University, Austria)
• 知識処理分野：問題解決・高次推論・定理証明
  • 協調ロボットプログラミング言語／システムおよび移動ロボッ トの並列協調制御ソフトウェア（東京理科大学　溝口先生）
  • 並列定理証明器ＭＧＴＰ
  • 学習機構内蔵型プログラミングシステムＰＲＩＳＭ（東 京工業大学　佐藤先生）
  • 帰納論理プログラミングによるデータマイニングエンジンＤ ａｔａｇｏｌ（慶應義塾大学　古川先生）
• 知識処理分野：自然言語処理
• 実験的応用分野

ICOTが中心となって実施した第五世代コンピュータ・プロジェクト、第五世代 コンピュータ技術の研究基盤化プロジェクト、そしてAITECが実施した研究開 発支援プログラムに関係する皆様に、このフリーソフトウェア・アーカイブの 今後の発展のため、以下をお願いします。

1. 現在、あるいは将来においてもその時に研究開発されたソフトウェアの研 究開発を継続されている方は、是非www-admin@icot.or.jpまでお知らせくださ い。本FGCSフリーソフトウェア・アーカイブに登録させていただきます。
2. 現在このFGCSフリーソフトウェア・アーカイブに登録されている方で、 URLその他を変更された方も、www-admin@icot.or.jpまでお知らせください。
3. 本フリーソフトウェア・アーカイブに登録されている方で、研究担当者の 卒業、研究テーマの変遷等により、フリーソフトウェアとしてのサポートが今 後困難になられた方もwww-admin@icot.or.jpまでお知らせください。