堀内 謙二 | (財)新世代コンピュータ技術開発機構

スポンサーリンク

概要

• 堀内 謙二の詳細を見る
• 同名の論文著者
• (財)新世代コンピュータ技術開発機構の論文著者

関連著者

• 堀内 謙二

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

• 堀内 謙二

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

著作論文

• 論理プログラムの抽象解釈を用いた解析
• Flat GHCプログラムの抽象解釈
• 第7回ロジックプログラミング国際会議に出席して

スポンサーリンク