元岡 達, 淵 一博 編, "New Generation Computing : An International Journal on Fifth Generation Computers", オーム社, Springer-Verlag, B5 変形判, (年 \27,500)
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1984-08-15
著者
関連論文
- 制約プログラミングについて : 制約ロジックプログラミングを中心として
- ICOT-JIPDEC AIセンター編 : 人工知能の技術と利用,財団法人日本情報処理開発協会 (1989).
- 非単調推論
- 融合の逆操作
- 第五世代コンピュータ・プロジェクトの概観 (「第五世代コンピュータ」)
- 展開・たたみ込みプログラム変換
- 心をもつ機械 : ミンスキーと人工知能, J. Bernstein著, 米澤明憲, 米澤美緒訳, 岩波書店, 1987.
- 物理法則に基づいた定性推論
- 第五世代コンピュータのソフトウェア
- Third International Conference on Logic Prgrammingに出席して
- 仮説選定機構の一実現法
- 物理法則に基づいた定性的推論
- 学習システム研究の現状と課題 (学習)
- 論理型プログラミング言語Prologによる知識ベース管理システム
- 21・2 計算機システム : 21. システム一般(機械工学年鑑)
- ソフトウェア科学会第4回大会
- データベースへの知的アクセス (データベース技術)
- 関係データベースに対するデータアクセスの数式処理による最適化について
- データベースの知的アクセス
- データ構造に対する表現の選択
- 人工知能とデータ・ベース
- 72-42 ノイズのある画面での曲線の最適検知について
- データ構造(II)
- コンフリクト・フラグをもったハッシュ記憶法
- データ構造(I)
- 71-31 誤りを許すハッシュ・コーディングの空間・時間の得失
- マジック・リスト : 両方向リストを1個のポインタですませる方法
- 70-61 グラフィックによる汎用の問題解析機
- コンピュータ・グラフィクスにおけるデータ構造の問題
- 70-29 アルゴルを基礎にした連想言語
- 69-36 タイムシェアリングシステムにおけるコア領域配分のモデル
- Michael R. Genesereth and Nils J. Nilsson:Logical Foundations of Artificial Intelligence, Morgan Kaufmann Publishers, Inc. (1987).
- 「人工知能の展望」 : 1987年7月20日 人工知能学会全国大会(於:学習院大学記念会館)にて
- 元岡 達, 淵 一博 編, "New Generation Computing : An International Journal on Fifth Generation Computers", オーム社, Springer-Verlag, B5 変形判, (年 \27,500)
- 論理型並列プログラミング言語Concurrent Prologによる在庫管理システムの記述 (新しいプログラミング・パラダイムによる共通問題の設計)
- Prologのコルーチン・インタプリタの検証について(同期の数理)
- 論理と応用(1)
- ICOT
- プログラムを最適化するには--プログラム変換と並列プログラミング (並列知識情報処理--並列と推論)
- 感性とコンピュ-タ (感情と情報--感性と科学の接点)
- 並列処理と推論 (推論--人工知能の基礎理論)
- Hash Codingの理論と応用 (情報科学の数学的理論)