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