教授, 博士(理学)

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

English English
Contents:
著書
cover picture
研究
論文リスト・講演スライド
授業
'16冬 並列分散システム論
'16冬 プログラミング言語
'16冬 計算と論理
'16夏 プログラミング入門
'16夏 計算機科学概論
'16夏 プログラム意味論
'15冬 並列分散システム論
'15冬 計算と論理
'15夏 プログラミング入門
'15夏 計算機科学概論
'15夏 プログラミング言語
'15夏 プログラム意味論
'14冬 並列分散システム論
'14冬 計算と論理
'14夏 プログラミング言語
'14夏 プログラム意味論
'13冬 並列分散システム論
'13冬 計算と論理
'13夏 情報と職業
'13夏 計算機科学概論
'13夏 プログラミング言語
'13夏 プログラム意味論
'12冬 計算と論理
'12冬 計算機科学実験及演習4(プログラム検証)
'12冬 ソフトウェア基礎論
'12夏 プログラミング言語
'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冬 ソフトウェア基礎論

連絡先

〒606-8501 京都府京都市左京区吉田本町
京都大学 大学院情報学研究科
通信情報システム専攻 コンピュータ工学講座
計算機ソフトウェア分野
Phone: 075-753-4953
Fax: 075-753-4954
email: igarashi@kuis.kyoto-u.ac.jp

Upcoming Events

Recent Past Events

自己紹介

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

last update on $Date:: 2017-07-02 23:15:03 +0900 $