11月15日 |
|
午後 |
|
14:15 |
-- |
14:30 |
|
事務連絡 |
|
|
14:30 |
-- |
15:30 |
|
松田直祐 (東京工業大学) |
|
|
|
|
構造規則の強さに関する考察 |
|
|
15:30 |
-- |
15:45 |
|
休憩 |
|
|
15:45 |
-- |
16:45 |
|
瀬川朗 (東京工業大学) |
|
|
|
|
多次元時相論理とその公理化可能性 |
|
|
16:45 |
-- |
17:00 |
|
休憩 |
|
|
17:00 |
-- |
18:00 |
|
田中義人 (九州産業大学) |
|
|
|
|
ELの代数モデル |
|
|
|
11月16日 |
|
午前 |
|
9:00 |
-- |
10:00 |
|
岩見智宏 (九州産業大学) |
|
|
|
|
リジッド幾何学に現れる双対定理を考慮した、paraconsistent logicとその層化(sheafication)について(Paraconsistent logic and its sheafication with regards to duality theorem in rigid geometry) |
|
|
10:00 |
-- |
10:15 |
|
休憩 |
|
|
10:15 |
-- |
11:15 |
|
丸山善宏 (オックスフォード大学) |
|
|
|
|
Duality, Categorical Logic, and Quantum Physics |
|
|
11:15 |
-- |
11:30 |
|
休憩 |
|
|
11:30 |
-- |
12:30 |
|
井澤昇平 (東北大学) |
|
|
|
|
合成に閉じた演算集合の分類 |
|
|
|
11月16日 |
|
午後 |
|
14:00 |
-- |
15:00 |
|
鈴木仁哉 (東北大学) |
|
|
|
|
代数学の逆数学 |
|
|
15:00 |
-- |
15:15 |
|
休憩 |
|
|
15:15 |
-- |
16:15 |
|
堀畑佳宏 (米子工業高等専門学校) |
|
|
|
|
逆数学と複素解析学 |
|
|
16:15 |
-- |
16:30 |
|
休憩 |
|
|
16:30 |
-- |
17:30 |
|
樋口幸治郎 (千葉大学) |
|
|
|
|
理論の翻訳可能性について |
|
|
|
11月17日 |
|
午前 |
|
9:00 |
-- |
10:00 |
|
古関恵太 (名古屋大学) |
|
|
|
|
Rado's Conjecture and stationary reflection principles |
|
|
10:00 |
-- |
10:15 |
|
休憩 |
|
|
10:15 |
-- |
11:15 |
|
田尻翔平 (大阪府立大学) |
|
|
|
|
Raisonnier filter and Solovay's Problem |
|
|
11:15 |
-- |
11:30 |
|
休憩 |
|
|
11:30 |
-- |
12:30 |
|
嘉田勝 (大阪府立大学) |
|
|
|
|
もしも和集合公理がなかったら |
|
|
12:30 |
-- |
12:45 |
|
閉会 |
|