Jacques Garrigue の講義情報

オフィスアワー

毎週水曜日 13時15分〜14時15分 理1号館 405号室

3月11日は16時半〜17時半

2008年度

• 2008年度後期・数理解析・計算機数学III 「関数型プログラミング言語によるアルゴリズムとデータ構造入門」
• 2008年度後期・微分積分学II
• 2008年度前期・微分積分学I

2007年度

• 2007年度後期・数理解析・計算機数学III 「関数型プログラミング入門と応用」
• 筑波大学での集中講義 「関数型言語 Objective Caml 入門」
• 2007年度前期・数理科学展望III/自然数理特論２ 「ラムダ計算入門」

2006年度

• 2006年度後期・数理解析・計算機数学III 「関数型プログラミング入門と応用」
• 筑波大学での集中講義 「関数型言語 Objective Caml 入門」

2005年度

• 2005年度後期・数理解析・計算機数学II 「関数型プログラミング言語によるアルゴリズムとデータ構造入門」
• 2005年度夏季集中コース 数学アゴラ 「書き換えと計算機」

2004年度

• 2004年度後期・数理解析・計算機数学II
• 2004年度前期・計算機数学集中講義 「プログラミング言語と計算可能性」