ベリーのパラドックス

履歴
2017年4月22日 スライドアップロード

タイトル
ベリーのパラドックス

種類
明治大学数学科新入生の日講演

ダウンロード
freshman

Posted in Talks | Leave a comment

乱数

履歴
2017年4月22日 スライドアップロード

タイトル
乱数

種類
横浜サイエンスフロンティア高校出張講義

ダウンロード
yokohama

Posted in Talks | Leave a comment

よりランダムな列を一様に計算できるか

履歴
2017年3月24日 スライドアップロード

タイトル
よりランダムな列を一様に計算できるか

種類
数学会での講演

ダウンロード
mathsoc

Posted in Talks | Leave a comment

統計学入門〜ランダムなデータと向き合う〜

履歴
2017年3月24日 スライドアップロード

タイトル
統計学入門〜ランダムなデータと向き合う〜

種類
明治大学理工学部附属中学連携行事

ダウンロード
junior

Posted in Talks | Leave a comment

Randomness of randomness deficiency

履歴
2017年2月26日 スライドアップロード

タイトル
Randomness of randomness deficiency

種類
鈴木研究室との合同ゼミでの講演

ダウンロード
slide

Posted in Talks | Leave a comment

Randomness notions in Muchnik and Medvedev degrees

履歴
2017年2月26日 スライドアップロード

タイトル
Randomness notions in Muchnik and Medvedev degrees

種類
Dagstuhl seminar on “Computability Theory”での講演

ダウンロード
スライド

Posted in Talks | Leave a comment

Coherence of reducibilities with randomness notions

履歴
2017年2月1日 TOCS受理

タイトル
Coherence of reducibilities with randomness notions

種類
正論文

国際会議と雑誌
TOCS, post proceedings of CCR2016

Abstract
Loosely speaking, when $A$ is “more random” than $B$ and $B$ is “random”,
then $A$ should be random.
The theory of algorithmic randomness has some formulations of “random” sets
and “more random” sets.
In this paper, we study which pairs $(R,r)$ of randomness notions $R$
and reducibilities $r$ have the follwing property:
if $A$ is $r$-reducible to $B$ and $A$ is $R$-random,
then $B$ should be $R$-random.
The answer depends on the notions $R$ and $r$.
The implications hold for most pairs, but not for some.
We also give characterizations of $n$-randomness via complexity.

ダウンロード
preprint

Posted in Publication | Leave a comment

確率的な判断の仕方

履歴
2016年12月13日 スライドアップロード

タイトル
確率的な判断の仕方

種類
神奈川県立大磯高校出張授業

ダウンロード
スライド

Posted in Talks | Leave a comment

Using Almost-Everywhere Theorems from Analysis to Study Randomness

履歴
2016年10月10日 オンライン出版
2016年2月29日 BSL受理
2015年5月 再投稿
2014年11月3日 投稿

タイトル
Using Almost-Everywhere Theorems from Analysis to Study Randomness
(with Jing Zhang and Andre Nies)

種類
正論文

国際会議と雑誌
The Bulletin of Symbolic Logic, Volume 22, Issue 3
September 2016, pp. 305-331
arXiv
最新版.

Abstract
We study algorithmic randomness notions via effective versions of almost-everywhere theorems from analysis and ergodic theory. The effectivization is in terms of objects described by a computably enumerable set, such as lower semicomputable functions. The corresponding randomness notions are slightly stronger than Martin-Lo ̈f (ML) randomness. We establish several equivalences. Given a ML-random real z, the additional randomness strengths needed for the following are equivalent.
(1) all effectively closed classes containing z have density 1 at z.
(2) all nondecreasing functions with uniformly left-c.e. increments are differentiable at z.
(3) z is a Lebesgue point of each lower semicomputable integrable function.
We also consider convergence of left-c.e. martingales, and convergence in the sense of Birkhoff’s pointwise ergodic theorem. Lastly we study randomness notions for density of $\Pi^0_n$ and $\Sigma^1_1$ classes.

ダウンロード

Posted in Publication | Leave a comment

MuchnikおよびMedvedev次数におけるランダムの概念

履歴
2016年9月20日 スライドアップロード

タイトル
MuchnikおよびMedvedev次数におけるランダムの概念

種類
CTFM2016での発表

ダウンロード
abstract
slide

Posted in Talks | Leave a comment