|
プロフィール
氏名
住井 英二郎
SUMII Eijirou 所属
大学院情報科学研究科
情報基礎科学専攻
ソフトウェア科学講座
ソフトウェア基礎科学分野 職名
准教授 学位
博士（情報理工学） 研究分野 全件表示 研究課題 プログラミング言語とソフトウェア基礎 (1997-) 全件表示 研究キーワード
プログラミング言語, ソフトウェア, セキュリティ, 型, 理論, ラムダ計算, 関数型言語, ML 所属学会 全件表示 学会活動・学会役員 The 2008 ACM SIGPLAN Workshop on ML・プログラム委員長 (2008) 第10回プログラミングおよびプログラミング言語ワークショップ・プログラム共同委員長 (2008) 第4回プログラミングお ... もっと見る
氏名
住井 英二郎
SUMII Eijirou 所属
大学院情報科学研究科
情報基礎科学専攻
ソフトウェア科学講座
ソフトウェア基礎科学分野 職名
准教授 学位
博士（情報理工学） 研究分野 全件表示 研究課題 プログラミング言語とソフトウェア基礎 (1997-) 全件表示 研究キーワード
プログラミング言語, ソフトウェア, セキュリティ, 型, 理論, ラムダ計算, 関数型言語, ML 所属学会 全件表示 学会活動・学会役員 The 2008 ACM SIGPLAN Workshop on ML・プログラム委員長 (2008) 第10回プログラミングおよびプログラミング言語ワークショップ・プログラム共同委員長 (2008) 第4回プログラミングおよびプログラミング言語サマースクール・招待講演 (2006) 全件表示 主要論文
A Bisimulation for Type Abstraction and Recursion.[Journal of the ACM,54(5-26),(2007),1-43] Eijiro Sumii and Benjamin C. Pierce
10.1145/1284320.1284325
A Bisimulation for Dynamic Sealing.[Theoretical Computer Science,375(1-3),(2007),169-192] Eijiro Sumii and Benjamin C. Pierce
10.1016/j.tcs.2006.12.032
Logical Relations for Encryption.[Journal of Computer Security,11(4),(2003),521-554] Eijiro Sumii and Benjamin C. Pierce
A Hybrid Approach to Online and Offline Partial Evaluation.[Higher-Order and Symbolic Computation,14(2/3),(2001),101-142] Eijiro Sumii and Naoki Kobayashi
10.1023/A:1
MinCaml: A Simple and Efficient Compiler for a Minimal Functional Language.[Proceedings of the 2005 Workshop on Functional and Declarative Programming in Education (FDPE'05),(2005),27-38] Eijiro Sumii
10.1145/1.1
全件表示 主要総説・解説記事
spi計算における暗号プロトコルの形式的検証.[岩波書店 応用数理,17(4),(2007)] 住井英二郎
チュートリアル 暗号化通信のspi計算による形式的検証.[コンピュータソフトウェア,20(6),(2003),75-84] 住井英二郎
全件表示 学術関係受賞 船井情報科学奨励賞 (2008) 野口研究奨励賞 (2006) 日本ソフトウェア科学会第3回プログラミングおよびプログラミング言語ワークショップ論文賞 (2001) 2004年度第1回未踏ソフトウェア創造事業「天才プログラマー／スーパークリエータ」 (2005) 全件表示 ホームページ
http://www.kb.ecei.tohoku.ac.jp/~sumii/ データ更新日
2010.04.27 戻る
|
投票数
0
| ふりがな |
|
| 性別 |
|
| 出身地 |
|
| 生年月日 |
|
| 血液型 |
|
| 職業 |
|
| 所属 |
|
| Twitter |
|
