藤田 博 | 新世代コンピュータ技術開発機構

スポンサーリンク

概要

• 同名の論文著者
• 新世代コンピュータ技術開発機構の論文著者

関連著者

• 藤田 博

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

• 藤田 博

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

• 世木 博久

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

• 上田 和紀

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

• 古川 康一

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

• 古川 康一

  Icot

• 古川 康一

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

• 奥村 晃

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

• 金森 直

  三菱電機中央研究所システム基礎研究部

著作論文

• NACLP '89の報告
• 部分計算
• 並列論理型言語GHCとそのプログラミング技術 (「第五世代コンピュータ」)
• 第5回ロジックプログラミング国際会議に出席して
• 部分評価と混合計算に関するワークショップに参加して
• プログラムを最適化するには--プログラム変換と並列プログラミング (並列知識情報処理--並列と推論)
• 帰納法を用いる定理証明システム (「人工知能と定理証明システム」)

スポンサーリンク