柴田 直樹 | 大阪大学基礎工学部情報工学科

スポンサーリンク

概要

• 同名の論文著者
• 大阪大学基礎工学部情報工学科の論文著者

関連著者

• 柴田 直樹

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

• 東野 輝夫

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

• 谷口 健一

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

• 森岡 澄夫

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

• 東野 輝夫

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

• 柴田 直樹

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

• 森岡 澄夫

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

• 谷口 健一

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

• 森岡 澄夫

  日本電気株式会社システムipコア研究所

• 森岡 澄夫

  日本電気システムIPコア研究所

著作論文

• すべての変数が存在記号で束縛された冠頭標準形プレスブルガー文の真偽判定の高速化手法
• プレスブルガー文真偽判定手続きを用いた算術演算回路の正しさの証明
• プレスブルガー文真僞判定手続きを用いた算術演算回路の正しさの証明

スポンサーリンク