教員一覧(黒田 覚)２０２４年４月１日時点
| 氏名 | 黒田覚 KURODA Satoru |
|---|---|
| 所属 | 文学部文化情報学科／総合教養学科 |
| 職 | 教授 |
| 主な学歴 | 平成4年4月 | 早稲田大学理工学部数学科退学 |
|---|---|---|
| 平成6年3月 | 名古屋大学大学院人間情報学研究科物質?生命情報学専攻修士課程修了 | |
| 平成9年3月 | 名古屋大学大学院人間情報学研究科物質?生命情報学専攻博士課程修了 | |
| 学位 | 平成17年 | 学術博士（名古屋大学） |
| 主な職歴 | 平成9年4月 | 豊田工業高等専門学校専任講師 |
| 平成12年4月 | 沙巴体育専任講師 | |
| 平成14年4月 | 沙巴体育助教授 | |
| 社会活動 | 平成18年4月～平成20年3月 | 日本数学会数学基礎論および歴史分科会運営委員 |
| 2017年3月?2019年2月 | 日本数学会数学基礎論および歴史分科会評議員 |
| 専門分野 | 数理論理学 |
|---|---|
| 担当科目 | 数学，情報処理1，情報の数学，情報３，情報４ |
| 研究課題 | 限定算術の理論およびその計算量理論への応用 |
| 所属学会 | 日本数学会，Association for Symbolic Logic |
| 論文 | 単著 |
Linear algebra in bounded arithmetic |
数理解析研究所講究録 2228, pp.78-87. | 2022 |
|---|---|---|---|---|
| 単著 |
Takeuti-Yasumoto Forcing Revisited |
Computability Theory and Foundations of Mathematics, Proceedings of the 9th International Conference on Computability Theory and Foundations of Mathematics, Wuhan China, World Scientific, pp. 123-155 | 2022 | |
| 単著 | Sprague-Grundy theory in bounded arithmetic | Archive for Mathematical Logic volume 61, pp.233-262 | 2022 | |
| 単著 | Forcing on Bounded Arithmetic for three sort and related theories | 数理解析研究所講究録 2150, pp.41-55. | 2020 | |
| 単著 | Axiomatizing proof tree concepts in bounded arithmetic. | Proceedings of Computer Science Logic 2012, Leibniz International Proceedings in Informatics pp.459-473 | 2012 | |
| 単著 | Recent topics on bounded arithmetic and complexity theory. | Sugaku Exposition 24 No.1, American Mathematical Society, pp.73-91. | 2011 | |
| 単著 | Lindstrom quantifier and bounded arithmetic for LOGCFL, | 数理解析研究所講究録 1729, pp.67-83. | 2011 | |
| 単著 | Complete Problems and Bounded Arithmetic for LOGCFL | Proceedings of "Logical Approaches to Barriers in Computing and Complexity", Ernst-Moritz-Arndt--Universitat Greifswald, pp.71-74 | 2010 | |
| 単著 | 限定算術と計算量理論の最近の話題 | 日本数学会『数学』,60巻,第2号,pp.113-131, | 2008 | |
| 単著 | Characterizations and problems on LOGCFL | 数理解析研究所講究録,1533,pp.24-38 | 2007 | |
| 単著 | Generalized Quantifier and a Bounded Arithmetic theory for LOGCFL | Archive for Mathematical Logic,46(5-6),pp489-516 | 2007 | |
| 単著 | Weak bounded arithmetic and Boolean circuit complexity | 博士学位論文，名古屋大学大学院人間情報学研究科 | 2005 | |
| 単著 | Logical characterizations of LOGSPACE | 数理解析研究所講究録，1442, pp.68-76 | 2005 | |
| 単著 | Recursion schemata for slowly growing depth circuit classes | Computational Complexity, 13, pp.69-89. | 2004 | |
| 単著 | An independence result for weak second order bounded arithmetic | Mathematical Logic Quarterly,47,pp.183--186 | 2001 | |
| 単著 | Models of bounded arithmetic | 数理解析研究所講究録,1217,pp.45-60 | 2001 | |
| 単著 | Complexity theory and bounded arithmetic for truly feasible computation | 数理解析研究所講究録,1096,pp.35-50 | 1999 | |
| 単著 | On a theory for AC^0 and the strength of the induction scheme | Mathematical Logic Quarterly,44 pp.417-426, | 1998 | |
| 単著 | Forcing on a nonstandard model of arithmetic | 数理解析研究所講究録, 912, pp.47-56 | 1994 | |
| 訳書 | 共訳 | 「数学の基礎についての論考 － 確かさを求めて」 | 培風館 | 2007 |
| 共訳 | 「数学の基礎をめぐる論争」 | シュプリンガー?フェアラーク東京 | 1999 | |
| 書評 | 単著 | ジョン?スティルウェル 著，田中一之 監訳，川辺治之 訳：逆数学―定理から公理を「証明」する― | 数学通信，24(3)，pp. 88-92，日本数学会， | 2019 |
| その他 | 共編 |
Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions (Springer Proceedings in Mathematics & Statistics, 369) |
Springer | 2022 |
| 単著 |
「限定逆数学」 |
数学セミナー，2021年2月号，pp.20-23 | 2021 |
