An introduction to game-theoretic probability

Title
An introduction to game-theoretic probability

Type
Talk at
SLACS 2012
15-16 Sep, 2012
Kyoto Sangyo University

Download
Slide

Posted in Talks | Leave a comment

Schnorr triviality and being a basis for tt-Schnorr randomness

Title
Schnorr triviality and being a basis for tt-Schnorr randomness

Type
Talk at
PROOF THEORY AND COMPLEXITY 2012
12-14 Sep, 2012
Research Institute for Mathematical Sciences,
Kyoto University

Download
Preliminary report
Slide

Posted in Talks | Leave a comment

On the effectivization of Lusin’s theorem

Title
On the effectivization of Lusin’s theorem

Type
LA symposium 2012

Download
Summary in Japanese
Slide

Posted in Publication, Talks | Leave a comment

Schnorr triviality is equivalent to being a basis for tt-Schnorr randomness

Title
Schnorr triviality is equivalent to being a basis for tt-Schnorr randomness

Type
Talk at
Seventh International Conference on Computability, Complexity and Randomness (CCR 2012)
2-6 July 2012, Cambridge, Great Britain
Isaac Newton Institute

Download
abstract
slide

INI web seminar

Posted in Talks | Leave a comment

Weak L^1-computability and Limit L^1-computability

Title
Weak L^1-computability and Limit L^1-computability

Type
Talk at
Ninth International Conference on Computability and Complexity in Analysis
June 24-27, 2012, Cambridge, UK

Download
abstract
slide
paper

Posted in Talks | Leave a comment

An integral test for Schnorr randomness and its applications

Title
An integral test for Schnorr randomness and its applications

Type
Talk at
Computability in Europe 2012
18 – 23 June, 2012, University of Cambridge

Abstract
abstract

Slide
slide

Paper
paper

Posted in Talks | Leave a comment

Schnorr triviality is equivalent to being a basis for tt-Schnorr randomness

Title
Schnorr triviality is equivalent to being a basis for tt-Schnorr randomness

Type
Talk at CS seminar in RIMS, Kyoto University on 7 June 2012.

Download
Former half slide in Japanese
The latter half is the same as CCR2012.

Posted in Talks | Leave a comment

Algorithmic interpretation of probability

Title
Algorithmic interpretation of probability

Type
Talk at CAPE lectures, Kyoto University on 29 May 2012.
CAPE lectures

Abstract
Philosophy of probability is one of the big problem in science
discussed so far.
In this talk I first review the history of philosophy of probability.
Then I introduce theory of algorithmic randomness and its
related topic, which is produced by the study of the mathematical
formalization of probability.
Finally I discuss the notion of probability from the algorithmic
point of view by seeing the results that has got recently.

Download
Slide in Japanese

Posted in Talks | Leave a comment

The limit of prediction and randomness

Title
The limit of prediction and randomness

Type
Talk at CS seminar in RIMS, Kyoto University on 26 Apr 2012.

Abstract
The former half is about the relation between differentiability and randomness.
I talk about why more computability is needed to characterize Schnorr randomness by differentiability.
The latter half is about the relation between Solomonoff’s induction and the differentiability.
I use a little different setting from Solomonoff’s induction to get a Schnorr randomness version
with long prediction.
I talk more about future work.

Download
Slide in Japanese

Posted in Talks | Leave a comment

The convergence rate of SLLN in the case of non-i.i.d.

Title
The convergence rate of SLLN in the case of non-i.i.d.
(with A. Takemura)

Type
Talk at “Annual meeting of Mathematical Society of Japan” on 26-29 Mar 2012.

Abstract
Japanese abstract

Download
Slides

Posted in Talks | Leave a comment