[logic-ml] 東北大学ロジックセミナー

[YOKOYAMA Keita]

皆様，

東北大学の横山です．

以下の日程でロジックセミナーを行いますので，
ご興味のある方は是非ご参加ください．

日時：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 at math.tohoku.ac.jp