研究者

J-GLOBAL ID：200901098649003821 更新日: 2023年05月12日

住井英二郎

スミイエイジロウ | Sumii Eijiro

所属機関・部署：
職名：教授
ホームページURL (1件)： http://www.kb.ecei.tohoku.ac.jp/~sumii/

研究分野 (2件)：ソフトウェア , 情報学基礎論

研究キーワード (7件)： π計算 , λ計算 , 型システム , セキュリティ , 関数型プログラミング , ソフトウェア基礎科学 , プログラミング言語理論

競争的資金等の研究課題 (14件)：

2020 - 2025 安全・高信頼ソフトウェアシステムのための高階・型付き・並行プログラミング言語理論
2015 - 2020 高階・型付きの計算体系に基づくプログラミングの理論と応用の展開
2016 - 2019 継続と文脈の概念にもとづく新しい関係的プログラム意味論
2013 - 2016 非単調な再帰的定義の新しい基礎理論
2011 - 2016 高階モデル検査とその応用

全件表示

論文 (67件)：

KIM Jaebyeog, SUMII Eijiro. Polymorphic Gradual Typing with Holes. 日本ソフトウェア科学会大会講演論文集(Web). 2020. 37th
佐藤駿太朗, 住井英二郎. 型システムを用いたロックフリースタックの検証. 日本ソフトウェア科学会大会講演論文集(Web). 2020. 37th
中村健二, 齊藤伸, 住井英二郎, 渡邉高志, 陳強, 伊藤彰則. 3A04 新入生オリエンテーション合宿におけるPBL研修:東北大学工学部電気情報物理工学科における初年次教育. 工学教育研究講演会講演論文集. 2019. 2019. 276-277
Masayuki Mizuno, Eijiro Sumii. Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion. Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings. 2019. 181-201
Masayuki Mizuno, Eijiro Sumii. Formal Verification of the Correspondence Between Call-by-Need and Call-by-Name. Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings. 2018. 1-16

MISC (15件)：

住井英二郎. 第1回アジア若手アカデミー会合参加報告. 学術の動向. 2017. 22. 9. 9_105-9_106
住井, 英二郎. パネルディスカッション「若手科学者と研究費」 (特集若手科学者の現在と課題 : 若手科学者サミット). 学術の動向 = Trends in the sciences. 2017. 22. 12. 62-64
住井, 英二郎. 私の非研究. コンピュータソフトウェア. 2016. 33. 2. 2_92-2_93
住井, 英二郎. 若手アカデミーの発足. 学術の動向. 2016. 21. 3. 3_118-3_120
Michael Codish, Eijiro Sumii. Preface for special section from FLOPS 2014. J. Funct. Program. 2016. 26. e14. 1-2

書籍 (6件)：

プログラム意味論の基礎
サイエンス社 2020 ISBN:9784781914831
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016
ACM 2016 ISBN:9781450342193
Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings (Lecture Notes in Computer Science 8475)
Springer 2014 ISBN:9783319071503
型システム入門 : プログラミング言語と型の理論
オーム社 2013 ISBN:9784274069116
数理的技法による情報セキュリティ
共立出版 2010 ISBN:9784320019508

講演・口頭発表等 (82件)：

構造化グラフの正規化の証明
(第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023) 2023)
複数参加者非同期セッション型の一般プロセス型への変換
(第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023) 2023)
LEGO Education SPIKE PrimeのMicroPython環境における関数型リアクティブプログラミング
(第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023) 2023)
定理証明支援器Coqを用いた計算量の証明の改良
(PPL 2021: 第23回プログラミングおよびプログラミング言語ワークショップ 2021)
MetaOCamlによる自律型ロボットのためのCコード生成
(PPL 2021: 第23回プログラミングおよびプログラミング言語ワークショップ 2021)

Works (1件)：

MinCaml
2005 -

学歴 (2件)：

- 2001 東京大学理学系研究科情報科学専攻
- 1998 東京大学理学部情報科学科

学位 (1件)：

博士(情報理工学) (東京大学)

経歴 (6件)：

2010/11 - 現在日本学術会議特任連携会員(~2014年9月)・連携会員(2014年10月~) 若手アカデミー活動検討分科会委員(2010-2011), 若手アカデミー委員会委員(2011-2014), 若手アカデミー幹事(2015-2017), 若手アカデミー世話人(2017)他
2005/05 - 現在東北大学大学院情報科学研究科助教授(~2007年3月)・准教授(職名変更、2007年4月~2014年4月)・教授(2014年5月~)
2003/04 - 2005/03 Department of Computer and Information Science, School of Engineering and Applied Science, ペンシルバニア大学 Research Associate
2001/04 - 2003/03 東京大学大学院情報学環助手
2000/04 - 2001/03 日本学術振興会特別研究員(DC1)

全件表示

委員歴 (48件)：

