2015年度（平成27年度）

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

領域名　　　情報数理学領域

教員名　　　新井　敏康

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

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

 

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

　　　

著者・発表者等

タイトル

発表雑誌・会合等

巻・号

頁

発行・発表年等

掲載論文のDOI(付与されている場合)
　(1)

T. Arai

Proof theory for
theories of ordinals
III:$\Pi_{N}$-reflection

Gentzen's
centenary: the
quest of
consistency,
eds. R. Kahle
and M. Rathjen

　

pp.357-424

2015

DOI: 10.1007/978-3-319-10103-3 14
　(2)

　(3)

T. Arai

T. Arai

Predicatively
computable functions
on sets

Intuitionistic fixed
point theories over set
theories

Archives for
Mathematical
Logic

Archives for
Mathematical
Logic

　54

　54

pp. 471-485

pp. 531-553

2015

2015

 

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

　　　・卒業研究　　　　　0名

　　　・大学院修士　　　　2名

　　　・大学院博士　　　　0名

 

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

 なし

 

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

　　　　Program on sets and computations, Singapore, 2015 年 3 月 30 日 -4 月 30 日 , Axiomatizing some small
　　　　classes of set functions, 招待講演
　　　　Logic Colloquium 2015, 2015年8月3-8日, Proof theory for set theories, 招待講演



（5）国際共同研究　(共同研究名,研究内容等)　

 なし

 

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

 なし

 

（7）国際並びに国内学会での受賞　(賞名、その内容、受賞理由等)　

 なし

　

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

 なし

 

（9）特許　(発明者名、発明の名称、出願日、出願番号、整理番号等)　

 なし