タイトル
未来はどこまで予測可能か?~予測可能性とその限界~
種類
口頭発表
発表場所
小中高大連携推進事業~サイエンス・コミュニケーター・プロジェクト〜
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の論文を元にした内容。
ダウンロード
スライド
タイトル
An extension of van Lambalgen’s Theorem to infinitely many relative 1-random reals
種類
論文
ジャーナル
Notre Dame Journal of Formal Logic, 51(3):337-349, 2010.
リンク
Received November 30, 2009; accepted December 8, 2009; printed June 16, 2010
京都大学学術情報リポジトリ(KURENAI)にも登録されています。
参照元
@article{bienvenu2010ergodic,
title={{Ergodic-type characterizations of algorithmic randomness}},
author={Bienvenu, L. and Day, A. and Mezhirov, I. and Shen, A.},
journal={Programs, Proofs, Processes},
pages={49–58},
year={2010},
publisher={Springer}
}
@article{bienvenu2011constructive,
title={A constructive version of Birkhoffʼs ergodic theorem for Martin–L{\”o}f random points},
author={Bienvenu, L. and Day, A. and Hoyrup, M. and Mezhirov, I. and Shen, A.},
journal={Information and Computation},
year={2011},
publisher={Elsevier}
}
@article{yu2011characterizing,
title={Characterizing strong randomness via Martin-L{\”o}f randomness},
author={Yu, L.},
journal={Annals of Pure and Applied Logic},
year={2011},
publisher={Elsevier}
}