2013年度(平成25年度)

コース名  数理情報科学コース

領域名   情報数理領域

教員名   新井 敏康

電子メール tosaraifaculty.chiba-u.jp

      ※メール送信の際は、「理」を半角@に変更してください。

 

(1)研究論文などのリスト(印刷中を含む)

  T. Arai, Proof theory of weak compactness, Journal of Mathematical Logic vol.13, no.1(2013),

1350003, 26pages

 

T. Arai,  Lifting up the proof theory to the countables : Zermelo-Fraenkel's set theory,

to appear in Journal of Symbolic Logic.

 

T. Arai, Conservations of first-order reflections, to appear in Journal of Symbolic Logic.

 

 

2)卒業研究、大学院修士および博士論文修了指導人数

・なし

 

(2)国際会議出席と招待リスト

Asian Mathematical Conference 2013, Korea, Jul. 1, 2013,

T. Arai, Set theory and ordinal analyses.(招待講演)

 

4)教育業績 (自己申告、テキストの作成など、授業の工夫など)

・なし

 

5)学会、国、県などへの協力,地域・社会と連携した教育・研究活動など

・日本学術振興会 特別研究員等審査会専門委員および国際事業委員会書面審査員

Program Committee of the 13th Asian Logic Conference, Sep. 16-20, 2013,

  Guangzhou University, China.

Program Committee of Philosophy, Mathematics, Linguistics: Aspects of Interaction

2014(PhML-2014),

Apr. 21-25, 2014, St. Petersburg Departmanet of V. A. Steklov Institute of Mathematics,

St Petersburg, Russia.

 

6)特許(発明者名,発明の名称,出願日,出願番号,整理番号等)

   ・なし

 

7)その他 

   ・なし