KUMABE Masahiro 隈部正博

… Alternative Names

隈部正博クマベマサヒロ

Less

Researcher Number	70255173
Other IDs
Affiliation (Current)	2025: 放送大学, 教養学部, 教授
Affiliation (based on the past Project Information) *help	2025: 放送大学, 教養学部, 教授 2021 – 2023: 放送大学, 教養学部, 教授 2016 – 2019: 放送大学, 教養学部, 教授 2012 – 2014: 放送大学, 教養学部, 教授 2010 – 2011: 放送大学, 教養学部, 准教授 … More 2007: The Open University of Japan, Faculty of Liberal Arts, Associate professor 2007: 放送大学, 教養学部, 准教授 2005 – 2006: 放送大学, 教養学部, 助教授 Less
Review Section/Research Field	Except Principal Investigator General mathematics (including Probability theory/Statistical mathematics) / Basic Section 12030:Basic mathematics-related / Foundations of mathematics/Applied mathematics
Keywords	Except Principal Investigator 数学基礎論 / 計算可能解析 / アルゴリズム的ランダム性 / 情報基礎 / 応用数学 / アルゴリズム / ミニマックス定理 / 最適化問題 / 命題論理 / 人工知能 … More / ゲーム理論 / 数理論理学 / 計算可能性理論 / ソロベイ還元 / バナッハ空間 / リプシッツ連続関数 / ゲージ積分 / ハウスドルフ次元 / 実閉体 / random number / randomness / algorithm / foundation of computer sciences / mathematical logic / 乱数 / ランダム / 計算量理論 / 2階算術 / 逆数学 / ロジック / ランダム性 / 超準解析 Less

Solovay reducibility in Banach space
- Principal Investigator
  
  鈴木登志雄
- Project Period (FY)
  2025 – 2028
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Tokyo Metropolitan University
From algorithmic randomness to continuous real functions and real closed fields
- Principal Investigator
  
  鈴木登志雄
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Tokyo Metropolitan University
Constrained extremal problems on the search cost of Boolean values: Developing a method based on the capital-risk ratio
- Principal Investigator
  
  SUZUKI Toshio
- Project Period (FY)
  2016 – 2019
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Tokyo Metropolitan University
Game trees without a unique equilibrium distribution: A research by resource-bounded martingales
- Principal Investigator
  
  SUZUKI Toshio
- Project Period (FY)
  2010 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Tokyo Metropolitan University
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
Sizes of Cohen-type forcing condition : Application to randomness and computational complexity
- Principal Investigator
  
  SUZUKI Toshio
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Tokyo Metropolitan University
  Osaka Prefecture University

All 2022 2017 2015 2014 2013 2011 2010 2008 2007 2006 2005

All Journal Article Presentation

[Journal Article] Rational sequences converging to left-c.e. reals of positive effective Hausdorff dimension2022
- Author(s)
  Hiroyuki Imai, Masahiro Kumabe, Kenshi Miyabe, Yuki Mizusawa and Toshio Suzuki
- Journal Title
  
  Computability Theory and Foundations of Mathematics
  
  Volume: - Pages: 97-121
- DOI
  10.1142/9789811259296_0005
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21K03340, KAKENHI-PROJECT-22K03408, KAKENHI-PROJECT-21K18585
[Journal Article] Gnericな集合のチューリング次数について2017
- Author(s)
  隈部正博
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 2050
- Open Access
- Data Source
  KAKENHI-PROJECT-16K05255
[Journal Article] Resource-bounded martingales and computable Dowd-type generic sets2015
- Author(s)
  Masahiro Kumabe, Toshio Suzuki
- Journal Title
  
  Information and Computation
  
  Volume: - Pages: 227-248
- DOI
  10.1016/j.ic.2015.03.004
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-22540146
[Journal Article] Resource-bounded randomness and computable Dowd-type generic sets2013
- Author(s)
  Toshio Suzuki (with M. Kumabe)
- Journal Title
  
  The Bulletin of Symbolic Logic
  
  Volume: 19
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22540146
[Journal Article] Computable Dowd-type generic oracles2011
- Author(s)
  Masahiro Kumabe, Toshio Suzuki
