米澤 明憲 | 東京大学情報理工学系研究科コンピュータ科学専攻
スポンサーリンク
概要
関連著者
-
米澤 明憲
東京大学大学院情報理工学系研究科コンピュータ科学専攻
-
米澤 明憲
東京大学理学部情報科学科
-
米澤 明憲
東京工業大学理学部
-
米澤 明憲
東京大学情報理工学系研究科コンピュータ科学専攻
-
住井 英二郎
ペンシルバニア大学コンピュータ情報科学科
-
住井 英二郎
ペンシルバニア大学
-
住井 英二郎
東京大学情報理工学系研究所コンピュータ科学専攻
-
大根田 裕一
東京大学大学院情報理工学系研究科
-
大根田 裕一
東京大学情報理工学系研究科コンピュータ科学専攻
-
立沢 秀晃
東京大学情報理工学系研究科コンピュータ科学専攻
-
増山 隆
東京大学情報理工学系研究所コンピュータ科学専攻
-
田渕 直
東京大学情報理工学系研究科コンピュータ科学専攻
著作論文
- セキュリティプロトコルの略式記法からspi計算への変換
- 例外処理機構を備えた命令型言語のCPS変換とその定式化
- 私のソフトウェア研究
- C++テンプレートを分割コンパイルするためのアプローチ
- テキスト処理言語における文字列のための正規表現型
- MK-1 社会基盤としてのセキュアコンピューティングの実現方式の研究(大型プロジェクト紹介,学術系企画)