An operational characterization of the notion of probability by algorithmic randomness and its applications (Proof Theory, Computation Theory and Related Topics)

このアイテムのアクセス数: 105

http://hdl.handle.net/2433/223936

このアイテムのファイル:

ファイル	記述	サイズ	フォーマット
1950-06.pdf		2.28 MB	Adobe PDF	見る/開く

完全メタデータレコード

DCフィールド	値	言語
dc.contributor.author	只木, 孝太郎	ja
dc.contributor.alternative	Tadaki, Kohtaro	en
dc.contributor.transcription	タダキ, コウタロウ	ja
dc.date.accessioned	2017-04-27T06:38:17Z	-
dc.date.available	2017-04-27T06:38:17Z	-
dc.date.issued	2015-06	-
dc.identifier.issn	1880-2818	-
dc.identifier.uri	http://hdl.handle.net/2433/223936	-
dc.format.mimetype	application/pdf	-
dc.language.iso	eng	-
dc.publisher	京都大学数理解析研究所	ja
dc.subject.ndc	410	-
dc.title	An operational characterization of the notion of probability by algorithmic randomness and its applications (Proof Theory, Computation Theory and Related Topics)	en
dc.type	departmental bulletin paper	-
dc.type.niitype	Departmental Bulletin Paper	-
dc.identifier.ncid	AN00061013	-
dc.identifier.jtitle	数理解析研究所講究録	ja
dc.identifier.volume	1950	-
dc.identifier.spage	52	-
dc.identifier.epage	72	-
dc.textversion	publisher	-
dc.identifier.artnum	KJ00009880624	-
dc.sortkey	06	-
dc.address	中央大学研究開発機構	ja
dc.address.alternative	Research and Development Initiative, Chuo University	en
dcterms.accessRights	open access	-
出現コレクション:	1950 証明論・計算論とその周辺

このリポジトリに保管されているアイテムはすべて著作権により保護されています。