酒井 正彦 | 北陸先端科学技術大学院大学

スポンサーリンク

概要

• 同名の論文著者
• 北陸先端科学技術大学院大学の論文著者

関連著者

• 酒井 正彦

  北陸先端科学技術大学院大学

• 外山 芳人

  北陸先端科学技術大学院大学

• 山本 晋一郎

  名古屋大学工学部

• 阿草 清滋

  名古屋大学

• 阿草 清滋

  名古屋大学大学院情報科学研究科

• 粕谷 英人

  愛知県立大学情報科学部

• 岩見 宗弘

  北陸先端科学技術大学院大学

• 長谷 崇

  北陸先端科学技術大学院大学

• 粕谷 英人

  名古屋大学工学部

• 高橋 宜孝

  (株)日立製作所日立研究所

• 石川 亮

  松下電器産業株式会社

• 石川 亮

  松下電器産業株式会社開発本部情報通信研究所

• 高橋 宜孝

  (株)日立製作所

• Agusa Kiyoshi

  School Of Engineering Nagoya University

• 濱口 毅

  名古屋大学工学部

• 北原 彰

  北陸先端科学技術大学院大学

• 川北 誠

  名古屋大学工学部

• Kawakita Makoto

  School Of Engineering Nagoya University

• Matsui Soichi

  Mitsubishi Electric Corporation

• 濱口 毅

  名古屋大学

• 高橋 宜孝

  北陸先端科学技術大学院大学

もっと見る 閉じる

著作論文

• 高階項書換え系における改良再帰分解順序について
• 高階項書換え系の停止性について
• 共有メモリ型並列計算機における項書換え系の実現方式
• Similarity on algebraic specifications toward specification databases
• エラー付き代数的仕様とエラー記述の自動付加
• 項書換え系の合流性を保存する合併条件について
• 条件付き項書換え系の合流性について
• 重なりのある強逐次系のインデックス簡約について
• 条件付き項書換え系の合流性について
• NVNF-逐次系におけるインデックスの決定可能性
• 項集合書換え系とその合流性
• 項集合書換え系の合流性について
• 形式的仕様を用いた再利用モデル

もっと見る 閉じる

スポンサーリンク