• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

黒田 覚  Kuroda Satoru

ORCIDORCID連携する *注記
研究者番号 30300586
その他のID
外部サイト
所属 (現在) 2025年度: 群馬県立女子大学, 文学部, 教授
所属 (過去の研究課題情報に基づく) *注記 2025年度: 群馬県立女子大学, 文学部, 教授
2018年度 – 2023年度: 群馬県立女子大学, 文学部, 教授
2014年度: 群馬県立女子大学, 文学部, 准教授
2010年度 – 2012年度: 群馬県立女子大学, 文学部, 准教授
2007年度: 群馬県立女子大学, 文学部, 准教授
2000年度: 群馬県立女子大学, 文学部, 講師
1999年度: 豊田工業高等専門学校, 一般学科, 講師
審査区分/研究分野
研究代表者
小区分12030:数学基礎関連 / 数学一般(含確率論・統計数学)
研究代表者以外
数学一般(含確率論・統計数学) / 科学教育
キーワード
研究代表者
限定算術 / 算術モデル / 組み合わせ論 / 強制法 / 線形代数学 / 証明の複雑さ / 超準モデル / 計算量理論 / ブール値回路 / 組合せ回路 / 計算の複雑さ … もっと見る
研究代表者以外
… もっと見る ランダム性 / 計算可能性理論 / 数学基礎論 / チューリングマシン / アルゴリズム / 科学教育 / 超準モデル / 2階算術 / 逆数学 / ロジック / 超準解析 隠す
  • 研究課題

    (6件)
  • 研究成果

    (6件)
  • 共同研究者

    (11人)
  •  限定算術における独立命題についての研究研究代表者

    • 研究代表者
      黒田 覚
    • 研究期間 (年度)
      2025 – 2027
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分12030:数学基礎関連
    • 研究機関
      群馬県立女子大学
  •  限定算術における強制法の応用研究代表者

    • 研究代表者
      黒田 覚
    • 研究期間 (年度)
      2018 – 2023
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分12030:数学基礎関連
    • 研究機関
      群馬県立女子大学
  •  ランダム性の計算的諸相と超準的手法によるその構造解析

    • 研究代表者
      田中 一之
    • 研究期間 (年度)
      2011 – 2014
    • 研究種目
      基盤研究(B)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      東北大学
  •  数学におけるアルゴリズム理解のための直観的入力手法による支援システム開発

    • 研究代表者
      安野 史子
    • 研究期間 (年度)
      2011 – 2012
    • 研究種目
      挑戦的萌芽研究
    • 研究分野
      科学教育
    • 研究機関
      国立教育政策研究所
  •  超準解析と計算可能性理論の融合-ランダム性へのロジカル・アプローチ-

    • 研究代表者
      田中 一之
    • 研究期間 (年度)
      2007 – 2010
    • 研究種目
      基盤研究(B)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      東北大学
  •  Feasibleな計算量クラスの数理論理学的手法による研究研究代表者

    • 研究代表者
      黒田 覚
    • 研究期間 (年度)
      1999 – 2000
    • 研究種目
      奨励研究(A)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      群馬県立女子大学
      豊田工業高等専門学校

すべて 2023 2022 2021 2019

すべて 雑誌論文 学会発表

  • [雑誌論文] Takeuti-Yasumoto Forcing Revisited2022

    • 著者名/発表者名
      Satoru Kuroda
    • 雑誌名

      Proceedings of the 9th International Conference on Computability Theory and Foundations of Mathematics

      巻: 1 ページ: 123-155

    • DOI

      10.1142/9789811259296_0006

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K03400
  • [学会発表] Provability of matrix properties in formal theories of linear algebra2023

    • 著者名/発表者名
      黒田覚
    • 学会等名
      RIMS共同研究(公開型)「証明論と計算論の最前線」
    • データソース
      KAKENHI-PROJECT-18K03400
  • [学会発表] Linera Algebra in Bounded Arithmetic2021

    • 著者名/発表者名
      黒田覚
    • 学会等名
      証明と計算の理論と応用
    • データソース
      KAKENHI-PROJECT-18K03400
  • [学会発表] On Takeuti-Yasumoto forcing2019

    • 著者名/発表者名
      Satoru Kuroda
    • 学会等名
      Logic Colloquium 2019
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K03400
  • [学会発表] Forcing on bounded arithmetic for three sort and related theories2019

    • 著者名/発表者名
      黒田覚
    • 学会等名
      RIMS共同研究「証明論とその周辺」
    • データソース
      KAKENHI-PROJECT-18K03400
  • [学会発表] Forcing in bounded arithmetic for small complexity classes2019

    • 著者名/発表者名
      Satoru Kuroda
    • 学会等名
      Computability Theory and Foundations of Mathematics 2019
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K03400
  • 1.  田中 一之 (70188291)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 2.  山崎 武 (30336812)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 3.  服部 哲哉 (10180902)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 4.  小澤 正直 (40126313)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 5.  鈴木 登志雄 (30235973)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 6.  隈部 正博 (70255173)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 7.  鹿島 亮 (10240756)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 8.  只木 孝太郎 (70407881)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  横山 啓太 (10534430)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 10.  安野 史子 (00370081)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 11.  松原 洋 (30242788)
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi