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
宮部賢志(ミヤベケンシ)
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
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
News
31 July, 2018 The slide file was uploaded.
Title
The law of the iterated logarithm
Type
Seminar in the lab
Download
LIL
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