Jacques Garrigue の講義情報

オフィスアワー (2025年秋学期)

場所：多元数理科学研究棟 405号室　日時：月曜日 11時〜12時

セミナー

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

2025年度

• 計算機数学基礎
• 数学通論II
• Perspectives in Mathematical Sciences III/I (Spring 2025)

2024年度

• 2024年度秋・数理解析・計算機数学I
• 2024年度前期・東北大学集中講義
• 2024年度春・数理解析・計算機数学IV

2023年度

• 2023年度秋・数学展望II
• Perspectives in Mathematical Sciences IV/II (Fall 2023)
• 2023年度春・数理解析・計算機数学III

2022年度

• 2022年度秋・Affeldt氏集中講 義

2021年度

• 2021年度秋・数理解析・計算機数学IV
• 2021年度前期・九州大学集中講義

2020年度

• 2020年度後期・数理解析・計算機数学II
• 2020年度後期・数学展望II

2019年度

• 2019年度前期・数理解析・計算機数学II
• 2019年度前期・微分積分学I

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