短期共同研究−形式体系と証明論− スライドなど掲載用ウェブページ
プログラム（時刻は目安です）
１４日（火）
１１：００〜１１：５０
堀畑佳宏（東北大学）
Weak theories of concatenation and arithemetic
Slide
１３：３０〜１４：３０
横山啓太（東北大学）
Nonstandard priority argument
１４：４５〜１５：４５
木原貴行（東北大学）
Incomputability phenomena of \pi^0_1 continua in R^2
Slide
１６：００〜１６：４５
井澤昇平（東北大学）
自由代数がないクラスにおける圏同値性
１５日（水）
１０：００〜１０：４０
Ahmad Termimi bin Ab. Ghani（東北大学）
Slide
１０：５０〜１１：２０
吉居啓輔（東北大学）
Slide
１１：３０〜
彭寧寧（東北大学）
Algorithmic Randomness and Lowness Notions
Slide
１３：３０〜１４：１５
樋口幸治郎（東北大学）
Mass Problems and Intuitionism
Slide
１４：３０〜１５：４０
只木孝太郎（中央大学）
1. Properties of optimal prefix-free machines as instantaneous codes
Slide
2. A new representation of Chaitin \Omega number based on compressible strings
Slide
１６：００〜１７：００
中村亮太（首都大学）・鈴木登志雄（首都大学）
ランダム性を持ったゲーム木を読み切るコストの期待値
Slide1
Slide2
１５日（水）
１１：００〜１２：００
宮部賢志（京都大学数理解析研究所）
Algorithmic randomness over general spaces
Slide
１３：３０〜１４：３０
佐々木克巳（南山大学）
様相論理S4の標準形とその周辺
Slide
１４：４５〜１５：３０
鹿島亮（東京工業大学）
様相論理CTL^*等の完全性について
Slide
１６：００〜１６：４０
倉田俊彦（法政大学）・藤田憲悦（群馬大学）
２階直感主義命題論理の代数的モデルについて