堀内 謙二 | (財)新世代コンピュータ技術開発機構:(現)三菱電機産業システム研究所

スポンサーリンク

概要

• 同名の論文著者
• (財)新世代コンピュータ技術開発機構:(現)三菱電機産業システム研究所の論文著者

関連著者

• 堀内 謙二

  (財)新世代コンピュータ技術開発機構:(現)三菱電機産業システム研究所

• 堀内 謙二

  三菱電機(株)産業システム研究所

• 堀内 謙二

  三菱電機(株)中央研究所

• 堀内 謙二

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

• 金森 直

  三菱電機(株)先端技術総合研究所

• 金森 直

  三菱電機(株)中央研究所

著作論文

• 論理プログラムの抽象解釈を用いた解析
• 一般化したunfold/fold技法を用いた論理プログラムの変換合成 (プログラム合成/変換)

スポンサーリンク