News
19 Mar 2013, the manuscript and the slides were uploaded.
Title
Schnorr and Kurtz randomness versions of Merkle’s criterion
Type
COMP
Gifu University, 18 Mar 2013
IEICE Technical Report Vol. 112 No. 498, COMP 2012-60, pp55-59
Things to do in and with algorithmic randomness
News
23 Feb 2013, the slides were uploaded.
Title
Things to do in and with algorithmic randomness
Type
Talk
Sendai Logic School 2013
http://sendailogic.math.tohoku.ac.jp/SLS/
Sendai, 22 Feb 2013
Download
Slide
Computably measurable sets and computably measurable functions in terms of algorithmic randomness
News
20 Feb 2013, the slides were uploaded.
Title
Computably measurable sets and computably measurable functions in terms of algorithmic randomness
Type
Talk
Computability Theory and Foundations of Mathematics
http://sendailogic.math.tohoku.ac.jp/CTFM/
Tokyo Tech, 20 Feb 2013
Download
slide
Computability of conditional probability
News
26 Jan 2013, the slides were uploaded.
Title
Computability of conditional probability
Type
Talk
LA symposium, Kyoto University, 28 Jan 2013
Download
preliminary report
slide
Van Lambalgen’s Theorem for uniform Kurtz randomness
News
26 Jan 2013, the slides were uploaded.
Title
Van Lambalgen’s Theorem for uniform Kurtz randomness
Type
Talk
TITECH, 25 Jan 2013
Download
slides