数理論理学セミナーのお知らせ
東工大大岡山キャンパスで定期的に開催しているセミナー（普段はlogic-mlには流していません）の特別版を明日明後日に開催します。 どなたでも参加できますが、普段のセミナー案内を受け取っていない方の場合はご一報ください。
11日(火) 10:00 木内詠美（東工大）：Lindstrom Theoremの証明 11:00 浅見悠太（東工大）：公開告知ゲームについて 13:30 中村知己（東工大）：Gödel Modal Logic の拡張について 14:30 中村誠希（東工大）：「古典論理で極小な論理式だけで公理化できる論理に関する予想」の反例について 15:45 松本拓也（東工大）：Hybrid logicにおける補間定理について 16:45 山﨑紗紀子（首都大）：GKtS4の分析的カットとクレイグ補間定理
12日(水) 10:00 藤本誠（東工大）：Stone双対性について 11:00 河野友亮（東工大）：Extended dynamic quantum logic について 12:00 鹿島亮（東工大）：狭義単項二階述語論理の決定可能性 13:45 外丸真一（東工大）：intersection typeを導入したラムダ計算 14:45 間庭彬仁（東工大）：Scott / Parigot encoding の fold / build pattern について 16:00 高木研斗（東工大）：lambda rho calculusについて 17:00 赤間陽二（東北大）：Goguen のtyped operational semanticsとvariable renamingについて
----- 鹿島 亮 東京工業大学 情報理工学院 数理・計算科学系 [email protected]