| 10月26日 | 10月27日 | 10月28日 | |
|
7:00 -- 9:00 |
朝の集い・清掃・朝食 | 朝の集い・清掃・朝食 | |
|
9:00 -- 10:00 |
安谷屋 傑（筑波大学）
$\aleph_1$-categoricities in many sorted logic |
根元 多佳子（東北大学）
Brouwer's fun theorem vs. Weak Koenig's lemma |
|
|
10:00 -- 11:00 |
上坂 達也（筑波大学）
many sorted logic における可算モデルの個数について |
横山 啓太（東北大学）
２階算術における超準解析の扱いとその応用 |
|
|
11:00 -- 11:10 |
休憩 | 休憩 | |
|
11:10 -- 12:10 |
田中 覚次（九州大学）
関係代数と極大フィルターの間の準同型について |
江口 直日（神戸大学）
有限的な順序数解析の手法を使った$\Pi^0_2$解析（予定） |
|
|
12:10 -- 13:20 |
昼食・休憩 | 終了！ | |
|
13:20 -- 14:20 |
ぼちぼち集合・休憩 |
堀畑 佳宏（東北大学）
解析学の基礎に関する逆数学 |
|
|
14:20 -- 15:20 |
西田 健作（大阪府立大学）
無限基数の対数関数について |
山上 智幸（会津大学）
A Step from Vectors and Matrices to Quantum Computers and Quantum Cryptography |
|
|
15:20 -- 15:50 |
入所式・オリエンテーション | 休憩 | |
|
15:50 -- 16:50 |
佐野 勝彦（京都大学）
Pure Completeness in Hybrid Logic |
西村 治道（大阪府立大学）
古典および量子通信計算量 |
|
|
16:50 -- 18:30 |
夕べの集い・夕食 | 夕べの集い・夕食 | |
|
18:30 -- 19:30 |
南 裕明（神戸大学）
Maharam の問題 |
懇親会 | |
|
19:30 -- 22:00 |
自己紹介・懇親会 | ||
|
22:00 -- |
就寝準備・就寝 | 就寝準備・就寝 |