タイトル
Algorithmic randomness over general spaces
種類
口頭発表
学会
数理解析研究所短期共同研究ー形式体系と計算理論ー
2010年9月16日
京都大学
内容
Algorithmic randomness over general spacesの論文を元にした内容です。
ダウンロード
スライド
Attached slides are in English.
宮部賢志(ミヤベケンシ)
タイトル
Algorithmic randomness over general spaces
種類
口頭発表
学会
数理解析研究所短期共同研究ー形式体系と計算理論ー
2010年9月16日
京都大学
内容
Algorithmic randomness over general spacesの論文を元にした内容です。
ダウンロード
スライド
Attached slides are in English.
タイトル
Limit theorems on a computable topological space
種類
口頭発表
研究集会
代数、論理、幾何と情報科学研究集会(ALGI21)
2010年9月6日
立命館大学
内容
A Random Sequence of Realsを元にした内容。
ダウンロード
スライド
タイトル
Computable Topology and Randomness
種類
口頭発表
セミナー
Computable Analysis in Kyoto
2010年7月26日
京都大学
内容
computable analysisの基礎とA Random Sequence of Realsの論文を元にした内容。
ダウンロード
スライド
タイトル
Algorithmic randomness
種類
口頭発表
発表場所
京都大学数理解析所談話会
2010年6月16日
京都大学
内容
algorithmic randomnessの概要
ダウンロード
スライド
タイトル
Algorithmic randomness over general spaces
種類
口頭発表
発表場所
京都大学数理解析所計算機科学研究分野セミナー
2010年6月10日
京都大学
内容
Algorithmic randomness over general spacesの論文を元にしている。
ダウンロード
スライド