Title
An introduction to algorithmic randomness
Type
Talk at GCOE tea time on 10 Jan 2012.
Download
slides
宮部賢志(ミヤベケンシ)
Title
An introduction to algorithmic randomness
Type
Talk at GCOE tea time on 10 Jan 2012.
Download
slides
Title
Characterization of Kurtz randomness by a differentiation theorem
Type
Talk, invited as a special session speaker
Twelfth Asian Logic Conference
15-20 December 2011, Wellington
The talk is based on the paper which has the same title.
Download
slides
Title
Randomness and separation axioms
Type
Talk
ANALYSIS AND RANDOMNESS IN AUCKLAND
DEC 12 AND 13, 2011
The talk is based on the paper of “Algorithmic randomness over general spaces”.
Download
slides
Title
Characterization of Kurtz randomness by a differentiation theorem
Type
Talk
This talk is in CS Seminar at Kyoto University on 17 Nov 2011.
The same talk will be given in ALC 2011.
Download