| 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 |
|
閉会 |
|