研究者
J-GLOBAL ID:200901065599244185   更新日: 2020年05月13日

黒田 覚

クロダ サトル | Kuroda Satoru
所属機関・部署:
職名: 助教授,准教授
ホームページURL (1件): http://www.gpwu.ac.jp/~satoru
研究分野 (3件): 応用数学、統計数学 ,  数学基礎 ,  情報学基礎論
研究キーワード (3件): 計算量 ,  数理論理学 ,  bounded arithmetic
競争的資金等の研究課題 (3件):
  • 算術体系に関する研究とその計算量理論への応用
  • 限定算術と計算量理論
  • Bounded Arithmetic and its Relation to Computational Complexity
論文 (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
書籍 (1件):
  • 数学の基礎をめぐる論争
    シュプリンガー・フェアラーク東京 1999
学歴 (3件):
  • - 1997 名古屋大学 物質・生命情報学
  • - 1997 名古屋大学
  • - 1985 愛知県立昭和高等学校
学位 (1件):
  • 博士(学術) (名古屋大学)
経歴 (4件):
  • 2000/04 - 現在 群馬県立女子大学
  • 2000/04 - 群馬県立女子大学
  • 1997 - 2000 豊田工業高等専門学校
  • 1997 - 2000 豊田工業高等専門学校
所属学会 (2件):
Association for Symbolic Logic ,  日本数学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る