履歴
2013年2月23日 スライドをアップロード
タイトル
Things to do in and with algorithmic randomness
種類
研究集会
発表場所
Sendai Logic School 2013
http://sendailogic.math.tohoku.ac.jp/SLS/
仙台 2013年2月22日
ダウンロード
スライド
Computably measurable sets and computably measurable functions in terms of algorithmic randomness
履歴
2013年2月20日 スライドをアップロード
タイトル
Computably measurable sets and computably measurable functions in terms of algorithmic randomness
種類
研究集会
発表場所
Computability Theory and Foundations of Mathematics
http://sendailogic.math.tohoku.ac.jp/CTFM/
東京工業大学 2013年2月20日
ダウンロード
スライド