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

[YOKOYAMA Keita]

皆様，

東北大学の横山です．

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

日時：1月21日(金)
場所：東北大学北青葉山キャンパス理学総合棟1201号室
１６：００〜
新井敏康（千葉大学理学研究科）
 Title: Search problems in T^2_2.
 Abstract:
We will introduce a class of search problems, called nested Polynomial
Local Search (nPLS) problems,
and show that definable NP search problems in the bounded arithmetic
$T^{2}_{2}$ are characterized in terms of the class.

セミナーの詳細につきましては，
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