五十嵐 淳 (いがらし あつし)

English

Contents:

著書

研究

論文リスト・講演スライド

授業

'11冬	計算機科学実験及演習4(プログラム検証)
'11冬	ソフトウェア基礎論
'10冬	計算機科学実験及演習4(プログラム検証)
'10冬	ソフトウェア基礎論
'09冬	計算機科学実験及演習4(プログラム検証)
'09冬	ソフトウェア基礎論
'08夏	技術英語
'08冬	計算機科学実験及演習4(プログラム検証)
'08冬	ソフトウェア基礎論
'07夏	ポケゼミ
'07夏	技術英語
'07冬	計算機科学実験及演習4(プログラム検証)
'07冬	ソフトウェア基礎論
'06夏	ポケゼミ
'06冬	計算機科学実験及演習4(プログラム検証)
'06冬	ソフトウェア基礎論
'05冬	計算機科学実験及演習4(記号処理)
'05冬	ソフトウェア基礎論
'04冬	計算機科学実験及演習4(記号処理)
'04冬	ソフトウェア基礎論

連絡先

Upcoming Events

• PPL 2012 (2012/03/08-10; 運営委員主査)
• CC 2012 (2012/03; プログラム委員)
• FOAL 2012 (2012/03/26; プログラム委員)
• AOSD 2012 (2012/03; Student Research Competition 委員)
• OOPS at SAC 2012 (2012/03/25-29; トラック共同委員長・プログラム委員)
• FTfJP 2012 (2012/06/12; プログラム委員)
• COP 2012 (2012/06/11 or 12; プログラム委員)
• STOP 2012 (2012/06/11 or 12; プログラム委員)
• ECOOP 2012 (2012/06/11-16; プログラム委員)

Recent Past Events

• PPL 2011 (2011/03/09-11; 運営委員主査)
• FOAL 2011 (2011/03/21; プログラム委員)
• AOSD 2011 (2011/03/21-25; プログラム委員)
• OOPS at SAC 2011 (2011/03/21-25; トラック共同委員長・プログラム委員)
• ESOP 2011 (2011/03; 論文共著者)
• TLCA 2011 (2011/06/01-03; プログラム委員)
• COP 2011 (2011/07/25; プログラム委員)
• ECOOP 2011 (2011/07/25-29; 招待講演)
• ソフトウェア科学会第28回大会 (2011/09/27-29; プログラム委員; 論文共著者)
• FOOL 2011 (2011/10/23; プログラム委員)
• OOPSLA 2011 (2011/10/22-27; プログラム委員, 論文共著者)
• APLAS 2011 (2011/12/5-7; ポスター発表)

自己紹介

• 京都大学大学院情報学研究科知能情報学専攻准教授・ 同工学部情報学科計算機科学コース兼担． 東京大学理学部情報科学科1995年卒業， 同大学院理学系研究科情報科学専攻修士・博士課程をそれぞれ1997・2000年に修了， 修士・博士(理学)の学位取得． 2000.4 - 2002.3: 東京大学大学院総合文化研究科広域科学専攻広域システム科学系助手． 2002.4 - 2006.3: 京都大学大学院情報学研究科知能情報学専攻講師 2006.4 - 2007.3: 京都大学大学院情報学研究科知能情報学専攻助教授
   
• 主な研究対象はプログラミング言語の基礎理論、現在は、特に、型システム、 並行/分散プログラミング言語、型推論、オブジェクト指向言語の 型理論など。 論文はこちらへ。
   
• 現在、東北大学情報科学研究科情報基礎科学専攻の小林研とも共同研究を行っている．
   
• 1998年6月より7月までアメリカ・インディアナ大学、 引き続き2000年3月までペンシルヴァニア大学で、 Benjamin Pierce 教授の元に滞在・研究を行う。
   
• 趣味: 音楽・(主にクラシック)ギター演奏