亀山 幸義 | 京都大学大学院情報学研究科

スポンサーリンク

概要

• 同名の論文著者
• 京都大学大学院情報学研究科の論文著者

関連著者

• 亀山 幸義

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

• 佐藤 雅彦

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

• 永山 友和

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

• 馬場 謙介

  九州大学大学院システム情報科学研究院

• 廣川 佐千男

  九州大学情報基盤研究開発センター

• 廣川 佐千男

  九州大学

• 廣川 佐千男

  九州大学 大型計算機センター

• 馬場 謙介

  九州大学大学院システム情報科学府・研究院

• 馬場 謙介

  九州大学附属図書館

• 亀山 幸義

  筑波大

• 亀山 幸義

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

• 亀山 幸義

  京都大学

• 佐藤 雅彦

  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

• 佐藤 雅彦

  京都大学大学院エネルギー科学研究科

• 馬場 謙介

  九州大学 附属図書館 研究開発室

もっと見る 閉じる

著作論文

• 定理証明システムCoq上でのPre Logical Relationを用いた詳細化の正しさの証明
• $\lambda_C$計算と$\lambda_P$計算との対応(計算理論とその応用)

スポンサーリンク