
住井 英二郎
スミイ エイジロウ (Eijiro Sumii)
更新日: 2024/09/01
基本情報
- 所属
- 東北大学 大学院 情報科学研究科 情報基礎科学専攻 ソフトウェア科学講座 ソフトウェア基礎科学分野 教授
- 学位
-
博士(情報理工学)(東京大学)
- 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)
講演・口頭発表等
83-
第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2024) 2024年3月6日
-
第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023) 2023年3月
-
第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023) 2023年3月
-
第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023) 2023年3月
-
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日
Works(作品等)
1-
2005年2月 コンピュータソフト
共同研究・競争的資金等の研究課題
14-
日本学術振興会 科学研究費助成事業 基盤研究(B) 基盤研究(B) 2020年4月 - 2025年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 基盤研究(B) 2015年4月 - 2020年3月
-
日本学術振興会 科学研究費助成事業 挑戦的萌芽研究 挑戦的萌芽研究 2016年4月 - 2019年3月
-
日本学術振興会 科学研究費助成事業 挑戦的萌芽研究 挑戦的萌芽研究 2013年4月 - 2016年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(S) 基盤研究(S) 2011年5月 - 2016年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 基盤研究(B) 2010年4月 - 2015年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 基盤研究(A) 2008年 - 2010年
-
日本学術振興会 科学研究費助成事業 特定領域研究 特定領域研究 2007年 - 2008年
-
日本学術振興会 科学研究費助成事業 若手研究(A) 若手研究(A) 2006年 - 2008年
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 基盤研究(B) 2005年 - 2007年
-
日本学術振興会 科学研究費助成事業 特定領域研究 特定領域研究 2006年 - 2006年
-
日本学術振興会 科学研究費助成事業 特定領域研究 特定領域研究 2000年 - 2003年
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 基盤研究(A) 2000年 - 2002年
-
日本学術振興会 科学研究費助成事業 特別研究員奨励費 特別研究員奨励費 2000年 - 2000年
その他
7-
2005年9月 - 2005年9月MinCaml: A Simple and Efficient Compiler for a Minimal Functional Language
社会貢献活動
1