Top > 第4回関東すうがく徒のつどい > 当日の時程
第4回関東すうがく徒のつどいは新型ウイルスの感染状況を考慮し,イベントの予定通りの開催を中止(延期後の実施日は未定)とさせていただきます.詳細は追ってお伝えします.
注意・凡例
- 各講演時間ごとに2つの講演を行なう予定です.自分の興味や,以下で説明している難易度などを参考に講演を選択してください.
-
凡例は以下の通りです.
hoge教室(n F):「講演タイトル」(難易度の目安)
講演者名(Twitter ID) [Abstractへのリンク]
分野:説明
前提知識:説明
- 難易度は,前提知識の量でA(高校・教養程度),B(学部程度),C(それ以上)の3つに分けています.
- 講演者や講演内容は,諸事情により変更される場合がございます.予めご了承ください.
- 講演者のお名前は敬称略です.
1日目
- 11:30- 開場
- 12:00- 開会式
-
12:30-14:30(120分講演)
-
63号講義室(2階):「鳩の巣原理は"難しい"」(A)
権英哲[Abstract]
分野: 数学基礎論,特にproof complexity.
前提知識: 数学的帰納法に加え,中高で学ぶ「集合と論理」の内容,特に,真理値表をいくつか書いた経験があれば,楽しめるかと思われます.数学基礎論の基本である「一階述語論理」,計算複雑性理論の基本である「多項式時間計算可能,P,NP」の概念,また有限モデル理論における「pebble game」に慣れていれば,議論の動機付けがより面白くなるかもしれません.
-
セミナー室A・D(3階):「各点Kan拡張概論」(C)
alg_d(@alg_d)[Abstract]
分野: 圏論
前提知識: 通常の圏論(Kan拡張、Kanリフト、各点Kan拡張、profunctor、モナド),豊穣圏論(Kan拡張、各点Kan拡張、weighted limit),Grothendieck fibrationの定義,bicategory(定義、bilimit).
-
63号講義室(2階):「鳩の巣原理は"難しい"」(A)
- 15:00-16:30(90分講演)
- 17:00-18:30(90分講演)
- 19:00-21:00 懇親会
2日目
- 9:30- 開場
- 10:00-11:30(90分講演)
- 12:30-13:30(60分講演)
- 14:30-15:30(60分講演)
- 16:00-18:00(120分講演)
- 18:15- 閉会式