金森 直 | (株)三菱電機 中央研究所

スポンサーリンク

概要

• 同名の論文著者
• (株)三菱電機 中央研究所の論文著者

関連著者

• 金森 直

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

• 金森 直

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

• 堀内 謙二

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

• 高橋 和子

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

• 堀内 謙二

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

著作論文

• 一般化したUnfold/Fold技法を用いたPrologプログラムの変換合成
• GHCによる時制論理の証明系の作成

スポンサーリンク