Miyabe Kenshi 宮部賢志

… Alternative Names

宮部賢志ミヤベケンシ

MIYABE Kenshi 宮部賢志

Less

Researcher Number	00583866
Other IDs
Affiliation (Current)	2025: 明治大学, 理工学部, 専任准教授
Affiliation (based on the past Project Information) *help	2021 – 2023: 明治大学, 理工学部, 専任准教授 2017 – 2018: 明治大学, 理工学部, 専任准教授 2015 – 2016: 明治大学, 理工学部, 専任講師 2014 – 2015: 明治大学, 理工学部, 講師 2013: 東京大学, 情報理工学(系)研究科, 研究員 2011 – 2012: 京都大学, 数理解析研究所, 研究員
Review Section/Research Field	Principal Investigator Basic Section 12030:Basic mathematics-related / Foundations of mathematics/Applied mathematics / General mathematics (including Probability theory/Statistical mathematics) Except Principal Investigator Statistical science / Basic Section 60010:Theory of informatics-related / Medium-sized Section 12:Analysis, applied mathematics, and related fields / Basic Section 12030:Basic mathematics-related
Keywords	Principal Investigator 計算可能解析 / ランダムネス / 符号付き桁数表示 / リプシッツ連続 / Solovay還元 / 弱計算可能実数 / Lipschitz連続関数 / Solovay次数 / 計算近似可能実数 / 計算可能ランダム性 … More / MLランダム性 / 測度論 / Schnorrランダムネス / 各層計算可能性 / computability / reducibility / Schnorr random / algorithmic randomness / 微分定理 / 密度ランダム性 / Schnorrランダム性 / 計算可能測度論 / 確率哲学 / アルゴリズム的確率 / アルゴリズム的ランダムネス / 予測理論 / 計算可能性 / 確率論 … More Except Principal Investigator 確率論 / 大数法則 / 脱ランダム化 / 重複対数法則 / ゲーム論的確率論 / 確率ゲーム / 様相ミュー計算 / モデル検査 / 確率的推論 / 逆数学 / 無限ゲーム / 様相μ計算 / 数理論理学 / 計算可能解析学 / 数理統計学 / オルンシュタイン＝ウーレンベック過程 / マルチンゲール / 確率微分方程式 / Doob戦略 / ブラインドランダム性 / ゲージ積分 / ハウスドルフ次元 / 実閉体 / 計算可能解析 / アルゴリズム的ランダム性 / 統計数学 / ベイズ戦略 / 重複対数の法則 / ランダムネス Less

Study on convergence rate of weakly computable realsPrincipal Investigator
- Principal Investigator
  
  宮部賢志
- Project Period (FY)
  2022 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Meiji 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
Model-free theory of finance based on game-theoretic probability
- Principal Investigator
  
  竹村彰通
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Challenging Research (Exploratory)
- Review Section
  
  Medium-sized Section 12:Analysis, applied mathematics, and related fields
- Research Institution
  Shiga University
様相ミュー計算と確率ゲームへの逆数学的アプローチ：ハイブリッド検査法の創出と分析
- Principal Investigator
  
  田中一之
- Project Period (FY)
  2021 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Tohoku University
strategy and control in continuous-time games
- Principal Investigator
  
  TAKEMURA AKIMICHI
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Statistical science
- Research Institution
  Shiga University
Construction of computable measure theoryPrincipal Investigator
- Principal Investigator
  
  Miyabe Kenshi
- Project Period (FY)
  2014 – 2017
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Meiji University
Theory of prediction based on game-theoretic probability and randomness
- Principal Investigator
  
  Takemura Akimichi
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Statistical science
- Research Institution
  The University of Tokyo
ランダムネスを用いた確率概念の拡張Principal Investigator
- Principal Investigator
  
  宮部賢志
- Project Period (FY)
  2011 – 2014
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyoto University

All 2024 2023 2022 2021 2019 2018 2017 2016 2015 2014 2013 2012 2011 Other

All Journal Article Presentation Book

[Book] 新しい微積分＜上＞2017
- Author(s)
  長岡亮介／渡辺浩／矢崎成俊／宮部賢志
- Total Pages
  255
- Publisher
  講談社
