スポンサーリンク
ICOT | 論文
- パネル討論会 / 並列計算機の実用化・商品化を逡巡させる諸要因とは : その徹底分析と克服 ( 並列処理 シンポジウム JSPP 92 報告)
- ブーリアン・グレブナー基底の Syzygy 基底による特徴付け
- 制約論理プログラミングシステム (制約論理プログラミング)
- 視覚的制約プログラミングについて
- 制約論理プログラミング言語CALについて (「第五世代コンピュータ」)
- 制約論理プログラミング言語(Constraint Logic Programming)
- LTBマスタ辞書の意味記述
- LTBマスタ辞書の構造と内容
- エキスパートシステムとその応用に関する国際学会報告 : Avignon87より
- 並列推論マシンPIM : 中期構想
- 汎用アセンブラのPSIへの移植
- ICOT
- 「ESPによるATMSと問題解決器を融合した仮説推論機構」 : ASTRON
- 並列推論マシンPIM: リダクション方式の評価
- プログラムを最適化するには--プログラム変換と並列プログラミング (並列知識情報処理--並列と推論)
- 感性とコンピュ-タ (感情と情報--感性と科学の接点)
- 並列処理と推論 (推論--人工知能の基礎理論)
- 並列論理型言語処理系KLICによるPARIの並列化(数式処理における理論とその応用の研究)
- 連立1階常微分方程式の形式整級数解の近似計算法(数式処理と数学研究への応用)
- 88-4 共有メモリを持たないマルチプロセッサ下でのOR並列実行方式