住井 英二郎 | ペンシルバニア大学コンピュータ情報科学科

スポンサーリンク

概要

• 住井英二郎の詳細を見る
• 同名の論文著者
• ペンシルバニア大学コンピュータ情報科学科の論文著者

関連著者

• 住井 英二郎

  ペンシルバニア大学コンピュータ情報科学科

• 米澤 明憲

  東京大学大学院情報理工学系研究科コンピュータ科学専攻

• 米澤 明憲

  東京大学理学部情報科学科

• 米澤 明憲

  東京工業大学理学部

• 米澤 明憲

  東京大学情報理工学系研究科コンピュータ科学専攻

• 住井 英二郎

  ペンシルバニア大学

• 住井 英二郎

  東京大学情報理工学系研究所コンピュータ科学専攻

• 住井 英二郎

  東京大学大学院情報理工学系研究科

• 大岩 寛

  東京大学

• 大根田 裕一

  東京大学大学院情報理工学系研究科

• 大根田 裕一

  東京大学情報理工学系研究科コンピュータ科学専攻

• 立沢 秀晃

  東京大学情報理工学系研究科コンピュータ科学専攻

• 増山 隆

  東京大学情報理工学系研究所コンピュータ科学専攻

• 田渕 直

  東京大学情報理工学系研究科コンピュータ科学専攻

• 大岩 寛

  東京大学大学院情報理工学系研究科

• 米澤 明憲

  東京大学大学院情報理工学系研究科

もっと見る 閉じる

著作論文

• セキュリティプロトコルの略式記法からspi計算への変換
• 例外処理機構を備えた命令型言語のCPS変換とその定式化
• C++テンプレートを分割コンパイルするためのアプローチ
• テキスト処理言語における文字列のための正規表現型
• 暗号化通信のspi計算による形式的検証
• 安全性を保証するANSI-C実行系の実装手法(プログラミング及びプログラミング言語)

スポンサーリンク