住井 英二郎
スミイ エイジロウ (Eijiro Sumii)
更新日: 2021/06/05
基本情報
- 所属
- 東北大学 大学院 情報科学研究科 情報基礎科学専攻 ソフトウェア科学講座 ソフトウェア基礎科学分野 教授
- 学位
-
博士（情報理工学）(東京大学)
- J-GLOBAL ID
- 200901098649003821
- researchmap会員ID
- 5000088868
- 外部リンク
研究キーワード
7研究分野
2経歴
6-
2001年4月 - 2003年3月
-
2000年4月 - 2001年3月
学歴
2-
- 2001年3月
-
- 1998年3月
委員歴
48-
2009年4月 - 現在
-
2014年4月 - 2016年3月
-
2011年4月 - 2016年3月
-
2015年9月
-
2014年9月
受賞
13-
2014年2月
-
2013年2月
-
2012年4月
-
2011年12月
-
2011年11月
-
2011年6月
-
2008年4月
-
2006年5月
論文
67-
日本ソフトウェア科学会大会講演論文集(Web) 37th 2020年
-
日本ソフトウェア科学会大会講演論文集(Web) 37th 2020年
-
工学教育研究講演会講演論文集 2019 276-277 2019年
-
Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings 181-201 2019年 査読有り
-
Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings 1-16 2018年 査読有り
-
コンピュータソフトウェア 34(2) 2_114‐2_119(J‐STAGE) 2017年
-
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年 査読有り
-
日本ソフトウェア科学会大会論文集 33 475-480 2016年
-
Proceedings ML Family/OCaml Users and Developers workshops, ML/OCaml 2015, Gothenburg, Sweden, September 4-5, 2014., EPTCS 198 1-21 2015年 査読有り
-
日本ソフトウェア科学会大会論文集 32 1-7 2015年
-
The OCaml Users and Developers Workshop 1-3 2014年 査読有り
-
第16回プログラミングおよびプログラミング言語ワークショップ(PPL2014)論文集 1-16 2014年 査読有り
-
FCS 2013 Workshop on Foundations of Computer Security (Informal Proceedings) 68-82 2013年 査読有り
-
第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)論文集 1-15 2013年 査読有り
-
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012 531-540 2012年 査読有り
-
HLCL '98, 3rd International Workshop on High-Level Concurrent Languages (Satellite Workshop of CONCUR '98), Electr. Notes Theor. Comput. Sci. 276 215-235 2011年 査読有り
-
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年 査読有り
-
ACM Trans. Program. Lang. Syst. 33(1) 5:1-5:69 2011年 査読有り
-
CoRR abs/1006.4943 1-15 2010年
MISC
15-
学術の動向 22(9) 9_105-9_106 2017年
-
学術の動向 = Trends in the sciences 22(12) 62-64 2017年
-
コンピュータ ソフトウェア 33(2) 2_92-2_93 2016年
-
学術の動向 21(3) 3_118-3_120 2016年
-
J. Funct. Program. 26(e14) 1-2 2016年
-
情報処理 56(5) 434-437 2015年
-
日経ソフトウエア 39-44 2014年11月
-
コンピュータソフトウェア 26(2) 1-2 2009年
-
応用数理 17(4) 280-290 2007年
-
オープンソースマガジン 67-73 2006年10月
-
日経ITPro 2006年8月
-
コンピュータ ソフトウェア 20(6) 607-616 2003年
-
情報処理 43(2) 200-201 2002年
-
コンピュータ ソフトウェア 18(6) 637-641 2001年
-
コンピュータソフトウェア 16(4) 372-377 1999年
書籍等出版物
6-
サイエンス社 2020年8月 (ISBN: 9784781914831)
-
オーム社 2013年 (ISBN: 9784274069116)
-
共立出版 2010年 (ISBN: 9784320019508)
-
ACM 2008年 (ISBN: 9781605580623)
講演・口頭発表等
79-
PPL 2021: 第23回プログラミングおよびプログラミング言語ワークショップ 2021年3月10日
-
PPL 2021: 第23回プログラミングおよびプログラミング言語ワークショップ 2021年3月10日
-
PPL 2021: 第23回プログラミングおよびプログラミング言語ワークショップ 2021年3月9日
-
第21回プログラミングおよびプログラミング言語ワークショップ（PPL2019） 2019年3月6日
-
第21回プログラミングおよびプログラミング言語ワークショップ（PPL2019） 2019年3月6日
-
第21回プログラミングおよびプログラミング言語ワークショップ（PPL2019） 2019年3月6日
-
2017 Y-KAST - YAJ Bilateral Workshop on "Institutional and Scientific Challenges for Young Scientists in Asia" 2017年3月15日
-
1st Asian National Young Academy Meeting: Advancing Synergies in Asian NYAs 2016年12月15日
-
ICFP 2016: The 21st ACM SIGPLAN International Conference on Functional Programming 2016年9月18日
-
第18回プログラミングおよびプログラミング言語ワークショップ（PPL2016） 2016年3月7日
-
第61回情報科学談話会 2015年12月3日
-
The Third UN World Conference on Disaster Risk Reduction, Science and Technology Major Group Booth 2015年3月17日
-
APLAS 2014: 12th Asian Symposium on Programming Languages and Systems 2014年11月17日
-
IFIP Working Group 2.8 32nd meeting 2014年8月11日
-
筑波大学附属駒場高等学校 進路懇談会 2014年7月5日
-
Twelfth International Symposium on Functional and Logic Programming (FLOPS 2014) 2014年6月4日
-
日本学術会議公開シンポジウム 若手研究者ネットワーク活用に向けて: 若手研究者をめぐる諸問題へのとりくみと学際融合による研究の創出 2014年3月7日
-
第16回プログラミングおよびプログラミング言語ワークショップ: PPL2014 2014年3月5日
-
ソフトウエアジャパン2014 2014年2月4日
-
IFIP Working Group 2.8 31st meeting 2013年10月13日
Works(作品等)
1-
2005年2月 コンピュータソフト
共同研究・競争的資金等の研究課題
14-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2020年4月 - 2025年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2015年4月 - 2020年3月
-
日本学術振興会 科学研究費助成事業 挑戦的萌芽研究 2016年4月 - 2019年3月
-
日本学術振興会 科学研究費助成事業 挑戦的萌芽研究 2013年4月 - 2016年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(S) 2011年5月 - 2016年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2010年4月 - 2015年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 2008年 - 2010年
-
日本学術振興会 科学研究費助成事業 特定領域研究 2007年 - 2008年
-
日本学術振興会 科学研究費助成事業 若手研究(A) 2006年 - 2008年
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2005年 - 2007年
-
日本学術振興会 科学研究費助成事業 特定領域研究 2006年 - 2006年
-
日本学術振興会 科学研究費助成事業 特定領域研究 2000年 - 2003年
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 2000年 - 2002年
-
日本学術振興会 科学研究費助成事業 特別研究員奨励費 2000年 - 2000年
その他
7-
2005年9月 - 2005年9月MinCaml: A Simple and Efficient Compiler for a Minimal Functional Language
社会貢献活動
1