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

領域名　　　情報数理領域

教員名　　　新井　敏康

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

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

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

　原論文

・ T. Arai, Iterating the recursively Mahlo operations, in Proceedings of the thirteenth International Congress of Logic Methodology, Philosophy of Science,

Ed. by C. Glymour, W. Wei and D. Westerstahl,

College Publications, King's College London (2009), pp. 21-35.

・T. Arai, Intuitionistic fixed point theories over Heyting arithmetic, to appear.

・ T. Arai, Provably $\Delta_{2}$ and weakly descending chains,

   to appear in the proceedings of the eleventh Asian Logic Conference.

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

　　　なし

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

招待講演

・Eleventh Asian Logic Conference, Singapore, 2009年6月22-27日,

T. Arai, Provably $\Delta^{0}_{2}$ and weakly descending chains of ordinals

・Leeds Symposium on Proof Theory and Constructivism, EPSRC Workshop, UK,

 2009年7月3-16日, T. Arai, In germ.

・A Proof Theory Workshop, 慶應大学, 2010年3月17-18日,

      T. Arai, Search problems in bounded arithmetics

（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 Symbolic Logic, Association for  Symbolic Logic

・ Editor of Journal of Mathematical Society of Japan

・ Editor of Annals of Pure and Applied Logic

・Program Committee of Workshop on Logic, Language, Information and Computation,

NII, Tokyo, 2009

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

なし

（7）その他　

　　　なし