Computable Topology and Randomness

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.