Rchr
J-GLOBAL ID:201701000315581100   Update date: May. 23, 2024

Kumabe Masahiro

クマベ マサヒロ | Kumabe Masahiro
Affiliation and department:
Research field  (1): Basic mathematics
Research theme for competitive and other funds  (5):
  • 2021 - 2025 From algorithmic randomness to continuous real functions and real closed fields
  • 2016 - 2020 ブール値探索コストの条件付き極値問題:資本対リスク比による手法の展開
  • 2010 - 2015 ゲーム木における固有分布一意性の破れ:計算資源限定マルチンゲールによる研究
  • 2007 - 2011 超準解析と計算可能性理論の融合
  • 2005 - 2007 Sizes of Cohen-type forcing condition : Application to randomness and computational complexity
Papers (19):
more...
MISC (4):
  • 隈部 正博. Gnericな集合のチューリング次数について. 数理解析研究所講究録. 2017. 2050
  • Kumabe Masahiro, Suzuki Toshio, Yamazaki Takeshi. Truth-table reductions and minimum sizes of forcing conditions : preliminary draft(Proof Theory of Arithmetic). RIMS Kokyuroku. 2007. 1533. 8-14
  • Masahiro Kumabe, Toshio Suzuki, Takeshi Yamazaki. Truth-table reductions and minimum sizes of forcing conditions. 数理解析研究所講究録. 2007. 1553. 9--14
  • Kumabe Masahiro, Suzuki Toshio, Yamazaki Takeshi. Logarithmic truth-table reductions and minimum sizes of forcing conditions : preliminary draft (Proof Theory and Computation Theory). RIMS Kokyuroku. 2005. 1442. 42-47
Lectures and oral presentations  (4):
  • Genericな集合のチューリング次数について
    (数学基礎論とその応用 2016)
  • Computable Dowd-type generic oracles
    (The 11th Asian Logic Conference 2009)
  • Weak randomness, genericity and Boolean decision trees
    (The 10th Asian Logic Conference 2008)
  • Fixed point free minimal degrees
    (The 10th Asian Logic Conference 2008)
Professional career (1):
  • Ph.D. (University of Chicago)
Committee career (1):
  • 2011/03 - 2013/03 日本数学会評議委員
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page