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

領域名   情報数理学領域

教員名   新井 敏康

電子メール tosarai faculty.chiba-u.jp

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

 

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

T. Arai, Intuitionistic fixed point theories over Heyting arithmetic, in Proofs, Categories and Computations. Essays in honor of Grigori Mints, Ed. by S. Feferman and W. Sieg with the collaboration of V. Kreinovich, V. Lipschitz and R. de Queiroz, College Publications, King's College London (2010), pp. 1-14.

 

T. Arai, Wellfoundedness proofs by means of non-monotonic inductive definitions II: first order operators, Annals of Pure and Applied Logic vol.162 (2010), pp. 107-143.

 

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

なし

 

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

 

Workshop on Proof Theory and Computability Theory 日本 2011223日 T. Arai, Quick cut-elimination in intuitionistic logic calculi.

 

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

なし

 

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

 

Standing Committee on Logic in East Asia of Association of Symbolic Logic.

 

Council member of Association for Symbolic Logic.

 

Editor of Journal of Mathematical Society of Japan.

 

Editor of Annals of Pure and Applied Logic.

 

 

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

なし

7)その他 

なし