教員データベース - 宮部　賢志

■ 著書・論文

1.	2022	論文	Rational Sequences Converging to Left-c.e. Reals of Positive Effective Hausdorff Dimension Proceedings of the 9th International Conference on Computability Theory and Foundations of Mathemati pp.97-121 （共著）
2.	2020/12	論文	Solovay reducibility and continuity Journal of Logic and Analysis 12(2),pp.1-22 （共著）
3.	2020/03	著書	確率統計入門:モデル化からその解析へ（共著）
4.	2020/01	著書	確率と哲学
5.	2019/12	著書	アルゴリズム情報理論とAI AI事典第3版 59-60頁（単著）
6.	2019/07	論文	Computable Prediction. Lecture Notes in Computer Science 11654,137-147頁（単著）
7.	2019/06	論文	Uniform relativization Lecture Notes in Computer Science 11558,pp.50-61 （単著）
8.	2019/03	論文	Erdos-Feller-Kolmogorov-Petrowsky law of the iterated logarithm for self-normalized martingales: a game-theoretic approach Annals of Probability 47(2),pp.1136-1161 （共著）
9.	2019/01	論文	Muchnik degrees and Medvedev degrees of the randomness notions Proceedings of ALC 2015 and ALC 2017 pp.108-128 （単著）
10.	2018/10	論文	Coherence of reducibilities with randomness notions Theory of Computing Systems 62(7),pp.1599-1619 （単著）
11.	2018/05	論文	Relation between the rate of convergence of strong law of large numbers and the rate of concentration of Bayesian prior in game-theoretic probability Stochastic Processes and their Applications 128(5),pp.1466-1484 （共著）
12.	2018/03	論文	Randomness and Solovay degrees Journal of Logic and Analysis 10,pp.1-13 （共著）
13.	2017/02	著書	新しい微積分＜上＞（共著）
14.	2017/02	著書	新しい微積分＜下＞（共著）
15.	2016/09	論文	Using Almost-Everywhere Theorems from Analysis to Study Randomness The Bulletin of Symbolic Logic 22(3),pp.305-331 （共著）
16.	2016/04	論文	Reducibilities relating to Schnorr randomness Theory of Computing Systems 58(3),pp.441-462 （単著）
17.	2015/05	論文	Unified Characterizations of Lowness Properties via Kolmogorov Complexity Archive for Mathematical Logic 54(3),329-358頁（共著）
18.	2015/04	論文	Schnorr triviality and its equivalent notions Theory of Computing Systems 56(3),pp.465-486 （単著）
19.	2015/01	論文	Derandomization in Game-Theoretic Probability Stochastic Processes and their Applications 125,pp.39-59 （共著）
20.	2014/10	著書	ゲームによって予測不可能性を捉える数学セミナー（共著）
21.	2014/08	論文	Uniform Kurtz randomness Journal of Logic and Computation 24(4),pp.863-882 （共著）
22.	2014/05	論文	Algorithmic randomness over general spaces Mathematical Logic Quarterly 60(3),pp.184-204 （単著）
23.	2013/11	論文	An optimal superfarthingale and its convergence over a computable topological space Lecture Notes in Computer Science 7070,pp.273-284 （単著）
24.	2013/08	論文	The law of the iterated logarithm in game-theoretic probability with quadratic and stronger hedges Stochastic Processes and their Applications 123,pp.3132-3152 （共著）
25.	2013/07	論文	Van Lambalgen's Theorem for uniformly relative Schnorr and computable randomness Proceedings of the Twelfth Asian Logic Conference pp.251-270 （共著）
26.	2013/06	論文	L¹-computability, Layerwise Computability and Solovay Reducibility Computability 2,pp.15-29 （単著）
27.	2013/01	論文	Characterization of Kurtz Randomness by a Differentiation Theorem Theory of Computing Systems 52(1),pp.113-132 （単著）
28.	2012/02	論文	The difference between optimality and universality Logic Journal of the IGPL 20(1),pp.222-234 （単著）
29.	2012/01	論文	Convergence of random series and the rate of convergence of strong law of large numbers in game-theoretic probability Stochastic Processes and their Applications 122,pp.1-30 （共著）
30.	2011/06	論文	Truth-table Schnorr randomness and truth-table reducibly randomness Mathematical Logic Quarterly 57(3),pp.323-338 （単著）
31.	2010/10	論文	An Extension of van Lambalgen's Theorem to Infinitely Many Relative 1-random Reals Notre Dame Journal of Formal Logic 51(3),pp.337-349 （単著）
5件表示
全件表示(31件)

