KUMABE Masahiro 隈部正博

… Alternative Names

Researcher Number	70255173
Other IDs
Affiliation (Current)	2021: 放送大学, 教養学部, 教授
Affiliation (based on the past Project Information) *help	2016 – 2019: 放送大学, 教養学部, 教授 2012 – 2014: 放送大学, 教養学部, 教授 2010 – 2011: 放送大学, 教養学部, 准教授 2007: The Open University of Japan, Faculty of Liberal Arts, Associate professor 2007: 放送大学, 教養学部, 准教授 2005 – 2006: 放送大学, 教養学部, 助教授
Review Section/Research Field	Except Principal Investigator General mathematics (including Probability theory/Statistical mathematics) / Foundations of mathematics/Applied mathematics
Keywords	Except Principal Investigator 数学基礎論 / 計算可能性理論 / 数理論理学 / ゲーム理論 / 人工知能 / 命題論理 / 最適化問題 / ミニマックス定理 / アルゴリズム / 応用数学 … More

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 2017 2015 2014 2013 2011 2010 2008 2007 2006 2005

All Journal Article Presentation

[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: -
- 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 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] 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] 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
  
  Surikaisekikenkyusho-kokyuroku 1533
  
  Pages: 9-14
- Description
  「研究成果報告書概要(欧文)」より
- 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
  
  京都大学数理解析研究所講究録 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
  
  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
- 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 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] 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] 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)
  鈴木登志雄(隈部正博、山崎武と連名)
- Organizer
  2006年度日本数学会秋季総合分科会
- Place of Presentation
  大阪市立大学
- 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)
  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 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: 4 results

# of Collaborated Products: 21 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. TANAKA Kazuyuki (70188291)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

KUMABE Masahiro 隈部 正博

隈部 正博 クマベ マサヒロ

Research Projects

Research Products

Co-Researchers

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] 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 oracle?2008

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] Truth-table reductions and minimum sizes of forcing conditions (preliminary draft)2007

Author(s)

Journal Title

Data Source

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

Author(s)

Journal Title

Description

Data Source

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

Author(s)

Journal Title

Description

Data Source

[Journal Article] Logarithmic truth-table reductions and minimum sizes of forcing conditions2005

Author(s)

Journal Title

Data Source

[Journal Article] Logarithmic truth-table reductions and minimum sizes of forcing conditions2005

Author(s)

Journal Title

Description

KUMABE Masahiro 隈部正博

隈部正博クマベマサヒロ