隈部正博

クマベマサヒロ | Kumabe Masahiro

所属機関・部署：
職名：教授

研究分野 (1件)：数学基礎

競争的資金等の研究課題 (5件)：

論文 (20件)：

Masahiro Kumabe, Kenshi Miyabe, Toshio Suzuki. Solovay reducibility via Lipschitz functions and signed-digit representation. Computability. 2024. 1-27
Hiroyuki Imai, Masahiro Kumabe, Kenshi Miyabe, Yuki Mizusawa, Toshio Suzuki. Rational Sequences Converging to Left-c.e. Reals of Positive Effective Hausdorff Dimension. Computability Theory and Foundations of Mathematics. 2022
Masahiro Kumabe, Kenshi Miyabe, Yuki Mizusawa, Toshio Suzuki. Solovay reducibility and continuity. J. Log. Anal. 2020. 12
Masahiro Kumabe, Toshio Suzuki. Resource-bounded martingales and computable Dowd-type generic sets. INFORMATION AND COMPUTATION. 2015. 242. 227-248
Masahiro Kumabe, H. Reiju Mihara. Preference aggregation theory without acyclicity: The core without majority dissatisfaction. GAMES AND ECONOMIC BEHAVIOR. 2011. 72. 1. 187-201

MISC (4件)：

隈部正博. Gnericな集合のチューリング次数について. 数理解析研究所講究録. 2017. 2050
隈部正博, 鈴木登志雄, 山崎武. Truth-table reductions and minimum sizes of forcing conditions (preliminary draft) (算術体系の証明論--RIMS共同研究報告集). 数理解析研究所講究録. 2007. 1533. 8-14
Masahiro Kumabe, Toshio Suzuki, Takeshi Yamazaki. Truth-table reductions and minimum sizes of forcing conditions. 数理解析研究所講究録. 2007. 1553. 9--14
隈部正博, 鈴木登志雄, 山崎武. Logarithmic truth-table reductions and minimum sizes of forcing conditions (preliminary draft) (短期共同研究照明論と計算論). 数理解析研究所講究録. 2005. 1442. 42-47

講演・口頭発表等 (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)

学位 (1件)：

委員歴 (1件)：

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

隈部 正博