新井 敏康
Toshiyasu Arai
更新日: 04/03
基本情報
- 所属
- 東京大学 大学院 数理科学研究科 教授
- 学位
-
理学博士
- J-GLOBAL ID
- 201101062786252883
- researchmap会員ID
- B000000008
- 外部リンク
東京都出身 エレカシと大島弓子と小泉今日子のファン
研究キーワード
5経歴
8-
2019年4月 - 現在
-
2009年10月 - 2019年3月
-
2007年4月 - 2009年9月
-
2001年8月 - 2007年3月
-
2000年10月 - 2001年7月
-
1991年10月 - 2000年8月
-
1987年7月 - 1991年9月
-
1987年4月 - 1987年6月
所属学協会
2受賞
1-
2004年
論文
55-
Archive for Mathematical Logic 62(3-4) 333-357 2023年5月 査読有り
-
The Bulletin of Symbolic Logic 27(2) 168-186 2021年6月 査読有り
-
The Legacy of Kurt Schütte, ed. by R. Kahle and M. Rathjen, Springer 265-298 2020年9月 査読有り招待有り筆頭著者
-
Proc. Amer. Math. Soc. 148 3567-3582 2020年 査読有り
-
The Journal of Symbolic Logic 85(3) 1163-1185 2020年10月 査読有り
-
Archive for Mathematical Logic 59(3-4) 257-275 2020年 査読有り筆頭著者
-
Annals of the Japan Association for Philosophy of Science 27 45-60 2018年9月 査読有り
-
Archive for Mathematical Logic 57(5-6) 649-664 2018年8月 査読有り
-
Annals of Pure and Applied Logic 169(12) 1246-1269 2018年12月 査読有り
-
The Journal of Symbolic Logic 83(3) 1091-1111 2018年9月 査読有り
-
Gentzen's centenary: the quest of consistency, eds. R. Kahle and M. Rathjen, Springer 357-424 2015年 査読有り招待有り筆頭著者
-
Archive for Mathematical Logic 54(5-6) 531-553 2015年8月 査読有り
-
Archive for Mathematical Logic 54(3-4) 471-485 2015年5月 査読有り
-
The Journal of Symbolic Logic 79(2) 325-354 2014年6月 査読有り
-
The Journal of Symbolic Logic 79(3) 814-825 2014年9月 査読有り
-
Journal of Mathematical Logic 13(1) 1350003-1350003 2013年6月 査読有り
-
20 29-47 2012年3月 査読有り
-
PROCEEDINGS OF THE 11TH ASIAN LOGIC CONFERENCE: IN HONOR OF PROFESSOR CHONG CHITAT ON HIS 60TH BIRTHDAY 1-21 2012年
-
Annals of Pure and Applied Logic 162(10) 807-815 2011年10月 査読有り
-
Archive for Mathematical Logic 50(3-4) 395-409 2011年5月 査読有り
書籍等出版物
10-
東京図書 2016年 (ISBN: 9784489022494)
-
岩波書店 2016年 (ISBN: 9784007304590)
-
日本評論社 2015年3月
-
World Scientific 2012年 (ISBN: 9789814360531)
-
岩波書店 2011年5月19日 (ISBN: 4000055364) -
岩波書店 2011年 (ISBN: 9784000055369)
-
World Scientific 2010年 (ISBN: 9789814293013)
-
東京図書 2009年10月7日 (ISBN: 4489020546) -
東京図書 2009年 (ISBN: 9784489020544)
MISC
7-
72023年11月21日 -
15 -
32023年4月1日 -
2018年8月14日
-
2015年8月6日
-
CoRR abs/1312.3059 2013年12月11日
講演・口頭発表等
21-
A Proof Theory Workshop 2010年3月 招待有り
-
A Proof Theory Workshop 2010年3月 招待有り
-
神奈川大学 2010年2月 招待有り
-
Leeds Symposium on Proof Theory and Constructivism 2009年7月 招待有り
-
Eleventh Asian Logic Conference 2009年6月 招待有り
-
International Workshop on Constructivism, Logic and Mathematics 2008年 招待有り
-
Logic Methodology, Philosophy of Science 2007年 招待有り
-
科学基礎論学会秋の研究例会 2006年 招待有り
-
Berkeley Logic Colloquium 2006年 招待有り
-
Asian Mathematical Congress 2005年 招待有り
-
ASL Annual meeting 2005年 招待有り
-
日本数学会総合講演 2004年9月 招待有り
-
Workshop on Proof Theory 2003年 招待有り
-
日本数学会企画特別講演 2002年9月 招待有り
-
Colloquium Logicum 2002 2002年 招待有り
-
Logic Colloquium '01 2001年 招待有り
-
Annual Meeting of the Association for Symbolic Logic 2000年 招待有り
-
Logic Colloquium '97 1997年 招待有り
-
Workshop on Proof Theory, Ordinal Analysis and their Applications 1997年 招待有り
-
日本数学会数学基礎論分科会特別講演 1990年9月 招待有り
共同研究・競争的資金等の研究課題
10-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2019年4月 - 2023年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2013年4月 - 2018年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2008年 - 2012年
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 2007年 - 2011年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2005年 - 2008年
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 1997年 - 1998年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 1996年 - 1996年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 1996年 - 1996年
-
日本学術振興会 科学研究費助成事業 奨励研究(A) 1994年 - 1994年
-
日本学術振興会 科学研究費助成事業 奨励研究(A) 1991年 - 1991年