担当授業
今年度
- 2024(夏) 工学部情報学科 計算機科学概論
- 2024(夏) 大学院情報学研究科 通信情報システムコース プログラム意味論
- 2024(冬) 工学部情報学科 プログラミング言語
- 2024(冬) 工学部情報学科 計算と論理
- 2024(冬) 大学院情報学研究科 通信情報システム専攻 システム検証論
過去の授業
- 工学部情報学科 計算機科学概論 (2013-2022夏)
- 大学院情報学研究科 通信情報システムコース プログラム意味論 (2023夏, 2022夏, 2021夏, 2020夏, 2019夏, 2018夏, 2017夏, 2016夏, 2015夏, 2014夏, 2013夏)
- 大学院情報学研究科 通信情報システム専攻 システム検証論 (2021-冬)
- 工学部情報学科 プログラミング入門 (2015-2020夏)
- 大学院情報学研究科 通信情報システム専攻 並列分散システム論 (2020冬，2019夏，2013-2018冬)
- 工学部情報学科 計算と論理 (2023冬, 2022冬, 2021冬, 2020冬, 2019冬, 2018冬, 2017冬, 2016冬, 2015冬, 2014冬, 2013冬, 2012冬)
- 工学部情報学科 プログラミング言語 (2012-2015夏, 2016-2023冬)
- 2013(夏) 工学部情報学科 情報と職業 (オムニバス形式: 5/10)
- 大学院情報学研究科 知能情報学専攻 ソフトウェア基礎論 (2002-2012冬))
- 工学部情報学科 計算機科学実験及演習4 (プログラム検証) (2012冬，2011冬，2010冬，2009冬，2008冬，2007冬，2006冬)
- 工学部情報学科 「技術英語」 (2008夏，2007夏)
- 全学共通科目 新入生向け少人数セミナー(ポケットゼミ) 「再帰的思考とコンピュータプログラム」 (2007夏，2006夏)
- 工学部情報学科 計算機科学実験及演習4(記号処理) (2005冬，2004冬，2003冬，2002冬)
- 2004(冬) 大学院情報学研究科 知能情報学専攻 特殊研究I 講演:
「効率よく聞き手を説得するプレゼン技術」
- 2004(冬) 東京工業大学 理学部情報科学科「計算機科学特別講義第三」
兼，情報理工学研究科 数理・計算科学専攻
「数理・計算科学特論第六」
- 2003(冬) 工学部情報学科 計算機科学実験及演習1
- 2001(冬) 東京大学教養学部広域科学科情報システム科学実習II
- 2001(冬) 東京大学教養学部広域科学科外文講読:
Benjamin C. Pierce, Types and Programming Languages.
- 2001(夏) 東京大学教養学部前期課程図形科学実習 (2001夏, 2000夏)
- 2000(冬) 東京大学教養学部広域科学科外文講読:
Robin Milner, Communicating and Mobile Systems: the Pi-calculus.
- 東京大学理学部情報科学科情報科学実験I(MLプログラミング演習) TA (1998夏，1997夏)
igarashi@kuis.kyoto-u.ac.jp
