論理型並列プログラミング言語Concurrent Prologによる在庫管理システムの記述 (<特集>新しいプログラミング・パラダイムによる共通問題の設計)
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1985-05-15
著者
-
竹内 彰一
ソネットエンタテインメント株式会社
-
古川 康一
(財)新世代コンピュータ技術開発機構
-
古川 康一
Icot
-
古川 康一
新世代コンピュータ技術開発機構
-
大木 優
(財)新世代コンピュータ技術開発機構
-
竹内 彰一
(財)新世代コンピュータ技術開発機構
-
大木 優
新世代コンピュータ技術開発機構
-
二村 良彦
Futamura Institute, Inc.
-
宮崎 敏彦
新世代コンピュータ技術開発機構
-
宮崎 敏彦
(財)新世代コンピュータ技術開発機構
-
二村 良彦
(株)日立製作所中央研究所第8部
-
二村 良彦
Futamura Institute Inc.
-
二村 良彦
(株)日立製作所ソフトウェア工場
関連論文
- 推薦システムにおける段階評価の有効性に関する考察
- ソフトウェア科学会第3回大会
- オブジェクト指向計算特集の編集にあたって
- 制約プログラミングについて : 制約ロジックプログラミングを中心として
- ICOT-JIPDEC AIセンター編 : 人工知能の技術と利用,財団法人日本情報処理開発協会 (1989).
- 非単調推論
- 融合の逆操作
- 第五世代コンピュータ・プロジェクトの概観 (「第五世代コンピュータ」)
- 展開・たたみ込みプログラム変換
- 心をもつ機械 : ミンスキーと人工知能, J. Bernstein著, 米澤明憲, 米澤美緒訳, 岩波書店, 1987.
- 物理法則に基づいた定性推論
- 第五世代コンピュータのソフトウェア
- Third International Conference on Logic Prgrammingに出席して
- 仮説選定機構の一実現法
- 物理法則に基づいた定性的推論
- 学習システム研究の現状と課題 (学習)
- 論理型プログラミング言語Prologによる知識ベース管理システム
- 21・2 計算機システム : 21. システム一般(機械工学年鑑)
- FGCS'84開催報告
- Prolog 総論 (プログラミング言語 Prolog)
- 2nd International Logic Programming Conferenceに出席して
- 21・2 計算機システム(21.システム一般,機械工学年鑑)
- Mandala : A unified system for modular programming and knowledge representation on Concurrent Prolog
- A-022 数式処理システムMathematica上における再帰除去システム(A分野:モデル・アルゴリズム・プログラミング)
- ソフトウェア科学会第4回大会
- 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)
- 対象系の分割を用いた定性推論
- GHCサブセット逐次型処理系のデバッグ環境
- 論理型並列プログラミング言語Concurrent Prologによる在庫管理システムの記述 (新しいプログラミング・パラダイムによる共通問題の設計)
- 定性推論とその応用(知識工学と生産技術)
- 第4回論理プログラミング国際会議(ICLP)に出席して
- パネル討論会 : オブジェクト指向の展望 : 昭和63年度後期第37回 全国大会報告
- ANDOR並列論理型言語ANDOR-IIの並列論理型言語への変換
- フォトポリマーホログラムの自動車用ヘッドアップディスプレイへの応用
- Situated Interface : 社会的インタラクションに向けて
- ビジョンを備えた表情インタフェースとのインタラクション
- 「擬似対人行動 : 誘発の条件」について
- 特集「インタラクティブシステムとソフトウェア」の編集にあたって (インタラクティブシステムとソフトウェア)
- 視線を伴った表情とのインタラクション
- A Debugger for AND and OR-Parallel Logic Programming Languge ANDOR-II
- A Debugger for AND- and OR-Parallel Logic Programming Language ANDOR-II
- 知識メディアステーションによる共同作業の支援について
- 知識メディアステ-ションによる新形態の知識処理 (エキスパ-トシステム)
- オブジェクト指向計算ワークショップの報告
- 知識メディアステーション(1)概要
- オブジェクト指向の指向するもの (オブジェクト指向プログラミング)
- Connectionism : Connectionism Symposiumに出席して
- Third International Conference on Logic Programming
- 知識工学と第5世代コンピュータ(知識工学)
- 日本における第5世代コンピュータ・プロジェクト全体像
- 論理型計算モデル (非手続き型プログラミングのための計算モデル)
- 仮想記憶方式の下での大形行列計算技法 (記憶階層)
- 72-12 形式意味論の例
- 72-4 文脈自由言語の意味
- 71-10 コンパイラ記述システムFSL によるFormula ALGOL コンパイラの作成
- 71-9 最適化された構文識別装置
- 71-8 数式に対する最適コードの生成
- 70-34 プログラム言語の意味とコンパイラの理論について
- 70-33 ランダム・アクセス・プログラム内蔵式機械, プログラム言語の一方法
- 68-69. PL/1の形式的定義について
- 68-41. 広い意味におけるComputer Aided Designを実現するためにAEDでとられている方法
- 68-22. Context free文法の認識装置の能率について
- 68-21. スタック・オートマトンとコンパイリング
- 68-19. いろいろなリスト構造における能率のよい Garbage Collection手続
- 68-18. リスト処理言語における高速および低速の記憶装置の使用
- B-35. COGENTプログラミングシステム
- B-34. LISP 2プログラム言語とシステム
- B-23. 微分のための形式的体系
- B-13. SNOBOL 3 プログラミング言語
- F-8. 計算機言語のFormal Semantics そのコンパイラ・コンパイラへの応用
- F-70. FORMAC における自動単純化
- ICOT
- プログラムを最適化するには--プログラム変換と並列プログラミング (並列知識情報処理--並列と推論)
- 感性とコンピュ-タ (感情と情報--感性と科学の接点)
- 並列処理と推論 (推論--人工知能の基礎理論)
- 第5世代計算機のソフトウェア技術の展望 (ソフトウェア生産技術の現状と将来特集) -- (ソフトウェア生産技術の話題)
- PAD (Problem Analysis Diagram)によるプログラムの設計および作成
- Concurrent Prologは「論理型」並列プログラミング言語か?
- 論理型並列プログラミング言語 : Concurrent Prolog
- 神経回路網の自己組織理論
- プログラム設計法 PAD/PAM (プログラム設計技法)
- 問題分析法PAMによるプログラムの設計と審査
- 並列論理型言語KL1の実現方式と並列OSの記術 (並列処理ハ-ドウェアと言語特集)