[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋3 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
352(1): 2022/09/19(月)16:21 ID:aLiBZfCJ(3/10) AAS
>>345
>・ 我々は統計を取りたいので、まず出題者の出題を固定した。
だから、>>290に書いたろ？ 「時枝の手法は現実には実行できない」って
>>285の「時枝戦術を使って統計を取る」に対して、書いた
統計なんて取れるわけないぞｗ
353(3): 2022/09/19(月)16:27 ID:k+EEBfQ5(13/29) AAS
>>352
その点については>>297-300で反論済み。信託機械と同じノリで、
・ 可算無限個の対象をそのまま出力できる機械を想定する。
・ その機械はさらに、選択公理で記述される選択関数を実際に出力可能であるとする。
このような能力を持った機械を想定すればよい。
この機械を使役することで、 我々は時枝戦術の全てを「本当に実行可能」になる。
特に、時枝戦術を使って統計を取ることが可能になる。
省3
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s