亀山 幸義 | 東北大学電気通信研究所

スポンサーリンク

概要

• 同名の論文著者
• 東北大学電気通信研究所の論文著者

関連著者

• 亀山 幸義

  東北大学電気通信研究所

• 亀山 幸義

  筑波大

• 亀山 幸義

  筑波大学システム情報工学研究科

• 佐藤 雅彦

  京都大学大学院情報学研究科

• 佐藤 雅彦

  東北大学電気通信研究所

• 亀山 幸義

  東北大学 電気通信研究所

• 佐藤 雅彦

  Department Of Information Science Faculty Of Science University Of Tokyo

• Sato Masahiko

  Graduate School Department Of Mathematics Kyoto University

• Sato Masahiko

  Department Of Information Science Kyoto University

著作論文

• 自己反映的証明体系RPTの理論と実現
• 構成的数学体系RPTに基づく超数学の定理の形式化

スポンサーリンク