住井 英二郎 更新日: 18/10/24 12:03
経歴
2005年5月
-
現在
東北大学大学院情報科学研究科 助教授（～2007年3月）・准教授（職名変更、2007年4月～2014年4月）・教授（2014年5月～）
2010年11月
-
現在
日本学術会議 特任連携会員（～2014年9月）・連携会員（2014年10月～） 若手アカデミー活動検討分科会委員(2010-2011), 若手アカデミー委員会委員(2011-2014), 若手アカデミー幹事(2015-2017), 若手アカデミー世話人(2017)他
2003年4月
-
2005年3月
Department of Computer and Information Science, School of Engineering and Applied Science, ペンシルバニア大学 Research Associate
2001年4月
-
2003年3月
東京大学大学院情報学環 助手
2000年4月
-
2001年3月
Department of Computer and Information Science, School of Engineering and Applied Science, ペンシルバニア大学 Visiting Scholar
2000年4月
-
2001年3月
日本学術振興会 特別研究員(DC1)
学歴
-
2001年3月
東京大学 理学系研究科 情報科学専攻
委員歴
2018年7月
-
現在
Journal of Functional Programming (Cambridge University Press) Editor
2014年8月
-
現在
International Federation for Information Processing (IFIP) Working Group (WG) 2.8 (Functional Programming) Member
2016年9月
21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016) Program Chair
2014年6月
Twelfth International Symposium on Functional and Logic Programming (FLOPS 2014) Program Co-Chair, General Chair
2008年9月
The 2008 ACM SIGPLAN Workshop on ML Program Chair
2017年1月
The 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017) Program Committee Member
2016年9月
-
現在
Journal of Functional Programming (Cambridge University Press) Guest Editor
2015年9月
日本ソフトウェア科学会第32回大会 プログラム委員
2014年12月
-
2018年10月
21st ACM SIGPLAN International Conference on Functional Programming Steering Committee Member
2014年9月
日本ソフトウェア科学会 第31回大会 プログラム委員
2014年7月
WPTE 2014: First International Workshop on Rewriting Techniques for Program Transformations and Evaluation Program Committee Member
2014年6月
-
2016年3月
International Symposium on Functional and Logic Programming (FLOPS) Steering Committee Chair
2014年4月
-
2016年3月
日本ソフトウェア科学会 プログラミング論研究会 運営委員長
2014年1月
ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation (PEPM'14) Program Committee Member
2013年1月
POPL 2013: 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages External Review Committee: Member
2012年9月
Haskell Symposium 2012 Program Committee Member
2012年9月
ICFP 2012: The 17th ACM SIGPLAN International Conference on Functional Programming Program Committee Member
2012年9月
Scheme 2012: Workshop on Scheme and Functional Programming Program Committee Member
2012年9月
HOPE 2012: The 1st ACM SIGPLAN Workshop on Higher-Order Programming with Effects Program Committee Member
2012年1月
Fourteenth International Symposium on Practical Aspects of Declarative Languages: PADL'12 Program Committee Member
2011年9月
ICFP 2011: The 16th ACM SIGPLAN International Conference on Functional Programming Programming Contest Chair
2011年4月
-
2016年3月
日本ソフトウェア科学会 プログラミング論研究会 運営委員
2010年11月
-
2010年12月
APLAS 2010: Eighth Asian Symposium on Programming Languages and Systems Program Committee Member
2010年10月
-
2011年9月
The ACM SIGPLAN Workshop on ML Steering Committee Chair
2010年9月
日本ソフトウェア科学会第27回大会 プログラム委員
2010年4月
FLOPS 2010: Tenth International Symposium on Functional and Logic Programming Local Chair
2009年4月
-
現在
日本ソフトウェア科学会 学会誌『コンピュータソフトウェア』（岩波書店）編集委員
2009年4月
-
2011年3月
情報処理学会 東北支部 会計幹事
2009年1月
-
2013年12月
Journal of Functional Programming (Cambridge University Press) Editorial Board Member
2008年9月
-
2011年9月
The ACM SIGPLAN Workshop on ML Steering Committee Member
2008年6月
ACM SIGPLAN Third Workshop on Programming Languages and Analysis for Security (PLAS 2008) Program Committee Member
2008年3月
-
2008年4月
ESOP'08: 17th European Symposium on Programming Program Committee Member
2008年3月
第10回プログラミングおよびプログラミング言語ワークショップ: PPL2008 プログラム共同委員長
2008年1月
The 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Program Committee Member
2007年11月
-
2007年12月
The Fifth ASIAN Symposium on Programming Languages and Systems (APLAS 2007) Poster Chair
2007年11月
-
2007年12月
The Fifth ASIAN Symposium on Programming Languages and Systems (APLAS 2007) Program Committee Member
2007年7月
Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis: FCS-ARSPA'07 Program Committee Member
2007年6月
ACM SIGPLAN Workshop on Programming Languages and Analysis for Security Program Committee Member
2006年11月
The Fourth ASIAN Symposium on Programming Languages and Systems (APLAS 2006) Poster Chair
2006年9月
ESORICS 2006: 11th European Symposium On Research In Computer Security Program Committee Member
2006年4月
Eighth International Symposium on Functional and Logic Programming: FLOPS 2006 Program Committee Member
2006年3月
第８回プログラミングおよびプログラミング言語ワークショップ(PPL2006) プログラム委員
2005年9月
The 2005 ACM SIGPLAN Workshop on ML Program Committee Member
2005年9月
日本ソフトウェア科学会第22回大会 プログラム委員
2005年3月
第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005) プログラム委員
2004年9月
The 2004 International Conference on Functional Programming (ICFP) Programming Contest Organizer
2003年8月
8th ACM SIGPLAN International Conference on Functional Programming (ICFP 2003) Program Committee Member
2001年10月
-
2003年3月
日本ソフトウェア科学会 企画委員
受賞
2013年2月
日本学術振興会 第9回（平成24年度）日本学術振興会賞
2011年12月
日本IBM 第25回日本IBM科学賞（コンピューター・サイエンス分野）
2010年7月
マイクロソフト株式会社 第2回マイクロソフトリサーチ日本情報学研究賞（基礎的情報学分野）
2005年5月
情報処理推進機構 2004年度上期未踏ソフトウェア創造事業天才プログラマー／スーパークリエータ
2000年9月
ACM SIGPLAN International Conference on Functional Programming The Third Annual ICFP Programming Contest (1st Place)
受賞者: Team PLClub, University of Pennsylvania
2014年2月
情報処理学会 ソフトウエアジャパンアワード
2012年4月
船井情報科学振興財団 第11回船井学術賞
2011年11月
東北大学電気通信研究所 第1回RIEC Award東北大学研究者賞
2011年6月
日本ソフトウェア科学会 日本ソフトウェア科学会第15回論文賞
受賞者: 上嶋祐紀，住井英二郎
2008年4月
船井情報科学振興財団 第7回船井情報科学奨励賞
2006年5月
情報処理学会東北支部 第1回野口研究奨励賞
2002年10月
ACM SIGPLAN International Conference on Functional Programming The Fifth ICFP Programming Contest (1st Place)
受賞者: Team TAPLAS, University of Tokyo
2001年2月
日本ソフトウェア科学会 日本ソフトウェア科学会第3回プログラミングおよびプログラミング言語ワークショップ論文賞
受賞者: Eijiro Sumii, Benjamin C. Pierce
論文
Eijiro Sumii, Benjamin C. Pierce
J. ACM 54(5) 26:1-26:43 2007年 [査読有り]
Eijiro Sumii
Theor. Comput. Sci. 411(51-52) 4358-4378 2010年 [査読有り]
Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
ACM Trans. Program. Lang. Syst. 33(1) 5:1-5:69 2011年 [査読有り]
Contains a number of typographical errors introduced by the copy editor (which the authors did not have time to correct)
Masayuki Mizuno,Eijiro Sumii
Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings 1-16 2018年 [査読有り]
住井, 英二郎
コンピュータ ソフトウェア 25(2) 28-38 2008年 [査読有り]
水野, 雅之, 住井, 英二郎
日本ソフトウェア科学会大会論文集 33 475-480 2016年
Taichi Yachi, Eijiro Sumii
Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, Lecture Notes in Computer Science 10017 171-186 2016年 [査読有り]
谷内, 太一, 住井, 英二郎
日本ソフトウェア科学会大会論文集 32 1-7 2015年
Akinori Abe, Eijiro Sumii
Proceedings ML Family/OCaml Users and Developers workshops, ML/OCaml 2015, Gothenburg, Sweden, September 4-5, 2014., EPTCS 198 1-21 2015年 [査読有り]
単純かつ実用的な静的サイズ検査つき線形代数演算ライブラリ
阿部 晃典, 住井 英二郎
第16回プログラミングおよびプログラミング言語ワークショップ(PPL2014)論文集 1-16 2014年 [査読有り]
Akinori Abe, Eijiro Sumii
The OCaml Users and Developers Workshop 1-3 2014年 [査読有り]
対応表明つきプロトコル記述からSpiCAへの複数セッションを考慮した変換
佐藤 悠史, 住井 英二郎
第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)論文集 1-15 2013年 [査読有り]
Eijiro Sumii, Yuji Sato
FCS 2013 Workshop on Foundations of Computer Security (Informal Proceedings) 68-82 2013年 [査読有り]
Adrien Piérard, Eijiro Sumii
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012 531-540 2012年 [査読有り]
Adrien Piérard, Eijiro Sumii
Foundations of Software Science and Computational Structures - 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Procee 6604 123-137 2011年 [査読有り]
Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii
HLCL '98, 3rd International Workshop on High-Level Concurrent Languages (Satellite Workshop of CONCUR '98), Electr. Notes Theor. Comput. Sci. 276 215-235 2011年 [査読有り]
Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii
Modelling, Controlling and Reasoning About State, 29.08. - 03.09.2010, Dagstuhl Seminar Proceedings 10351 1-9 2010年 [招待有り]
Adrien Piérard, Eijiro Sumii
CoRR abs/1006.4943 1-15 2010年
上嶋, 祐紀, 住井, 英二郎
コンピュータ ソフトウェア 26(1) 139-154 2009年 [査読有り]
Eijiro Sumii
Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, Lecture Notes in Computer Scienc 5502 237-251 2009年 [査読有り]
Eijiro Sumii
Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings, Lecture Notes in Computer Science 5771 455-469 2009年 [査読有り]
Nobuyuki Sato, Eijiro Sumii
Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings, Lecture Notes in Computer Science 5904 311-326 2009年 [査読有り]
Hisatoshi Sutou, Eijiro Sumii
Manuscript 2007年
型安全な通信ライブラリQuicksilverとその改良
須藤尚稔, 住井英二郎
第9回プログラミングおよびプログラミング言語ワークショップ(PPL 2007)論文集 39-51 2007年 [査読有り]
Javaへの変換による安全なC言語の実装
上嶋祐紀, 住井英二郎
第9回プログラミングおよびプログラミング言語ワークショップ(PPL 2007)論文集 52-66 2007年 [査読有り]
Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings 293-302 2007年 [査読有り]
Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings, Lecture Notes in Computer Science 4767 364-379 2007年 [招待有り]
Eijiro Sumii, Benjamin C. Pierce
Theor. Comput. Sci. 375(1-3) 169-192 2007年 [査読有り]
Eijiro Sumii, Benjamin C. Pierce
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005 63-74 2005年 [査読有り]
Eijiro Sumii
Proceedings of the 2005 workshop on Functional and declarative programming in education, Tallinn, Estonia, September 25 - 25, 2005 27-38 2005年 [査読有り]
住井英二郎, 大根田裕一, 米澤, 明憲
情報処理学会論文誌プログラミング（PRO） 45(12) 67-82 2004年 [査読有り]
住井英二郎, 立沢, 秀晃, 米澤, 明憲
情報処理学会論文誌プログラミング（PRO） 45(12) 1-10 2004年 [査読有り]
Eijiro Sumii, Benjamin C. Pierce
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004 161-172 2004年 [査読有り]
Fail-Safe Cのためのインターフェイス定義言語
末永幸平, 大岩寛, 住井英二郎, 米澤明憲
第5回プログラミングおよびプログラミング言語ワークショップ(PPL 2003)論文集 135-148 2003年 [査読有り]
増山, 隆, 住井英二郎, 米澤, 明憲
情報処理学会論文誌プログラミング（PRO） 44(2) 42-42 2003年
田渕, 直, 住井英二郎, 米澤, 明憲
情報処理学会論文誌プログラミング（PRO） 44(2) 1-12 2003年 [査読有り]
Kohei Suenaga, Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa
Software Security - Theories and Systems, Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003, Revised Papers, Lecture Notes in Computer Science 3233 192-208 2003年 [査読有り]
Eijiro Sumii, Benjamin C. Pierce
Journal of Computer Security 11(4) 521-554 2003年 [査読有り]
Eijiro Sumii, Hideo Bannai
Journal of Functional and Logic Programming 2003 1-22 2003年 [査読有り]
Javaバイトコードにおけるオブジェクト使用解析のための型システム
浜中 信行, 住井 英二郎, 小林 直樹, 米澤 明憲
第4回プログラミングおよびプログラミング言語ワークショップ(PPL 2002)論文集 74-88 2002年
増山 隆, 住井 英二郎, 米澤 明憲
Manuscript 1-16 2002年
Akihito Nagata, Eijiro Sumii, Akinori Yonezawa
Manuscript 1-7 2002年
Linux/TAL: 型付きアセンブリプログラムのカーネルモード実行方式
前田 俊行, 住井 英二郎, 米澤 明憲
第4回プログラミングおよびプログラミング言語ワークショップ(PPL 2002)論文集 62-73 2002年 [査読有り]
大岩, 寛, 住井, 英二郎, 米澤, 明憲
コンピュータ ソフトウェア 19(3) 195-200 2002年 [査読有り]
Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, Akinori Yonezawa
Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, Japan, September 12-14, 2002 50-60 2002年 [査読有り]
Yutaka Oiwa, Tatsurou Sekiguchi, Eijiro Sumii, Akinori Yonezawa
Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers, Lecture Notes in Computer Science 2609 133-153 2002年 [査読有り]
Eijiro Sumii, Hideo Bannai
Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings, Lecture Notes in Computer Science 2441 290-304 2002年 [査読有り]
Naoshi Tabuchi, Eijiro Sumii, Akinori Yonezawa
TIP'02, International Workshop in Types in Programming, Electr. Notes Theor. Comput. Sci. 75 95-113 2002年 [査読有り]
Errata: http://www.kb.ecei.tohoku.ac.jp/~sumii/pub/xperl.err.txt
Supporting Objects in Run-time Bytecode Specialization
Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, Akinori Yonezawa
日本ソフトウェア科学会大会論文集 18 1-4 2001年
安全性を保証するANSI-C実行系の実装手法
大岩, 寛, 住井, 英二郎, 米澤, 明憲
日本ソフトウェア科学会大会論文集 18 1-5 2001年
The Cryptographic lambda-Calculus: Syntax, Semantics, Type System and Logical Relations
Eijiro Sumii, Benjamin C. Pierce
第3回プログラミングおよびプログラミング言語ワークショップ(PPL 2001)論文集 97-108 2001年 [査読有り]
Eijiro Sumii, Benjamin C. Pierce
Computer Security Foundations Workshop, 2001. Proceedings. 14th IEEE 256-269 2001年 [査読有り]
Daisuke Hoshina, Eijiro Sumii, Akinori Yonezawa
Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings, Lecture Notes in Computer Science 2215 64-81 2001年 [査読有り]
VMλ: a Functional Calculus for Scientific Discovery
Eijiro Sumii, Hideo Bannai
The Second Asian Workshop on Programming Languages and Systems, APLAS'01, Korea Advanced Institute of Science and Technology, Daejeon, Korea, December 17-18, 2001, Proceedings 265-275 2001年
Eijiro Sumii, Naoki Kobayashi
Higher-Order and Symbolic Computation 14(2-3) 101-142 2001年 [査読有り]
Eijiro Sumii
Proceedings of the Workshop on Scheme and Functional Programming 2000 61-63 2000年 [査読有り]
住井, 英二郎, 小林, 直樹
コンピュータソフトウェア 17(3) 230-254 2000年 [査読有り]
Eijiro Sumii, Naoki Kobayashi
Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '00), Boston, Massachusetts, USA, January 22-23, 2000 12-21 2000年 [査読有り]
Naoki Kobayashi, Shin Saito, Eijiro Sumii
CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings, Lecture Notes in Computer Science 1877 489-503 2000年 [査読有り]
動的に型付けされた言語のためのオンラインな型主導部分評価
Eijiro Sumii, Naoki Kobayashi
第1回プログラミングおよびプログラミング言語ワークショップ(PPL 1999)論文集 55-66 1999年 [査読有り]
Eijiro Sumii, Naoki Kobayashi
Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVII), Electr. Notes Theor. Comput. Sci. 16(3) 225-247 1998年 [査読有り]
Misc
Michael Codish, Eijiro Sumii
J. Funct. Program. 26(e14) 1-2 2016年
住井, 英二郎
学術の動向 21(3) 3_118-3_120 2016年
住井, 英二郎
情報処理 56(5) 434-437 2015年
住井, 英二郎
応用数理 17(4) 280-290 2007年
住井 英二郎
日経ITPro 2006年8月
第1回（2006年8月）～第16回（2007年11月）
住井, 英二郎
学術の動向 = Trends in the sciences 22(12) 62-64 2017年
住井, 英二郎
コンピュータ ソフトウェア 33(2) 2_92-2_93 2016年
OCaml入門：“O”が示すもの
住井 英二郎
日経ソフトウエア 39-44 2014年11月
住井, 英二郎, 首藤, 一幸
コンピュータソフトウェア 26(2) 1-2 2009年
安全なC言語～プログラミング言語研究の前線から
住井 英二郎
オープンソースマガジン 67-73 2006年10月
住井, 英二郎
コンピュータ ソフトウェア 20(6) 607-616 2003年
五十嵐淳, 住井英二郎
情報処理 43(2) 200-201 2002年
住井, 英二郎
コンピュータ ソフトウェア 18(6) 637-641 2001年
住井, 英二郎, 小林, 直樹
コンピュータソフトウェア 16(4) 372-377 1999年
書籍等出版物
Jacques Garrigue, Gabriele Keller, Eijiro Sumii (担当:共編者)
ACM 2016年 ISBN:978-1-4503-4219-3
Michael Codish, Eijiro Sumii (担当:共編者)
Springer 2014年 ISBN:978-3-319-07150-3
型システム入門 : プログラミング言語と型の理論
Benjamin C. Pierce 著, 住井英二郎 監訳, 遠藤侑介 他 訳 (担当:監修)
オーム社 2013年 ISBN:978-4-274-06911-6
数理的技法による情報セキュリティ
萩谷昌巳, 塚田恭章 編, 住井英二郎 他 著 (担当:共著, 範囲:第2章（spi計算による暗号プロトコルの記号的検証）17頁～35頁)
共立出版 2010年 ISBN:978-4-320-01950-8
Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008
Eijiro Sumii (担当:編者)
ACM 2008年 ISBN:978-1-60558-062-3
講演・口頭発表等
A Higher-Order Distributed Calculus with Name Creation
Adrien Piérard, Eijiro Sumii
Twenty-Seventh Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2012) 2012年6月25日
LLで未来を発明する
Larry Wall, まつもと ゆきひろ, 住井 英二郎, 藤田 善勝, ひげぽん
Lightweight Language Future (LL Future) 2008年8月30日
A Bisimulation for Type Abstraction and Recursion
Eijiro Sumii, Benjamin C. Pierce
The 32nd Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages 2005年1月12日
MinCaml: a simple and efficient compiler for a minimal functional language
Eijiro Sumii
Functional and Declarative Programming in Education (FDPE05) 2005年9月25日
A Bisimulation for Dynamic Sealing
Eijiro Sumii, Benjamin C. Pierce
The 31st Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages 2004年1月14日
Experiences in the Young Academy of Japan
Eijiro Sumii
2017 Y-KAST - YAJ Bilateral Workshop on "Institutional and Scientific Challenges for Young Scientists in Asia" 2017年3月15日
Established NYAs in Asia: Success Story and Initiatives
Nana Saleh, Pooja Gupta, Udi Sommer, Eijiro Sumii, Jwa-Min Nam, Abhi Veerakumarasivam, Aftab Ahmad, Thomas Edison E. Dela Cruz, Numpon Mahayotsanun, Yusuf Baran, Tran Quang Huy
1st Asian National Young Academy Meeting: Advancing Synergies in Asian NYAs 2016年12月15日
Program Chair Report
Eijiro Sumii
ICFP 2016: The 21st ACM SIGPLAN International Conference on Functional Programming 2016年9月18日
プログラムの論理
住井 英二郎
第61回情報科学談話会 2015年12月3日
Global Young Academy: The voice of young scientists around the world
Eijiro Sumii
The Third UN World Conference on Disaster Risk Reduction, Science and Technology Major Group Booth 2015年3月17日
An Experiment for Duplication of Polymorphic Functions in OCaml
Ryohei Tokuda, Eijiro Sumii
APLAS 2014: 12th Asian Symposium on Programming Languages and Systems 2014年11月17日
Normalizing Structured Graphs
Eijiro Sumii, Kazuma Kikuchi
IFIP Working Group 2.8 32nd meeting 2014年8月11日
いわゆる「情報系」研究者・技術者のキャリアパスについて
住井 英二郎
筑波大学附属駒場高等学校 進路懇談会 2014年7月5日
Opening
Eijiro Sumii
Twelfth International Symposium on Functional and Logic Programming (FLOPS 2014) 2014年6月4日
研究(分野)紹介://環境双模倣.プログラミング言語理論.理論計算機科学.計算機科学
住井 英二郎
日本学術会議公開シンポジウム 若手研究者ネットワーク活用に向けて: 若手研究者をめぐる諸問題へのとりくみと学際融合による研究の創出 2014年3月7日
OCamlにおける多相関数の複製の実験
徳田 亮平, 住井 英二郎
第16回プログラミングおよびプログラミング言語ワークショップ: PPL2014 2014年3月5日
λの力
住井 英二郎
ソフトウエアジャパン2014 2014年2月4日
Environmental Bisimulation and Its Open Problems
Eijiro Sumii
IFIP Working Group 2.8 31st meeting 2013年10月13日
一若手研究者（理論計算機科学）の視点
住井 英二郎
学術フォーラム: 社会の中の、社会のための科学技術イノベーションの推進 2013年8月7日
オーダー2の高階ブーリアンプログラムの文脈等価性に関する同値類列挙
長井 雅比古, 住井 英二郎
第15回プログラミングおよびプログラミング言語ワークショップ: PPL2013 2013年3月4日
Activities and Experiences in the Young Academy of Japan
Eijiro Sumii
Microsoft Research Asia Faculty Summit 2012 2012年10月26日
A Higher-Order Distributed Calculus with Name Creation
Adrien Piérard, Eijiro Sumii
日本ソフトウェア科学会第29回大会 2012年8月22日
Higher Order Distribution and Name Creation
Adrien Piérard, Eijiro Sumii
IFIP Working Group 2.8 29th meeting 2012年2月19日
若手研究者たちと考える、君たちの、そして日本の未来〜大学で何を学び、何をかなえたい？〜
日本学術会議若手アカデミー委員会
科学・技術フェスタin京都2011 2011年12月17日
環境双模倣によるプログラム等価性証明手法
住井 英二郎
第25回日本IBM科学賞授賞式 2011年12月1日
ソフトウェア検証における計算理論的問題: 安全性検証および等価性検証の事例
住井 英二郎
e-サイエンスに向けた革新的アルゴリズム基盤: 第2回シンポジウム 2011年11月22日
Java言語への変換によるポインタ演算の安全な実装方式
上嶋 祐紀, 住井 英二郎
日本ソフトウェア科学会第28回大会 2011年9月27日
Report on the Fourteenth ICFP Programming Contest
Eijiro Sumii
ICFP 2011: The 16th ACM SIGPLAN International Conference on Functional Programming 2011年9月19日
震災から3ヶ月半: 東北大学のこれまでと今後
住井 英二郎
日本学術会議公開シンポジウム 若手研究者の考える、震災後の未来: 学術に何ができるのか 2011年6月26日
高信頼・高安全ソフトウェアのための数理的検証手法：最新の研究と応用の現状
住井 英二郎
RSA Conference Japan 2010 2010年9月9日
Parametricity via Bisimilarity (Preliminary Work)
Eijiro Sumii
Dagstuhl Seminar 10351: Modelling, Controlling and Reasoning About State 2010年8月29日
Environmental Bisimulations for Program Equivalence
住井 英二郎
第2回マイクロソフトリサーチ日本情報学研究賞授賞式 2010年7月26日
Environmental Bisimulations for Program Equivalences
Eijiro Sumii
IFIP Working Group 2.8 27th meeting 2010年4月11日
The Higher-Order, Call-by-Value Applied Pi-Calculus
Nobuyuki Sato, Eijiro Sumii
The Seventh Asian Symposium on Programming Languages and Systems (APLAS 2009) 2009年12月14日
A complete characterization of observational equivalence in polymorphic lambda-calculus with general references
Eijiro Sumii
Events 2009 (Max Planck Institute for Software Systems) 2009年9月10日
A Complete Characterization of Observational Equivalence in Polymorphic lambda-Calculus with General References
Eijiro Sumii
CSL 09: 18th EACSL Annual Conference on Computer Science Logic 2009年9月7日
A Theory of Non-Monotone Memory (Or: Contexts for free)
Eijiro Sumii
ESOP '09: 18th European Symposium on Programming 2009年3月25日
Environment Bisimulations for Higher-Order Languages
Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
Scottish Programming Languages Seminar 2007年9月28日
Environment Bisimulations for Higher-Order Languages
Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
Twenty-Second Annual IEEE Symposium on Logic in Computer Science (LICS 2007) 2007年7月10日
spi計算における暗号プロトコルの形式的検証について
住井 英二郎
日本応用数理学会(JSIAM)「数理的技法による情報セキュリティ」研究部会(FAIS)第二回研究集会 2006年12月22日
The Fail-Safe C to Java translator
Yuki Kamijima, Eijiro Sumii
The Fourth ASIAN Symposium on Programming Languages and Systems (APLAS 2006) 2006年11月8日
２時間で真似(まね)ぶ関数型言語のコンパイラ
住井 英二郎
第４回プログラミングおよびプログラミング言語サマースクール(PPL Summer School 2006) 2006年9月12日
LLで関数プログラミング
住井 英二郎, 青木 峰郎, 久井 亨, 中村 正三郎, 山下 伸夫, 今泉 貴史
Lightweight Language Ring (LL Ring) 2006年8月26日
A Bisimulation for Type Abstraction and Recursion
Eijiro Sumii, Benjamin C. Pierce
NJPLS: The New Jersey Programming Languages and Systems Seminar Series 2004年12月3日
A Bisimulation for Type Abstraction and Recursion
Eijiro Sumii, Benjamin C. Pierce
PLClub (University of Pennsylvania) 2004年10月15日
A Bisimulation for Type Abstraction and Recursion
Eijiro Sumii, Benjamin C. Pierce
NEPLS: The New England Programming Languages and Systems Symposium Series 2004年10月8日
例外処理機構を備えた命令型言語のCPS変換とその定式化
住井 英二郎, 大根田 裕一, 米澤 明憲
情報処理学会第48回プログラミング研究会(PRO-2003-5) 2004年3月18日
セキュリティプロトコルの略式記法からspi計算への変換
住井 英二郎, 立沢 秀晃, 米澤 明憲
情報処理学会第48回プログラミング研究会(PRO-2003-5) 2004年3月18日
A Bisimulation for Dynamic Sealing
Eijiro Sumii, Benjamin C. Pierce
第6回プログラミングおよびプログラミング言語ワークショップ(PPL2004) 2004年3月11日
A Bisimulation for Dynamic Sealing
Eijiro Sumii, Benjamin C. Pierce
Dagstuhl Seminar 03411: Language-Based Security 2003年10月5日
例外処理機構を備えた手続き型言語のCPS変換とその定式化（ショートプレゼンテーション）
大根田 裕一, 住井 英二郎
第５回プログラミングおよびプログラミング言語ワークショップ(PPL2003) 2003年3月5日
セキュリティプロトコルの略式表現からspi calculusへの変換（ショートプレゼンテーション）
立沢 秀晃, 住井 英二郎
第５回プログラミングおよびプログラミング言語ワークショップ(PPL2003) 2003年3月5日
VMlambda: a Functional Calculus for Scientific Discovery
Eijiro Sumii, Hideo Bannai
FLOPS 2002: Sixth International Symposium on Functional and Logic Programming 2002年9月15日
Syntactic Logical Relations for Perfect Encryption, Higher-Order References and First-Class Channels
住井 英二郎
プログラミング言語セミナー（京都大学数理解析研究所） 2002年8月5日
Safe Execution of User Programs in Kernel Mode using Typed Assembly Language
Toshiyuki Maeda, Eijiro Sumii, Akinori Yonezawa
ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI) 2002年6月17日
Implementing a Fail-Safe ANSI-C Compiler
Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa
ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI) 2002年6月17日
A Scheme-to-Java Translator with Soft Typing
永田 章人, 住井 英二郎
第5回プログラミングおよび応用のシステムに関するワークショップ: SPA '02 2002年3月4日
VMλ: a Functional Calculus for Scientific Discovery
Eijiro Sumii, Hideo Bannai
The Asian Workshop on Programming Languages and Systems 2001年12月17日
Logical Relations for Encryption
Eijiro Sumii, Benjamin C. Pierce
14th IEEE Computer Security Foundations Workshop - CSFW-14 2001年6月11日
Typed CPUおよびTyped OSのアイディア（ショートプレゼンテーション）
住井 英二郎
第3回プログラミングおよびプログラミング言語ワークショップ(PPL2001) 2001年3月21日
The Cryptographic λ-Calculus: Syntax, Semantics, Type System and Logical Relations
Eijiro Sumii, Benjamin Pierce
第3回プログラミングおよびプログラミング言語ワークショップ(PPL2001) 2001年3月21日
Relating Cryptography and Polymorphism
Eijiro Sumii, Benjamin Pierce
PLClub (University of Pennsylvania) 2000年11月3日
Encoding Security Protocols in the Cryptographic lambda-Calculus
Eijiro Sumii, Benjamin Pierce
PLClub (University of Pennsylvania) 2000年10月27日
Relating Cryptography and Polymorphism
Eijiro Sumii, Benjamin Pierce
NJPLS: The New Jersey Programming Languages and Systems Seminar Series 2000年10月24日
Relating Cryptography and Polymorphism
Eijiro Sumii, Benjamin Pierce
Penn Logic and Computation Seminar (University of Pennsylvania) 2000年9月25日
An implementation of transparent migration on standard Scheme
Eijiro Sumii
Scheme and Functional Programming 2000 2000年9月17日
Online-and-Offline Partial Evaluation: A Mixed Approach
Eijiro Sumii, Naoki Kobayashi
2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'00) 2000年1月22日
Efficient Online Partial Evaluation
Eijiro Sumii, Naoki Kobayashi
GPCゼミ（早稲田大学） 1999年12月13日
Bridging the Gap between TDPE and SDPE
Eijiro Sumii
The CACA Seminar （東京大学） 1999年6月25日
Online Type-Directed Partial Evaluation for Dynamically-Typed Languages
Eijiro Sumii, Naoki Kobayashi
第1回プログラミングおよびプログラミング言語ワークショップ(PPL'99) 1999年3月17日
Linear Type Systems for Concurrent Languages
Eijiro Sumii
Workshop on Linear Logic and Applications 1999年2月26日
A Generalized Deadlock-Free Process Calculus
Eijiro Sumii, Naoki Kobayashi
HLCL'98: 3rd International Workshop on High-Level Concurrent Languages 1998年9月12日
社会貢献活動
震災後「どう貢献」 若手研究者が自問自答
【その他】 日本経済新聞 2011年6月28日
その他
2013年10月 静的情報保護と動的情報保護の融合のためのプログラミング言語理論
静的情報保護と動的情報保護の融合のためのプログラミング言語理論
2010年7月 第2回マイクロソフトリサーチ日本情報学研究賞（基礎的情報学分野）
2009年4月 高階・暗号プロセス計算におけるセキュリティ検証手法
高階・暗号プロセス計算におけるセキュリティ検証手法
2008年12月 プログラム等価性にもとづく高階・暗号化通信システムのセキュリティ検証手法
プログラム等価性にもとづく高階・暗号化通信システムのセキュリティ検証手法
2006年1月 プログラミング言語モデルによる情報セキュリティの実現と検証
プログラミング言語モデルによる情報セキュリティの実現と検証
2005年9月 MinCaml: A Simple and Efficient Compiler for a Minimal Functional Language
MinCaml: A Simple and Efficient Compiler for a Minimal Functional Language