2018/07 - 現在 Journal of Functional Programming (Cambridge University Press) Editor
2016/09 - 現在 Journal of Functional Programming (Cambridge University Press) Guest Editor
2014/08 - 現在 International Federation for Information Processing (IFIP) Working Group (WG) 2.8 (Functional Programming) Member
2009/04 - 現在日本ソフトウェア科学会学会誌『コンピュータソフトウェア』(岩波書店)編集委員
2014/12 - 2018/10 21st ACM SIGPLAN International Conference on Functional Programming Steering Committee Member

2017/01 - The 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017) Program Committee Member

2016/09 - 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016) Program Chair

2014/06 - 2016/03 International Symposium on Functional and Logic Programming (FLOPS) Steering Committee Chair

2014/04 - 2016/03 日本ソフトウェア科学会プログラミング論研究会運営委員長

2011/04 - 2016/03 日本ソフトウェア科学会プログラミング論研究会運営委員

2015/09 - 日本ソフトウェア科学会第32回大会プログラム委員

2014/09 - 日本ソフトウェア科学会第31回大会プログラム委員

2014/07 - WPTE 2014: First International Workshop on Rewriting Techniques for Program Transformations and Evaluation Program Committee Member

2014/06 - Twelfth International Symposium on Functional and Logic Programming (FLOPS 2014) Program Co-Chair, General Chair

2014/01 - ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation (PEPM'14) Program Committee Member

2009/01 - 2013/12 Journal of Functional Programming (Cambridge University Press) Editorial Board Member

2013/01 - POPL 2013: 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages External Review Committee: Member

2012/09 - HOPE 2012: The 1st ACM SIGPLAN Workshop on Higher-Order Programming with Effects Program Committee Member

2012/09 - Scheme 2012: Workshop on Scheme and Functional Programming Program Committee Member

2012/09 - ICFP 2012: The 17th ACM SIGPLAN International Conference on Functional Programming Program Committee Member

2012/09 - Haskell Symposium 2012 Program Committee Member

2012/01 - Fourteenth International Symposium on Practical Aspects of Declarative Languages: PADL'12 Program Committee Member

2010/10 - 2011/09 The ACM SIGPLAN Workshop on ML Steering Committee Chair

2008/09 - 2011/09 The ACM SIGPLAN Workshop on ML Steering Committee Member

2011/09 - ICFP 2011: The 16th ACM SIGPLAN International Conference on Functional Programming Programming Contest Chair

2009/04 - 2011/03 情報処理学会東北支部会計幹事

2010/11 - 2010/12 APLAS 2010: Eighth Asian Symposium on Programming Languages and Systems Program Committee Member

2010/09 - 日本ソフトウェア科学会第27回大会プログラム委員

2010/04 - FLOPS 2010: Tenth International Symposium on Functional and Logic Programming Local Chair

2008/09 - The 2008 ACM SIGPLAN Workshop on ML Program Chair

2008/06 - ACM SIGPLAN Third Workshop on Programming Languages and Analysis for Security (PLAS 2008) Program Committee Member

2008/03 - 2008/04 ESOP'08: 17th European Symposium on Programming Program Committee Member

2008/03 - 第10回プログラミングおよびプログラミング言語ワークショップ: PPL2008 プログラム共同委員長

2008/01 - 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) Program Committee Member

2007/11 - 2007/12 The Fifth ASIAN Symposium on Programming Languages and Systems (APLAS 2007) Poster Chair

2007/07 - Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis: FCS-ARSPA'07 Program Committee Member

2007/06 - 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/09 - ESORICS 2006: 11th European Symposium On Research In Computer Security Program Committee Member

2006/04 - Eighth International Symposium on Functional and Logic Programming: FLOPS 2006 Program Committee Member

2006/03 - 第8回プログラミングおよびプログラミング言語ワークショップ(PPL2006) プログラム委員

2005/09 - 日本ソフトウェア科学会第22回大会プログラム委員

2005/09 - The 2005 ACM SIGPLAN Workshop on ML Program Committee Member

2005/03 - 第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005) プログラム委員

2004/09 - The 2004 International Conference on Functional Programming (ICFP) Programming Contest Organizer

2003/08 - 8th ACM SIGPLAN International Conference on Functional Programming (ICFP 2003) Program Committee Member

2001/10 - 2003/03 日本ソフトウェア科学会企画委員

全件表示

受賞 (13件)：

2014/02/04 - 情報処理学会ソフトウエアジャパンアワード
2013/02/04 - 日本学術振興会第9回(平成24年度)日本学術振興会賞
2012/04/14 - 船井情報科学振興財団第11回船井学術賞
2011/12/01 - 日本IBM 第25回日本IBM科学賞(コンピューター・サイエンス分野)
2011/11/18 - 東北大学電気通信研究所第1回RIEC Award東北大学研究者賞

全件表示

所属学会 (3件)：

情報処理学会 , 日本ソフトウェア科学会 , Association for Computing Machinery

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

住井 英二郎

住井英二郎