五十嵐 淳
イガラシ アツシ (Atsushi Igarashi)
更新日: 2023/07/21
基本情報
- 所属
- 京都大学 大学院情報学研究科 教授
- 学位
-
博士(理学)(東京大学)
- ORCID ID
- https://orcid.org/0000-0002-5143-9764
- J-GLOBAL ID
- 200901018941019247
- researchmap会員ID
- 5000031820
- 外部リンク
ソフトウェアのバグを少なくするための理論の研究を、ソフトウェアを記述するためのプログラミング言語の観点から行っています。特に、プログラム中の誤りをプログラムを実行することなく発見できる枠組みである型理論に興味があります。
研究キーワード
7研究分野
2経歴
5-
2012年10月 - 現在
-
2007年4月 - 2012年9月
-
2006年4月 - 2007年4月
-
2002年4月 - 2006年4月
-
2000年4月 - 2002年4月
受賞
8-
2009年11月
-
2009年4月
-
2006年11月
主要な論文
136-
New Generation Computing 40(2) 507-540 2022年7月 査読有り
-
34th European Conference on Object-Oriented Programming, ECOOP 2020 8:1-8:29 2020年11月 査読有り
-
Proceedings of the ACM on Programming Languages 4(ICFP) 117:1-117:30 2020年8月2日 査読有り
-
Programming Languages and Systems 684-714 2020年4月 査読有り
-
Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings 33-52 2019年11月 査読有り
-
Science of Computer Programming 179 54-86 2019年6月 査読有り
-
Proceedings of European Symposium on Programming (ESOP2019) LNCS 11423 1-28 2019年4月 査読有り
-
Journal of Functional Programming 29 2019年 査読有り
-
Proceedings of the ACM on Programming Languages 3(POPL) 18:1-18:29 2019年1月 査読有り
-
Proceedings of theInternational Symposium on Principles and Practice of Declarative Programming 16:1-16:13 2018年9月 査読有り
-
Proceedings of the 32nd European Conference on Object-Oriented Programming 2:1-2:33 2018年7月 査読有り
-
Journal of Automated Reasoning 60(3) 279-298 2018年3月 査読有り
-
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation 2-14 2018年1月 査読有り
-
Proceedings of the ACM on Programming Languages 1(ICFP) 40:1-40:29 2017年9月 査読有り
-
ACM Transactions on Computational Logic 18(1) 3:1-3:43 2017年2月1日 査読有り
-
ACM Transactions on Programming Languages and Systems 39(1) 3:1-3:36 2017年1月 査読有り
-
Conference Record of the Annual ACM Symposium on Principles of Programming Languages 2015-(1) 195-207 2015年1月14日 査読有り
-
Proceedings of Asian Symposium on Programming Languages and Systems (APLAS 2015) 9458 189-207 2015年 査読有り
-
Proceedings of Intl. Symposium on Functional and Logic Programming (FLOPS2014) 103-118 2014年6月 査読有り
-
Science of Computer Programming 78(7) 933-952 2013年7月 査読有り
-
Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 1-20 2012年10月 査読有り
-
Information and Computation 209(12) 1491-1503 2011年12月 査読有り
-
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11 609-624 2011年 査読有り
-
Proceedings of the 10th International Workshop on Foundations of Aspect-Oriented Languages, FOAL 2011 19-23 2011年 査読有り
-
Logical Methods in Computer Science 6(4) 2010年12月18日 査読有り
-
コンピュータソフトウェア 26(2) 18-40 2009年4月 査読有り
-
Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA 09 263-282 2009年 査読有り
-
Logical Methods in Computer Science 4(3:10) 1-31 2008年9月20日 査読有り
-
Journal of Functional Programming 18(3) 285-331 2008年5月 査読有り
-
Journal of Object Technology 7(5) 67-99 2008年 査読有り
-
Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications - OOPSLA '07 113-132 2007年10月 査読有り
-
Journal of Object Technology 6(2) 31-45 2007年 査読有り
-
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS 28(5) 795-847 2006年9月 査読有り
-
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS 27(2) 264-313 2005年3月 査読有り
-
THEORETICAL COMPUTER SCIENCE 311(1-3) 121-163 2004年1月 査読有り
-
Information and Computation 177(1) 56-89 2002年8月 査読有り
-
Information and Computation 175(1) 34-49 2002年5月 査読有り
-
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS 23(3) 396-450 2001年5月 査読有り
-
Information and Computation 161(1) 1-44 2000年8月 査読有り
MISC
10-
Journal of Object Technology 21(2) 2022年
-
コンピュータソフトウェア 2015年2月 招待有り
-
第17回プログラミングおよびプログラミング言語ワークショップ 2015年
-
ソフトウェアデザイン 2014年1月 招待有り
-
The 1st ACM SIGPLAN Workshop on Higher-Order Programming with Effects 2012年 査読有り
-
OBJECT-ORIENTED TECHNOLOGY 5475 70-+ 2009年 査読有り
-
Proceedings of the ACM Symposium on Applied Computing 2 1256-1257 2005年 査読有り
-
情報処理 45(6) 610-617 2004年6月15日
-
情報処理 43(2) 200-201 2002年2月5日
-
京都大学大学院情報学研究科 第5 回情報学シンポジウム 「情報社会の基盤を拓くソフトウェア研究」 平成12 年12 月10 日(火曜日) 「『正しい』ソフトウェアの構築法 - 型システムとその応用」 五十嵐 淳 氏(京都大学情報学研究科) 2000年
書籍等出版物
10-
ACM Press 2023年7月17日 (ISBN: 9798400702440)
-
ACM Press 2022年6月7日 (ISBN: 9781450399869)
-
Springer 2022年4月 (ISBN: 9783030994617)
-
朝倉書店 2022年1月 (ISBN: 9784254122633)
-
サイエンス社 2011年7月 (ISBN: 4781912850)
-
技術評論社 2007年11月30日 (ISBN: 4774132640)
講演・口頭発表等
9-
The 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity 2022年12月 招待有り
-
ACM SIGPLAN 2020 Workshop on Partial Evaluation and Program Manipulation (PEPM) 2020年1月 招待有り
-
第19回プログラミングおよびプログラミング言語ワークショップ 2017年
-
第18回プログラミングおよびプログラミング言語ワークショップ 2016年
-
International Workshop on Foundations of Aspect-Oriented Languages 2013年3月 招待有り
-
日本ソフトウェア科学会第29回大会 2012年9月 日本ソフトウェア科学会
-
European Conference on Object-Oriented Programming 2011年7月 AITO
-
プログラム解析ワークショップ 2007年8月 日本IBM東京基礎研究所
-
The 4th International Workshop on Foundations of Coordination Languages and Service Architectures 2005年8月
所属学協会
3共同研究・競争的資金等の研究課題
27-
科学技術振興機構 戦略的創造研究推進事業(CREST) 2021年9月 - 2027年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(S) 基盤研究(S) 2020年8月 - 2025年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 基盤研究(A) 2020年4月 - 2025年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 基盤研究(A) 2020年4月 - 2025年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 基盤研究(B) 2019年4月 - 2024年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 基盤研究(B) 2017年4月 - 2021年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 基盤研究(B) 2017年4月 - 2021年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(S) 基盤研究(S) 2015年5月 - 2020年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 基盤研究(B) 2013年4月 - 2017年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 基盤研究(B) 2013年4月 - 2017年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 基盤研究(B) 2013年4月 - 2016年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(S) 基盤研究(S) 2011年5月 - 2016年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 基盤研究(A) 2010年4月 - 2015年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 基盤研究(B) 2010年 - 2012年
-
日本学術振興会 科学研究費助成事業 若手研究(A) 若手研究(A) 2009年 - 2012年
-
文部科学省 科学研究費補助金(基盤研究(B)) 基盤研究(B) 2007年 - 2009年
-
文部科学省 科学研究費補助金(基盤研究(A)) 基盤研究(A) 2006年 - 2009年
-
文部科学省 科学研究費補助金(若手研究(B)) 若手研究(B) 2006年 - 2008年
-
文部科学省 科学研究費補助金(基盤研究(B)) 基盤研究(B) 2005年 - 2007年
-
文部科学省 科学研究費補助金(特定領域研究) 特定領域研究 2006年 - 2006年