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

スポンサーリンク

概要

• 同名の論文著者
• 三菱電機(株)先端技術総合研究所の論文著者

関連著者

• 金森 直

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

• 堀内 謙二

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

• 金森 直

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

• 金森 直

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

• 堀内 謙二

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

• 藤田 博

  三菱電機中研

• 堀内 謙二

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

• 川村 正

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

• 川村 正

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

• 金森 直

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

• 藤田 博

  三菱電機中央研究所:新世代コンピュータ技術開発機構

• 高橋 和子

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

• 堀内 謙二

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

もっと見る 閉じる

著作論文

• 鉄道信号システムの連動論理検証
• 一般化したunfold/fold技法を用いた論理プログラムの変換合成 (プログラム合成/変換)
• カウンタを用いたunfold/fold技法によるPrologプログラムの変換
• 一般化したUnfold/Fold技法を用いたPrologプログラムの変換合成
• GHCによる時制論理の証明系の作成

スポンサーリンク