履歴
タイトル
Subclasses of the weakly computable reals
種類
Tokyo model theory seminar
2022年10月26日
ダウンロード
宮部賢志(ミヤベケンシ)
履歴
2022年6月9日 スライドアップロード
タイトル
弱計算可能実数の部分族
種類
International conference on computability, complexity and randomness 2022
ダウンロード
CCR