担当授業

今年度

2011(冬) 大学院情報学研究科知能情報学専攻ソフトウェア基礎論
2011(冬) 工学部情報学科計算機科学コース計算機科学実験及演習4(プログラム検証)

過去の授業

2010(冬) 大学院情報学研究科知能情報学専攻ソフトウェア基礎論
2010(冬) 工学部情報学科計算機科学コース計算機科学実験及演習4(プログラム検証)
2009(冬) 大学院情報学研究科知能情報学専攻ソフトウェア基礎論
2009(冬) 工学部情報学科計算機科学コース計算機科学実験及演習4(プログラム検証)
2008(夏) 工学部情報学科計算機科学コース「技術英語」
2008(冬) 大学院情報学研究科知能情報学専攻ソフトウェア基礎論
2008(冬) 工学部情報学科計算機科学コース計算機科学実験及演習4(プログラム検証)
2007(夏) 全学共通科目新入生向け少人数セミナー(ポケットゼミ) 「再帰的思考とコンピュータプログラム」
2007(夏) 工学部情報学科計算機科学コース「技術英語」
2007(冬) 大学院情報学研究科知能情報学専攻ソフトウェア基礎論
2007(冬) 工学部情報学科計算機科学コース計算機科学実験及演習4(プログラム検証)
2006(夏) 全学共通科目新入生向け少人数セミナー(ポケットゼミ) 「再帰的思考とコンピュータプログラム」
2006(冬) 大学院情報学研究科知能情報学専攻ソフトウェア基礎論
2006(冬) 工学部情報学科計算機科学コース計算機科学実験及演習4(プログラム検証)
2005(冬) 大学院情報学研究科知能情報学専攻ソフトウェア基礎論
2005(冬) 工学部情報学科計算機科学コース計算機科学実験及演習4(記号処理)
2004(冬) 大学院情報学研究科知能情報学専攻ソフトウェア基礎論
2004(冬) 工学部情報学科計算機科学コース計算機科学実験及演習4(記号処理)
2004(冬) 大学院情報学研究科知能情報学専攻特殊研究I 講演: 「効率よく聞き手を説得するプレゼン技術」
2004(冬) 東京工業大学理学部情報科学科「計算機科学特別講義第三」兼，情報理工学研究科数理・計算科学専攻「数理・計算科学特論第六」: スライド
2003(冬) 工学部情報学科計算機科学コース計算機科学実験及演習1
2003(冬) 大学院情報学研究科知能情報学専攻ソフトウェア基礎論
2003(冬) 工学部情報学科計算機科学コース計算機科学実験及演習4(記号処理)
2002(冬) 大学院情報学研究科知能情報学専攻ソフトウェア基礎論
2002(冬) 工学部情報学科計算機科学コース計算機科学実験及演習4(記号処理)
2001(冬) 東京大学教養学部広域科学科情報システム科学実習II
2001(冬) 東京大学教養学部広域科学科外文講読: Benjamin C. Pierce, Types and Programming Languages.
2001(夏) 東京大学教養学部前期課程図形科学実習
2000(冬) 東京大学教養学部広域科学科外文講読: Robin Milner, Communicating and Mobile Systems: the Pi-calculus.
2000(夏) 東京大学教養学部前期課程図形科学実習
1998(夏) 東京大学理学部情報科学科情報科学実験I(MLプログラミング演習)
1997(夏) 東京大学理学部情報科学科情報科学実験I(MLプログラミング演習)

igarashi@kuis.kyoto-u.ac.jp