• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Kuroda Satoru  黒田 覚

ORCIDConnect your ORCID iD *help
… Alternative Names

KURODA Satoru  黒田 覚

黒田 覚  クロダ サトル

Less
Researcher Number 30300586
Other IDs
External Links
Affiliation (Current) 2025: 群馬県立女子大学, 文学部, 教授
Affiliation (based on the past Project Information) *help 2025: 群馬県立女子大学, 文学部, 教授
2018 – 2023: 群馬県立女子大学, 文学部, 教授
2014: 群馬県立女子大学, 文学部, 准教授
2010 – 2012: 群馬県立女子大学, 文学部, 准教授
2007: 群馬県立女子大学, 文学部, 准教授
2000: 群馬県立女子大学, 文学部, 講師
1999: 豊田工業高等専門学校, 一般学科, 講師
Review Section/Research Field
Principal Investigator
Basic Section 12030:Basic mathematics-related / General mathematics (including Probability theory/Statistical mathematics)
Except Principal Investigator
General mathematics (including Probability theory/Statistical mathematics) / Science education
Keywords
Principal Investigator
限定算術 / 算術モデル / 組み合わせ論 / 強制法 / 線形代数学 / 証明の複雑さ / 超準モデル / 計算量理論 / ブール値回路 / 組合せ回路 / 計算の複雑さ … More
Except Principal Investigator
… More ランダム性 / 計算可能性理論 / 数学基礎論 / チューリングマシン / アルゴリズム / 科学教育 / 超準モデル / 2階算術 / 逆数学 / ロジック / 超準解析 Less
  • Research Projects

    (6 results)
  • Research Products

    (6 results)
  • Co-Researchers

    (11 People)
  •  限定算術における独立命題についての研究Principal Investigator

    • Principal Investigator
      黒田 覚
    • Project Period (FY)
      2025 – 2027
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 12030:Basic mathematics-related
    • Research Institution
      Gunma Prefectural Women's University
  •  Applications of forcing in bounded arithmeticPrincipal Investigator

    • Principal Investigator
      Kuroda Satoru
    • Project Period (FY)
      2018 – 2023
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 12030:Basic mathematics-related
    • Research Institution
      Gunma Prefectural Women's University
  •  Computational Aspects of Randomness and Their Structural Analysis via Nonstandard Methods

    • Principal Investigator
      TANAKA Kazuyuki
    • Project Period (FY)
      2011 – 2014
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Tohoku University
  •  Development of a learning tool for mathematical algorithms using intuitive input methods

    • Principal Investigator
      YASUNO Fumiko
    • Project Period (FY)
      2011 – 2012
    • Research Category
      Grant-in-Aid for Challenging Exploratory Research
    • Research Field
      Science education
    • Research Institution
      National Institute for Educational Policy Research
  •  Marriage of non-standard analysis and computability theory toward the light of algorithmic randomness

    • Principal Investigator
      TANAKA Kazuyuki
    • Project Period (FY)
      2007 – 2010
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Tohoku University
  •  Feasibleな計算量クラスの数理論理学的手法による研究Principal Investigator

    • Principal Investigator
      黒田 覚
    • Project Period (FY)
      1999 – 2000
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Gunma Prefectural Women's University
      Toyota National College of Technology

All 2023 2022 2021 2019

All Journal Article Presentation

  • [Journal Article] Takeuti-Yasumoto Forcing Revisited2022

    • Author(s)
      Satoru Kuroda
    • Journal Title

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

      Volume: 1 Pages: 123-155

    • DOI

      10.1142/9789811259296_0006

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18K03400
  • [Presentation] Provability of matrix properties in formal theories of linear algebra2023

    • Author(s)
      黒田覚
    • Organizer
      RIMS共同研究(公開型)「証明論と計算論の最前線」
    • Data Source
      KAKENHI-PROJECT-18K03400
  • [Presentation] Linera Algebra in Bounded Arithmetic2021

    • Author(s)
      黒田覚
    • Organizer
      証明と計算の理論と応用
    • Data Source
      KAKENHI-PROJECT-18K03400
  • [Presentation] On Takeuti-Yasumoto forcing2019

    • Author(s)
      Satoru Kuroda
    • Organizer
      Logic Colloquium 2019
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K03400
  • [Presentation] Forcing on bounded arithmetic for three sort and related theories2019

    • Author(s)
      黒田覚
    • Organizer
      RIMS共同研究「証明論とその周辺」
    • Data Source
      KAKENHI-PROJECT-18K03400
  • [Presentation] Forcing in bounded arithmetic for small complexity classes2019

    • Author(s)
      Satoru Kuroda
    • Organizer
      Computability Theory and Foundations of Mathematics 2019
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K03400
  • 1.  TANAKA Kazuyuki (70188291)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 2.  YAMAZAKI Takeshi (30336812)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 3.  HATTORI Tetsuya (10180902)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 4.  OZAWA Masanao (40126313)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 5.  SUZUKI Toshio (30235973)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 6.  KUMABE Masahiro (70255173)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 7.  KASHIMA Ryo (10240756)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 8.  TADAKI Kohtaro (70407881)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 9.  YOKOYAMA Keita (10534430)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 10.  YASUNO Fumiko (00370081)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 11.  MATSUBARA Yo (30242788)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

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?

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi