Title
Computable Topology and Randomness
Type
Talk
This talk in Computable Analysis in Kyoto on Jul 26, 2010.
This talk is about basic of computable analysis and research talk based on the paper A Random Sequence of Reals.
Download
slide
Attached slides are partially Japanese and almost English.