隈部正博 KUMABE Masahiro

研究者番号	70255173
その他のID
所属 (現在)	2025年度: 放送大学, 教養学部, 教授
所属 (過去の研究課題情報に基づく) *注記	2021年度 – 2023年度: 放送大学, 教養学部, 教授 2016年度 – 2019年度: 放送大学, 教養学部, 教授 2012年度 – 2014年度: 放送大学, 教養学部, 教授 2010年度 – 2011年度: 放送大学, 教養学部, 准教授 2007年度: The Open University of Japan, Faculty of Liberal Arts, Associate professor 2007年度: 放送大学, 教養学部, 准教授 2005年度 – 2006年度: 放送大学, 教養学部, 助教授
審査区分/研究分野	研究代表者以外数学一般(含確率論・統計数学) / 小区分12030:数学基礎関連 / 数学基礎・応用数学
キーワード	研究代表者以外数学基礎論 / 情報基礎 / 応用数学 / アルゴリズム / ミニマックス定理 / 最適化問題 / 命題論理 / 人工知能 / ゲーム理論 / 数理論理学 … もっと見る / 計算可能性理論 / ゲージ積分 / ハウスドルフ次元 / 実閉体 / 計算可能解析 / アルゴリズム的ランダム性 / random number / randomness / algorithm / foundation of computer sciences / mathematical logic / 乱数 / ランダム / 計算量理論 / 2階算術 / 逆数学 / ロジック / ランダム性 / 超準解析隠す

アルゴリズム的ランダム性から連続な実関数と実閉体へ
- 研究代表者
  
  鈴木登志雄
- 研究期間 (年度)
  2021 – 2024
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分12030:数学基礎関連
- 研究機関
  東京都立大学
ブール値探索コストの条件付き極値問題：資本対リスク比による手法の展開
- 研究代表者
  
  鈴木登志雄
- 研究期間 (年度)
  2016 – 2019
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学基礎・応用数学
- 研究機関
  首都大学東京
ゲーム木における固有分布一意性の破れ：計算資源限定マルチンゲールによる研究
- 研究代表者
  
  鈴木登志雄
- 研究期間 (年度)
  2010 – 2014
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  首都大学東京
超準解析と計算可能性理論の融合-ランダム性へのロジカル・アプローチ-
- 研究代表者
  
  田中一之
- 研究期間 (年度)
  2007 – 2010
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  東北大学
コーエン型強制条件のサイズの数理:ランダム性と計算複雑さへの応用
- 研究代表者
  
  鈴木登志雄
- 研究期間 (年度)
  2005 – 2007
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  首都大学東京
   大阪府立大学

すべて 2022 2017 2015 2014 2013 2011 2010 2008 2007 2006 2005

すべて雑誌論文学会発表

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

1. 鈴木登志雄 (30235973)

共同の研究課題数: 5件

共同の研究成果数: 22件
2. 服部哲哉 (10180902)

共同の研究課題数: 2件

共同の研究成果数: 0件
3. 小澤正直 (40126313)

共同の研究課題数: 2件

共同の研究成果数: 0件
4. 黒田覚 (30300586)

共同の研究課題数: 2件

共同の研究成果数: 0件
5. 田中一之 (70188291)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 山崎武 (30336812)

共同の研究課題数: 1件

共同の研究成果数: 2件
7. 鹿島亮 (10240756)

共同の研究課題数: 1件

共同の研究成果数: 0件
8. 宮部賢志 (00583866)

共同の研究課題数: 1件

共同の研究成果数: 1件
9. 吉冨和志 (40304729)

共同の研究課題数: 1件

共同の研究成果数: 0件

隈部 正博 KUMABE Masahiro

研究課題

研究成果

共同研究者

アルゴリズム的ランダム性から連続な実関数と実閉体へ

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

ブール値探索コストの条件付き極値問題：資本対リスク比による手法の展開

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

ゲーム木における固有分布一意性の破れ：計算資源限定マルチンゲールによる研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

超準解析と計算可能性理論の融合-ランダム性へのロジカル・アプローチ-

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

コーエン型強制条件のサイズの数理:ランダム性と計算複雑さへの応用

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Rational sequences converging to left-c.e. reals of positive effective Hausdorff dimension2022

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Gnericな集合のチューリング次数について2017

著者名/発表者名

雑誌名

データソース

[雑誌論文] Resource-bounded martingales and computable Dowd-type generic sets2015

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Resource-bounded randomness and computable Dowd-type generic sets2013

著者名/発表者名

雑誌名

データソース

[雑誌論文] Computable Dowd-type generic oracles2011

著者名/発表者名

雑誌名

データソース

[雑誌論文] Computable Dowd-type generic oracle (abstract)2010

著者名/発表者名

雑誌名

データソース

[雑誌論文] Does truth-table of linear norm reduce the one-query tautologies to a random oracle2008

著者名/発表者名

雑誌名

データソース

[雑誌論文] Does truth-table of linear norm reduce the one-query tautologies to a random oracle?2008

著者名/発表者名

雑誌名

データソース

[雑誌論文] Truth-table reductions and minimum sizes of forcing conditions2007

著者名/発表者名

雑誌名

説明

データソース

[雑誌論文] Truth-table reductions and minimum sizes of forcing conditions (preliminary draft)2007

著者名/発表者名

雑誌名

データソース

[雑誌論文] Truth-table reductions and minimum sizes of forcing conditions2007

著者名/発表者名

雑誌名

隈部正博 KUMABE Masahiro