鈴木 信行
スズキ ノブユキ (Nobu-Yuki Suzuki)
更新日: 2023/12/08
基本情報
経歴
6-
1997年4月 - 2004年3月
-
1997年4月 - 2004年3月
-
1992年4月 - 1997年3月
-
1992年4月 - 1997年3月
-
1989年8月 - 1992年3月
-
1989年8月 - 1992年3月
学歴
4-
- 1989年
-
- 1989年
-
- 1985年
-
- 1985年
委員歴
6-
2007年2月 - 現在
-
2021年3月 - 2022年2月
-
2019年3月 - 2020年2月
-
2018年3月 - 2019年2月
-
2018年3月 - 2019年2月
-
2006年2月 - 2007年2月
論文
17-
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics} (Outstanding Contributuions to Logic 24) 24 221-244 2022年11月 査読有り
-
Hiroakira Ono on Substructural Logics, Outstanding Contributions to Logic 23 319-337 2022年1月 査読有り
-
Review of Symbolic Logic 1-35 2019年2月 査読有り
-
Bulletin of the Section of Logic 46(1-2) 93-109 2017年 査読有り
-
Economic Theory 53(1) 85-110 2013年1月 査読有り
-
BULLETIN OF THE CHEMICAL SOCIETY OF JAPAN 85(4) 475-480 2012年4月 査読有り
-
LECTURE NOTES IN COMPUTER SCIENCE 6953 139-150 2011年1月 査読有り
-
Proceedings of the Sixth International Workshop of Logic and Engineering of Natural Language Semantics (LENLS) 201-220 2009年1月 査読有り
-
ACM Transactions on Computational Logic (TOCL) 4 260 2003年1月 査読有り
-
Journal of Symbolic Logic 68(1) 163-186 2003年 査読有り
-
Studia Logica 73 113-130 2003年1月 査読有り
-
Advances in Modal Logic Volume 3 279 2002年1月 査読有り
-
Studia Logica 71(1) 57-86/ 2002年1月 査読有り
-
Economic Theory 19(1) 63-103./ 2002年1月 査読有り
-
Algebra Universalis 47(3) 223-237 2002年1月 査読有り
-
Journal of Applied Non-Classical Logics 12(3-4) 425-439 2002年 査読有り
-
Studia Logica 54 173-198 1995年1月 査読有り
MISC
18-
京都大学数理解析研究所講究録 2228 88-98 2022年8月
-
京都大学数理解析研究所講究録 2150 2020年2月
-
Lecture Notes in Artificial Intelligence 1919 37-56 2000年1月
-
Studia Logica 63(3) 387-416 1999年
-
Bulletin of the Section of Logic 28 107-115 1999年1月
-
Studia Logica 59(2) 249-269 1997年
-
Bulletin of the Section of Logic 25(1) 21-28 1996年1月
-
Information Sciences 92(1-4) 197-210 1996年
-
Studia Logica 52(1) 73-94 1993年1月
-
Information Sciences 73(1-2) 41-55 1993年
-
Bulletin of the Section of Logic 22(3) 106-112 1993年1月
-
Studia Logica 49(3) 289-306 1990年1月
-
Notre Dame Journal of Formal Logic 31(4) 548-559 1990年
-
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK 36(4) 365-366 1990年
-
Bulletin of Section of Logic, Polish Academy of Sciences 18(2) 63-71 1989年1月
-
Studia Logics 48(2) 1989年1月
-
Reports on Mathematical Logic (22) 65-87 1988年1月
-
Reports on Mathematical Logic (21) 85-95 1987年1月
書籍等出版物
2-
NTT出版 2013年8月
-
King's College Publications 2003年7月
講演・口頭発表等
79-
Tokyo model theory seminar 2023年11月29日 招待有り
-
日本数学会 2023年度秋季総合分科会(数学基礎論分科会) 2023年9月22日
-
Workshop on Foundations of Game Theory: Logic, Bounded Rationality, and Decisions 2022年11月28日 招待有り
-
日本数学会 2022年度秋季総合分科会(数学基礎論分科会) 2022年9月16日
-
第56回MLG 数理論理学研究集会 2022年3月
-
京都大学数理解析研究所 研究集会「証明と計算の理論と応用」 2021年12月21日
-
日本数学会 2020年度秋季総合分科会(数学基礎論分科会)特別講演 2020年9月25日 招待有り
-
Colloquium at Departments of Philosophy I and II of Ruhr University Bochum 2020年1月23日 招待有り
-
京都大学数理解析研究所 研究集会「証明論その周辺」 2019年12月25日
-
第54回MLG 数理論理学研究集会 2019年12月15日
-
日本数学会 2019年度秋季総合分科会(数学基礎論分科会) 2019年9月20日
-
日本数学会 2019年度年会(数学基礎論分科会) 2019年3月17日
-
第53回MLG 数理論理学研究集会 2018年11月30日
-
SAML 2018Symposium on Advances in Mathematical Logic 2018 (Takeuti Memorial Symposium) 2018年9月19日
-
日本数学会2018 年度秋季総合分科会 2018年9月
-
日本数学会 2018年度年会(数学基礎論分科会) 2018年3月
-
Second Workshop on Mathematical Logic and its Applications 2018年3月
-
第5 回山陰基礎論・解析学研究集会 2018年1月
-
第52回MLG 数理論理学研究集会 2017年12月
-
第52回MLG 数理論理学研究集会 2017年12月
担当経験のある科目(授業)
33所属学協会
1共同研究・競争的資金等の研究課題
15-
基盤研究(C) 基盤研究(C) 2016年1月 - 2021年3月
-
基盤研究(C) 基盤研究(C) 2020年4月
-
基盤研究(C) 2016年1月 - 2020年3月
-
基盤研究(C) 2015年4月 - 2017年3月
-
基盤研究(C) 基盤研究(C) 2013年4月 - 2017年3月
-
基盤研究(C) 2012年4月
-
基盤研究(C) 基盤研究(C) 2012年4月
-
基盤研究(C) 基盤研究(C) 2008年4月
-
基盤研究(C) 基盤研究(C) 2007年4月
-
基盤研究(B) 基盤研究(B) 2006年4月
-
基盤研究(B) 基盤研究(B) 2005年4月
-
基盤研究(B) 基盤研究(B) 2004年4月
-
基盤研究(C) 基盤研究(C) 2003年4月
-
基盤研究(C) 2001年4月
-
基盤研究(C) 基盤研究(C) 2001年4月