口頭発表 – Kenshi Miyabe

Strong Solovay reducibility, CCR2024, 2024年3月12日, 名古屋
Strong Solovay reducibility, 「証明論と計算論の最前線」@RIMS, 2023年12月12日, 京都
Computable prediction, Mini-workshop on computability in Tokyo, 2023年11月6日, 東京
Solovay reducibility and signed-digit representation, CCC@RIMS, 2023年9月26日, 京都
クエリー制限と符号付き桁数表現によるSolovay還元の特徴づけ, 日本数学会, 2023年9月22日, 仙台
実数の計算可能性, 数学基礎論サマースクール, 2023年9月11日〜15日, 東京
Solovay reducibility and signed-digit representation, NUS workshop, 2023年6月15日, シンガポール
Subclasses of the weakly computable reals, Tokyo model theory seminar, 2022年10月26日, オンライン
実閉体を成す弱計算可能実数の部分族, 日本数学会Mathsoc, 2022年9月15日, 札幌
弱計算可能実数の部分族, CCR2022, 2022年6月9日, INI(UK) & オンライン
計算可能測度の汎用性, LCD2022, 2022年6月1日, Leeds(UK) & オンライン
計算可能な予測の収束速度, 日本数学会2022年度年会, 2022年3月28日，埼玉大学=>中止
計算可能な予測の収束速度, RIMS共同研究 (公開型)「証明と計算の理論と応用」, 2021年12月22日， RIMS&Zoom
計算可能な予測の収束速度, ドイツ数学会ミニシンポジウム, 2020年9月16日，オンライン
逆ランダム, 京大談話会, 2019年11月8日，京都
Computable prediction, AGI2019, 2019年8月, 深セン（中国）
Uniform relativization, CiE2019, 2019年7月19日, ダラム（イギリス）, 特別セッションへの招待
Schnorr triviality via decidable machines, CTFM2019, 2019年3月25日，武漢(中国), invited
ランダム性のMuchnik次数およびMedvedev次数, AMS, 2019年3月22日，ハワイ
還元とランダム性の整合性, 日本数学会, 2019年3月18日，東京
明日また太陽が昇る確率再訪, SIG-AGI, 2019年3月15日，東京
Construction of random and nonrandom sets, SLS2018, 2018年12月8日，東京
Erdos-Feller-Kolmogorov-Petrowsky law of the iterated logarithm, CTFM2018, 2018年9月14日，東京
A tutorial in game-theoretic probability and algorithmic randomness, talk in CTFM2018, 2018年9月13日，東京
重複対数の法則, 研究室セミナー，2018年7月30日，川崎
極限計算可能性における連続性, ハワイ大学での講演, 2018年3月1日，ホノルル
極限計算可能性における1ジェネリックな点での連続性, 鈴木研究室との合同ゼミ, 2018年2月14日，川崎
ランダム性に対応する関数階層, RIMS研究集会，2017年12月26日，京都
ランダムな点での計算, IPA math 2017, 2017年1２月14日,中野
数学とはどんな学問か, 明治高校高大連携, 2017年1２月6日,調布
停止確率$\Omega$, 数学基礎論若手の会2017, 2017年10月28日,八王子
数学でランダム性と向き合う, mathpower, 2017年10月7日,東京(invited)
Solomonoffの万能推論・アルゴリズム的確率, 汎用人工知能研究会，2017年9月15日，東京(invited)
Turing次数, 数学基礎論サマースクール2017，2017年8月6日，東京
ベリーのパラドックス, 明治大学数学科新入生の日，2017年4月22日，川崎市
乱数, 横浜サイエンスフロンティア高校出張講義，2017年4月20日，横浜
よりランダムな列を一様に計算できるか, 日本数学会， 2017年3月25日，八王子
統計学入門〜ランダムなデータと向き合う〜, 明治大学附属中学連携行事, 2017年3月24日，川崎
Randomness of randomness deficiency, 鈴木研究室との合同ゼミ, 2017年3月7日, 八王子
Randomness notions in Muchnik and Medvedev degrees, Dagstuhl seminar on “Computability Theory”, 2017年2月24日, ワーデン(ドイツ)
確率的な判断の仕方, 大磯高校出張講義，2016年12月13日，神奈川
MuchnikおよびMedvedev次数におけるランダムの概念, CTFM, 2016年9月20日, 東京
三角不等式が成り立たない距離上での実数の計算可能性について, 日本数学会, 2016年9月18日，吹田
三角不等式が成り立たない距離上での実数の計算可能性について, 研究室セミナー，2016年7月28日，川崎市
各層計算可能性の変種, CCA2016, 2016年6月15-17日, ファロ（ポルトガル）(invited)
ランダム性と計算可能性, 筑波大学数学談話会, 2016年6月2日，筑波
ランダムの概念の多数問題, 日本数学会年会, 2016年3月7日，筑波
ランダムと確率の概念について, 第３回量子基礎論懇話会, 2016年3月6日，東京
ランダムの概念の多数問題, 首都大との合同セミナー, 2016年2月18日，川崎市
ランダムとはどういうことか？, 生田サロン, 2015年12月12日，川崎市
Separation of randomness notions in Weihrauch degrees, Dagstuhl Seminar 15392, 2015年9月25日，ワーデン（ドイツ）
3ランダムネスの複雑性による特徴づけ, 日本数学会, 2015年9月16日, 京都
Reducibilities as refinements of the randomness hierarchy, CTFM2015, 2015年9月11日，東京
パラドックスへようこそ, 明治大学サマーセミナー，2015年8月17日，川崎
ランダム概念の階層とその改良としての還元可能性, 首都大との合同セミナー, 2015年2月23日, 八王子
Total-machine reducibility and randomness notions, ALC2015, 2015年1月5日, ムンバイ(インド) (invited)
Derandomization in game-theoretic probability, GTP2014, 2014年11月13日, Guanajuato (メキシコ)
EFKP型の重複対数の法則のゲーム論的証明 (presented by Prof. Takemura), 日本数学会, 2014年9月26日, 広島
賭けのゲームと数学, 明治大学サマーセミナー，2014年8月18日, 川崎
「予測不可能性」の数学的定式化, 語ろう「数理解析」，2014年6月21日，京都
Schnorr randomness versions of K, C, LR, vL-reducibilities, CCR 2014 (13 June 2014), Singapore
積分テストに対するLebesgue点の特徴付け，日本数学会，2014年3月16日，東京
A Gap Phenomenon for Schnorr Randomness, CTFM, 2014年2月20日，東京
初期値の予測不可能性, RIMS研究集会「力学系と計算」, 2014年1月15日, 京都 (invited)
Variants of Layerwise Computability, ARGENTINA-JAPAN-NEW ZEALAND WORKSHOP, 2013年12月2-3日, オークランド（ニュージーランド）(invited)
Almost uniform weak n-randomness, CCR2013, 2013年9月23-27日, モスクワ（ロシア）
Being a Lebesgue point for integral tests, ALC 2013, 2013年9月16-20日, 広州（中国）
$L^1$-computability and Schnorr randomness, ミュンヘン連邦軍大学セミナー, 2013年8月26日, ミュンヘン（ドイツ）
The emergence of probability from randomness and games (with A. Takemura), Modeling Market Dynamics and Equilibrium: New Challenges, New Horizons, 2013年8月19-22日, ボン（ドイツ）(invited)
Polynomial-time randomness and differentiability (presented by Kawamura), CiE2013, 2013年7月1-5日, ミラノ（イタリア）
Lowness for uniform Kurtz randomness (presented by Kihara), CiE2013, 2013年7月1-5日, ミラノ（イタリア）
$L^1$-computability and the computability of conditional probability, ARA, 2013年6月27-28日, ナンシー（フランス）(invited)
From randomness to prediction and probability, 東大数理4研セミナー, 2013年6月12日, 東京
The preordering related to uniform Schnorr randomness, RPTC2013, 2013年5月15日, 東京
Uniform relativization and almost uniform relativization, ELC Seminar on Algorithmic Randomness, 2013年5月13日, 東京
確率概念の捉え方, 蓮尾研セミナー, 2013年4月23日, 東京
一様Kurtzランダムネスに対する独立性定理, 日本数学会, 2013年3月21日, 京都
もう一つの確率論の流れ, 日本数学会, 2013年3月20日, 京都
Merkleの基準のSchnorrおよびKurtzランダムネス版, COMP研, 2013年3月18日, 岐阜
Things to do in and with algorithmic randomness, SLS2013, 2013年2月22-23日, 仙台 (invited)
Computably measurable sets and computably measurable functions in terms of algorithmic randomness, CTFM, 2013年2月18-20日, 東京
条件付き確率の計算可能性, 冬のLA, 2013年1月28日, 京都
一様Kurtzランダムネスに対する独立性定理, 東工大セミナー, 2013年1月25日, 東京
計算可能解析学における測度の取り扱いについて, JAISTでのセミナー, 2012年12月20日, 能美
独立性定理とRadon-Nikodym微分, 数学基礎論若手の会, 2012年11月23-25日, 奈良
An introduction to algorithmic randomness, Fourth Workshop on Game-Theoretic Probability and Related Topics, 2012年11月12-14日, 東京
The law of the iterated logarithm in game-theoretic probability, Fourth Workshop on Game-Theoretic Probability and Related Topics, 2012年11月12-14日, 東京
ランダムはどこにあるか？, 大人のための数学講座in京都, 2012年10月13日, 京都
ランダムの概念が持つべき自然な性質, 日本数学会2012年度秋季総合分科会, 2012年9月18日-21日, 福岡
ゲーム論的確率論入門, 記号論理と情報科学研究集会, 2012年9月15日-16日, 京都
Schnorr triviality and being a basis for tt-Schnorr randomness, 証明論と複雑性, 2012年9月12日-14日, 京都
ランダムの概念について, 数学基礎論サマースクール, 2012年9月4日-7日, 東京
Lusinの定理の実効化について, 夏のLA 2012, 2012年7月17日, 宮津
Schnorr triviality is equivalent to being a basis for tt-Schnorr randomness, CCR 2012, 2012年7月2日-6日, ケンブリッジ（イギリス）
Weak L^1-computability and Limit L^1-computability, CCA 2012, 2012年6月24日-27日, ケンブリッジ（イギリス）
An integral test for Schnorr randomness and its applications, CiE 2012, 2012年6月18日–23日, ケンブリッジ（イギリス）
Schnorr triviality is equivalent to being a basis for tt-Schnorr randomness, CS seminar, 2012年6月7日，京都
アルゴリズム的観点から見た確率解釈, CAPEレクチャー, 2012年5月29日, 京都
予測限界とランダムネス, CSセミナー, 2012年4月26日, 京都
独立同分布でない場合の大数の法則の収束速度 (with A. Takemura), 日本数学会2012年度年会, 2012年3月26日-29日, 東京
微分可能な点はどこにあるか, 日本数学会2012年度年会, 2012年3月26日-29日, 東京
なぜ確率0のことが起こるのか, Young-RICE: 若手研究者による講義力向上検討会, 2012年3月20日, 京都
L^1-computability and weak L^1-computability, 京都計算可能解析学シンポジウム2012, 2012年2月24日-27日, 京都
Schnorr Layerwise Computability, Workshop on Proof Theory and Computability Theory 2012, 2012年2月20日-23日, 東京
ランダムネス入門, GCOE tea time, 2012年1月10日, 京都
Characterization of Kurtz randomness by a differentiation theorem, Twelfth Asian Logic Conference, (15 – 20 Dec 2011), ウェリントン（ニュージーランド） (invited)
Randomness and separation axioms, Analysis and Randomness in Auckland, (13 – 14 Dec 2011), オークランド（ニュージーランド） (invited)
An optimal superfarthingale and its convergence over a computable topological space, Solomonoff 85th Memorial Conference, (30 Nov – 2 Dec 2011), クレイトン（オーストラリア） (referred)
Characterization of Kurtz randomness by a differentiation theorem, CS Seminar, 2011年11月17日, 京都
Randomness and differentiability, 証明論と計算論研究集会, 2011年9月12日, 東京
An optimal semimeasure and its convergence, ALGI 22, 2011年8月23日, 東京
Characterizing randomness by integral tests, CiE 2011, 2011年6月29日, ソフィア（ブルガリア） (abstract referred)
Characterizing randomness by integral tests, CS Seminar, 2011年6月16日, 京都
Computability of measures and A-topology, CC-Seminar, 2011年3月4日, 京都
Degree of non-randomness and uniform Solovay reducibility, 証明論と計算論の数理科学への展開, 2011年2月23日, 仙台 (invited)
Towards prediction via randomness, SSP, 2011年2月22日, 東京
Randomness in a dynamical system, DSCセミナー, 2011年2月14日, 札幌
Algorithmic randomness over general spaces, CCA-CCR 2011, 2011年1月31日, ケープタウン（南アフリカ） (abstract referred)
Frequency and belief are probability, 第27回記号論理と情報科学研究集会(SLACS 2010), 2010年11月2日, 仙台
未来はどこまで予測可能か？, サイエンス･コミュニケーター･プロジェクト, 熊本マリスト学園(2010年10月2日), 京都文教高校(2010年10月22日)
Algorithmic randomness over general spaces, 数理解析研究所短期共同研究ー形式体系と計算理論ー, 2010年9月16日, 京都
Limit theorems on a computable topological space, 代数、論理、幾何と情報科学研究集会(ALGI21), 2010年9月6日, 京都
Computable Topology and Randomness, Computable Analysis in Kyoto, 2010年7月26日, 京都
Algorithmic randomness, 京都大学数理解析所談話会, 2010年6月16日, 京都
Algorithmic randomness over general spaces, 京都大学数理解析所計算機科学研究分野セミナー, 2010年6月10日, 京都
An extension of van Lambalgen’s Theorem to infinitely many relative 1-random reals, ゲーム論的確率論と関連分野に関するワークショップ, 2010年3月1日, 東京
An extension of van Lambalgen’s Theorem to infinitely many relative 1-random reals, 学位審査, 2010年1月19日, 京都
Another relativization of Schnorr randomness and computably randomness, 代数、論理、幾何と情報科学研究集会(ALGI20), 2009年9月14日, 鳥取
An extension of van Lambalgen’s Theorem to infinitely many relative 1-random reals, 第26回記号論理と情報科学研究集会(SLACS 2009), 2009年9月1日, 京都
Classification of Index Sets of Functions, 理論計算機科学と圏論ワークショップ(CSCAT 2007), 2007年3月12日, 京都