Jacques Garrigue の講義情報

オフィスアワー (2018年後期)

場所：多元数理科学研究棟 405号室　日時：水曜日 13時〜14時

セミナー

• 少人数クラス
• 卒業研究

2018年度

• 2018年度後期・数理解析・計算機数学II
• Perspectives in Mathematical Sciences III/I (Spring 2018)

2017年度

• 2017年度後期・数理解析・計算機数学II
• 2017年度・線形代数学I・II

2016年度

• 2016年度・線形代数学I・II
• 2016年度後期・理系教養II

2015年度

• 2015年度 筑波大学 ソフトウェア技法・ OCaml入門
• 2015年度後期・数理解析・計算機数学II
• 2015年公開講座・数学アゴラ
• 2015年度前期・線形代数学I

盛田さんの講義

• 2015年度前期・応用数理 I
• 2014年度後期・数理解析・計算機数 学特別講義 II

2014年度

• 2014年度前期・線形代数学I
• 2014年度前期・数理解析・計算機数学II 「プログラムと証明」

2013年度

• Surveys in Mathematical Sciences IV: Computability and Lambda-calculus
• 筑波大学での集中講義 「関数型言語 Objective Caml 入門」
• 2013年度前期・数理解析・計算機数学II 「プログラムと証明」

2012年度

• 2012年度後期・数理解析・計算機数学III 「関数型プログラミングとプログラムの証明」
• Surveys in Mathematical Sciences I

2011年度

• 2011年度後期・数理解析・計算機数学III 「関数型プログラミングとプログラムの証明」
• 2011年度前期・全学教養科目・現 代数学への流れ 「計算と論理」

2010年度

• 2010年度後期・数理解析・計算機数学III 「関数型プログラミングとプログラムの証明」
• 2010年度後期・数理科学展望I 「計算可能性とラムダ計算」

2009年度

• 2009年度後期・数理解析・計算機数学III 「関数型プログラミング言語入門と応用」
• Surveys in Mathematical Sciences I

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年度前期・計算機数学集中講義 「プログラミング言語と計算可能性」