Rchr
J-GLOBAL ID:200901065599244185   Update date: May. 13, 2020

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):
more...
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
  • - 1985 愛知県立昭和高等学校
Professional career (1):
  • Ph.D (Nagoya University)
Work history (4):
  • 2000/04 - 現在 Gunma Prefectural Women's University
  • 2000/04 - Gunma Prefectural Women's University
  • 1997 - 2000 Toyota National College of Technology
  • 1997 - 2000 Toyota National College of Technology
Association Membership(s) (2):
Association for Symbolic Logic ,  日本数学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page