■ 学会発表

1.	2024/03/12	Strong Solovay reducibility（17th International Conference on Computability, Complexity and Randomness）
2.	2023/12/12	Strong Solovay reducibility（RIMS共同研究(公開型)「証明論と計算論の最前線」）
3.	2023/09/27	Solovay reducibility and signed-digit representation（Continuity, Computability, Constructivity, From Logic to Algorithms）
4.	2023/09/22	クエリー制限と符号付き桁数表現によるSolovay還元の特徴づけ（日本数学会）
5.	2023/06/15	Solovay reducibility and signed-digit representation（National University of Singapore workshop）
6.	2022/06/09	Subclasses of weakly computable reals（International conference on computability, complexity and randomness 2022）
7.	2022/06/01	Generality of computable measures（Leeds Computability Days 2022）
8.	2022/03/28	計算可能な予測の収束速度（日本数学会2022年度年会）
9.	2021/12/22	計算可能な予測の収束速度（RIMS共同研究 (公開型)「証明と計算の理論と応用」）
10.	2020/09/15	The rate of convergence of computable predictions（German Mathematical Society）
11.	2019/08/08	Computable prediction（Artificial General Intelligence）
12.	2019/07/19	Uniform relativization（Computability in Europe）
13.	2019/07/19	Uniform relativization（Computability in Europe）
14.	2019/03/25	Schnorr triviality via decidable machines（Computability Theory and Foundations of Mathematics）
15.	2019/03/25	Schnorr triviality via decidable machines（Computability Theory and Foundations of Mathematics）
16.	2019/03/22	Muchnik degrees and Medvedev degrees of the randomness notions（American Mathematical Society）
17.	2019/03/22	Muchnik degrees and Medvedev degrees of the randomness notions（American Mathematical Society）
18.	2019/03/18	Coherence between reducibility and randomness notions（日本数学会）
19.	2019/03/18	Coherence between reducibility and randomness notions（日本数学会）
20.	2019/03/15	明日また太陽が昇る確率再訪（汎用人工知能研究会）
21.	2019/03/15	明日また太陽が昇る確率再訪（汎用人工知能研究会）
22.	2018/09/14	Erdos-Feller-Kolmogorov-Petrowsky law of the iterated logarithm（Workshop on Computability Theory and Foundations of Mathematics 2018）
23.	2018/09/13	A tutorial in game-theoretic probability and algorithmic randomness（Workshop on Computability Theory and Foundations of Mathematics 2018）
24.	2017/12/26	ランダム性に対応する関数階層（RIMS共同研究（公開型）「証明論と証明活動」）
25.	2017/12/14	ランダムな点での計算（Interaction between Pure and Applied Mathematics 2017）
26.	2017/10/07	数学でランダム性と向き合う（MATH POWER）
27.	2017/09/15	Solomonoffの万能推論・アルゴリズム的確率（第6回人工知能学会汎用人工知能研究会）
28.	2017/03/25	よりランダムな列を一様に計算できるか（日本数学会）
29.	2017/02/24	Randomness notions in Muchnik and Medvedev degrees（Dagstuhl seminar on “Computability Theory”）
30.	2016/09/20	Randomness notions in Muchnik and Medvedev degrees（Computability Theory and Foundations of Mathematics 2016）
31.	2016/09/18	三角不等式が成り立たない距離上での実数の計算可能性について（日本数学会）
32.	2016/06/17	Variants of layerwise computability（Thirteenth International Conference on Computability and Complexity in Analysis）
33.	2016/03/07	ランダムの概念の多数問題（⽇本数学会年会）
34.	2015/09/16	3ランダムネスの複雑性による特徴づけ（日本数学会2015年度秋季総合分科会）
35.	2015/09/11	Reducibilities as refinements of the randomness hierarchy（Computability Theory and Foundations of Mathematics 2015）
36.	2015/01/05	Total-machine reducibility and randomness notions（Asian Logic Conference 2015）
37.	2014/11/13	Derandomization in GameTheoretic Probability（Fifth Workshop on Game-Theoretic Probability and Related Topics）
38.	2014/06/13	Schnorr randomness versions of K, C, LR, vL-reducibilities（Conference on Computability, Complexity and Randomness CCR 2014）
39.	2014/03/15	積分テストに対するLebesgue点の特徴付け（日本数学会2014年度年会）
40.	2014/02/20	A Gap Phenomenon for Schnorr Randomness（Computability Theory and Foundations of Mathematics）
41.	2014/01/15	Unpredictability of initial points（RIMS研究集会「力学系と計算」）
42.	2013/12/02	Variants of Layerwise Computability（ARGENTINA-JAPAN-NEW ZEALAND WORKSHOP, UNIVERSITY OF AUCKLAND）
43.	2013/09/27	Almost uniform weak n-randomness（Eighth International Conference on Computability, Complexity and Randomness）
44.	2013/09/20	Being a Lebesgue point for integral tests（Asian Logic Conference 2013）
45.	2013/08/22	The emergence of probability from randomness and games（Modeling Market Dynamics and Equilibrium – New Challenges, New Horizons）
46.	2013/06/27	L^1-computability and the computability of conditional probability（Analysis, Randomness and Applications 2013）
47.	2013/05/15	The preordering related to uniform Schnorr randomness（ELC Workshop on Randomness and Probability Through Computability）
48.	2013/05/13	Uniform relativization and almost uniform relativization（ELC Seminar on Algorithmic Randomness）
49.	2013/03/21	一様Kurtzランダムネスに対する独立性定理（日本数学会2013年度年会基礎論および歴史分科会）
50.	2013/03/20	もう１つの確率論の流れ（日本数学会2013年度年会基礎論および歴史分科会）
51.	2013/03/18	Merkleの基準のSchnorrおよびKurtzランダムネス版（コンピュテーション研究会）
52.	2013/02/22	Things to do in and with algorithmic randomness（Sendai Logic School 2013）
53.	2013/02/20	Computably measurable sets and computably measurable functions in terms of algorithmic randomness（Computability Theory and Foundations of Mathematics）
54.	2013/01/28	条件付き確率の計算可能性（冬のLAシンポジウム）
55.	2012/11/13	An introduction to algorithmic randomness（Fourth Workshop on Game-Theoretic Probability and Related Topics）
56.	2012/11/12	The law of the iterated logarithm in game-theoretic probability（Fourth Workshop on Game-Theoretic Probability and Related Topics）
57.	2012/09/21	ランダムの概念が持つべき自然な性質（日本数学会2012年度秋季総合分科会）
58.	2012/09/16	ゲーム論的確率論入門（第29回記号論理と情報科学研究集会）
59.	2012/09/14	Schnorr triviality and a base for uniform Schnorr randomness（ＲＩＭＳ研究集会証明論と複雑性）
60.	2012/07/17	Lusinの定理の実効化について（夏のLA 2012）
61.	2012/07/06	Schnorr triviality is equivalent to being a basis for tt-Schnorr randomness（Seventh International Conference on Computability, Complexity and Randomness）
62.	2012/06/27	Weak L^1-computability and Limit L^1-computability（Ninth International Conference on Computability and Complexity in Analysis）
63.	2012/06/23	An integral test for Schnorr randomness and its applications（Computability in Europe 2012）
64.	2012/03/29	微分可能な点はどこにあるか（日本数学会2012年度年会）
65.	2012/03/29	独立同分布でない場合の大数の法則の収束速度～ゲーム論的確率論からのアプローチ～（日本数学会2012年度年会）
66.	2012/02/27	L^1-computability and weak L^1-computability（京都計算可能解析学シンポジウム2012）
67.	2012/02/23	Schnorr Layerwise Computability（証明論及び計算可能性理論に関するワークショップ）
68.	2011/12/20	Characterization of Kurtz randomness by a differentiation theorem（Twelfth Asian Logic Conference）
69.	2011/12/13	Randomness and separation axioms（ANALYSIS AND RANDOMNESS IN AUCKLAND）
70.	2011/12/02	An optimal superfarthingale and its convergence over a computable topological space（Solomonoff 85th Memorial Conference）
71.	2011/09/12	Randomness and differentiability（証明論と計算論研究集会）
72.	2011/08/23	An optimal semimeasure and its convergence（ALGi22）
73.	2011/06/29	Chara terizing randomness by integral tests（CiE 2011）
74.	2011/02/23	Degree of non-randomness and uniform Solovay reducibility（RIMS研究集会）
75.	2011/02/22	Towards prediction via randomness（Statistics for Stochastic Processes: Inference, Asymptotic Methods, Finance and Data Analysis）
76.	2011/01/31	Algorithmic randomness over general spaces（CCA-CCR 2011）
77.	2010/11/02	Frequency and belief are probability（第27回記号論理と情報科学研究集会）
78.	2010/09/16	Algorithmic randomness over general spaces（数理解析研究所短期共同研究ー形式体系と計算理論ー）
79.	2010/09/06	Limit Theorems on a Computable Topological Space（代数、論理、幾何と情報科学研究集会）
80.	2010/07/26	Computable Topology and Randomness（Computable Analysis in Kyoto）
81.	2010/03/01	An extension of van Lambalgen’s Theorem to infinitely many relative 1-random reals（ゲーム論的確率論と関連分野に関するワークショップ）
82.	2009/09/14	Another relativization of Schnorr randomness and computably randomness（代数、論理、幾何と情報科学研究集会）
83.	2009/09/01	An extension of van Lambalgen’s Theorem to infinitely many relative 1-random reals（第26回記号論理と情報科学研究集会）
84.	2007/03/12	Classification of Index Sets of Functions（理論計算機科学と圏論ワークショップ）
5件表示
全件表示(84件)

