過去の講義

→今年のはこちら

• 令和5年度後期　九州大学大学院システム情報科学府　情報理工学特別講義　11月24日
• 令和5年度Ｗ期　東京大学理学部　「計算量理論」11月14日分
• 令和5年度前期　全学共通科目　現代の数学と数理解析　5月26日分
• 令和5年度Ｓ期　東京大学教養学部　総合科目Ｆ「計算の理論」5月9日分
• 令和4年度Ｗ期　東京大学理学部　「計算量理論」10月25日分
• 令和4年度後期　九州大学大学院システム情報科学府　情報理工学特別講義
• 令和4年7月　組合せ最適化セミナー
• 令和4年度Ｓ期　東京大学教養学部　総合科目Ｆ「計算の理論」5月17日分
• 令和4年度前期　全学共通科目　現代の数学と数理解析
• 令和3年度Ｗ期　東京大学理学部　「計算量理論」12月14日分
• 令和3年度後期　九州大学大学院システム情報科学府　情報理工学特別講義「ランダム性と計算量」
• 令和3年8月　数学入門公開講座
• 令和3年度前期　全学共通科目　現代の数学と数理解析
• 令和3年度Ｓ期　東京大学教養学部　総合科目Ｆ「計算の理論」4月27日分

平成29年8月～令和2年3月（九州大学システム情報科学研究院准教授）

• 平成31年度後期　理学部　「情報科学講究」（金四五）
• 平成31年度後期　大学院システム情報科学府　「計算理論特論」（月二）
• 平成31年度前期　基幹教育　「プログラミング演習」（金四）
• 平成31年度前期　理学部　「計算量理論」（月二）
• 平成31年度前期　工学部　「Applied Mathematical Logic（情報論理学）」（金二）
• 平成30年度後期　理学部　「情報科学講究」（金四五）
• 平成30年度後期　工学部　「電気情報工学入門二」（火四）
• 平成30年度後期　工学部　「数理計画法」（金一）
• 平成30年度後期　大学院システム情報科学府　「計算理論特論」（月二）
• 平成30年度前期　基幹教育　「プログラミング演習」（金四）
• 平成30年度前期　理学部　「計算量理論」（月二）
• 平成30年度前期　工学部　「電気情報工学入門一」（火四）
• 平成29年度後期　工学部　「数理計画法」（金一）
• 平成29年8月　数学基礎論サマースクール（計算理論）「はじめての計算可能性」

平成27年4月～29年7月（東京大学総合文化研究科講師）

• 平成29年度Ｓ期　教養学部　基礎科目「情報」（水一）
• 平成29年度Ｓ期　教養学部　全学自由ゼミ「情報システム利用入門」（金五）
• 平成29年度Ｓ期　教養学部・大学院総合文化研究科「算法の設計と解析」（月五）
• 平成29年度Ｓ期　教養学部　全学自由ゼミ「実践的プログラミング」（月六）5月22日分
• 平成29年度Ｓ期　教養学部・大学院総合文化研究科　「輪講（学習理論）」
• 平成29年度Ｓ期　教養学部　総合科目Ｆ「計算の理論」4月25日分
• 平成29年度前期　九州大学理学部・大学院数理学府　集中講義「解析学における計算理論」
• 平成28年度Ａ期　教養学部　総合科目Ｆ「アルゴリズム入門」（月一）
• 平成28年度Ａ期　教養学部・大学院総合文化研究科　「計算理論入門」（木一）
• 平成28年度Ａ期　教養学部・大学院総合文化研究科　「輪講（数理生物学）」
• 平成28年度Ａ期　教養学部　「広域システム概論一」10月26日分
• 平成28年度Ａ期　教養学部　「総合情報学実習」
• 平成28年度Ａ期　大学院情報理工学系研究科　「Seminar on Computer Science VIII（コンピュータ科学特別講義VIII）」12月14日分
• 平成29年3月　日本情報オリンピック合宿「アルゴリズムの限界（計算理論入門）」
• 平成28年度Ｓ期　教養学部　基礎科目「情報」（水一）
• 平成28年度Ｓ期　教養学部　基礎科目「情報」（水四）6月下旬から
• 平成28年度Ｓ期　教養学部　基礎科目「情報」（金三）5月上旬まで
• 平成28年度Ｓ期　教養学部　全学自由ゼミ「情報システム利用入門」（金五）
• 平成28年度Ｓ期　教養学部・大学院総合文化研究科　「算法の設計と解析」（月五）
• 平成28年度Ｓ期　教養学部　総合科目Ｆ「計算の理論」4月26日分
• 平成28年度Ｓ期　教養学部・大学院総合文化研究科　「輪講（数理論理学）」
• 平成28年度前期　明治大学理工学部　理工学部総合講義Ｃ「乱択と計算量」7月5日
• 平成27年度Ａ期　教養学部　総合科目Ｆ「アルゴリズム入門」（旧「情報科学」）（月一）
• 平成27年度Ａ期　教養学部　「総合情報学基礎論」（水二）9月30日分
• 平成27年度Ａ期　教養学部　「総合情報学実習二」
• 平成27年度Ａ期　教養学部・大学院総合文化研究科　「輪講（計算幾何）」
• 平成27年度Ｓ期　教養学部　基礎科目「情報」（木四）
• 平成27年度Ｓ期　教養学部・大学院総合文化研究科　「計算理論入門」（月五）
• 平成27年度Ｓ期　教養学部　総合科目Ｆ「計算の理論」4月21日分

平成27年3月まで（東京大学情報理工学系研究科助教）

• 平成26年度冬期　理学部・工学部　「計算量理論」11月18日と12月16日の分
• 平成26年度冬期　理学部　情報科学演習二「計算量理論演習」
• 平成26年度夏期　大学院情報理工学系研究科　「Advanced Algorithms（先端アルゴリズム論）」
• 平成26年度夏期　理学部　情報科学演習一「離散数学演習」
• 平成25年度後期　京都大学総合人間学部・大学院人間環境学研究科　集中講義「乱数と計算量」
• 平成25年度冬期　理学部　情報科学演習二「計算量理論演習」
• 平成25年度前期　京都大学理学研究科　集中講義「実数の計算理論」
• 平成25年度夏期　理学部　情報科学演習一「離散数学演習」
• 平成24年度冬期　理学部　情報科学演習二「計算量理論演習」
• 平成24年度夏期　理学部　情報科学演習一「離散数学演習」
• 平成24年度夏期　大学院情報理工学系研究科　「Advanced Algorithms（先端アルゴリズム論）」
• 平成23年度冬期　理学部　情報科学演習二「計算量理論演習」
• 平成23年度冬期　理学部・工学部　「計算量理論」（代講部分）
• 平成23年度夏期　理学部　情報科学演習一「離散数学演習」
• 平成23年度夏期　教養学部　「計算と知能の科学」7月8日分