Talks
[1]
弱い公理系を用いた超準解析, 2010年度数学基礎論サマースクール---超準解析の基礎と応用---, 名古屋大学, 2010年8月 (前半の内容, 後半のスライド).
[2]
Reverse
Mathematics for differential equations, Proof theory symposium 2009, ホテルリステル猪苗代, 2010年2月.
[3]
２階算術における超準解析学, 2009年度超準解析シンポジウム, 名古屋大学, 2009年11月.
[4]
超準手法の逆数学と２階算術体系, 日本数学会, 数学基礎論および歴史分科会, 特別講演, 大阪大学, 2009年9月 (アブストラクト, スライド).
[5]
Non-standard
reverse mathematics and reverse non-standard mathematics, 数学専攻談話会, 東北大学, 2009年4月.
[6]
Arguments
of non-standard analysis for second order arithmetic, 仙台ロジック･セミナー, 東北大学, 2008年2月.
[7]
Arguments
of non-standard analysis for second order arithmetic, ロジック･セミナー, 東北大学, 2007年11月.
[8]
２階算術における超準解析の扱いとその応用, 数学基礎論若手の会, 焼津青少年の家, 2007年10月.
[9]
２階算術における超準解析の扱いとその応用, 超準解析研究会, 秋保温泉ホテルクレセント, 2007年9月.
[10]
Formalizing non-standard
arguments, 日本数学会, 東北大学, 2007年9月.
[11]
Π^1_2理論のΠ^1_1保存性に関して, 日本数学会, 埼玉大学, 2007年3月.
[12]
２階算術の理論間の保存性とモデルの関係について, 数学基礎論若手の会, 神戸セミナーハウス, 2006年12月.
[13]
ACA0 への超準解析の応用とリーマンの写像定理, 日本数学会, 大阪市立大学, 2006年9月.
[14]
２階算術における超準解析を用いた関数空間の扱い, 短期共同研究「算術体系の証明論」,
京都大学数理解析研究所, 2006年8月.
[15]
逆数学とフーリエ級数展開, 数学基礎論若手の会, 大学セミナーハウス, 2005年11月.
[16]
ACA0 のモデルの特徴付けと超準解析, 日本数学会, 岡山大学, 2005年9月.
[17]
ACA0 のモデルの特徴付けと超準解析, 短期共同研究「自然数の超準モデルにおける１階定義可能性の研究」, 京都大学数理解析研究所,
2005年9月.
[18]
Differential Calculus and
Complex Analysis in Second Order Arithmetic, 日本数学会, 日本大学, 2005年3月.
[19]
２階算術における複素解析学, 短期共同研究「証明論と計算論」, 京都大学数理解析研究所, 2005年1月.
[20]
逆数学と複素解析, 数学基礎論若手の会, 大学セミナーハウス, 2004年11月.