鈴木 登志雄
スズキ トシオ (Toshio SUZUKI)
更新日: 04/14
基本情報
- 所属
- 東京都立大学 理学研究科 数理科学専攻 准教授
- 学位
-
理学修士(筑波大学)博士(理学)(筑波大学)
- J-GLOBAL ID
- 200901042226646798
- researchmap会員ID
- 1000057137
- 外部リンク
研究キーワード
5経歴
3-
2006年4月 - 現在
-
1999年10月 - 2006年3月
-
1991年4月 - 1999年9月
学歴
2-
- 1991年
-
- 1989年
委員歴
5-
2018年4月 - 2021年3月
-
2015年3月 - 2017年2月
-
2012年4月 - 2016年3月
-
2011年4月 - 2013年6月
-
2004年10月 - 2007年9月
受賞
2主要な論文
29-
Computability Theory and Foundations of Mathematics Proceedings of the 9th International Conference on Computability Theory and Foundations of Mathematics 97-121 2022年6月 査読有り責任著者
-
Journal of Logic and Analysis 12(2) 1-22 2020年12月 査読有り
-
Discrete Applied Mathematics 285 274-282 2020年10月 査読有り責任著者
-
Information Processing Letters 139 13-17 2018年11月 査読有り筆頭著者最終著者責任著者
-
Annals of Pure and Applied Logic 166(11) 1150-1164 2015年11月1日 査読有り責任著者
-
Information and Computation 242 227-248 2015年6月3日 査読有り責任著者
MISC
25-
数学セミナー 61(12) 30-32 2022年12月 招待有り
-
数理解析研究所講究録 2228 148-167 2022年8月 最終著者
-
東京都立大学教職課程紀要 5 59-68 2021年3月
-
数学セミナー増刊『数学好きな人のためのブックガイド』 36-41 2020年4月 招待有り責任著者
-
数学セミナー増刊 「大学数学の質問箱」 98-102 2019年6月 招待有り
-
数理解析研究所講究録 2083 8-25 2018年8月
-
数学セミナー増刊「数学ガイダンス２０１８」 91-95 2018年3月 招待有り
-
数学セミナー増刊「数学ガイダンス２０１８」 25-29 2018年3月 招待有り
-
数学セミナー 56(8) 24-27 2017年7月 招待有り
-
数学セミナー増刊「数学ガイダンス２０１７」 132-136 2017年3月 招待有り
-
数学セミナー増刊「数学ガイダンス２０１６」 99-103 2016年3月 招待有り
-
数理解析研究所講究録 1950 34-39 2015年6月
-
数学セミナー 54(4) 23-27 2015年3月 招待有り
-
数学通信 18(4) 106-108 2014年2月 招待有り
-
数理解析研究所講究録 1832 2013年4月
-
数学セミナー 51(6) 8-12 2012年5月 招待有り
-
数学セミナー 50(6) 22-25 2011年5月 招待有り
-
数理解析研究所講究録 1729 111-116 2011年2月
-
数理解析研究所講究録 1729 95--110-110 2011年
-
数学セミナー 50(2) 22-26 2011年1月 招待有り
書籍等出版物
5-
日本評論社 2021年7月 (ISBN: 9784535789401)
-
森北出版 2016年1月 (ISBN: 9784627061910)
-
培風館 2009年2月 (ISBN: 9784563003838)
-
東京大学出版会 2006年7月 (ISBN: 413064095X)
-
培風館 2003年12月 (ISBN: 4563003379)
講演・口頭発表等
55-
Tokyo model theory seminar (online) 2022年12月7日 招待有り
-
RIMS 共同研究（公開型）「証明と計算の理論と応用」数理解析研究所 2021年12月21日
-
日本数学会2019年度秋季総合分科会 2019年9月19日
-
日本応用数理学会2019年度年会 2019年9月13日
-
日本応用数理学会2019年度年会 2019年9月13日
-
CTFM 2019: The 9th International Conference on Computability Theory and Foundations of Mathematics (Wuhan University of Technology, China) 2019年3月21日
-
日本数学会２０１９年度年会（東京工業大学） 2019年3月18日
-
Sendai Logic School 2018 (SLS 2018, Sendai) 2018年12月9日
-
日本数学会秋季総合分科会（岡山大学） 2018年9月26日
-
Computability Theory and Foundations of Mathematics 2018 (CTFM 2018, Meiji University, Surugadai campus) 2018年9月13日
-
International Workshop on Set Visualization and Reasoning (SetVR 2018) co-located with 10th International Conference on the Theory and Application of Diagrams (Diagrams 2018, Edinburgh Napier Univ., UK) 2018年6月18日
-
日本数学会２０１８年度年会（東京大学） 2018年3月18日
-
The International MultiConference of Engineers and Computer Scientists 2018 (IMECS 2018, Hong Kong) 2018年3月16日
-
Computability Theory and the Foundations of Mathematics 2017 (CTFM 2017, National University of Singapore) 2017年9月11日
-
数学基礎論サマースクール2017（明治大学 駿河台キャンパス） 2017年8月7日
-
日本数学会秋季総合分科会（関西大学） 2016年9月18日
-
日本数学会２０１５年度秋季総合分科会（京都産業大学） 2015年9月16日
-
Computability Theory and Foundations of Mathematics 2015 (CTFM 2015, Tokyo Institute of Technology, Ookayama campus) (東京工業大学) 2015年9月10日 招待有り
-
RIMS研究集会 証明論・計算論とその周辺 2014年12月24日
-
ELC Seminar (Tokyo Institute of Technology, Tamachi campus) 2014年12月4日 招待有り
担当経験のある科目(授業)
13所属学協会
6-
2011年 - 現在
-
2006年 - 現在
-
1999年 - 現在
-
1999年 - 現在
-
1991年 - 現在
共同研究・競争的資金等の研究課題
6-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2021年4月 - 2025年3月
-
科学研究費補助金 2016年10月 - 2020年3月
-
科学研究費補助金 2010年 - 2014年
-
科学研究費補助金 2005年 - 2007年
-
科学研究費補助金 2002年 - 2004年
-
科学研究費補助金 1999年 - 2000年