- Journal Title
  
  Proceedings of the 11th Asian Logic Conference
  
  Pages: 128-146
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22540146
[Journal Article] Computable Dowd-type generic oracle (abstract)2010
- Author(s)
  Kumabe, M., Suzuki, T.
- Journal Title
  
  Bulletin of Symbolic Logic
  
  Volume: 16 Pages: 295-296
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22540146
[Journal Article] Does truth-table of linear norm reduce the one-query tautologies to a random oracle2008
- Author(s)
  M. Kumabe, T. Suzuki and T. Yamazaki
- Journal Title
  
  Archive for Mathematical Logic
  
  Volume: 47 Pages: 159-180
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19340019
[Journal Article] Does truth-table of linear norm reduce the one-query tautologies to a random oracle?2008
- Author(s)
  M. Kumabe, T. Suzuki, T. Yamazaki
- Journal Title
  
  Archive for Mathematical Logic 47
  
  Pages: 159-180
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19340019
[Journal Article] Truth-table reductions and minimum sizes of forcing conditions2007
- Author(s)
  M. Kumabe, (T. Suzuki, T. Yamazaki)
- Journal Title
  
  Surikaisekikenkyusho-kokyuroku 1533
  
  Pages: 9-14
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540131
[Journal Article] Truth-table reductions and minimum sizes of forcing conditions (preliminary draft)2007
- Author(s)
  M.Kumabe, T.Suzuki, T.Yamazaki
- Journal Title
  
  数理解析研究所講究録 1533
  
  Pages: 9-14
- Data Source
  KAKENHI-PROJECT-17540131
[Journal Article] Truth-table reductions and minimum sizes of forcing conditions2007
- Author(s)
  M.Kumabe(T Suzuki、T.Yamazakiと連名)
- Journal Title
  
  京都大学数理解析研究所講究録 1533
  
  Pages: 9-14
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540131
[Journal Article] Logarithmic truth-table reductions and minimum sizes of forcing conditions2005
- Author(s)
  M. Kumabe (T. Suzuki, T. Yamazaki)
- Journal Title
  
  Surikaisekikenkyusho-kokyuroku 1422
  
  Pages: 42-47
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540131
[Journal Article] Logarithmic truth-table reductions and minimum sizes of forcing conditions2005
- Author(s)
  M.Kumabe, T.Suzuki, T.Yamazaki
- Journal Title
  
  京都大学数理解析研究所講究録 1442
  
  Pages: 42-47
- Data Source
  KAKENHI-PROJECT-17540131
[Journal Article] Logarithmic truth-table reductions and minimum sizes of forcing conditions2005
- Author(s)
  M.Kumabe(T Suzuki、T.Yamazakiと連名)
- Journal Title
  
  京都大学数理解析研究所講究録 1442
  
  Pages: 42-47
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540131
[Presentation] ジェネリック次数2017
- Author(s)
  隈部正博
- Organizer
  数学基礎論サマースクール2017（明治大学駿河台キャンパス）
- Data Source
  KAKENHI-PROJECT-16K05255
[Presentation] Resource-bounded forcing theorem and randomness2014
- Author(s)
  Toshio Suzuki (with M. Kumabe)
- Organizer
  Computability Theory and Foundations of Mathematics 2014 (CTFM2014)
- Place of Presentation
  東京工業大学大岡山キャンパス
- Data Source
  KAKENHI-PROJECT-22540146
[Presentation] Forcing complexity2013
- Author(s)
  Toshio Suzuki (with M. Kumabe)
- Organizer
  ELC Workshop on Randomness and Probability Through Computability (RPTC2013)
- Place of Presentation
  東京大学本郷キャンパス
- Data Source
  KAKENHI-PROJECT-22540146
[Presentation] Resource-bounded randomness and computable Dowd-type generic sets2011
- Author(s)
  Masahiro Kumabe, Toshio Suzuki
- Organizer
  The 12th Asian Logic Conference (ALC12)
- Place of Presentation
  Victoria University of Wellington, New Zealand
- Year and Date
  2011-12-17
- Data Source
  KAKENHI-PROJECT-22540146
