 セミナー情報
|
|
 |
2013年 7月1日（月）〜7月5日（金）
|
|
| 7月1日(月) |
■整数論セミナー 13:30--15:00【会場：合同A棟801】
休み
|
| 7月2日(火) |
■幾何セミナー 15:00--16:30【会場：数学棟305】
休み（土屋昭博氏の集中講義のため）
|
| 7月4日(木) |
■応用数学セミナー 16:00--17:30【会場：合同A棟801】
休み
|
7月5日(金)
|
■確率論セミナー 15:30--17:00【会場：数学棟305】
講演者：正宗 淳 氏 （東北大学大学院情報科学研究科）
題目：On extensions of Dirichlet forms and their generators
■ロジックセミナー16:00-- 【会場：合同棟1201】
講演者：根元 多佳子 氏（北陸先端科学技術大学院大学）
題目： Determinacy of Wadge classes and subsystems of ATRo
【概要】
カントール空間における無限ゲームの決定性は二階算術の多くの体系を特徴付けることが知られているが、
今回は ATRo の部分体系がどのように特徴付けられるか、特に証明論的強さがどのように強くなっていくかを見ていく。
|
|
