著書・翻訳書
- 確率統計入門:モデル化からその解析へ, 渡辺浩, 宮部賢志著, 森北出版,2020年3月28日
- 確率と哲学, ティモシー・チルダーズ著, 宮部賢志監訳, 芦屋雄高訳, 九夏社, 2020年1月31日
- 新しい微積分<上>,長岡亮介/渡辺 浩/矢崎成俊/宮部賢志・著,講談社,2017年2月6日
- 新しい微積分<下>,長岡亮介/渡辺 浩/矢崎成俊/宮部賢志・著,講談社,2017年2月6日
アウトリーチなど
- アルゴリズム的ランダムネスと計算可能測度論, 数学セミナー2021年2月
- アルゴリズム情報理論とAI, pp.59-60, AI事典第3版, 近代科学社, 2019年12月
- ゲームによって予測不可能性を捉える (with A. Takemura), 数学セミナー2014年10月
準備中もしくは投稿中の論文
- Quantifier Variations in Solovay Reducibility (with Kumabe and Suzuki), in preparation
- Real closed fields via strong Solovay reducibility (with Kumabe and Suzuki), submitted to a Journal
- The rate of the convergence of computable predictions, submitted to a Journal
- Solovay reducibility via Lipschitz functions and signed-digit representation (with Kumabe and Suzuki), to appear in Computability
論文リスト(査読ありの学術雑誌または査読ありのプロシーディングス)(出版年順)
- Rational sequences converging to left-c.e. reals of positive effective Hausdorff dimension (with Imai, Kumabe, Mizusawa, and Suzuki), Post-proceedings of CTFM2019, 97–121, 2022年6月.
- Solovay reducibility and continuity (with Kumabe, Mizusawa, and Suzuki), Journal of Logic and Analysis, vol 12:2, pp. 1-22, 2020年12月.
- Computable prediction, Lecture Notes in Computer Science, vol 11654 , pp. 137-147, 2019年7月.
- Uniform relativization, Lecture Notes in Computer Science, vol 11558, pp 50-61, 2019年6月.
- Erdos-Feller-Kolmogorov-Petrowsky law of the iterated logarithm for self-normalized martingales: a game-theoretic approach (with T. Sasai and A. Takemura), Annals of Probability, Vol. 47, No. 2, 1136-1161, 2019年3月.
- Muchnik degrees and Medvedev degrees of the randomness notions, Proc. of 14th-15th ALC, pp. 108–128, 2019年1月.
- Coherence of reducibilities with randomness notions, Theory of Computing Systems, Volume 62, Issue 7, pp 1599–1619, 2018年10月.
- Relation between the rate of convergence of strong law of large numbers and the rate of concentration of Bayesian prior in game-theoretic probability (with R. Sato and A. Takemura), Stochastic Processes and their Applications. Volume 128, Issue 5, Pages 1466-1484, 2018年5月.
- Randomness and Solovay degrees (with A. Nies and F. Stephan), Jounal of Logic and Analysis, Vol 10, pp.1–13, 2018年3月.
- Using Almost-Everywhere Theorems from Analysis to Study Randomness (with A. Nies and J. Zhang), The Bulletin of Symbolic Logic, Volume 22, Issue 3, pp. 305-331, 2016年9月
- Reducibilities relating to Schnorr randomness, Theory of Computing Systems, 58(3), 441-462, 2016年4月
- Unified Characterizations of Lowness Properties via Kolmogorov Complexity (with T. Kihara), Archive for Mathematical Logic: Volume 54, Issue 3, Page 329-358, 2015年5月
- Schnorr triviality and its equivalent notions, Theory of Computing Systems: Volume 56, Issue 3 , pp 465-486, 2015年4月
- Derandomization in Game-Theoretic Probability (with A. Takemura), Stochastic Processes and their Applications 125, 39-59, 2015年1月
- Uniform Kurtz randomness (with T. Kihara), Journal of Logic and Computation, 24 (4): 863-882, 2014年8月
- Algorithmic randomness over general spaces, Mathematical Logic Quarterly, 60(3), 184–204, 2014年5月
- An optimal superfarthingale and its convergence over a computable topological space, Lecture Notes in Computer Science 7070, 273-284, 2013年11月
- The law of the iterated logarithm in game-theoretic probability with quadratic and stronger hedges (with A. Takemura), Stochastic Processes and their Applications, Vol. 123, Issue 8, 3132-3152, 2013年8月.
- Van Lambalgen’s Theorem for uniformly relative Schnorr and computable randomness (with J. Rute), Proceedings of the Twelfth Asian Logic Conference, 251-270, 2013年7月
- $L^1$-computability, Layerwise Computability and Solovay Reducibility, Computability, 2:15-29, 2013年6月
- Characterization of Kurtz Randomness by a Differentiation Theorem, Theory of Computing Systems, 52(1):113-132, 2013年1月.
- The difference between optimality and universality, Logic Journal of the IGPL, 20(1):222-234, 2012年2月.
- Convergence of random series and the rate of convergence of strong law of large numbers in game-theoretic probability (with A. Takemura), Stochastic Processes and their Applications, 122:1-30, 2012年1月.
- Truth-table Schnorr randomness and truth-table reducibly randomness
Mathematical Logic Quarterly 57(3):323-338, 2011年6月 - An Extension of van Lambalgen’s Theorem to Infinitely Many Relative 1-random Reals
Notre Dame Journal of Formal Logic, 51(3):337-349, 2010年10月
査読無しの出版物
- 実数の計算可能性, 数理解析研究所講究録, 2293.
- 汎用的学習理論, 数理解析研究所講究録, 2228.
- 計算可能測度論, 数理解析研究所講究録, 2017年25日〜27日.
- Lowness for uniform Kurtz randomness (with T. Kihara), CiE2013のinformal proceedings
- ランダムの程度の助言付き計算, 数理解析研究所講究録, No. 1849, 1-7, 2013年8月
- アルゴリズム的ランダムネスへの解析学的アプローチ, 数理解析研究所講究録, No. 1832, 114-126, 2013年4月
- Merkleの基準のSchnorrおよびKurtzランダムネス版, IEICE Technical Report Vol. 112 No. 498, COMP 2012-60, pp55-59, 2013年3月
- ランダムネスの一般化, 数理解析研究所講究録 No.1729, 84-94, 2011年2月
研究集会の予稿など
- 一様 Kurtz ランダムネスに対する独立性定理, 日本数学会2013年度年会, 2013年3月21日, 京都大学
- もう 1 つの確率論の流れ, 日本数学会2013年度年会, 2013年3月20日, 京都大学
- 条件付き確率の計算可能性, 冬のLA2012での予稿, 2013年1月28日, 京都大学
- ランダムの概念が持つべき自然な性質, 日本数学会2012年度秋季総合分科会, 2012年9月18日-21日, 九州大学
- Schnorr triviality and being a basis for tt-Schnorr randomness, 証明論と複雑性での予稿, 2012年9月12日-14日, 京都大学
- ランダムの概念について, 数学基礎論サマースクール, 2012年9月4日-7日, 東京工業大学
- Lusinの定理の実効化について, 夏のLA 2012での予稿, 2012年7月17日, 天橋立 宮津ロイヤルホテル
- 独立同分布でない場合の大数の法則の収束速度, 日本数学会2012年度年会, 2012年3月26日-29日, 東京理科大学
- 微分可能な点はどこにあるか, 日本数学会2012年度年会, 2012年3月26日-29日, 東京理科大学
未出版
- Computable measure theory and algorithmic randomness (with J. Rute), (準備中).
- Differentiability of Polynomial-time computable functions (with A. Kawamura), (準備中).
- Null-additivity in the theory of algorithmic randomness (with T. Kihara), (未出版).
- Weak L^1-computability and Limit L^1-computability(未出版)
- An integral test for Schnorr randomness and its application(未出版)
- A computable topological space of measures(未出版)
- A Random Sequence of Reals(未出版)