[Presentation] Resource-bounded martingales and Dowd-type generic oracles2011
- Author(s)
  Masahiro Kumabe, Toshio Suzuki
- Organizer
  Workshop on Proof Theory and Theory of Computing 2011
- Place of Presentation
  首都大学東京国際交流会館
- Year and Date
  2011-09-12
- Data Source
  KAKENHI-PROJECT-22540146
[Presentation] Computable Dowd-type generic oracles2010
- Author(s)
  Suzuki, T., Kumabe, M.
- Organizer
  日本数学会 2010年度秋季総合分科会
- Place of Presentation
  名古屋大学(名古屋市)
- Year and Date
  2010-09-22
- Data Source
  KAKENHI-PROJECT-22540146
[Presentation] Truth-table reduction and minimum sizes of forcing conditions2006
- Author(s)
  Toshio, Suzuki (M. Kumabe, T. Yamazaki)
- Organizer
  Mathematical Society of Japan
- Place of Presentation
  Osaka City University
- Year and Date
  2006-09-22
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540131
[Presentation] Truth-table reduction and minimum sizes of forcing conditions2006
- Author(s)
  Toshio, Suzuki (M. Kumabe, T. Yamazaki)
- Organizer
  Proof theory of arithmetic
- Place of Presentation
  Research Institute of Mathematical Sciences, Kyoto University
- Year and Date
  2006-08-23
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540131
[Presentation] Truth-table reduction and minimum sizes of forcing conditions2006
- Author(s)
  鈴木登志雄(隈部正博、山崎武と連名)
- Organizer
  2006年度日本数学会秋季総合分科会
- Place of Presentation
  大阪市立大学
- Year and Date
  2006-09-22
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540131
[Presentation] Truth-table reductions and minimum sizes of forcing conditions2006
- Author(s)
  鈴木登志雄(隈部正博、山崎武と連名)
- Organizer
  算術体系の証明論
- Place of Presentation
  京都大学数理解析研究所
- Year and Date
  2006-08-23
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540131

1. SUZUKI Toshio (30235973)

# of Collaborated Projects: 6 results

# of Collaborated Products: 22 results
2. HATTORI Tetsuya (10180902)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
3. OZAWA Masanao (40126313)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. KURODA Satoru (30300586)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. 宮部賢志 (00583866)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
6. TANAKA Kazuyuki (70188291)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. YAMAZAKI Takeshi (30336812)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
8. KASHIMA Ryo (10240756)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. 吉冨和志 (40304729)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

KUMABE Masahiro 隈部 正博

隈部 正博 クマベ マサヒロ

Research Projects

Research Products

Co-Researchers

Solovay reducibility in Banach space

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

From algorithmic randomness to continuous real functions and real closed fields

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Constrained extremal problems on the search cost of Boolean values: Developing a method based on the capital-risk ratio

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Game trees without a unique equilibrium distribution: A research by resource-bounded martingales

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Marriage of non-standard analysis and computability theory toward the light of algorithmic randomness

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Sizes of Cohen-type forcing condition : Application to randomness and computational complexity

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Rational sequences converging to left-c.e. reals of positive effective Hausdorff dimension2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Gnericな集合のチューリング次数について2017

Author(s)

Journal Title

Data Source

[Journal Article] Resource-bounded martingales and computable Dowd-type generic sets2015

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Resource-bounded randomness and computable Dowd-type generic sets2013

Author(s)

Journal Title

Data Source

[Journal Article] Computable Dowd-type generic oracles2011

Author(s)

Journal Title

Data Source

[Journal Article] Computable Dowd-type generic oracle (abstract)2010

Author(s)

Journal Title

Data Source

[Journal Article] Does truth-table of linear norm reduce the one-query tautologies to a random oracle2008

Author(s)

Journal Title

Data Source

[Journal Article] Does truth-table of linear norm reduce the one-query tautologies to a random oracle?2008

Author(s)

Journal Title

Data Source

[Journal Article] Truth-table reductions and minimum sizes of forcing conditions2007

Author(s)

Journal Title

Description

Data Source

KUMABE Masahiro 隈部正博

隈部正博クマベマサヒロ