黒田覚

クロダサトル | Kuroda Satoru

所属機関・部署：
職名：助教授,准教授
ホームページURL (1件)： http://www.gpwu.ac.jp/~satoru

研究分野 (3件)：応用数学、統計数学 , 数学基礎 , 情報学基礎論

研究キーワード (3件)：計算量 , 数理論理学 , bounded arithmetic

競争的資金等の研究課題 (3件)：

論文 (6件)：

KURODA Satoru. Axiomatizing proof tree concepts in bounded arithmetic. Proceedings of Computer Science Logic 2012, Leibniz International Proceedings in Informatics. 2012. 459-473
KURODA Satoru. Complete Problems and Bounded Arithmetic for LOGCFL. Proceedings of "Logical Approaches to Barriers in Computing and Complexity", Ernst-Moritz-Arndt--Universitat Greifswald. 2010. 71-74
Satoru Kuroda. Generalized quantifier and a bounded arithmetic theory for LOGCFL. ARCHIVE FOR MATHEMATICAL LOGIC. 2007. 46. 5-6. 489-516
S Kuroda. Recursion schemata for slowly growing depth circuit classes. COMPUTATIONAL COMPLEXITY. 2004. 13. 1-2. 69-89
KURODA Satoru. An independence result for weak second order bounded arithmetic. Mathematical Logic Quarterly. 2001. 47. 183-186

MISC (2件)：

書籍 (1件)：

学歴 (3件)：

学位 (1件)：

経歴 (3件)：

所属学会 (2件)：

Association for Symbolic Logic , 日本数学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

黒田 覚