2014年度（平成26年度）

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

領域名　　　情報数理領域

教員名　　　新井　敏康

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

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

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

　T. Arai, Lifting proof theory to the countable ordinals : Zermelo-Fraenkel's set theory, Journal of Symbolic Logic vol. 79, issue 2 (2014), pp. 325-354.

　T. Arai, Conservations of first-order reflections, Journal of Symbolic Logic vol. 79, issue 3 (2014), pp. 814-825.

　T. Arai, Proof theory for theories of ordinals III:$\Pi_{N}$-reflection, to appear in the Gentzen's centenary: the quest of consistency, Springer.

　T. Arai, Predicatively computable functions on sets, to appear in Archives for Mathematical Logic.

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

　　　・卒業研究　　　　　4名

　　　・大学院修士　　　　1名

　　　・大学院博士　　　　0名

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

・ Mathematical Logic: Proof Theory, Constructive Mathematics, Nov. 16-22, 2014, Mathematisches Forschungsinstitut Oberwolfach, Germany

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

・なし

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

・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. Program Committee of the 14th Asian Logic Conference, Jan. 5-8, 2015, Indian Institute of Technology, Bombay, India. External Review Committee for the Structural Cellular Biology Unit, Jan. 6-7, 2015, OIST, Japan. Program Committee of Constructivism and Computability, JAIST Logic Workshop Series 2015, Mar. 2-6, 2015, Kanazawa, Japan.　

（6）特許（発明者名，発明の名称，出願日，出願番号，整理番号等）

　　　・なし

（7）その他　

　　　・新聞や雑誌等で報道された研究成果等（報道媒体，報道年月日，報道 　内容等）

　　　・国際並びに国内学会での受賞等