スポンサーリンク
新世代コンピュータ技術開発機構 | 論文
- E単一化子の完全集合を求める推論規則
- 項書換えシステム「Metis」の実装
- NACLP '89の報告
- 部分計算
- 並列論理型言語GHCとそのプログラミング技術 (「第五世代コンピュータ」)
- 第5回ロジックプログラミング国際会議に出席して
- 部分評価と混合計算に関するワークショップに参加して
- 第五世代コンピュ-タと知識工学 (知識工学の現状)
- 自動プログラミング (エレクトロニクス30周年記念特集)
- 人工知能の進歩と開発用マシン,言語の動向 (人工知能(AI)の進歩と適用へのアプロ-チ)
- 第5世代コンピュ-タ・プロジェクトの計画と現状 (システムと制御技術展′85特集号)
- 制約ロジック・プログラミング : 知識処理への新しいパラダイム
- 並列推論マシンPIM/pの要素プロセッサのアーキテクチャ
- ソフトウェアの生産技術におけるAI応用(I.共通システム,応用の現状と将来,機械工業におけるAI応用)
- 第5世代コンピュータとそのもたらすもの
- マルチPSIのネットワーク・ハードウェア構成
- マルチPSIシステムとその接続方式
- 6ZA-8 広域環境におけるRTTを用いたネットワークトポロジー推定(システム蓮用・管理(2),学生セッション,ネットワーク,情報処理学会創立50周年記念)
- 5W-9 計算機トラブルシュートドメインにおける固有表現抽出(言語情報抽出,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 4T-2 学習を用いた枝刈の新手法の提案(ゲーム,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
スポンサーリンク