平成９年度においては、「新規提案募集」 に基づいて委託研究のご提案を頂き、査読を行ない、その結果を受けて審査委員会を開催して、全部で１９のテー マの委託研究をお願いしました。
今年度は、日本国内に限らず、広く海外へも提案募集を行ない、多くのご提案 を海外からも頂きました。
平成８年度からは、５件中３件がおなじく審査委員会によって継続と決定され ました。
また、平成９年３月１２日と１３日には、平 成９年度知的ソフトウェア研究討論会を芝マイプラザにて開催しました。
(1) |
動的に変化する状況における法的推論システムの研究開発 |
|||||
|---|---|---|---|---|---|---|
| 東京工業大学 新田 克己 | ||||||
| 概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 平成８年度 (継続) | |
(2) |
学習機構内蔵型プログラミングシステムの開発 |
|||||
| 東京工業大学 佐藤 泰介 | ||||||
| 概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 平成８年度 (継続) | |
(3) |
パターンに基づくビジュアル並列プログラミング環境 |
|||||
| 東京工業大学 柴山 悦哉 | ||||||
| 概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 平成８年度 (継続) | |
(4) |
Distributed Constraint Solving for Functional Logic Programming |
|||||
| RISC-Linz Bruno Buchberger | ||||||
| 概 要 (英語) | 提 案 (英語) | 中間報告 (英語) | 最終報告 (英語) | 成果ソフトウェア (英語) | 新規(平成９年度) | |
(5) |
Applying Constraint Logic Programming Language for Modelling Multi-objective Decision Making under Uncertainty |
|||||
| Imperial College John Darlington | ||||||
| 概 要 (英語) | 提 案 (英語) | 中間報告 (英語) | 最終報告 (英語) | 成果ソフトウェア (英語) | 新規(平成９年度) | |
(6) |
帰納論理プログラミングによるデータマイニングエンジンDatagolの研究開発 |
|||||
| 慶応義塾大学 古川 康一 | ||||||
| 概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 新規(平成９年度) | |
(7) |
汎用並列マシン上のMGTPと高度推論機構の開発 |
|||||
| 九州大学 長谷川 隆三 | ||||||
| 概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 新規(平成９年度) | |
(8) |
IFS日本語（形態素）解析パッケージ・配布プロジェクト |
|||||
| 東京外国語大学 佐野 洋 | ||||||
| 概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 新規(平成９年度) | |
(9) |
KL1プログラム静的解析系 |
|||||
| 早稲田大学 上田 和紀 | ||||||
| 概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 新規(平成９年度) | |
(10) |
Concurrent Cooperative Parallel Solvers(CCOPS) |
|||||
| Universite de Nantes&Ecole de Nantes Frederic Benhamou | ||||||
| 概 要 (英語) | 提 案 (英語) | 中間報告 (英語) | 最終報告 (英語) | 成果ソフトウェア (英語) | 新規(平成９年度) | |
(11) |
要求駆動スケジューリングによるKL1実装方式の研究 |
|||||
| 東京大学 近山 隆 | ||||||
| 概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 新規(平成９年度) | |
(12) |
Anytime Hypothetical Reasoning |
|||||
| University of Wollongong Aditya Kumar Ghose | ||||||
| 概 要 (英語) | 提 案 (英語) | 中間報告 (英語) | 最終報告 (英語) | 成果ソフトウェア (英語) | 新規(平成９年度) | |
(13) |
WEB-KLIC:A Concurrent Logic-based Unified Framework for Internet Programming |
|||||
| New Mexico State University Gopal Gupta | ||||||
| 概 要（英語） | 提 案 (英語) | 中間報告 (英語) | 最終報告 (英語) | 成果ソフトウェア (英語) | 新規(平成９年度) | |
(14) |
制約処理系を利用した図形描画システム |
|||||
| 東京大学 田中 英彦 | ||||||
| 概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 新規(平成９年度) | |
(15) |
MGTPにおける推論制御と探索問題への適用 |
|||||
| 神戸大学 井上 克已 | ||||||
| 概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 新規(平成９年度) | |
(16) |
COPLAS,a Conditional Planner with Sensing Actions |
|||||
| University of Illinois at Chicago Jorge Lobo | ||||||
| 概 要(英語) | 提 案(英語) | 中間報告(英語) | 最終報告(英語) | 成果ソフトウェア(英語) | 新規(平成９年度) | |
(17) |
階層連立１次方程式のための効率的解消系の開発 |
|||||
| 東京工業大学 松岡 聡 | ||||||
| 概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 新規(平成９年度) | |
(18) |
移動ロボットの並列協調制御ソフトウェアの研究開発 |
|||||
| 東京理科大学 溝口 文雄 | ||||||
| 概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 新規(平成９年度) | |
(19) |
KL1のスレッド実行の高速化 |
|||||
| 豊橋技術科学大学 中島 浩 | ||||||
| 概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 新規(平成９年度) | |
(20) |
KlicとJavaのメッセージインタフェースに関する研究 |
|||||
| 筑波大学 田中 二郎 | ||||||
| 概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 新規(平成９年度) | |
(21) |
並列アクティブデータベースにおけるI/O処理の高速化 |
|||||
| 北陸先端科学技術大学院大学 (現・東京工業大学大学院) 横田 治夫 | ||||||
| 概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 新規(平成９年度) | |
(22) |
GUIdeLA:A constraint Language and System for Constructing Graphical User Interfaces |
|||||
| 九州工業大学 周 能法 | ||||||
| 概 要 | 提 案 (英語) | 中間報告 (英語) | 最終報告 (英語) | 成果ソフトウェア | 新規(平成９年度) | |