ダウンロード数: 231
このアイテムのファイル:
ファイル | 記述 | サイズ | フォーマット | |
---|---|---|---|---|
s00224-012-9422-3.pdf | 194.49 kB | Adobe PDF | 見る/開く |
タイトル: | Characterization of Kurtz Randomness by a Differentiation Theorem |
著者: | Miyabe, Kenshi |
著者名の別形: | 宮部, 賢志 |
キーワード: | Differentiability The differentiation theorem Kurtz randomness Integral test Computable metric space |
発行日: | Jan-2013 |
出版者: | Springer-Verlag |
誌名: | Theory of Computing Systems |
巻: | 52 |
号: | 1 |
開始ページ: | 113 |
終了ページ: | 132 |
抄録: | Brattka, Miller and Nies (2012) showed that some major algorithmic randomness notions are characterized via differentiability. The main goal of this paper is to characterize Kurtz randomness by a differentiation theorem on a computable metric space. The proof shows that integral tests play an essential part and shows that how randomness and differentiation are connected. |
著作権等: | The final publication is available at www.springerlink.com This is not the published version. Please cite only the published version. この論文は出版社版でありません。引用の際には出版社版をご確認ご利用ください。 |
URI: | http://hdl.handle.net/2433/168193 |
DOI(出版社版): | 10.1007/s00224-012-9422-3 |
出現コレクション: | 学術雑誌掲載論文等 |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。