Kenshi Miyabe

タイトル
なぜ確率0のことが起こるのか

種類
口頭発表

発表場所
Young-RICE: 若手研究者による講義力向上検討会にて
2012年3月20日

アブストラクト
「確率」とは何か。これは未だ議論が収まらない科学上の大問題である。
一方、「ランダム」の定義は1960年代～1970年代にかけて、
満足のいくものが与えられた。
その後、ランダムネスの理論を使って確率の概念を捉え直そうという試みが
いくつか見られるようになったが、未だ不十分である。
本公演では、このランダムネスの理論が確率論の弱点をどのように補っているか、
ランダムネスの理論は確率の概念をどのように変えようとしているのか、
などについて話をする予定である。

ダウンロード
スライド (3.1MB)

タイトル
L^1-computability and weak L^1-computability

種類
口頭発表

発表場所
京都計算可能解析学シンポジウム2012
2012年2月24日-27日

アブストラクト
Computable functions are simple functions and
in Weihrauch approach computable functions are always continuous.
However there are some simple discontinuous functions such as the
floor function.
Therefore we need another mathematical notion to measure simplicity.
One candidate is L^1-computability, which was introduced by Pour-El
and Richard 1989.
In this talk I show you that more effectivised version of L^1-computability
has a strong connection with Schnorr randomness
and that some weaker versions of L^1-computability has connections
with some stronger randomness notions.

ダウンロード
スライド

タイトル
Schnorr Layerwise Computability

種類
口頭発表

発表場所
証明論及び計算可能性理論に関するワークショップ
“Workshop on Proof Theory and Computability Theory 2012”
2012年2月20日-23日
ワークショップのウェブサイト

アブストラクト
In order to formalize the notion of randomness mathematically,
the theory of algorithmic randomness uses computability theory.
Recent researches show that some notions in algorithmic randomness conversely
are useful to study computable analysis.
One example is layerwise computability defined by Hoyrup and Rojas 2009.
In this talk I introduce Schnorr layerwise computability,
which is a Schnorr-randomness version,
and explain why this is a more natural notion.

ダウンロード
スライド