- Data Source
  KAKENHI-PROJECT-16K12399
[Book] 新しい微積分＜下＞2017
- Author(s)
  長岡亮介／渡辺浩／矢崎成俊／宮部賢志
- Total Pages
  283
- Publisher
  講談社
- Data Source
  KAKENHI-PROJECT-16K12399
[Journal Article] 汎用的学習理論2022
- Author(s)
  宮部賢志
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 2228 Pages: 215-225
- Data Source
  KAKENHI-PROJECT-23K21641
[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
  
  Proc. of Computability Theory and Foundations of Mathematics 2019 (Wuhan)
  
  Volume: - Pages: 97-121
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23K21641
[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] Erdos-Feller-Kolmogorov-Petrowsky law of the iterated logarithm for self-normalized martingales: a game-theoretic approach.2019
- Author(s)
  akeyuki Sasai, Kenshi Miyabe and Akimichi Takemura
- Journal Title
  
  The Annals of Probability
  
  Volume: 47 Issue: 2 Pages: 1136-1151
- DOI
  10.1214/18-aop1281
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16K12399, KAKENHI-PROJECT-18H04092
[Journal Article] Relation between the rate of convergence of strong law of large numbers and the rate of concentration of Bayesian prior in game-theoretic probability2018
- Author(s)
  Ryosuke Sato, Kenshi Miyabe and Akimichi Takemura
- Journal Title
  
  Stochastic Processes and their Applications
  
  Volume: 128 Issue: 5 Pages: 1466-1484
- DOI
  10.1016/j.spa.2017.07.014
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16K12399, KAKENHI-PROJECT-25220001
[Journal Article] Randomness and Solovay degrees2018
- Author(s)
  Miyabe Kenshi, Nies Andre, Stephan Frank
- Journal Title
  
  Journal of Logic and Analysis
  
  Volume: 10 Pages: 1-13
- DOI
  10.4115/jla.2018.10.3
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26870143
[Journal Article] Coherence of reducibilities with randomness notions2017
- Author(s)
  Kenshi Miyabe
- Journal Title
  
  Theory of Computing Systems
  
  Volume: 印刷中 Issue: 7 Pages: 1599-1619
- DOI
  10.1007/s00224-017-9752-2
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26870143
[Journal Article] Reducibilities relating to Schnorr randomness2016
- Author(s)
  Kenshi Miyabe
- Journal Title
  
  Theory of Computing Systems
  
  Volume: 58(3) Pages: 441-462
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16K12399
[Journal Article] Using almost-everywhere theorems from analysis to study randomness2016
- Author(s)
  Kenshi Miyabe, Andre Nies, Jing Zhang
- Journal Title
  
  Bulletin of Symbolic Logic
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26870143
[Journal Article] Using Almost-Everywhere Theorems from Analysis to Study Randomness2016
- Author(s)
  kenshi Miyabe, Jing Zhang and Andre Nies
- Journal Title
  
  The Bulletin of Symbolic Logic
  
  Volume: 22(3) Pages: 305-331
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16K12399
[Journal Article] Derandomization in Game-Theoretic Probability2015
- Author(s)
  Kenshi Miyabe, Akimichi Takemura
- Journal Title
  
  Stochastic Processes and their Applications
  
  Volume: 125 Issue: 1 Pages: 39-59
- DOI
  10.1016/j.spa.2014.08.004
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25540009
[Journal Article] Unified Characterizations of Lowness Properties via Kolmogorov Complexity2015
- Author(s)
  Kenshi Miyabe and T.Kihara
- Journal Title
  
  Archive for Mathematical Logic
  
  Volume: Volume 54, Issue 3 Pages: 329-358
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25540009
[Journal Article] Schnorr triviality and its equivalent notions2015
- Author(s)
  Kenshi Miyabe
- Journal Title
  
  Theory of Computing Systems
  
  Volume: Volume 56, Issue 3 Pages: 465-486
- NAID
  120005619765
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25540009
[Journal Article] The law of the iterated logarithm in game-theoretic probability with quadratic and stronger hedges2013
- Author(s)
  K. Miyabe and A. Takemura
- Journal Title
  
  Stochastic Preocesses and their Applications
  
  Volume: 123 Issue: 8 Pages: 3132-3152
- DOI
  10.1016/j.spa.2013.03.018
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-13J08139, KAKENHI-PROJECT-22650057, KAKENHI-PROJECT-25540009
[Journal Article] Characterization of Kurtz randomness by a differentiation theorem2013
- Author(s)
  K. Miyabe
- Journal Title
  
  Theory of Computing Systems
  
  Volume: 52(1) Issue: 1 Pages: 113-132
- DOI
  10.1007/s00224-012-9422-3
- NAID
  120005147549
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23740072
[Journal Article] Convergence of random series and the rate of convergence of the strong law of large numbers in game-theoretic probability2012
- Author(s)
  Miyabe, K. and Takemura, A.
- Journal Title
  
  Stochastic Processes and their Applications
  
  Volume: VOL.122 Issue: 1 Pages: 1-30
- DOI
  10.1016/j.spa.2011.10.011
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300097, KAKENHI-PROJECT-22650057, KAKENHI-PROJECT-23740072
[Journal Article] The diifference between optimality and universality2012
- Author(s)
  K. Miyabe
- Journal Title
  
  Logic Journal of the IGPL
  
  Volume: 20(1) Issue: 1 Pages: 222-234
- DOI
  10.1093/jigpal/jzr032
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23740072
[Journal Article] Truth-table Schnorr randomness and truth-table reducibly randomness2011
- Author(s)
  Kenshi Miyabe
- Journal Title
  
  Mathematical Logic Quarterly
  
  Volume: 57 Issue: 3 Pages: 323-338
- DOI
  10.1002/malq.200910128
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23740072
[Journal Article] ランダムネスの一般化2011
- Author(s)
  宮部賢志
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 1729 Pages: 84-94
- Data Source
  KAKENHI-PROJECT-23740072
[Presentation] Strong Solovay reducibility2024
- Author(s)
  Kenshi Miyabe
- Organizer
  CCR2024: 17th International Conference on Computability, Complexity and Randomness
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K03408
[Presentation] Strong Solovay reducibility2024
- Author(s)
  Kenshi Miyabe
- Organizer
  CCR2024: Computability, Complexity and Randomness (Nagoya University)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K03340
[Presentation] Solovay reducibility and signed-digit representation2023
- Author(s)
  Kenshi Miyabe
- Organizer
  Continuity, Computability, Constructivity From Logic to Algorithms
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K03408
[Presentation] クエリー制限と符号付き桁数表現によるSolovay還元の特徴づけ2023
- Author(s)
  隈部正博、宮部賢志、鈴木登志雄
- Organizer
  2023年日本数学会秋季総合分科会
- Data Source
  KAKENHI-PROJECT-21K18585
[Presentation] Strong Solovay reducibility2023
- Author(s)
  Kenshi Miyabe
- Organizer
  RIMS共同研究(公開型)「証明論と計算論の最前線」
- Data Source
  KAKENHI-PROJECT-21K18585
[Presentation] Solovay reducibility and signed-digit representation2023
- Author(s)
  Kenshi Miyabe
- Organizer
  From omega to Omega (National University of Singapore)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K03340
[Presentation] Solovay reducibility and signed-digit representation2023
- Author(s)
  Kenshi Miyabe
- Organizer
  NUS workshop, From omega to Omega
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K03408
[Presentation] Solovay reducibility and signed-digit representation2023
- Author(s)
  Kenshi Miyabe
- Organizer
  Continuity, Computability, Constructivity From Logic to Algorithms
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K18585
[Presentation] Solovay reducibility and signed-digit representation2023
- Author(s)
  Kenshi Miyabe
- Organizer
  Continuity, Computability, Constructivity (RIMS, Kyoto University)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K03340
[Presentation] Strong Solovay reducibility2023
- Author(s)
  Kenshi Miyabe
- Organizer
  RIMS共同研究(公開型)「証明論と計算論の最前線」
- Data Source
  KAKENHI-PROJECT-22K03408
[Presentation] Strong Solovay reducibility2023
- Author(s)
  Kenshi Miyabe
- Organizer
  証明論と計算論の最前線（RIMS, Kyoto University）
- Data Source
  KAKENHI-PROJECT-21K03340
[Presentation] クエリー制限と符号付き桁数表現によるSolovay還元の特徴づけ2023
- Author(s)
  隈部正博，宮部賢志，鈴木登志雄
- Organizer
  2023年日本数学会秋季総合分科会
- Data Source
  KAKENHI-PROJECT-22K03408
[Presentation] Strong Solovay reducibility2023
- Author(s)
  Kenshi Miyabe
- Organizer
  CCR2024: 17th International Conference on Computability, Complexity and Randomness
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K18585
[Presentation] Solovay reducibility and signed-digit representation2023
- Author(s)
  Kenshi Miyabe
- Organizer
  NUS workshop, From omega to Omega
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K18585
[Presentation] クエリー制限と符号付き桁数表現によるSolovay還元の特徴づけ2023
- Author(s)
  宮部賢志
- Organizer
  日本数学会秋季総合分科会（東北大学）
- Data Source
  KAKENHI-PROJECT-21K03340
[Presentation] Subclasses of weakly computable reals2022
- Author(s)
  Kenshi Miyabe
- Organizer
  International conference on computability, complexity and randomness 2022
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K03408
[Presentation] Generality of computable measures2022
- Author(s)
  Kenshi Miyabe
- Organizer
  Leeds Computability Days 2022
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K03408
[Presentation] 実閉体を成す弱計算可能実数の部分族2022
- Author(s)
  宮部賢志
- Organizer
  日本数学会2022年度秋季総合文科会
- Data Source
  KAKENHI-PROJECT-22K03408
[Presentation] Subclasses of the weakly computable reals2022
- Author(s)
  Kenshi Miyabe
- Organizer
  International conference on computability, complexity and randomness 2022 (INI, UK and online)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K03340
[Presentation] 実閉体を成す弱計算可能実数の部分族2022
- Author(s)
  宮部賢志
- Organizer
  日本数学会
- Data Source
  KAKENHI-PROJECT-21K18585
[Presentation] Generality of computable measures2022
- Author(s)
  Kenshi Miyabe
- Organizer
  Leeds Computability Days 2022
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K18585
[Presentation] Generality of computable measures2022
- Author(s)
  Kenshi Miyabe
- Organizer
  Leeds Computability Days 2022 (Leeds, UK and online)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K03340
[Presentation] Bernoulli 測度に対する予測誤差の収束速度2022
- Author(s)
  宮部賢志
- Organizer
  日本数学会2022年度年会
- Data Source
  KAKENHI-PROJECT-21K18585
[Presentation] 実閉体を成す弱計算可能実数の部分族2022
- Author(s)
  宮部賢志
- Organizer
  日本数学会秋季総合分科会（北海道大学）
- Data Source
  KAKENHI-PROJECT-21K03340
[Presentation] Subclasses of the weakly computable reals2022
- Author(s)
  宮部賢志
- Organizer
  Tokyo Model Theory Sminar (online)
- Data Source
  KAKENHI-PROJECT-21K03340
[Presentation] Bernoulli測度に対する予測誤差の収束速度2022
- Author(s)
  宮部賢志
- Organizer
  日本数学会年会2022年度年会
- Data Source
  KAKENHI-PROJECT-21K03340
[Presentation] Subclasses of the weakly computable reals2022
- Author(s)
  Kenshi Miyabe
- Organizer
  International conference on computability, complexity and randomness 2022
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K18585
[Presentation] 計算可能な予測の収束速度2021
- Author(s)
  宮部賢志
- Organizer
  RIMS共同研究 (公開型)「証明と計算の理論と応用」
- Data Source
  KAKENHI-PROJECT-21K18585
[Presentation] 計算可能な予測の収束速度2021
- Author(s)
  宮部賢志
- Organizer
  RIMS共同研究（公開型）「証明と計算の理論と応用」
- Data Source
  KAKENHI-PROJECT-21K03340
[Presentation] よりランダムな列を一様に計算できるか2017
- Author(s)
  宮部賢志
- Organizer
  日本数学会
- Place of Presentation
  首都大学東京
- Year and Date
  2017-03-25
- Data Source
  KAKENHI-PROJECT-26870143
[Presentation] Solomonoffの万能推論・アルゴリズム的確率2017
- Author(s)
  宮部賢志
- Organizer
  人工知能学会汎用人工知能研究会
- Invited
- Data Source
  KAKENHI-PROJECT-26870143
[Presentation] Variants of layerwise computability2016
- Author(s)
  Kenshi Miyabe
- Organizer
  Thirteenth International Conference on Computability and Complexity in Analysis
- Place of Presentation
  University of Algarve
- Year and Date
  2016-06-17
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26870143
[Presentation] ランダムの概念の多数問題2016
- Author(s)
  宮部賢志
- Organizer
  日本数学会
- Place of Presentation
  筑波大学
- Year and Date
  2016-03-07
- Data Source
  KAKENHI-PROJECT-26870143
[Presentation] 三角不等式が成り立たない距離上での実数の計算可能性について2016
- Author(s)
  宮部賢志
- Organizer
  日本数学会
- Place of Presentation
  関西大学
- Year and Date
  2016-09-18
- Data Source
  KAKENHI-PROJECT-26870143
[Presentation] 3ランダムネスの複雑性による特徴づけ2015
- Author(s)
  宮部賢志
- Organizer
  日本数学会
- Place of Presentation
  京都産業大学
- Year and Date
  2015-09-16
- Data Source
  KAKENHI-PROJECT-26870143
[Presentation] 3ランダムネスの複雑性による特徴づけ2015
- Author(s)
  宮部賢志
- Organizer
  日本数学会
- Place of Presentation
  京都産業大学(京都府京都市）
- Year and Date
  2015-09-16
- Data Source
  KAKENHI-PROJECT-25540009
[Presentation] A game-theoretic proof of the Erdos-Feller-Kolmogorov-Petrowsky law of the iterated logarithm for fair-coin tossing2014
- Author(s)
  Akimichi Takemura, Takeyuki Sasai and Kenshi Miyabe
- Organizer
  Fifth Workshop on Game-Theoretic Probability and Related Topics
- Place of Presentation
  Guanajuato （メキシコ）
- Year and Date
  2014-11-13
- Data Source
  KAKENHI-PROJECT-25540009
[Presentation] EFKP型の重複対数法則のゲーム論的証明2014
- Author(s)
  竹村彰通，笹井健行，宮部賢志
- Organizer
  日本数学会2014年度秋季総合分科会
- Place of Presentation
  広島大学（広島県，東広島市）
- Year and Date
  2014-09-26
- Data Source
  KAKENHI-PROJECT-25540009
[Presentation] Derandomization in game-theoretic probability2014
- Author(s)
  Kenshi Miyabe, Akimichi Takemura
- Organizer
  Fifth Workshop on Game-Theoretic Probability and Related Topics
- Place of Presentation
  Guanajuato （メキシコ）
- Year and Date
  2014-11-13
- Data Source
  KAKENHI-PROJECT-25540009
[Presentation] Merkleの基準のSchnorrおよびKurtzランダムネス版2013
- Author(s)
  宮部賢志
- Organizer
  computation研究会
- Place of Presentation
  岐阜大学
- Data Source
  KAKENHI-PROJECT-23740072
[Presentation] 条件付き確率の計算可能性2013
- Author(s)
  宮部賢志
- Organizer
  冬のLA
- Place of Presentation
  京都大学
- Data Source
  KAKENHI-PROJECT-23740072
[Presentation] もう一つの確率論の流れ2013
- Author(s)
  宮部賢志
- Organizer
  日本数学会
- Place of Presentation
  京都大学
- Data Source
  KAKENHI-PROJECT-23740072
[Presentation] Computably measurable sets and computably measurable functions in terms of algorithmic randomness2013
- Author(s)
  K. Miyabe
- Organizer
  Computability theory and foundation of mathematics
- Place of Presentation
  東京工業大学
- Data Source
  KAKENHI-PROJECT-23740072
[Presentation] 一様Kurtzランダムネスに対する独立性定理2013
- Author(s)
  宮部賢志
- Organizer
  日本数学会
- Place of Presentation
  京都大学
- Data Source
  KAKENHI-PROJECT-23740072
[Presentation] Things to do in and with algorithmic randomness2013
- Author(s)
  K. Miyabe
- Organizer
  Sendai Logic School 2013
- Place of Presentation
  仙台国際センター
- Invited
- Data Source
  KAKENHI-PROJECT-23740072
[Presentation] ゲーム論的確率論入門2012
- Author(s)
  宮部賢志
- Organizer
  記号論理と情報科学研究集会
- Place of Presentation
  京都産業大学
- Data Source
  KAKENHI-PROJECT-23740072
[Presentation] The law of the iterated logarithm in game-theoretic probability2012
- Author(s)
  K. Miyabe
- Organizer
  Fourth Workshop on Game-Theoretic Probability and Related Topics
- Place of Presentation
  東京大学
- Data Source
  KAKENHI-PROJECT-23740072
[Presentation] An integral test for Schnorr randomness and its applications2012
- Author(s)
  K. Miyabe
- Organizer
  Computability in Europte 2012
- Place of Presentation
  University of Cambridge(イギリス)
- Data Source
  KAKENHI-PROJECT-23740072
[Presentation] Schnorr triviality and being a basis for tt-Schnorr randomness2012
- Author(s)
  宮部賢志
- Organizer
  証明論と複雑性
- Place of Presentation
  京都大学
- Data Source
  KAKENHI-PROJECT-23740072
[Presentation] 独立同分布でない場合の大数の法則の収束速度2012
- Author(s)
  宮部賢志
- Organizer
  日本数学会2012年度年会
- Place of Presentation
  東京理科大学，東京
- Data Source
  KAKENHI-PROJECT-23740072
[Presentation] Schnorr layerwise computability2012
- Author(s)
  Kenshi Miyabe
- Organizer
  Workshop on Proof Theory and Computability Theory
- Place of Presentation
  晴海グランドホテル，東京
- Data Source
  KAKENHI-PROJECT-23740072
[Presentation] L^1-computability and weak L^1-computability2012
- Author(s)
  Kenshi Miyabe
- Organizer
  京都計算可能解析学シンポジウム2012
- Place of Presentation
  京都産業大学，京都
- Data Source
  KAKENHI-PROJECT-23740072
[Presentation] Weak L1-computability and limit L1-computability2012
- Author(s)
  K. Miyabe
- Organizer
  Computability, Complexity and Analysis 2012
- Place of Presentation
  University of Cambridge(イギリス)
- Data Source
  KAKENHI-PROJECT-23740072
[Presentation] Schnorr triviality is equivalent to being a basis for tt-Schnorr randomness2012
- Author(s)
  K. Miyabe
- Organizer
  Computability, Complexity and Randomness 2012
- Place of Presentation
  Isaac Newton Institute(イギリス)
- Data Source
  KAKENHI-PROJECT-23740072
[Presentation] 独立性定理とRadon-Nikodym微分2012
- Author(s)
  宮部賢志
- Organizer
  数学基礎論若手の会
- Place of Presentation
  奈良県青少年会館
- Data Source
  KAKENHI-PROJECT-23740072
[Presentation] 微分可能な点はどこにあるか2012
- Author(s)
  宮部賢志
- Organizer
  日本数学会2012年度年会
- Place of Presentation
  東京理科大学，東京
- Data Source
  KAKENHI-PROJECT-23740072
[Presentation] ランダムの概念が持つべき自然な性質2012
- Author(s)
  宮部賢志
- Organizer
  日本数学会
- Place of Presentation
  九州大学
- Invited
- Data Source
  KAKENHI-PROJECT-23740072
[Presentation] Lusinの定理の実効化について2012
- Author(s)
  宮部賢志
- Organizer
  夏のLA
- Place of Presentation
  天橋立宮津ロイヤルホテル
- Data Source
  KAKENHI-PROJECT-23740072
[Presentation] An introduction to algorithmic randomness2012
- Author(s)
  K. Miyabe
- Organizer
  Fourth Workshop on Game-Theoretic Probability and Related Topics
- Place of Presentation
  東京大学
- Data Source
  KAKENHI-PROJECT-23740072
[Presentation] Characterization of Kurtz randomness by a differentiation theorem2011
- Author(s)
  Kenshi Miyabe
- Organizer
  Twelfth Asian Logic Conference(招待講演)
- Place of Presentation
  Victoria University of Wellington, Wellington (New Zealand)
- Data Source
  KAKENHI-PROJECT-23740072
[Presentation] Randomness and differentiability2011
- Author(s)
  宮部賢志
- Organizer
  証明論と計算論研究集会
- Place of Presentation
  首都大学東京，八王子
- Data Source
  KAKENHI-PROJECT-23740072
[Presentation] Randomness and separation axioms2011
- Author(s)
  Kenshi Miyabe
- Organizer
  Analysis and Randomness in Auckland(招待講演)
- Place of Presentation
  Auckland University, Auckland (New Zealand)
- Data Source
  KAKENHI-PROJECT-23740072
[Presentation] Characterizing randomness by integral tests2011
- Author(s)
  Kenshi Miyabe
- Organizer
  Computability in Europe
- Place of Presentation
  Sofia University, Sofia (Bulgaria)
- Data Source
  KAKENHI-PROJECT-23740072
[Presentation] An optimal superfarthingale and its convergence over a computable topological space2011
- Author(s)
  Kenshi Miyabe
- Organizer
  Solomonoff 85th Memorial Conference
- Place of Presentation
  Monash University, Melbourne (Australia)
- Data Source
  KAKENHI-PROJECT-23740072
[Presentation] An optimal semimeasure and its convergence2011
- Author(s)
  Kenshi Miyabe
- Organizer
  代数, 論理, 幾何と情報科学研究集会
- Place of Presentation
  東京大学，柏
- Data Source
  KAKENHI-PROJECT-23740072
[Presentation] Schnorr randomness versions of K, C, LR, VL-reducibilities
- Author(s)
  Kenshi Miyabe
- Organizer
  Conference on Computability, Complexity and Randomness 2014
- Place of Presentation
  シンガポール
- Year and Date
  2014-06-09 – 2014-06-13
- Data Source
  KAKENHI-PROJECT-26870143
[Presentation] Total-machine reducibility and randomness notions
- Author(s)
  Kenshi Miyabe
- Organizer
  Asian Logic Conference 2015
- Place of Presentation
  ムンバイ（インド）
- Year and Date
  2015-01-05 – 2015-01-08
- Data Source
  KAKENHI-PROJECT-26870143

1. Takemura Akimichi (10171670)

# of Collaborated Projects: 3 results

# of Collaborated Products: 7 results
2. 鈴木登志雄 (30235973)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
3. 隈部正博 (70255173)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
4. 吉冨和志 (40304729)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. 田中一之 (70188291)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. 鹿島亮 (10240756)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. 木原貴行 (80722701)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. 瀧敦弘

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

Miyabe Kenshi 宮部 賢志

宮部 賢志 ミヤベ ケンシ

MIYABE Kenshi 宮部 賢志

Research Projects

Research Products

Co-Researchers

Study on convergence rate of weakly computable realsPrincipal Investigator

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

Model-free theory of finance based on game-theoretic probability

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

様相ミュー計算と確率ゲームへの逆数学的アプローチ：ハイブリッド検査法の創出と分析

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

strategy and control in continuous-time games

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Construction of computable measure theoryPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Theory of prediction based on game-theoretic probability and randomness

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

ランダムネスを用いた確率概念の拡張Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] 新しい微積分＜上＞2017

Author(s)

Total Pages

Publisher

Data Source

[Book] 新しい微積分＜下＞2017

Author(s)

Total Pages

Publisher

Data Source

[Journal Article] 汎用的学習理論2022

Author(s)

Journal Title

Data Source

[Journal Article] Rational Sequences Converging to Left-c.e. Reals of Positive Effective Hausdorff Dimension2022

Author(s)

Journal Title

Data Source

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

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Erdos-Feller-Kolmogorov-Petrowsky law of the iterated logarithm for self-normalized martingales: a game-theoretic approach.2019

Author(s)

Journal Title

Miyabe Kenshi 宮部賢志

宮部賢志ミヤベケンシ

MIYABE Kenshi 宮部賢志