五十嵐 淳 准教授
京都大学大学院情報学研究科
知能情報学専攻
〒606-8501 京都市左京区吉田本町
電話 075-753-4953
FAX: 075-753-4954
Email: igarashi@kuis.kyoto-u.ac.jp
オフィス:工学部10号館1階142号室
平成19年4月現在
研究活動
-
研究テーマ
- プログラミング言語の基礎理論
- 型システム
- 並行/分散プログラミング言語、オブジェクト指向言語の型理論
- 型推論に基づくプログラム解析
-
最近の主要論文・著書
- 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)(2), セキュアコンピューティングのための型システム,
分担者,2000〜2003年度
- 科研費若手(B), 高級並列言語の様々な安全性を保証するプログラム進化支援つき汎用型システムの研究, 代表者, 2001〜2002年度
- 科研費特定(2), 信頼性の高いコンポーネント技術の研究, 分担者, 2001年度〜2005年度
- 科研費基盤(B)(2), 環境と文脈を持つ計算体系とその論理, 分担者, 2002〜2003年度
- 科研費若手(B), 様相論理に基づいたプログラム解析手法の研究, 代表者, 2003〜2005年度
- 科研費特定, 安全・安心な環境適応型ソフトウェアの基礎理論に関する研究, 代表者, 2006年度
- 科研費若手(B),ソフトウェア再利用性向上のための型理論に関する研究,代表者,2006年度〜2008年度
-
学位
東京大学博士(理学)
-
所属学会
ACM, 日本ソフトウェア科学会
教育活動
-
担当授業科目(大学院)
-
担当授業科目(学部)
- 計算機科学実験及演習4(工学部・情報学科計算機科学コース)
- 技術英語 (同上)
- ポケットゼミ
その他の活動
-
学会活動
- 日本ソフトウェア科学会第3回プログラミングおよびプログラミング
言語ワークショップ・プログラム委員及幹事 (2001年3月)
- PC member, the 9th ACM SIGPLAN Workshop on Foundations of
Object-Oriented Languages (FOOL9) (2002年1月)
- 日本ソフトウェア科学会第4回プログラミングおよびプログラミング言
語ワークショップ・プログラム委員 (2002年3月)
- PC member, the ACM SIGPLAN Workshop on Types in Language
Design and Implementation (TLDI) (2003年1月)
- PC member, the 17th European Conference on Object-Oriented
Programming (ECOOP2003) (2003年7月)
- PC member, the 18th Annual ACM SIGPLAN Conference on
Object-Oriented Programming, Systems, Languages, and
Applications (OOPSLA2003) (2003年10月)
- PC member, the 31st ACM SIGPLAN/SIGACT Symposium on Principle
of Programming Languages (POPL2004) (2004年1月)
- PC member, the 9th ACM SIGPLAN Workshop on Foundations of
Object-Oriented Languages (FOOL2004) (2004年1月)
- 日本ソフトウェア科学会第6回プログラミングおよびプログラミング言
語ワークショップ・プログラム委員 (2004年3月)
- PC member, special track on Object-Oriented Programming
Languages and Systems at the 19th ACM Symposium on Applied
Computing (OOPS, SAC2004) (2004年3月)
-
学内委員
リンク