平成23年度（2011年度）

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

領域名　　　情報数理領域

教員名　　　新井　敏康

電子メール　tosarai理faculty.chiba-u.jp（迷惑メール回避のため、＠を理に変え、記入してください）

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

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

T. Arai, Nested PLS,

Archive for Mathematical Logic vol.50(2011), pp. 395-409.

T. Arai, Exact bounds on epsilon processes,

Archive for Mathematical Logic vol.50(2011), pp. 445-458.

T. Arai, Quick cut-elimination for strictly positive cuts,

Annals of Pure and Applied Logic vol.162(2011), pp. 807-815.

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

卒業研究1名

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

Workshop on proof theory and computability theory

日本

2012年2月21日

T. Arai, Bounds on provability in set theories

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

　　　新井 敏康「数学基礎論」岩波書店

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

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

・日本数学会 Journal of Mathematical Society of Japan 編集

・Annals of Pure and Applied Logic 編集

・Member of the nominating committee for the 2011 Association  for Symbolic Logic Election of the Executive Committee of the Council and members of the Council.

・Program Committee of Workshop on Proof Theory and Computability Theory 2012

- Philosophical Frontiers in Reverse Mathematics,

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

なし

（7）その他

　　　なし