履歴
2018年12月8日 スライドアップロード
タイトル
Construction of random and nonrandom sets
種類
Sendai Logic Schoolでの講演
ダウンロード
SLS-miyabe
宮部賢志(ミヤベケンシ)
履歴
2018年12月8日 スライドアップロード
タイトル
Construction of random and nonrandom sets
種類
Sendai Logic Schoolでの講演
ダウンロード
SLS-miyabe
履歴
2018年9月13日 スライドアップロード
タイトル
A tutorial in game-theoretic probability and algorithmic randomness
種類
CTFM2018の講演
ダウンロード
CTFM-tutorial