数理論理学セミナーのご案内
日時：12月1日(木)17時から 場所：東京工業大学 大岡山西８号館W棟11階 W1101セミナー室 話者：江口 直日 （東北大学） 題目： Term-rewriting Characterisations of Computational Complexity Classes -- Towards more natural characterizations 概要： If a computational complexity class (or complexity class for short) is characterised by a set of equations, then one will obtain a term-rewriting characterisation of the complexity class by replacing the defining equations by the corresponding directed equations. The term-rewriting characterisation could be generalised by a reduction order, that is a well-founded monotone algebra over a set of terms, which is compatible with the direction of every defining equation. This talk will discuss about term-rewriting approaches by means of reduction orders towards more natural characterisations of complexity classes, including recent results by the speaker.
This work is partly supported by a grant from John Templeton Foundation (Grant title: Philosophical frontiers in Reverse Mathematics. Project Leaders: Sam Sanders and Keita Yokoyama).
（講演は日本語で行われます） 会場までの交通案内はこちらから： http://www.titech.ac.jp/about/campus/index.html
----- 鹿島 亮 東京工業大学大学院情報理工学研究科 数理・計算科学専攻 [email protected]
＃＃＃木曜夕方を中心に不定期的にセミナーを開催しています＃＃＃ ＃＃＃詳細はお問い合わせください＃＃＃