亀山 幸義 | 筑波大
スポンサーリンク
概要
関連著者
-
亀山 幸義
筑波大
-
亀山 幸義
筑波大学システム情報工学研究科
-
佐藤 雅彦
京都大学大学院情報学研究科
-
亀山 幸義
筑波大学システム情報工学科コンピュータサイエンス専攻
-
佐藤 雅彦
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
-
亀山 幸義
東北大学電気通信研究所
-
亀山 幸義
筑波大学大学院システム情報工学研究科
-
佐藤 雅彦
京都大学大学院エネルギー科学研究科
-
Taha Azza
Department of Mathematics and Computer Science, Am Shams University, Egypt
-
亀山 幸義
筑波大学電子・情報工学系
-
永山 友和
京都大学大学院情報学研究科
-
亀山 幸義
京都大学大学院情報学研究科
-
佐藤 雅彦
東北大学電気通信研究所
-
辰巳 淳朗
筑波大学大学院理工学研究科
-
杉浦 啓介
筑波大学情報学類
-
亀山 幸義
筑波大学コンピュータサイエンス専攻
-
中島 一
筑波大学大学院システム情報工学研究科
-
亀山 幸義
科学技術振興機構
-
亀山 幸義
東北大学 電気通信研究所
-
佐々木 卓
筑波大学大学院システム情報工学研究科
-
田中 陽
筑波大学大学院システム情報工学研究科
-
Taha Azza
Department Of Mathematics And Computer Science Am Shams University Egypt
-
田中 麻峰
筑波大学システム情報工学研究科
-
鈴木 輝信
筑波大学システム情報工学研究科コンピュータサイエンス
著作論文
- 二階文脈計算(プログラミング及びプログラミング言語)
- 定理証明システムCoq上でのPre Logical Relationを用いた詳細化の正しさの証明
- 自己反映的証明体系RPTの理論と実現
- 抽象化と精密化による実時間モデル検査の改善
- 多値モデル検査を利用したモデル化の誤りの発見
- 限定継続に基づくスケーラブルなウェブアプリケーション構築手法
- 1Q-5 マルチステージプログラミングのための計算体系の実装(プログラミング言語・実装・支援,学生セッション,ソフトウェア科学・工学)
- 動的環境と限定継続を持つプログラム言語の意味論と実装
- オブジェクト指向言語に対するメタプログラミング言語の設計と実装
- 階層化コントロールオペレータに対する型システムの構築
- 構成的数学体系RPTに基づく超数学の定理の形式化