住井 英二郎


住井 英二郎

J-GLOBALへ         更新日: 18/10/24 12:03
 
アバター
研究者氏名
住井 英二郎
 
スミイ エイジロウ
URL
http://db.tohoku.ac.jp/whois/detail/bd43f84133ae0460af8cf2d67b1c8f8e.html
所属
東北大学
部署
大学院情報科学研究科 情報基礎科学専攻 ソフトウェア科学講座 ソフトウェア基礎科学分野
職名
教授
学位
博士(情報理工学)(東京大学)

研究分野

 
 

経歴

 
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月
東京大学 理学系研究科 情報科学専攻
 
 
 - 
1998年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月
   
 
第8回プログラミングおよびプログラミング言語ワークショップ(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年   [査読有り]
型安全な通信ライブラリ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年
住井 英二郎
日経ITPro      2006年8月
第1回(2006年8月)~第16回(2007年11月)
住井, 英二郎
コンピュータ ソフトウェア   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
型システム入門 : プログラミング言語と型の理論
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日   
2時間で真似(まね)ぶ関数型言語のコンパイラ
住井 英二郎
第4回プログラミングおよびプログラミング言語サマースクール(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変換とその定式化(ショートプレゼンテーション)
大根田 裕一, 住井 英二郎
第5回プログラミングおよびプログラミング言語ワークショップ(PPL2003)   2003年3月5日   
セキュリティプロトコルの略式表現からspi calculusへの変換(ショートプレゼンテーション)
立沢 秀晃, 住井 英二郎
第5回プログラミングおよびプログラミング言語ワークショップ(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日   

Works

 
MinCaml
コンピュータソフト   2005年2月

社会貢献活動

 
震災後「どう貢献」 若手研究者が自問自答
【その他】  日本経済新聞  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
2004年6月   美しい日本のMLコンパイラ
美しい日本のMLコンパイラ