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

皆様，

東北大学の横山です．

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

日時：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 [email protected]