News
8 Dec, 2018 The slide file was uploaded.
Title
Construction of random and nonrandom sets
Type
A talk in Sendai Logic School
Download
SLS-miyabe
Erdos-Feller-Kolmogorov-Petrowsky law of the iterated logarithm
A tutorial in game-theoretic probability and algorithmic randomness
News
13 Sep, 2018 The slide file was uploaded.
Title
A tutorial in game-theoretic probability and algorithmic randomness
Type
A talk in CTFM2018
Download
CTFM-tutorial
The law of the iterated logarithm
News
31 July, 2018 The slide file was uploaded.
Title
The law of the iterated logarithm
Type
Seminar in the lab
Download
LIL
Continuity of limit computable functions
News
1 Mar, 2018 The slide file was uploaded.
Title
Continuity of limit computable functions
Type
A talk in undergraduate colloquium in University of Hawaii at Manoa
Download
hawaii