長谷川 隆三 | (財)新世代コンピュータ技術開発機構

スポンサーリンク

概要

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

関連著者

• 長谷川 隆三

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

• 長谷川 晴朗

  沖電気工業(株)政策調査部

• 長谷川 晴朗

  沖電気工業株式会社

• 長谷川 晴朗

  沖電気工業

• 中島 誠

  大分大学工学部知能情報システム工学科

• 永井 保夫

  (株)東芝情報通信システム技術研究所

• 永井 保夫

  (株)東芝

• 太田 好彦

  職業能力開発大学校情報工学科

• 井上 克巳

  豊橋技術科学大学情報工学系

• 長谷川 晴朗

  沖電気工業(株)

• 葭谷 努

  沖通信システム(株)

• 田口 毅

  沖電気工業(株)

• 福澤 俊幸

  沖電気工業(株)

• 中島 俊介

  沖通信システム(株)

• 安藤 津芳

  沖電気工業(株)

• 永井 保夫

  (株)東芝研究開発センターシステム・ソフトウエア生産技術研究所

• 安藤 津芳

  沖電気工業株式会社

• 中島 俊介

  沖通信システム株式会社技術推進部

• 永井 保夫

  (株)東芝システム・ソフトウェア技術研究所

• 福澤 俊幸

  沖電気工業株式会社通信ネットワーク事業本部

もっと見る 閉じる

著作論文

• ブール代数を用いた制約充足問題の定式化と解法についての検討
• 数理計画法を用いた制約充足問題の定式化について検討
• GHCプログラムの検証と性能評価
• 制約論理型言語を用いたプランニングの記述
• 並列プログラムの動作評価に関する一検討
• モデル生成型定理証明器を用いたアブダクションの計算における効率化手法
• モデル生成に基づく並列アブダクション

スポンサーリンク