2012年度（平成24年度）

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

領域名　　　情報数理領域

教員名　　　新井　敏康

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

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

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

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

In Proceedings of the 11th Asian Logic Conference,

Ed. by T. Arai, Q. Feng, B. Kim, G. Wu and Y. Yang,

World Scientific Singapore (2012), pp. 1-21.

T. Arai, A sneak preview of proof theory of ordinals,

Annals of the Japan Association for Philosophy of Science vol. 20(2012), pp. 29-47.

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

卒業研究3名

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

　　　・国際会議名　開催国　　年月日　　論文名

Logic Coloquium 2012

UK

2012年7月12日

T. Arai, Proof theoretic bounds of set theories

Stanford Logic Seminar

USA

2012年9月4日

T. Arai, Proof theory of set theories beyond ZF（招待講演）

Computability Theory and Foundations of Mathematics

日本

2013年2月19日

T. Arai, $\Pi^{1}_{n}$-indescribabilities in proof theory（招待講演）

the 3rd Workshop on Proof Theory and Rewriting

日本

2013年3月4-8日

T. Arai, Predicatively computable functions on hereditarily finite sets（招待講演）

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

なし

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

・京都大学数理解析研究所専門委員

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

・Annals of Pure and Applied Logic 編集

・Program Committee of Computability Theory and Foundations of Mathematics,

東京工業大学, 2013年2月18-20日

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

Guangzhou University

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

なし

（7）その他

なし