■ 学歴

1.	2007/04～2010/03	京都大学理学研究科数学・数理解析専攻博士課程修了博士（理学）
2.	2005/04～2007/03	京都大学理学研究科修士課程修了修士（理学）
3.	2001/04～2005/03	京都大学理学部理学科卒業学士（理学）

■ 職歴

1.	2017/10～	明治大学理工学部准教授
2.	2014/04～2017/09	明治大学理工学部数学科専任講師
3.	2013/04～2014/03	日本学術振興会特別研究員PD（東京大学大学院情報理工学系研究科）
4.	2011/04～2013/03	京都大学数理解析研究所特定研究員（グローバルＣＯＥ）
5.	2010/04～2011/03	京都大学数理解析研究所研究員（グローバルＣＯＥ）

■ 教育上の業績

●教育内容・方法の工夫（授業評価等を含む）
1.	2020/04/01～	オンラインでのグループワークの実践
2.	2020/04/01～	手書きレポートマニュアルの作成
3.	2015/04/01～	プロジェクトベースドラーニングの実践

■ 研究課題・受託研究・科研費

1.	2015/04～2019/03	連続時間ゲーム論的確率論の戦略と制御挑戦的萌芽
2.	2014/04～2018/03	計算可能測度論の基礎理論の構築若手研究(B)
3.	2014/01～2016/03	ゲーム論的確率論とランダムの概念に基づく予測理論挑戦的萌芽研究
4.	2013/04～2014/03	アルゴリズム的観点での確率及び予測概念の研究特別研究員奨励費
5.	2011/04～2013/03	ランダムネスを用いた確率概念の拡張若手研究(B)
6.	2010/04～2011/03	計算論的ランダムネスによる確率解釈個人研究
5件表示
全件表示(6件)

■ ホームページ

http://kenshi.miyabe.name/wordpress/

■ メールアドレス

■ 現在の専門分野

数学基礎

■ 担当経験のある科目・講演等

1.	理工学研究科総合講義A（明治大学）
2.	確率論1（明治大学）
3.	確率論2（明治大学）
4.	関数論1（明治大学）
5.	関数論1演習（明治大学）
6.	基礎微分積分2（明治大学）
7.	理工学研究科総合講義C（明治大学）
8.	数値計算の基礎1（明治大学）
9.	数値計算の基礎2（明治大学）
10.	数理コンピュータ科学2（明治大学）
11.	線形代数学１（明治大学）
12.	確率・統計（明治大学）
13.	数学B2(微分積分)（早稲田大学）
5件表示
全件表示(13件)