「新井敏康」の版間の差分
削除された内容 追加された内容
編集の要約なし タグ: モバイル編集 モバイルウェブ編集 |
Sillycrown (会話 | 投稿記録) |
||
52行目: | 52行目: | ||
* {{Cite book|和書|author=[[新井紀子]] 共著|year=2009|month=10|title=計算とは何か|series=math stories|publisher=東京図書|isbn=978-4-489-02054-4|url=http://www.tokyo-tosho.co.jp/books/ISBN978-4-489-02054-4.html|ref=新井&新井2009}} |
* {{Cite book|和書|author=[[新井紀子]] 共著|year=2009|month=10|title=計算とは何か|series=math stories|publisher=東京図書|isbn=978-4-489-02054-4|url=http://www.tokyo-tosho.co.jp/books/ISBN978-4-489-02054-4.html|ref=新井&新井2009}} |
||
* {{Cite book|和書|date=2011-05-18|title=数学基礎論|publisher=岩波書店|isbn=978-4-00-005536-9|url=http://www.iwanami.co.jp/.BOOKS/00/4/0055360.html|ref=新井2011}}<ref>PDFの正誤表が公開されている。{{Cite web|url=http://researchmap.jp/tosarai/%E8%B3%87%E6%96%99%E5%85%AC%E9%96%8B/|title=「数学基礎論」正誤表|publisher=科学技術振興機構|accessdate=2013-04-26}}</ref> |
* {{Cite book|和書|date=2011-05-18|title=数学基礎論|publisher=岩波書店|isbn=978-4-00-005536-9|url=http://www.iwanami.co.jp/.BOOKS/00/4/0055360.html|ref=新井2011}}<ref>PDFの正誤表が公開されている。{{Cite web|url=http://researchmap.jp/tosarai/%E8%B3%87%E6%96%99%E5%85%AC%E9%96%8B/|title=「数学基礎論」正誤表|publisher=科学技術振興機構|accessdate=2013-04-26}}</ref> |
||
* {{Cite book|洋書|date=2020|title=Ordinal Analysis with an Introduction to Proof Theory|publisher=Springer|isbn=978-981-15-6458-1|url=https://link.springer.com/book/10.1007%2F978-981-15-6459-8|ref=Arai2020}} |
|||
=== 記事 === |
=== 記事 === |
2020年9月27日 (日) 05:48時点における版
新井 敏康 (あらい としやす) | |
---|---|
生誕 | 1958年 |
研究分野 | 数学基礎論[1] |
研究機関 | 名古屋大学、広島大学、神戸大学、千葉大学、東京大学[1] |
出身校 | 筑波大学数学系大学院博士課程修了。[1] |
主な受賞歴 | 日本数学会秋季賞(2004年)[1] |
プロジェクト:人物伝 |
新井 敏康(あらい としやす、1958年 - )は、日本の数学者、論理学者。東京大学大学院数理科学研究科教授。専門は数学基礎論[1]。国立情報学研究所教授の新井紀子は妻[2]。
東京都生まれ。東京大学教養学部基礎科学科卒。筑波大学数学系大学院博士課程修了。理学博士。
略歴
- 1958年(昭和33年)- 東京都生まれ。
- 東京大学教養学部基礎科学科卒。
- 筑波大学数学系大学院博士課程修了。
- 1987年(昭和62年)- 1991年(平成3年) - 名古屋大学理学部数学科助手。
- 1991年(平成3年)- 2001年(平成13年) - 広島大学総合科学部助教授。
- 2001年(平成13年)- 2007年(平成19年) - 神戸大学大学院自然科学研究科教授。
- 2008年(平成20年)- 2009年(平成21年) - 神戸大学大学院工学研究科教授。
- 2009年(平成21年)- 2017年(平成29年) - 千葉大学大学院理学研究科教授。
- 2017年(平成29年)- 2019年(平成31年) - 千葉大学大学院理学研究院教授。
- 2019年(平成31年)- 東京大学大学院数理科学研究科教授。
著作
図書
- 新井紀子 共著『計算とは何か』東京図書〈math stories〉、2009年10月。ISBN 978-4-489-02054-4 。
- 『数学基礎論』岩波書店、2011年5月18日。ISBN 978-4-00-005536-9 。[3]
- Ordinal Analysis with an Introduction to Proof Theory. Springer. (2020). ISBN 978-981-15-6458-1
記事
- 新井敏康「ゲーデルの無矛盾性証明」『現代思想 2007年2月臨時増刊号(総特集 ゲーデル)』第35巻第3号、青土社、2007年3月、82-93頁、ISBN 978-4-7917-1160-4。
脚注
- ^ a b c d e Researchmap
- ^ 国立情報学研究所情報社会相関研究系教授新井紀子氏『HQ』Vol.19
- ^ PDFの正誤表が公開されている。“「数学基礎論」正誤表”. 科学技術振興機構. 2013年4月26日閲覧。