Computable Topology and Randomness

タイトル
Computable Topology and Randomness

種類
口頭発表

セミナー
Computable Analysis in Kyoto
2010年7月26日
京都大学

内容
computable analysisの基礎とA Random Sequence of Realsの論文を元にした内容。

ダウンロード
スライド