履歴
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日
ダウンロード
スライド
宮部賢志(ミヤベケンシ)
履歴
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日
ダウンロード
スライド
履歴
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日
ダウンロード
スライド