タイトル
未来はどこまで予測可能か?~予測可能性とその限界~
種類
口頭発表
発表場所
小中高大連携推進事業~サイエンス・コミュニケーター・プロジェクト〜
2010年10月2日 熊本マリスト学園スライド
2010年10月22日 京都文教高校(京都大学にて)スライド
2010年10月25日 岐阜県立斐太高校スライド
宮部賢志(ミヤベケンシ)
タイトル
未来はどこまで予測可能か?~予測可能性とその限界~
種類
口頭発表
発表場所
小中高大連携推進事業~サイエンス・コミュニケーター・プロジェクト〜
2010年10月2日 熊本マリスト学園スライド
2010年10月22日 京都文教高校(京都大学にて)スライド
2010年10月25日 岐阜県立斐太高校スライド
タイトル
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の概要
ダウンロード
スライド