数理論理学セミナーのお知らせ 日時：7月4日(金) 16:30 から 場所：東京工業大学 大岡山西８号館 Ｗ棟10階 W1008 話者：沖坂祥平（東北大学） 題目：計算量クラスのモデル論的特徴付け 概要： 1974年にR. Faginによって有限モデルのクラスがNP計算可能である事とΣ^1_1文で定義可能である事が同値となる事が示されて以降、現在では様々な計算量クラスを特徴付ける論理が発見されている。 本セミナーでは、有限モデル論におけるこれらの基本的な結果を紹介する。 ------ 本セミナーは定期的に東工大で開催しているものです。 初めて参加を希望される方はご一報ください。 ----- 鹿島 亮 東京工業大学大学院情報理工学研究科 数理・計算科学専攻 kashima at is.titech.ac.jp