皆様，
東北大学の横山です．
以下の日程でロジックセミナーを行いますので， ご興味のある方は是非ご参加ください．
日時：12月3日(金) 場所：東北大学北青葉山キャンパス理学総合棟1201号室 １５：３０〜 江口直日（JAIST） Title: Towards a Theory of Bounded Arithmetic for Polynomial Space Functions. Abstract: This talk presents an extension of familiar first order theories of bounded arithmetic. We would like to extend well-known characterizations of the polynomial time functions and the polynomial hierarchy by S. Buss to the polynomial space functions. We will define a class of functions via our new theory of bounded arithmetic and show that all the polynomial space functions are contained in this class. This work is still unfinished, but the speaker believes that the converse also holds, i.e., every function in the class defined by the new theory is computable in polynomial space.
セミナーの詳細につきましては， http://www.math.tohoku.ac.jp/~y-keita/friday-seminar/friday-seminar.html をご参照ください．
横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 y-keita@math.tohoku.ac.jp