Rchr
J-GLOBAL ID：200901065599244185
Update date: Feb. 14, 2024
Kuroda Satoru
クロダ サトル | Kuroda Satoru
Affiliation and department：
Job title：
Associate Professor
Homepage URL (1)：
http://www.gpwu.ac.jp/~satoru
Research field (3)：
Applied mathematics and statistics
, Basic mathematics
, Information theory
Research keywords (3)：
計算量
, 数理論理学
, bounded arithmetic
Research theme for competitive and other funds (3)：
- 算術体系に関する研究とその計算量理論への応用
- 限定算術と計算量理論
- Bounded Arithmetic and its Relation to Computational Complexity
Papers (6)：
MISC (2)：
-
Counting Small Sets in Weak Bounded Arithmetic. Publications of RIMS. 1997. 976
-
Forcing on a Noustandard Model of Arithmetic. Publications of RIMS. 1995. 912
Books (1)：
-
数学の基礎をめぐる論争
シュプリンガー・フェアラーク東京 1999
Education (3)：
- - 1997 Nagoya University
- - 1997 Nagoya University Graduate School, Division of Human Informatics
- - 1985 愛知県立昭和高等学校
Professional career (1)：
Work history (3)：
- 2000/04 - 現在 Gunma Prefectural Women's University
- 2000/04 - Gunma Prefectural Women's University
- 1997 - 2000 Toyota National College of Technology
Association Membership(s) (2)：
Association for Symbolic Logic
, 日本数学会
