プログラムを最適化するには--プログラム変換と並列プログラミング (並列知識情報処理--並列と推論<特集>)

スポンサーリンク

概要

• 論文の詳細を見る
• サイエンス社の論文

著者

• 古川 康一

  (財)新世代コンピュータ技術開発機構

• 古川 康一

  Icot

• 古川 康一

  新世代コンピュータ技術開発機構

• 藤田 博

  新世代コンピュータ技術開発機構

関連論文

• 制約プログラミングについて : 制約ロジックプログラミングを中心として
• 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
• ソフトウェア科学会第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)
• 論理型並列プログラミング言語Concurrent Prologによる在庫管理システムの記述 (新しいプログラミング・パラダイムによる共通問題の設計)
• NACLP '89の報告
• 部分計算
• 並列論理型言語GHCとそのプログラミング技術 (「第五世代コンピュータ」)
• 第5回ロジックプログラミング国際会議に出席して
• 部分評価と混合計算に関するワークショップに参加して
• 知識工学と第5世代コンピュータ(知識工学)
• 日本における第5世代コンピュータ・プロジェクト全体像
• 論理型計算モデル (非手続き型プログラミングのための計算モデル)
• ICOT
• プログラムを最適化するには--プログラム変換と並列プログラミング (並列知識情報処理--並列と推論)
• 感性とコンピュ-タ (感情と情報--感性と科学の接点)
• 並列処理と推論 (推論--人工知能の基礎理論)
• 第5世代計算機のソフトウェア技術の展望 (ソフトウェア生産技術の現状と将来特集) -- (ソフトウェア生産技術の話題)
• 帰納法を用いる定理証明システム (「人工知能と定理証明システム」)

もっと見る 閉じる

スポンサーリンク