投稿者: miyabe

投稿日:

未来はどこまで予測可能か？～予測可能性とその限界～

タイトル
未来はどこまで予測可能か？～予測可能性とその限界～

種類
口頭発表

発表場所
小中高大連携推進事業～サイエンス･コミュニケーター･プロジェクト〜
2010年10月2日　熊本マリスト学園スライド
2010年10月22日　京都文教高校(京都大学にて)スライド
2010年10月25日　岐阜県立斐太高校スライド

投稿日:

An extension of van Lambalgen’s Theorem to infinitely many relative 1-random 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}
}