森岡 澄夫 | 大阪大学 大学院基礎工学研究科 情報数理系専攻

スポンサーリンク

概要

• 同名の論文著者
• 大阪大学 大学院基礎工学研究科 情報数理系専攻の論文著者

関連著者

• 東野 輝夫

  大阪大学 大学院情報科学研究科

• 谷口 健一

  大阪大学 基礎工学部

• 東野 輝夫

  大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest

• 森岡 澄夫

  大阪大学 大学院基礎工学研究科 情報数理系専攻

• 森岡 澄夫

  大阪大学大学院基礎工学研究科情報数理系専攻:(現)日本アイ・ビー・エム株式会社

• 柴田 直樹

  大阪大学大学院基礎工学研究科情報数理系専攻

• 柴田 直樹

  大阪大学 大学院基礎工学研究科 情報数理系専攻

• 島谷 肇

  大阪大学大学院基礎工学研究科情報数理系専攻:(現)株式会社東芝

• 北嶋 暁

  大阪電気通信大学総合情報学部メディアコンピュータシステム学科

• 北嶋 暁

  大阪大学 大学院基礎工学研究科 情報数理系専攻

• 島谷 肇

  大阪大学 基礎工学部 情報工学科

もっと見る 閉じる

著作論文

• プレスブルガー文真偽判定手続きにおける多元連立1次合同式の求解処理の高速化
• 一つのEFSMの複数EFSMによる実現の正しさの一証明法
• プログラム検証支援のためのプレスブルガー文真偽判定ルーチンの高速化

スポンサーリンク