(1) |
KLICの実行時システムの改良・拡張 |
|||||
---|---|---|---|---|---|---|
東京大学 近山 隆 先生 | ||||||
概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 平成8年度(継続) | |
(2) |
KLICの視覚的インタフェースに関する研究 |
|||||
筑波大学 田中 二郎 先生 | ||||||
概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 平成8年度(継続) | |
(3) |
帰納的な並列記号処理のためのプログラミング環境の開発 |
|||||
東京工業大学 佐藤 泰介 先生 | ||||||
概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 関連する委託研究 | |
(4) |
KL1プログラム開発支援ツール |
|||||
早稲田大学 上田 和紀 先生 | ||||||
概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 平成8年度(継続) | |
(5) |
KL1のゴール・スケジューリング最適化 |
|||||
京都大学 中島 浩 先生(現 豊橋技術科学大学) | ||||||
概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 平成8年度(継続) | |
(6) |
制約MGTPによる知識表現と自然言語処理への応用 |
|||||
九州大学 雨宮 真人 先生 | ||||||
概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | ||
(7) |
KL1によるPROGOLの並列化に関する研究 |
|||||
慶應義塾大学 古川 康一 先生 | ||||||
概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 平成8年度(継続) | |
(8) |
高度問題解決のための推論プログラムの開発 |
|||||
豊橋技術科学大学 井上 克已 先生(現 神戸大学) | ||||||
概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 平成8年度(継続) | |
(9) |
高速仮説推論システム |
|||||
東京大学 石塚 満 先生 | ||||||
概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 平成8年度(継続) | |
(10) |
演繹オブジェクト指向データベース言語Quixoteの実用化のための拡張機能の研究 |
|||||
京都大学 横田 一正 先生(現 岡山県立大学) | ||||||
概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 平成8年度(継続) | |
(11) |
異種分散協調問題解決系 Helios の協調作業への応用の研究 |
|||||
京都大学 横田 一正 先生(現 岡山県立大学) | ||||||
概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | ||
(12) |
協調ロボットプログラミング言語 / システム |
|||||
東京理科大学 溝口 文雄 先生 | ||||||
概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 平成8年度(継続) | |
(13) |
集合制約ソルバー |
|||||
立命館大学 佐藤 洋祐 先生 | ||||||
概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 平成8年度(継続) | |
(14) |
KLIC上のMGTP処理系 |
|||||
九州大学 長谷川 隆三 先生 | ||||||
概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 平成8年度(継続) | |
(15) |
一般化 LR 法を用いた頑健な並列構文解析に関する研究 |
|||||
北陸先端科学技術大学院大学 國藤 進 先生 | ||||||
概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 平成8年度(継続) | |
(16) |
並列論理型言語を用いた最尤法による分子進化系統樹作成プログラムに関する研究 |
|||||
北陸先端科学技術大学院大学 國藤 進 先生 | ||||||
概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 平成8年度(継続) | |
(17) |
単一化に基づく日英文法の開発および言語知識評価支援システム |
|||||
奈良先端科学技術大学院大学 松本 裕治 先生 | ||||||
概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 平成8年度(継続) | |
(18) |
EDR辞書を用いた日本語解析ツール |
|||||
東京工業大学 田中 穂積 先生 | ||||||
概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | ||
(19) |
ゴールに依存した抽象化を用いた法的推論の研究 |
|||||
北海道大学 原口 誠 先生 | ||||||
概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 平成8年度(継続) | |
(20) |
KLICによる並列アクティブデータベース処理の実現 |
|||||
北陸先端科学技術大学院大学 横田 治夫 先生(現 東京工業大学) | ||||||
概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア | 平成8年度(継続) | |
(21) |
膜タンパク質立体構造予測のためのタンパク質判別・二次構造決定システムの開発と公開 |
|||||
東京農工大学 美宅 成樹 先生 | ||||||
概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア ('97 8. 18. updated) |
||
(22) |
並列処理による低電力LSI用シリコンコンパイラ |
|||||
神戸大学 瀧 和男 先生 | ||||||
概 要 | 提 案 | 中間報告 | 最終報告 | 成果ソフトウェア |