五十嵐 淳 教授
京都大学大学院情報学研究科
通信情報システム専攻
〒606-8501 京都市左京区吉田本町
電話 075-753-4953
FAX: 075-753-4954
Email: igarashi@kuis.kyoto-u.ac.jp
オフィス:総合研究7号館2階224号室
平成25年4月現在
研究活動
-
研究テーマ
- プログラミング言語の基礎理論
- 型システム
- 並行/分散プログラミング言語、オブジェクト指向言語の型理論
-
最近の主要論文・著書
- 五十嵐 淳.
プログラミング言語の基礎概念. サイエンス社.2011.
- 五十嵐 淳.
プログラミング in OCaml〜関数型プログラミングの基礎か
ら GUI プログラミングまで. 技術評論社, 2007.
- Kensuke Kojima and Atsushi Igarashi.
Constructive linear-time temporal logic: Proof systems
and Kripke semantics. Information and Computation, 209(12):1491-1503, 2011.
- Chieri Saito, Atsushi Igarashi, and Mirko Viroli.
Lightweight family polymorphism. Journal
of Functional Programming, 18(3):285-331, 2008.
- Atsushi Igarashi and Mirko Viroli,
Variant Parametric Types: A Flexible Subtyping Scheme for Generics.
ACM Transactions on Programming Languages and Systems, 28(5):795-847, 2006.
- Atsushi Igarashi and Naoki Kobayashi,
Resource Usage Analysis,
ACM Transactions on Programming Languages and Systems, 27(2):264-313, 2005.
- Atsushi Igarashi and Naoki Kobayashi,
A Generic Type System for the Pi-Calculus,
Theoretical Computer Science, 311(1-3):121-163, 2003.
- Atsushi Igarashi and Benjamin C. Pierce,
On Inner Classes,
Information and Computation, 177(1):56-89, 2002.
- Atsushi Igarashi and Benjamin C. Pierce,
Foundations for Virtual Types,
Information and Computation, 175(1):34-49, 2002.
- Atsushi Igarashi, Benjamin Pierce and Philip Wadler,
Featherweight Java: A Minimal Core Calculus for Java and GJ.
ACM Transactions on Programming Languages and Systems,
23(3):396-450, 2001.
- Atsushi Igarashi and Naoki Kobayashi,
Type Reconstruction for Linear π-Calculus with I/O
Subtyping,
Information and Computation, 161:1-44, 2000.
-
研究助成(平成10年度以降)
- 科研費若手(B), 高級並列言語の様々な安全性を保証するプログラム進化支援つき汎用型システムの研究, 代表者, 2001〜2002年度
- 科研費若手(B), 様相論理に基づいたプログラム解析手法の研究, 代表者, 2003〜2005年度
- 科研費特定, 安全・安心な環境適応型ソフトウェアの基礎理論に関する研究, 代表者, 2006年度
- 科研費若手(B),ソフトウェア再利用性向上のための型理論に関する研究,代表者,2006年度〜2008年度
- 科研費若手(A),静的・動的型付けの融合による安全かつ柔軟なプログラミング言語の理論と設計,代表者,2009年度〜2012年度
-
学位
東京大学 博士(理学)
-
所属学会
ACM, IEEE Computer Society,日本ソフトウェア科学会
教育活動
-
担当授業科目(大学院)
-
担当授業科目(学部)
- 計算機科学概論(工学部・情報学科計算機科学コース)
- プログラミング言語(同上)
- 計算と論理(同上)
その他の活動
-
学会活動
- Program Chair of the International Workshop on
Context-Oriented Programming (COP'13), 2013
- General Chair of the 10th Asian Symposium on Programming
Languages and Systems (APLAS2012), 2012
- Track
Co-chair of Special Track on Object-Oriented Programming Languages and Systems at the
ACM SIGAPP Symposium on Applied Computing, 2011-2012
- PC Chair of the 12th ACM SIGPLAN Workshop on Foundations of
Object-Oriented Languages (FOOL 2008), 2008
-
学内委員
- 情報学研究科 財務委員会
- 情報学研究科 計算機小委員会
- 国際教育プログラム委員会委員 (2014/4/1〜2016/3/31)
リンク