Jacques Garrigue の講義情報

2007年度

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

2006年度

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

2005年度

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

2004年度

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