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
Computable measures in computable analysis
News
20 Dec 2012, the slides were uploaded.
Title
Computable measures in computable analysis
Type
Talk
JAIST 20 Dec 2012
Download
Slides