ﾚｽ書き込み

ｽﾚへ戻る 写 ﾚｽ栞 ﾚｽ消

---

スレタイ 箱入り無数目を語る部屋3

PC,ｽﾏﾎ,PHSは ULA べっかんこ 公式(ｽﾏﾎ) 公式(PC) で書き込んでください｡

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ
>>353 > >>352 > その点については>>297-300で反論済み。信託機械と同じノリで、 > > ・ 可算無限個の対象をそのまま出力できる機械を想定する。 > ・ その機械はさらに、選択公理で記述される選択関数を実際に出力可能であるとする。 > > このような能力を持った機械を想定すればよい。 > この機械を使役することで、 我々は時枝戦術の全てを「本当に実行可能」になる。 > 特に、時枝戦術を使って統計を取ることが可能になる。 > > しかし、どうやってその機械にそのような芸当をプログラミングしたのか、 > そのソースコードは我々には分からない。しかし、その部分は知る必要がない。 > ただ単に実行可能でありさえすればよい。
ﾛｰｶﾙﾙｰﾙ SETTING.TXT

---

他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡書き込み設定で書き込みｻｲﾄの設定ができます｡
・ULA
・べっかんこ(身代わりの術)
・べっかんこ(通常)
・公式(ｽﾏﾎ)
・公式(PC)[PC,ｽﾏﾎ,PHS可]

---

書き込み設定(板別)で板別の名前とﾒｰﾙを設定できます｡

---

ﾒﾓ帳

(0/65535文字)

---

上下板覧索設栞歴

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.023s