23/09/17 15:32:18.72 cFrF0s2J.net
前教授とかウソHNやめて、ロンパースって名乗れよｗ
173:北朝の主
23/09/17 15:33:04.92 cFrF0s2J.net
>>163 ロンパースは１よりアホだったかｗ
174:１３２人目の素数さん
23/09/17 15:42:50.49 Rg8pfvji.net
ハプスブルクの零落れ
✨🌹✨イケメン✨🌹✨先輩
ｶｧｨｿｩ ｶｧｨｿｩ
腐゜ロイセンが放つ偉大なる野獣説モチの腐リードリｩｨｯヒ!大王先輩くらぃ、
(🌈先輩達ゎ)
何処にでも居て
何処にも居ない
はっきりわかんだね
美リｨ!先輩ゎ、エースター麗ｩｨｯ姫!のご先祖ｯﾁｬﾏの
魔ﾘｨ!ﾄﾞ✯腐"ﾙ豪ﾆｭ女公ｯﾁｬﾏ、ﾓﾁﾓﾁとこの世に発生日が一緒、一緒!一緒なのもﾓﾁﾓﾁの中でｨﾁｫｼってｿﾚ-。
(ｽﾚﾁ熱弁)
175:１３２人目の素数さん
23/09/17 15:46:41.36 9ABUAX39.net
>>160
>決定番号はどういう関係になるんだ、ここ重要、試験に出るよ
数列のしっぽの同値類と決定番号について説明します
Sergiu Hart氏>>163を使う（下記）
いま可算無限列1列で、円周率πの10進無限小数展開を考える
下記で、r1が問題列でπの10進無限小数、r2が同値類代表とする
差 r1-r2 を考えると、しっぽが消えて 有限小数になる
r1-r2＝0.y1y2・・yn ｜ yn≠0 このとき、決定番号d=n+1 (n+1以降の小数展開が一致)
ここで、決定番号を使う確率計算の注意点は
すぐ分かるように、r1-r2＝0.y1y2・・yn に対して、別の代表 r'2で
r1-r'2＝0.y1y2・・yn yn+1 つまり 決定番号d=n+2を考えると
r'2はr2の10倍あり、決定番号d=n+1+kの代表はr2の10^k倍ある
（つまり、そういう存在率が違う決定番号d1,d2,・・,d100を平等に扱っていることも 確率計算が well defined でない一因です）
（参考）前スレ
ｽﾚﾘﾝｸ(math板:789番)
game2(の変形で)は、区間[0,1]の10進無限小数展開の実数�
176:lえている いまr1,r2 ∈[0,1]で、r1,r2が同一のしっぽ同値類に属するとする そうすると、差 r1-r2 を考えると、しっぽが消えて 有限小数になる つまり r1-r2＝0.y1y2・・yn （yi∈{0,1,・・9}(この記号は、game2のP2ご参照）) 繰り返すが、小数第n位までの有限小数になる さて、具体的にπ＝3.14159・・の小数展開でπ-3＝0.14159・・ を考えよう。これらの数を箱に入れる。x1=1,x2=4,x3=1,X4=5,x5=9・・となる いま、小数第n+1位以降の箱を開ける。もし、神様がいたらπの小数展開を知っていて（なお、人はπの有限桁しか知らない） 「ああ、これはπの小数展開のしっぽだ」と分かる そして、もし、r1に対する同値類代表をr2として、しっぽの一致が小数第d=n-1位まで続いていれば ”r2の第n-1位＝r1の第n-1位”とすることで、r1の第d=n-1位が箱を開けずに的中できる (引用終り)
177:前教授
23/09/17 15:48:27.49 mDY6sR3G.net
>>165
そんなことは聞いてない
178:御醍醐天皇
23/09/17 15:50:31.28 mDY6sR3G.net
>>166
こっちは三種の神器を持っているんだ、朝敵め
179:御醍醐天皇
23/09/17 15:51:20.39 mDY6sR3G.net
>>169
時枝問題とは違うじゃん
180:１３２人目の素数さん
23/09/17 15:52:35.08 9ABUAX39.net
>>161
>分けた一個の列を選ぶのは確率1/100か？
お答えします
１）100列に分けた一個の列を選ぶのは確率1/100ですが
２）問題は、そこから100個の決定番号 d1,d2,・・d100
の大小比較の確率計算にもっていくところです
３）つまり、時枝「箱入り無数目」記事の戦略の記述にある
決定番号の確率計算には、確率測度の裏付けがあるのか？
やっぱり
確率測度の裏付けが、怪しい
181:御醍醐天皇
23/09/17 15:52:38.90 mDY6sR3G.net
>>169
そいうこというから話が滅茶苦茶になるんだよ
182:１３２人目の素数さん
23/09/17 15:54:38.24 Rg8pfvji.net
でもﾓﾁﾓﾁじぶんが暮らすﾄｺゎ共和制のほぅがﾏｼ…って思ってまｽｩｩ…
他人事で観てるからロワイアルやインペリアルなプリンス&プリンセス、華があって煌びやかで素敵ｨ!なんですっけね、諸賢さん
↑カッコィｨ!↑のゎ、ァㇹのィヶ面プリンスとかじゃなくって、
普通の人と同じ地面に生まれて、未開の泥泥のジャングルみたぃな前人未到の未知の世界に匍匐前進で突き進んで
硬い真理を構築する超人技持ちの職人気質ｯﾁｬﾏ達とか、一命を賭して同胞ｯﾁｬﾏ救済に尽くすレボリューショナリーｯﾁｬﾏ達
これだけゎ、はっきり真実を伝ぇたかった。
183:御醍醐天皇
23/09/17 15:54:48.63 mDY6sR3G.net
魔王御醍醐の参入
184:御醍醐天皇
23/09/17 15:56:20.53 mDY6sR3G.net
時枝の引用文献はない
185:１３２人目の素数さん
23/09/17 15:58:53.92 Rg8pfvji.net
ぁ、さ、俺さ、さっきからずっとずっと(存在自体が)
痛違ｨ!ｽｷﾞｨ!とちゃぅゃろか
(自問自答)
板違ｨ!荒らしゎﾊﾟﾊﾟｯと終了!
ぉゎりｯ!ぉ仕舞ぃｯｯｯ!
186:御醍醐天皇
23/09/17 15:58:56.13 mDY6sR3G.net
時枝マジック
・同値列の性質
・無限個の箱の列を100個の箱の列に並び変える
187:北朝の主
23/09/17 15:59:50.17 cFrF0s2J.net
なんかロンパースがゴダイゴテンノウとかいいだしたけど・・・字、マチガッテルｗ
誤 御醍醐天皇
正 後醍醐天皇
🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣
188:海驢が鷹氏
23/09/17 16:02:55.51 cFrF0s2J.net
ま、面白いから付き合ってあげるよ🤣
189:海驢が鷹氏
23/09/17 16:04:52.26 cFrF0s2J.net
本当の時枝？マジック
・選択公理によって、同値類から代表列をとる選択関数が存在する
本当はGabay-O'Connorマジックだけどな
190:１３２人目の素数さん
23/09/17 16:07:33.28 hwUlnng8.net
>>98
>時枝氏自身が、”箱入り無数目の戦略部分”に半信半疑という迷いの部分だよ
まったく関係無い
たとえ時枝先生が間違いと言ったとしても時枝証明は正しい
間違いと言うなら�
191:ﾇこがどう間違いなのか具体的に示せばいいだけ
192:１３２人目の素数さん
23/09/17 16:12:20.17 hwUlnng8.net
>>99
その確率空間は勝つ戦略のそれと違うからナンセンス
193:１３２人目の素数さん
23/09/17 16:14:02.57 hwUlnng8.net
>>100
well-definedでないと思うならどこがどうwell-definedでないか具体的に示せば良いだけ
甘ったれるな
194:１３２人目の素数さん
23/09/17 16:16:29.92 9ABUAX39.net
>>172
>時枝問題とは違うじゃん
手が見えてないね（と囲碁ではよく言うｗ）
１）>>169より「具体的にπ＝3.14159・・の小数展開でπ-3＝0.14159・・
を考えよう。これらの数を箱に入れる。x1=1,x2=4,x3=1,X4=5,x5=9・・となる」だった
２）さて、10進無限小数展開を 下記のように書き換えてみよう
r1＝y1*X^1+y2*X^2+・・+yk*X^k+・・
ここに、X＝1/10 yk∈{0,1,・・9} である
３）上記２）を形式的ベキ級数展開と見る
r1＝y1*X^1+y2*X^2+・・+yk*X^k+・・ ｜ yk∈R
つまり、箱入り無数目の数列で
y1,y2,・・,yk,・・ との1対1対応がつく
つまり、箱入り無数目の数列は 形式的ベキ級数展開と考えることができる
そうすると、10進無限小数展開は、形式的ベキ級数展開のミニモデルになるのだ
４）無限小数展開で、しっぽ同値類内で二つの差 r1-r2が有限小数になったと同様に
形式的ベキ級数展開では、二つの差 r1-r2は n次多項式になる
このとき、n+1次以降が一致しているので、決定番号はn+1次
５）すぐ分かるように、多項式でn+1次式はn次式より一つ次元が上
つまり、n+1次式が圧倒的に多い存在
決定番号d1,d2,・・d100 などは 多項式の次数を比較していることになる
そういう多項式の次数の比較による確率計算が、確率測度で正当化できるのか？
そこが、箱入り無数目の根本問題です
195:１３２人目の素数さん
23/09/17 16:21:16.52 9ABUAX39.net
>>186 タイポ訂正
このとき、n+1次以降が一致しているので、決定番号はn+1次
↓
このとき、n+1次以降が一致しているので、決定番号はn+1
196:１３２人目の素数さん
23/09/17 16:31:46.14 9ABUAX39.net
>>186
なんだ、”>>172 御醍醐天皇”は、前教授だったか
これは、失礼をした
天皇陛下、ご無礼を お許しください
197:北朝の主
23/09/17 16:36:36.74 cFrF0s2J.net
>>186
やれやれ偽主１は、肝心の代表元の取得法は理解せずに
決定番号の分布とかいう「全く無関係なこと」ばっかり
ほじくってるね
１００列を決めた瞬間にそんな分布なんか無意味になるんだよ
で、選択公理によって１００列の代表が決まれば
１００列の決定番号も決まってしまう
当然ながら、他の９９列より大きな決定番号を持つ列はたかだか１列
その時点で、箱入り無数目の方法で選んだ箱が代表と一致しない場合は
１００分の１なんだよ あとの９９箱は全部代表と一致する
だったら確率９９／１００ってこと
なんでこんな簡単なこと８年も分からんの？
198:１３２人目の素数さん
23/09/17 16:43:45.98 hwUlnng8.net
>>107
>f(x)が正則関数でないならば、一個の点x=N f(N)の値は
>他の点を使っても、推測不可ってことです
いいえ、勝つ戦略を使えば確率99/100以上で推測可能です
但し以下の条件が必要です
・Nは推測者が自由に選べる
・Nは確率試行毎に変化してよい
もし異存があるなら推測不可能であることを証明して下さい。
199:北朝の主
23/09/17 16:44:42.29 cFrF0s2J.net
>>188
>御醍醐天皇”は、前教授だったか
>これは、失礼をした
>天皇陛下、ご無礼を お許しください
そこは「先生、釈迦に説法お許しください」だろ
ま、実際は先生でも釈迦でもねえけど どうせ中卒DQNだろ
200:北朝の主
23/09/17 16:50:48.93 cFrF0s2J.net
>>190
例えば区間[0,1]上の関数について
「可算個の点を除いて等しい」
という同値関係で同値類に類別でき
各同値類について代表が取れる
選択公理によって
f(x)についてx以外の点での値から代表関数g(x)がとれ
fとgは可算個の点を除いて等しい
そして[0,1]上の可算個の点全体は測度0だから
[0,1]から任意にxを選んでg(x)を得れば
それがf(x)と等しい確率は1である
これがGabay-O'Connorの定理
201:１３２人目の素数さん
23/09/17 16:57:14.21 hwUlnng8.net
>>118
>彼は、箱入り無数目が来て1～2日で >>81を考えている
>>81はまったくレベル高くないし、それ以前に間違い
202:１３２人目の素数さん
23/09/17 17:02:16.08 hwUlnng8.net
>>125
203:確率空間が異なってるからナンセンス
204:御醍醐天皇
23/09/17 17:02:19.89 mDY6sR3G.net
ケンシロウ
貴様は既に詰んでる
205:御醍醐天皇
23/09/17 17:03:38.74 mDY6sR3G.net
ド素人相手に議論しても埒が明かない
206:１３２人目の素数さん
23/09/17 17:05:47.04 hwUlnng8.net
>>192
箱入り無数目を理解せぬ愚民どもにその発展形を語ってもパニック起こすだけであろう
207:１３２人目の素数さん
23/09/17 17:11:22.15 hwUlnng8.net
>>128
>「実行しようとすると（代表選びが）できない」
もし不名誉教授の「実行しようとするとできない」が上記の意味であるなら
選択公理と真っ向矛盾することも分からない大馬鹿野郎ですね
それがバレるのが嫌で捜せ捜せと喚いていたんですね
納得しました
208:北朝の主
23/09/17 17:16:34.39 cFrF0s2J.net
>>197 むしろ100列とか言わないので、原型だと思う
ただ、可算集合だと一様な測度が構成できないので[0,1]にしただけ
209:北朝の主
23/09/17 17:19:37.17 cFrF0s2J.net
>>199
一般数学者でもこんなこという人はザラにいるらしいです
一般の数学では選択公理を使う事態ってそうそうないみたいです
210:御醍醐天皇
23/09/17 17:27:55.36 mDY6sR3G.net
無限個の箱を100個の列に分けるとき99%以上で勝戦略がある
無限個の箱を無限個の列に分けるとき100%以上で勝戦略がある
211:御醍醐天皇
23/09/17 17:30:11.04 mDY6sR3G.net
訂正
勝戦略--->勝つ戦略
212:御醍醐天皇
23/09/17 17:31:08.51 mDY6sR3G.net
黙って座ればピタリと当たる
213:御醍醐天皇
23/09/17 17:31:44.98 mDY6sR3G.net
日本語で書いてあるから正しい
214:御醍醐天皇
23/09/17 19:37:18.22 mDY6sR3G.net
一個の箱が当るんだから百個でも当る
無限個でも当る。
結局元の無限個の箱の中身が分かる
215:１３２人目の素数さん
23/09/17 19:42:43.61 9ABUAX39.net
>>186 補足
> 形式的ベキ級数展開では、二つの差 r1-r2は n次多項式になる
> このとき、n+1次以降が一致しているので、決定番号はn+1
> ５）すぐ分かるように、多項式でn+1次式はn次式より一つ次元が上
> つまり、n+1次式が圧倒的に多い存在
> 決定番号d1,d2,・・d100 などは 多項式の次数を比較していることになる
> そういう多項式の次数の比較による確率計算が、確率測度で正当化できるのか？
少し補足しよう
１）いま n+1次多項式r1＝y0+y1*X^1+y2*X^2+・・+yk*X^k+y(k+1)*X^(k+1)｜ yk∈R で
これは、n+2次元ユークリッド空間(y0,y1,y2,・・,yk,y(k+1))と対応がつく（同一視できる）
２）いま、1次元下の存在を”退化”と呼ぶことにしよう。具体的には、y(k+1)＝0の場合だ
測度論としては、1次元下の空間の測度は0になる（例えば 3次元空間に測度を入れると2次元以下の測度は0）
３）上記の通り n次多項式に対し 決定番号はn+1だ
いま、決定番号d1,d2,・・d100 で、最大値がMとして、d1,d2,・・d100の中にM未満が存在すると
それは、多項式の次数で退化を意味し、測度0の存在になる *）
つまり、箱入り無数目は、退化した測度0の存在を使った確率計算で99/100を出しているのです
注 *）ここでは、最大値がMを使った証明だったが、決定番号全体に対応する多項式全体を考えると
上限が無いという意味での無限次元空間を考えていることになる
無限次元空間の中の有限次元を使った確率計算99/100に、測度論的裏付けが与えられるかは大いに疑問
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
退化 (数学)
数学において退化しているという言葉は、ある種類の対象の性質が変わり、他の（ふつうはより単純な）種類の対象になっている場合に用いられる。
URLﾘﾝｸ(en.wikipedia.org)(mathematics)
Degeneracy (mathematics)
Elsewhere
A root of a polynomial is sometimes said to be degenerate if it is a multiple root, since generically the n roots of an nth degree polynomial are all distinct.
216:１３２人目の素数さん
23/09/17 19:45:32.47 hwUlnng8.net
>>153
s_0(0)=s(0)
s_1(0)=s(1)
s_2(0)=s(2)
・・・
s_99(0)=s(99)
s_0(1)=s(100)
s_1(1)=s(101)
・・・
s_99(1)=s(199)
s_0(2)=s(200)
s_1(2)=s(201)
・・・
s_i(j)=s(i+j*100)(0≦i≦99,0≦j)
・・・
が一例
217:１３２人目の素数さん
23/09/17 19:46:01.08 9ABUAX39.net
>>205
>一個の箱が当るんだから百個でも当る
>無限個でも当る。
>結局元の無限個の箱の中身が分かる
天皇陛下、それに同意です
結局、箱入り無数目は well defined でない！
そういうことですね
218:１３２人目の素数さん
23/09/17 19:53:44.29 hwUlnng8.net
>>169
>（つまり、そういう存在率が違う決定番号d1,d2,・・,d100を平等に扱っていることも 確率計算が well defined でない一因です）
大間違い。
勝つ戦略の確率計算は、
「100列のうちアタリ列が99列以上だから、100列のいずれかをランダム選択すれば勝率99/100以上」
であり、決定番号は使ってません。
使ってないので平等に扱うもクソもありません。
根本的に分かってないですね。
219:北朝の主
23/09/17 19:58:10.22 cFrF0s2J.net
>>205
>一個の箱が当るんだから百個でも当る
ああ
>無限個でも当る。
箱全体が可算無限個の場合、「有限個を除いた」残り全部を開ける必要があるから無理
ただし
箱全体を非可算無限個に増やして、
「可算無限個を除いて」同じという同値関係を入れるなら
「可算無限個の箱を除いた」残りを開けることで同値類がわかるから
可算無限個の箱の中身を同時に当てることも可能
220:１３２人目の素数さん
23/09/17 20:00:39.76 hwUlnng8.net
>>173
>２）問題は、そこから100個の決定番号 d1,d2,・・d100
> の大小比較の確率計算にもっていくところです
大間違い。
>>209に示した通り、確率計算に決定番号は使ってません。
>３）つまり、時枝「箱入り無数目」記事の戦略の記述にある
> 決定番号の確率計算には、確率測度の裏付けがあるのか？
確率計算に決定番号を使っていないので確率測度の裏付けもクソもありません
>やっぱり
>確率測度の裏付けが、怪しい
いいえ、あなたの妄想が一番怪しいです
221:北朝の主
23/09/17 20:04:09.16 cFrF0s2J.net
>>210
>いま、決定番号d1,d2,・・d100 で、最大値がMとして、
>d1,d2,・・d100の中にM未満が存在すると
>それは、多項式の次数で退化を意味し、測度0の存在になる *）
これ誤り
多項式全体の空間を１とする確率測度で
任意のｎ次以下の多項式全体の空間の測度を０とすることはできない
なぜならそんなことをすれば、可算加法性により
多項式全体の空間の測度を０にせざるをえなくなるから
非可測性の証明を理解してれば分かるが
そもそもそんなこと知らん素人には分からんだろう
工学馬鹿は算数しかできんし算数しかわからんｗ
222:北朝の主
23/09/17 20:06:26.25 cFrF0s2J.net
多項式全体の空間はｎ次多項式全体の空間の直和
ｎ次多項式全体の空間の測度が皆０なら
測度０の可算和となり、可算加法性から測度０になる
これ矛盾
223:１３２人目の素数さん
23/09/17 20:07:03.14 hwUlnng8.net
>>186
>決定番号d1,d2,・・d100 などは 多項式の次数を比較していることになる
>そういう多項式の次数の比較による確率計算が、確率測度で正当化できるのか？
大間違い。
>>209に示した通り、確率計算に決定番号は使ってません。
確率計算に決定番号を使っていないので確率測度の正当化もクソもありません
> そこが、箱入り無数目の根本問題です
いいえ、何度説明しても理解できないあなたの頭の悪さこそ根本問題です。
224:１３２人目の素数さん
23/09/17 20:08:48.24 hwUlnng8.net
>>189
>なんでこんな簡単なこと８年も分からんの？
サルだから
225:御醍醐天皇
23/09/17 20:19:10.15 mDY6sR3G.net
無限個の箱を100個の列に分けるとき99%以上で勝つ戦略がある
無限個の箱を10000個の列に分けるとき99.99%以上で勝つ戦略がある
無限個の箱を1000000個の列に分けるとき99.9999%以上で勝つ戦略がある
無限個の箱を10^m個の列に分けるとき1-1/10^mの確率以上で勝つ戦略がある
m->∞とすれば
無限個の箱を1無限個個の列に分けるとき1の確率以上で勝つ戦略がある
226:御醍醐天皇
23/09/17 20:20:57.30 mDY6sR3G.net
訂正
無限個の箱を無限個の列に分けるとき1の確率以上で勝つ戦略がある
227:１３２人目の素数さん
23/09/17 20:22:42.41 hwUlnng8.net
>>201
>無限個の箱を無限個の列に分けるとき100%以上で勝戦略がある
ダメ
なぜならΩ＝Nを対象とした一様分布が存在しないから
これを避けるため記事では確率1-εとしている
228:御醍醐天皇
23/09/17 20:25:32.24 mDY6sR3G.net
>>218
なんでダメなんだ、元記事に一様分布なんか書いてないが
229:１３２人目の素数さん
23/09/17 20:26:36.42 hwUlnng8.net
>>208
>>一個の箱が当るんだから百個でも当る
>天皇陛下、それに同意です
当たること認めるんだｗ
では完全決着ということでスレ削除依頼をお願いしますね
230:御醍醐天皇
23/09/17 20:28:41.16 mDY6sR3G.net
>>218
これの事をいってるだけだろ
無限個の箱を10^m個の列に分けるとき1-1/10^mの確率以上で勝つ戦略がある
これのm->∞の極限を取るだけだろ
231:１３２人目の素数さん
23/09/17 20:29:10.52 hwUlnng8.net
>>216
>無限個の箱を10^m個の列に分けるとき1-1/10^mの確率以上で勝つ戦略がある
OK
>無限個の箱を1無限個個の列に分けるとき1の確率以上で勝つ戦略がある
ダメ >>218
232:１３２人目の素数さん
23/09/17 20:30:03.87 hwUlnng8.net
>>219
「さて， 1～100 のいずれかをランダムに選ぶ.」
↑
これ、一様分布
233:御醍醐天皇
23/09/17 20:30:12.47 mDY6sR3G.net
>>222
だからなんでだめなんだ
234:御醍醐天皇
23/09/17 20:31:22.42 mDY6sR3G.net
>>223
それはお目の解釈、時枝は100個の列に並べる、といってるだけ
235:御醍醐天皇
23/09/17 20:32:10.93 mDY6sR3G.net
訂正
お目--->お前の
236:１３２人目の素数さん
23/09/17 20:34:06.92 9ABUAX39.net
>>216
天皇陛下、さすがです
>無限個の箱を10000個の列に分けるとき99.99%以上で勝つ戦略がある
>無限個の箱を1000000個の列に分けるとき99.9999%以上で勝つ戦略がある
>無限個の箱を10^m個の列に分けるとき1-1/10^mの確率以上で勝つ戦略がある
>m->∞とすれば
>無限個の箱を1無限個個の列に分けるとき1の確率以上で勝つ戦略がある
100列ずつの組
237:にする １）10000個の列を、100列ずつ100組つくる。100個の箱で99％で勝つ ２）1000000個の列を、100列ずつ10000組つくる。10000個の箱で99％で勝つ ３）10^m→100^m として 100^m個の列 任意m組つくる。任意m個の箱で99％で勝つ ４）100列ずつ1無限の組つくる。1無限個の箱において99％で勝つ！ すばらしきかな 時枝「箱入り無数目」！ｗ 天皇陛下、さすがです！
238:１３２人目の素数さん
23/09/17 20:35:12.83 hwUlnng8.net
>>225
意味不明
「さて， 1～100 のいずれかをランダムに選ぶ.」とも言ってるじゃん どういうこと？
239:１３２人目の素数さん
23/09/17 20:37:26.90 hwUlnng8.net
>>227
記事に
「確率1-ε で勝てることも明らかであろう. 」
と書かれてるのに、何を今さら感嘆してるんですか？頭大丈夫ですか？
240:１３２人目の素数さん
23/09/17 20:40:44.56 hwUlnng8.net
>>227
あなた当たること認めましたよね？>>208
完全決着したので早くスレ削除依頼して頂けませんか？
241:御醍醐天皇
23/09/17 20:42:38.86 mDY6sR3G.net
>>228
時枝はそんなことは書いてない
242:御醍醐天皇
23/09/17 20:45:39.54 mDY6sR3G.net
素人が議論してるんで分けが分からん結論が出てくる、これマメな
243:北朝の主
23/09/17 20:47:54.27 cFrF0s2J.net
>>216-217
>無限個の箱を無限個の列に分けるとき1の確率以上で勝つ戦略がある
はっはっは、早速、初心者の罠に引っかかりましたね
列を無限個にした場合、決定番号の最大値が存在すると言えないのでダメなんですね
仮に箱の数を最小の非可算無限「アレフ１」個とすると
列を可算個にしてもOKです
というのは、可算個の可算順序数の集合に対して
その中のどの要素よりも大きい最小の可算順序数が存在するからです
無限順序数の初歩ですけど、大抵の一般の数学専攻の人は知りませんね
244:御醍醐天皇
23/09/17 20:48:16.16 mDY6sR3G.net
もし確率論で議論するなら一からやりなおし
確率空間の定義は？
245:北朝の主
23/09/17 20:51:59.56 cFrF0s2J.net
>>231 ウソはいけないね
246:北朝の主
23/09/17 20:54:17.48 cFrF0s2J.net
>>234
>確率空間の定義は？
ω∈2^{1,…,100}に対して、|ω|/100を割り当てる写像は確率変数
(|ω|は集合ωの要素の個数)
はい瞬殺
あなたの首は今斬り落とされました！
247:１３２人目の素数さん
23/09/17 20:54:45.04 UNUZWeDM.net
ここだけがにぎやか
248:北朝の主
23/09/17 20:55:24.28 cFrF0s2J.net
箱入り無数目の核心は選択公理なんで
測度論なんかいくらほじくったって無駄
249:北朝の主
23/09/17 20:56:12.97 cFrF0s2J.net
>>237 敗者はここに来なくていいよ 複素解析スレでドヤってなさい
250:御醍醐天皇
23/09/17 20:58:53.51 mDY6sR3G.net
>>236
素人、R^∞が基礎空間だよ
251:１３２人目の素数さん
23/09/17 21:03:18.03 hwUlnng8.net
>>240
確率モデル選択の自由度があああああああ
って不名誉教授が発狂するぞｗ
252:１３２人目の素数さん
23/09/17 21:03:49.38 UNUZWeDM.net
>>239
長い間ご苦労様
あとしばらくだね
253:御醍醐天皇
23/09/17 21:05:24.86 mDY6sR3G.net
>>241
実数の入った加算個の箱なのでこれしかない
254:１３２人目の素数さん
23/09/17 21:06:04.13 UNUZWeDM.net
>>241
240がそれを基礎空間とするのはもっともだと思う。
そこから何通りかの確率モデルを作ることが可能
255:１３２人目の素数さん
23/09/17 21:06:30.52 UNUZWeDM.net
可算個
256:御醍醐天皇
23/09/17 21:07:34.30 mDY6sR3G.net
>>244
まず確率空間を定義しろ
257:御醍醐天皇
23/09/17 21:09:11.72 mDY6sR3G.net
素人のために、確率空間は、基礎空間、可測集合、測度からなるんだよ
258:北朝の主
23/09/17 21:14:29.25 cFrF0s2J.net
>>243
＞実数の入った加算個の箱
可算ね
ほんと、後醍醐を御醍醐って書いたり
ニホンザルは日本語知らんねｗ
259:北朝の主
23/09/17 21:15:01.67 cFrF0s2J.net
で、箱が確率変数だと思うのが初心者最初の誤り
260:北朝の主
23/09/17 21:18:20.62 cFrF0s2J.net
基礎空間 {1,…,100}
可測集合 2^{1,…,100}の要素
測度 ω∈2^{1,…,100} に対して |ω|/100 |ω|はωの要素数
はい、算数ね
Go Die Go君 割り算できる？
261:ご醍醐天皇
23/09/17 21:19:25.18 mDY6sR3G.net
>>249
素人からか
262:ってるだけだよ
263:１３２人目の素数さん
23/09/17 21:19:39.52 UNUZWeDM.net
「勝つ戦略」に即して構成するための
最初のステップは
「基礎空間」に同値関係を定義し
選択公理により同値類一つ一つに
その代表元を割り当て、その対応すなわち「選択関数」を固定する。
そうすると、同値類の個々の要素には「決定番号」を付与することができる。
このように、「基礎空間」の各元に「決定番号」をつけたもの全体が
確率モデルのもとになる集合である。
264:ご醍醐天皇
23/09/17 21:21:47.39 mDY6sR3G.net
>>252
続けて
265:ご醍醐天皇
23/09/17 21:24:36.83 mDY6sR3G.net
>>250
素人はご苦労さん
266:ご醍醐天皇
23/09/17 21:28:13.41 mDY6sR3G.net
確率論のお勉強して出直しｗｗｗ
267:ご醍醐天皇
23/09/17 21:31:07.58 mDY6sR3G.net
古典論の世界に選択公理を持ち込むからわけわかんない結論が出てくるんだよ
268:ご醍醐天皇
23/09/17 21:31:58.30 mDY6sR3G.net
素人に確率論は無理無理
269:北朝の主
23/09/17 21:43:39.24 cFrF0s2J.net
>>252
それ玄人が粋がって陥る誤り
そんな空間で考える必要ない
270:ご醍醐天皇
23/09/17 21:48:29.96 mDY6sR3G.net
>>258
お前も時枝が言及してない選択公理をもちだしてドヤ顔してるだろ
271:１３２人目の素数さん
23/09/17 21:58:45.38 UNUZWeDM.net
「出題列」は基礎空間の一つの要素であるが
これについて次の手続きを考える。
この要素を100個の可算列に分ける。
それらの一個一個を基礎空間の元とみなし、
「決定番号」付きで考える。
その中の99個の決定番号である99個の自然数から
残りの一個の決定番号の大きさについて
99/100の確率で正しい情報を得ることができるというのが
「勝つ戦略」が主張することである。
272:ご醍醐天皇
23/09/17 22:08:20.24 mDY6sR3G.net
>>258
お前も荒らしなんだろ
273:１３２人目の素数さん
23/09/17 22:11:12.67 hwUlnng8.net
>>259
言及してるけど？
「R^N/～ の代表系を選んだ箇所で選択公理を使っている. 」
274:１３２人目の素数さん
23/09/17 22:45:20.56 9ABUAX39.net
>>252
>最初のステップは
>「基礎空間」に同値関係を定義し
>選択公理により同値類一つ一つに
>その代表元を割り当て、その対応すなわち「選択関数」を固定する。
>そうすると、同値類の個々の要素には「決定番号」を付与することができる。
>このように、「基礎空間」の各元に「決定番号」をつけたもの全体が
>確率モデルのもとになる集合である。
なるほど
さすがはプロ数学者ですね
ところで
１）実数の可算無限数列のしっぽ同値類と代表-決定番号は
実係数形式的べき級数モデルで>>186
実数の可算無限数列→実係数形式的べき級数-多項式-多項式の次数n(決定番号d=n+1)
とできます
２）決定番号d=n+1には上限がない（多項式の次数に上限がないから）
３）さて、正規分布を考えると、その範囲は理論上 -∞から+∞まで広がるが
指数関数的に減衰して、全体の積分（あるいは総和）は 有限値におさまる
４）しかし、決定番号d=n+1には上限がなく減衰しないので、全体の積分（あるいは総和）は 有限値におさまらない
５）このような場合は、いわゆる非正則分布を成すので、一般には適切に確率測度を与えることができないと思われます
(参考)
ｽﾚﾘﾝｸ(math板:221番)
URLﾘﾝｸ(ai-trend.jp)
2020/04/14 AVILEN Inc.
非正則事前分布とは？ 完全なる無情報事前分布
ライター：古澤嘉啓
（全体Ωが発散しているので）確率の和が1ではありません
（注：ここでの非正則事前分布は、一様分布の範囲を→∞に拡大したものです）
URLﾘﾝｸ(en.wikipedia.org)
Prior probability
Uninformative priors
The simplest and oldest rule for determining a non-informative prior is the principle of indifference, which assigns equal probabilities to all possibilities.
(引用終り)
275:ゴダイゴ天皇
23/09/17 22:48:46.99 mDY6sR3G.net
>>262
使ってるとしても普通の選択公理だろ、問題は箱を列並べること確率の
276:関係
277:ゴダイゴ天皇
23/09/17 22:50:52.91 mDY6sR3G.net
>>262
御託を並べてないで、定義、定理、証明の形で書いてくれ
手書きの日本語でいいぞ
278:ゴダイゴ天皇
23/09/17 22:55:44.00 mDY6sR3G.net
ここでいう確率論は工学部のそれじゃなくて数学科で習う奴、集合位相、測度を基本としてる奴ね
279:１３２人目の素数さん
23/09/17 22:59:55.26 9ABUAX39.net
>>260
>この要素を100個の可算列に分ける。
>それらの一個一個を基礎空間の元とみなし、
>「決定番号」付きで考える。
>その中の99個の決定番号である99個の自然数から
>残りの一個の決定番号の大きさについて
> 99/100の確率で正しい情報を得ることができるというのが
>「勝つ戦略」が主張することである。
なるほど
さすがプロ数学者です
箱入り無数目は、>>252の「基礎空間」の処理すべき部分を、巧妙に隠蔽しているってことかな
人は無意識に”「d1.d2,・・d100」が与えられて”が
スタート地点だと思い込む
その前の「基礎空間」の処理すべき部分が、意識から抜け落ちるってことか
280:ゴダイゴ天皇
23/09/17 23:35:11.81 mDY6sR3G.net
>>267
無限を扱うときの当たり前の注意だよ
281:１３２人目の素数さん
23/09/17 23:36:45.97 hwUlnng8.net
>>263
>１）実数の可算無限数列のしっぽ同値類と代表-決定番号は
> 実係数形式的べき級数モデルで>>186
> 実数の可算無限数列→実係数形式的べき級数-多項式-多項式の次数n(決定番号d=n+1)
> とできます
形式的べき級数やら多項式やら持ち出してもナンセンスなだけ。
>４）しかし、決定番号d=n+1には上限がなく減衰しないので、全体の積分（あるいは総和）は 有限値におさまらない
>５）このような場合は、いわゆる非正則分布を成すので、一般には適切に確率測度を与えることができないと思われます
>>209に示した通り確率計算に決定番号を使ってないのでナンセンス。
282:１３２人目の素数さん
23/09/17 23:37:01.21 6WxRdIgq.net
安達ｯﾁｬﾏと質問さまのコントがまた観たかったなぁ…
283:１３２人目の素数さん
23/09/17 23:37:51.23 6WxRdIgq.net
質問さま消えちゃって…
安達ｯﾁｬﾏが居なくなっちゃったから
284:１３２人目の素数さん
23/09/17 23:37:53.87 hwUlnng8.net
>>264
日本語でお願いしますね
285:ゴダイゴ天皇
23/09/17 23:39:10.42 mDY6sR3G.net
>>272
分からないと言え
286:１３２人目の素数さん
23/09/17 23:39:49.47 6WxRdIgq.net
またふたりのほのぼのコントが観たかったなぁ…
届かぬ想ぃ 叶ゎぬ願ぃ
さびしぃなぁ…（落胆）
287:１３２人目の素数さん
23/09/17 23:40:55.23 hwUlnng8.net
>>266
>>236
288:ゴダイゴ天皇
23/09/17 23:43:08.04 mDY6sR3G.net
>>275
お前には何度もいってるよ
289:１３２人目の素数さん
23/09/17 23:46:22.31 6WxRdIgq.net
質問さまは安達ｯﾁｬﾏが文系でアルカイックな持論を展開してるのを一生懸命理解しようとしてあげてたんだょなぁ
先生だったんだょなぁ
安達ｯﾁｬﾏゎなぜか質問さまのことを少年だ!って思い込んでて、質問さまが安達ｯﾁｬﾏの勘違ぃをずっと放置してて…
ほのぼのしてたんだょなぁ…
（遠ぃ目）
290:１３２人目の素数さん
23/09/17 23:47:02.18 hwUlnng8.net
>>267
>「基礎空間」の処理すべき部分
処理とは？
処理すべき部分とは？
291:１３２人目の素数さん
23/09/17 23:48:44.92 hwUlnng8.net
>>260
はい、大間違いです。
292:１３２人目の素数さん
23/09/17 23:50:25.85 hwUlnng8.net
>>273
はい、日本語になってないので分からないです。
293:１３２人目の素数さん
23/09/17 23:50:32.16 6WxRdIgq.net
ﾓﾁﾓﾁ安達ｯﾁｬﾏと質問さまに、ふたりOFF会で出逢ってほのぼのぉ付き合ぃから結婚して欲しかったんだょなぁ…
届かぬ想ぃ 叶ゎぬ願ぃ
🍂
🍂
∞
）…
294:１３２人目の素数さん
23/09/17 23:51:07.12 hwUlnng8.net
>>276
何を？
295:ゴダイゴ天皇
23/09/17 23:51:49.08 mDY6sR3G.net
>>280
お前の頭で考えろ
296:１３２人目の素数さん
23/09/17 23:53:18.67 hwUlnng8.net
>>283
解読不可能です
297:１３２人目の素数さん
23/09/17 23:54:15.10 6WxRdIgq.net
ｹｺｵｫﾝ!ゎﾑﾘﾑﾘﾑﾘﾑﾘ‥でも
またずっとずっとふたりのほのぼのコントが観てたかったなぁ…
∞
) 秋ﾃﾞｽﾒｪ…
298:ゴダイゴ天皇
23/09/17 23:57:11.39 mDY6sR3G.net
数学セミナーにお手紙書こうっと
299:１３２人目の素数さん
23/09/17 23:59:01.91 6WxRdIgq.net
ｺﾞﾀﾞｨｺﾞｯﾁｬﾏとなりぷっさまゎ、ｽｩｩ…楽流派、ｱﾀﾞｯﾁｬﾏと質問さまくらぃ離れてなぃから‥
質問さまとｧﾀﾞｯﾁｬﾏふたりのほのぼの先生と生徒感、醸さなそぅ‥
ほのぼの先生と生徒感、醸さなそぅじゃなぃ?
300:１３２人目の素数さん
23/09/18 00:02:46.27 cQSmwWvu.net
こ↑こ↓も、ぅまぃｺﾄ、ｱﾀﾞｯﾁｬﾏｽﾙﾙｪみたぃなトンデモ系扱ぃでｲｼﾞられる名物ｽﾙﾙｪになって質問さまと安達ｯﾁｬﾏみたぃなふたりでほのぼのコントゃっててほしぃ…
なりぷっさまとｺﾞﾀﾞｨｺﾞｯﾁｬﾏほのぼのコントの名物ｺﾝﾋﾞになっててほしぃ…
ほのぼのコントの名物ｺﾝﾋﾞになっててほしくなぃ?
301:１３２人目の素数さん
23/09/18 00:07:40.30 cQSmwWvu.net
ほんとゎ先生が安達ｯﾁｬﾏに近ぃキャラの気がするけど…
にゃぴ、本職の方だからね、質問さまが安達ｯﾁｬﾏのｺﾄ生温かぃ目で見守ってたみたぃにつっ込める女性ゎ、地球にゎ奥さま以外、居なそぅだからね、しかたなぃね…
‥にゃぴ、じぶん、安達ｯﾁｬﾏと質問さまコント、なりぷっさまとｺﾞﾀﾞｨｺﾞｯﾁｬﾏに期待しててもぃぃっすか~?
302:ゴダイゴ天皇
23/09/18 00:07:45.55 CIQFj8vO.net
空間Xがあってそこに同値類が定義できたら同値類の代表元を選ぶのに選択公理いらないだろ
303:１３２人目の素数さん
23/09/18 00:11:58.27 Ndfu5nR/.net
出て来た99個の決定番号よりも残りの決定番号が大きい確率は1/100なのだから
その99個よりも大きい数は残りの決定番号より大きいという判断は
確率99/100で正しいというのが「勝つ戦略」のロジックである。
304:１３２人目の素数さん
23/09/18 00:14:45.84 0ns2n1/7.net
>>291
はい、大間違いです。
305:１３２人目の素数さん
23/09/18 00:18:51.28 cQSmwWvu.net
ｱﾀﾞｯﾁｬﾏゎ数学科卒みたぃな人たちから失笑されちゃったり、突っ込まれててもめげなくて、めちゃくちゃタフだったんだょなぁ
文学部卒なのに数学の画期的な衝撃論文！って自費出版した本を数学科の人たちに読んでほしくって５ちゃんにスレ立てして話題の種を蒔いて本に誘導したり、アマゾンには自演までしてるｩ!って笑ぃまでとってて‥
めちゃくちゃタフでほっこりキャラだったんだょなぁ…
先生も本を出されてるけど、ガチ本だし、自分でアマゾンに自薦して自演したりもしなそぅだし、数学科卒の人たちもｱﾀﾞｯﾁｬﾏみたぃにゎガチの先生にゎ突っ込めなぃと思ぅし、
違ぅんだょなぁ…!(嘆息)
ｱﾀﾞｯﾁｬﾏと質問さま、ほのぼのｽﾙﾙｪに戻って来てｸﾚｮﾝ…
（落涙）
306:１３２人目の素数さん
23/09/18 00:21:51.85 0ns2n1/7.net
>>290
あなたはこう考えているでしょう
・同値類から元をひとつ選択する
・この操作をすべての同値類について繰り返す
これは間違いです。
なぜなら同値類の個数が無限個の場合、「すべての同値類について繰り返す」が可能であることをZF公理系で証明不可能だからです。
嘘だと思うなら証明してみて下さい。
307:ゴダイゴ天皇
23/09/18 00:30:09.81 CIQFj8vO.net
時枝は選択公理を理解していなかった、あらやだ
308:ゴダイゴ天皇
23/09/18 00:31:16.03 CIQFj8vO.net
>>294
時枝はそんなこと言ってない
309:１３２人目の素数さん
23/09/18 00:35:49.03 0ns2n1/7.net
>>296
はい、言ってないですが、選択公理が必要であることは理解してますよ
「R^N/～ の代表系を選んだ箇所で選択公理を使っている. 」
310:１３２人目の素数さん
23/09/18 00:42:50.04 cQSmwWvu.net
↑ふたりゎ安質コンビほど他流試合じゃなぃんだょなぁ…
先生ゎ安達ｯﾁｬﾏとゎ大学しか同じじゃなぃんだょなぁ…
学部どころか、ガチの先生じゃ、ｱﾀﾞｯﾁｬﾏとゎ、ょく考ぇてみたら、ぜんぜんキャラが違ったんだょなぁ…!
ｱﾀﾞｯﾁｬﾏと質問さま…奇跡のｺﾝﾋﾞだったんゃなぁ…って…
(遠ぃ目)
ﾓﾁﾓﾁ…コロナ禍が憎いです。
ﾓﾁﾓﾁの大事な人たちが大変な事になっちゃったり、悲しぃです…
今、ｽﾙﾙｪに元気で居る人達がみんなずっとずっとずーーーーーーーっと元気で仲良くｲﾁｬｺﾗできますょぅに…
311:１３２人目の素数さん
23/09/18 00:48:08.26 cQSmwWvu.net
(
312:しんみり) 昨日もﾓﾁﾓﾁ、ｽﾙﾙｪをぉ通夜ｽﾙﾙｪにしちゃって‥ なりぷっさまが一生懸命、ひとりで真夜中にも立て直しててくれたんだょなぁ… ﾓｼｬﾓｼｬｾﾝ! ｫ休ﾐﾀﾞ✨🍆✨ |=3
313:１３２人目の素数さん
23/09/18 07:24:42.27 xK+yjmGv.net
>>268
>無限を扱うときの当たり前の注意だよ
天皇陛下、ありがとうございます
スレ主です
なるほど、プロ数学者としては
”無限を扱うときの当たり前の注意”
なのですね
314:１３２人目の素数さん
23/09/18 07:29:20.51 xK+yjmGv.net
>>286
>数学セミナーにお手紙書こうっと
天皇陛下、ありがとうございます
スレ主です
お手紙よろしく、お願いいたします
315:１３２人目の素数さん
23/09/18 08:01:27.30 xK+yjmGv.net
>>301
>数学セミナーにお手紙書こうっと
”500円返せ”も、ぜひお書きください
返金してくれるかも
316:ゴダイゴ天皇
23/09/18 08:18:27.42 CIQFj8vO.net
基礎論（素人）は同値類の定義を見返してみろよ、選択公理は使ってないよ
時枝は筆が滑ったか、勘違いしてる
こんな短い話で二か所以上曖昧なところがあるなんて
317:御花園天皇
23/09/18 08:19:28.68 Ji+gayJ1.net
ID:CIQFj8vO＝後醍醐天皇 なら
ID:xK+yjmGv＝その子孫の自天王
といったところか
自天王
URLﾘﾝｸ(ja.wikipedia.org)
318:御花園天皇
23/09/18 08:22:44.52 Ji+gayJ1.net
>>303
同値類の類別には、選択公理は要らないよ これ数学の常識
各同値類に対して、一つの代表が選べる、というには選択公理が必要 これ集合論の常識
ただ、数学科の大抵の連中は、集合論の常識知らない
319:ゴダイゴ天皇
23/09/18 08:25:16.98 CIQFj8vO.net
明らかに見える所は容易にフォローできる場合とそうでない場合がある
歴史上後者の場合の話が多い
320:御花園天皇
23/09/18 08:28:25.05 Ji+gayJ1.net
箱入り無数目を成立させるには、
同値類のどの列についても、その列の情報から必ず同じ代表列が選べる
必要がある
そうでないと決定番号が一意に定まらず、確率計算の前提が崩壊する
選択公理が分かってない人たちは、選択公理だけでは
「同値類のどの列についても、その列の情報から必ず同じ代表列が選べる」
と言えないと思ってるようだが、それは誤解である
選択関数を１つ決めてしまえば、言えてしまう
321:１３２人目の素数さん
23/09/18 08:33:58.17 xK+yjmGv.net
>>302
追加
もし、500円返さないとか
理不尽な対応をとるならば、不肖私も微力ながら
数学セミナーに、お手紙を出します
322:ゴダイゴ天皇
23/09/18 08:35:52.09 CIQFj8vO.net
>>305
時枝が言ってるところでは選択公理は使う必要はない
戦略の存在を示すところでも明示的には選択公理を使っていない、暗黙で使っているかもしれないけど
それからZFCの話を昨日してたけど、それならZFC公理から始めて箱入り無数の目を記述してくれ
323:御花園天皇
23/09/18 08:36:11.00 Ji+gayJ1.net
さてR^Nにおいて、
「決定番号ｎの列全体の集合は測度０」
という”都市伝説”が伝わっているが
実はこれは初歩的誤りである
実際
「決定番号ｎ以下の列全体」＝R^(n-1)✕R^N/(∪R^ｍ(ｍ∈N))
であるが、これが全て測度0だとした場合、元のR^Nが
∪(R^(n-1)✕R^N/(∪R^m(ｍ∈N)))(n∈N)
と表せるが、この測度が０となってしまい
そもそも全体を測度1としたことに反するからである
324:ゴダイゴ天皇
23/09/18 08:36:31.27 CIQFj8vO.net
>>307
決定番号の定義は？
325:ゴダイゴ天皇
23/09/18 08:38:01.40 CIQFj8vO.net
>>310
測度論を一から勉強しろよ、伊藤清三で十分だろう
326:御花園天皇
23/09/18 08:40:24.15 Ji+gayJ1.net
>>309 代表を選ぶのに選択公理が必要である
もし、選択公理を使わずに自分勝手な俺様代表を選ぶと
「列を選んだ場合（ある特定の箱だけ隠された状態）と
そうでない場合（全ての箱が露わになった状態）�
327:ﾅ 代表が違ってしまう」 ということになってしまい、その場合には当然ながら 決定番号が代表の違いによって違ってしまうので 箱入り無数目の戦略による確率計算が破綻する これ、選択公理分かってる人には常識だが 分かってない”エテ公”は死ぬまで理解できない
328:ゴダイゴ天皇
23/09/18 08:40:25.87 CIQFj8vO.net
>>310
補足
ZFC公理を持ち出すなら、ZFC公理からる測度論を構成する必要がある
329:１３２人目の素数さん
23/09/18 08:41:14.19 0ns2n1/7.net
>>303
集合X上の同値関係～を定義すると、Xを～で同値分割でき、同値類全体の集合を商集合X/～と云う。選択公理は関係無い。
選択公理を仮定すれば各同値類から選択された代表元全体の組（すべての同値類の直積集合の元）である代表系の存在が保証される。
だから「R^N/～ の代表系を選んだ箇所で選択公理を使っている. 」と書かれている。
330:ゴダイゴ天皇
23/09/18 08:42:53.64 CIQFj8vO.net
>>313
数学の言葉で書けよ、何度も言ってるだろ
戦略の存在の論証の一部を切り出してあーでもないこーでもないと言ってもわけわかめ
331:御花園天皇
23/09/18 08:43:35.73 Ji+gayJ1.net
>>311
決定番号は、列とそれが属する同値類の代表との一致箇所の先頭
しかし、もし代表が自分勝手に選ばれるなら、決定番号も代表に応じて変わってしまう
これ豆な
>>312
私が話したのは測度論の１ 君はそもそも測度論の１から分かってない
ヴィタリ集合の非可測性の証明、分かってないだろ
332:ゴダイゴ天皇
23/09/18 08:44:57.15 CIQFj8vO.net
>>315
そこで選択公理を使う必要がない、使ってもいいけど
何度も同じこと言わせるな
333:御花園天皇
23/09/18 08:45:12.93 Ji+gayJ1.net
>>314 測度論は選択公理の有無に関わらず構築される これ豆な
334:御花園天皇
23/09/18 08:46:44.60 Ji+gayJ1.net
>>316 数学の言葉で語っている 君が数学の言葉を理解できないだけ
論証の要が何か分からないから君にはわけわかめなだけ 君には数学のセンスがない
335:御花園天皇
23/09/18 08:48:32.62 Ji+gayJ1.net
>>318
>>「R^N/～ の代表系を選んだ箇所で選択公理を使っている. 」
> そこで選択公理を使う必要がない
ある ないというのは選択公理知らぬ馬鹿
何度誤りをいっても真理にはならんよ
336:１３２人目の素数さん
23/09/18 08:49:07.03 0ns2n1/7.net
>>308
そんなことより不成立を理由付きで申し立ててごらん
鼻で笑われるだろうけどｗ
337:ゴダイゴ天皇
23/09/18 08:49:11.76 CIQFj8vO.net
>>317
お前に言われたくない、そもそもその話は時枝の雑談、感想ｗｗｗ
338:御花園天皇
23/09/18 08:49:27.19 Ji+gayJ1.net
ロンパース君は１より頭悪いかもな リアル中卒か？
339:ゴダイゴ天皇
23/09/18 08:50:33.71 CIQFj8vO.net
基礎論しかやってないと馬鹿になる、これマメな
340:御花園天皇
23/09/18 08:50:45.71 Ji+gayJ1.net
>>323
> お前に言われたくない
言われたくないなら、今からヴィタリ集合の非可測性の証明理解できるまで繰り返し読め
341:１３２人目の素数さん
23/09/18 08:51:56.75 0ns2n1/7.net
>>309
>時枝が言ってるところでは選択公理は使う必要はない
では選択関数 f:R^N/～→R^N を具体的に構成してみて下さい
342:ゴダイゴ天皇
23/09/18 08:52:15.74 CIQFj8vO.net
>>326
時枝のお話だって言ってるだろう、馬鹿か
証明とお話の区別ができない、アホ
343:御花園天皇
23/09/18 08:52:16.04 Ji+gayJ1.net
数理論理とか集合論とか初歩から理解できんエテ公が人間ヅラするなよ みっともない
344:ゴダイゴ天皇
23/09/18 08:52:59.59 CIQFj8vO.net
基礎論スレ立ててやろうか
345:御花園天皇
23/09/18 08:53:18.22 Ji+gayJ1.net
>>328 同じからくりだから言っている つべこべいわずに読みやがれ 吉野のエテ公
346:御花園天皇
23/09/18 08:54:25.78 Ji+gayJ1.net
立てるなら集合論スレにしてくれ
「基礎論」とか昭和臭い
347:御花園天皇
23/09/18 08:55:19.70 Ji+gayJ1.net
基礎論はそもそも戦前臭い
348:御花園天皇
23/09/18 08:57:42.98 Ji+gayJ1.net
酷い差別スレ
集合論がどうしても偽物感するんだが
ｽﾚﾘﾝｸ(math板)
集合論を数学界の”穢多”扱いするな
349:御花園天皇
23/09/18 09:00:59.08 Ji+gayJ1.net
差別の内幕
士
ーーー
農工商
ーーー
穢多
350:ゴダイゴ天皇
23/09/18 09:01:25.60 CIQFj8vO.net
非可測集合を扱ってるのに「確率99％で勝つ」、素朴におかしくね
351:
352:御花園天皇
23/09/18 09:01:39.81 Ji+gayJ1.net
そもそも胡散臭いのは士階級であることはいうまでもない
353:１３２人目の素数さん
23/09/18 09:03:04.42 0ns2n1/7.net
>>336
確率空間に非可測集合を使ってないから何の問題も無い
354:ゴダイゴ天皇
23/09/18 09:03:52.44 CIQFj8vO.net
士農工商穢多非人SF作家とういうのもあるぞ
355:１３２人目の素数さん
23/09/18 09:05:30.01 0ns2n1/7.net
>>336
君も言いっ放し族の一人かい？
>>327を実行してくれたまえ
356:ゴダイゴ天皇
23/09/18 09:06:10.12 CIQFj8vO.net
無限個を100個に分けてそのうちどれかに入ってるから確率1-1/100ｗｗｗ
357:ゴダイゴ天皇
23/09/18 09:07:21.44 CIQFj8vO.net
>>340
必要ないって
358:１３２人目の素数さん
23/09/18 09:08:15.39 0ns2n1/7.net
>>341
おかしいと思うなら証明の間違い箇所を具体的に示せばよいだけ
言いっ放しはやめてもらえるかな？
359:１３２人目の素数さん
23/09/18 09:09:00.49 0ns2n1/7.net
>>342
具体的に構成できない人が言っても説得力ゼロだよ
360:ゴダイゴ天皇
23/09/18 09:09:55.10 CIQFj8vO.net
>>343
お前がやれよ、何回言わせるんだ
俺は時枝問題は不完全だといってるんだけだと
361:ゴダイゴ天皇
23/09/18 09:10:20.92 CIQFj8vO.net
>>343
お前が言うなよ
362:１３２人目の素数さん
23/09/18 09:11:06.88 0ns2n1/7.net
>>345
>お前がやれよ、何回言わせるんだ
おかしいと思ってないから不要
>俺は時枝問題は不完全だといってるんだけだと
どこがどう不完全なのか具体的にどうぞ
363:ゴダイゴ天皇
23/09/18 09:11:18.09 CIQFj8vO.net
まさに時枝マジック
364:御花園天皇
23/09/18 09:11:22.55 Ji+gayJ1.net
人を階級に分けるのは野蛮であるが
ヒトとエテ公を分けるのは当然の区別である
ヒト （論理がわかる）
ーーーーーーーーーーーー
エテ公（論理がわからん）
365:ゴダイゴ天皇
23/09/18 09:11:40.09 CIQFj8vO.net
>>347
過去レス読めよ
366:１３２人目の素数さん
23/09/18 09:11:49.92 0ns2n1/7.net
>>346
なぜ？
367:１３２人目の素数さん
23/09/18 09:12:23.47 xK+yjmGv.net
>>267
>箱入り無数目は、>>252の「基礎空間」の処理すべき部分を、巧妙に隠蔽しているってことかな
下記の確率空間で、特に 確率測度 P(S) = 1( or μ(S) = 1)の部分。そもそも、P(E)が可測関数かどうかが問題です
もちろん、P(S) が1になるかも、大いに疑問（箱入り無数目では、P(S) ≠ 1ですね）
S：>>252「基礎空間」実数の可算無限数列のしっぽの同値類に分類して、選択公理で代表を決め、各数列全てに決定番号を与えたもの
E：出題の数列(及び並び変えた数列)と代表との組合わせ(複数組)
P：見かけは、例えばP(E)＝99/100。しかし、P(E)が可測関数かどうか？(下記) そして、P(S)≠1だろう
ここらを、すっぽかす箱入り無数目だった
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
確率空間（英: probability space）とは、可測空間 (S, M) に確率測度 μ(S) = 1 を入れた測度空間 (S, M, μ) をいう。
定義
確率論において、確率測度とは、可測空間 (S, E) に対し、E 上で定義され P(S) = 1 を満たす測度 P のことである。
このとき、三つ組 (S, E, P) のことを確率空間と呼ぶ。さらに、集合 S を標本空間、S の元を標本あるいは標本点、完全加法族 E の元を事象あるいは確率事象と呼ぶ。また、E の元としての S を全事象という。
事象 E に対し、P の E における値 P(E) を、事象 E の確率という。つまり、E は確率が定義できることがら全体である。
URLﾘﾝｸ(ja.wikipedia.org)
可測関数
測度論の分野における可測関数（英: measurable function）とは、（積分論を展開する文脈として自然なものである）可測空間の間の、構造を保つ写像である。具体的に言えば、可測空間の間の関数が可測であるとは、各可測集合に対するその原像が可測であることを言う（これは位相空間の間の連続関数の定義の仕方と似ている）。
この定義は単純なようにも見えるが、σ-代数も併せて考えているということに特別な注意が払われなければならない
368:ゴダイゴ天皇
23/09/18 09:12:46.41 CIQFj8vO.net
>>349
直ぐに人格攻撃に走る、馬鹿の証明
369:１３２人目の素数さん
23/09/18 09:13:53.97 0ns2n1/7.net
>>350
またそれか
不成立派は存在しないものを探させるクズばっかやな
370:御花園天皇
23/09/18 09:15:36.34 Ji+gayJ1.net
>>353 サルはヒトでないから人格はない
371:御花園天皇
23/09/18 09:18:24.34 Ji+gayJ1.net
>>352
非正則分布とか非可測性とか多重積分の順序交換不能性とかに逃げるのが筋悪
もし「あたりっこない」と言い張るなら、ターゲットは選択公理しかない
なぜチンピラばっかり狙って、ラスボスは匿うのか理解できん
372:１３２人目の素数さん
23/09/18 09:20:33.72 0ns2n1/7.net
>>352
>S：>>252「基礎空間」実数の可算無限数列のしっぽの同値類に分類して、選択公理で代表を決め、各数列全てに決定番号を与えたもの
大間違い。
勝つ戦略のSは下記の記事引用から簡単に分かる通り{1,2,・・・,100}。
これは否定できない。否定すれば回答者の戦略選択の自由を奪うことになる。
「さて， 1～100 のいずれかをランダムに選ぶ. 例えばkが選ばれたとせよ. s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない. 」
そしてSが有限集合であるから、
>下記の確率空間で、特に 確率測度 P(S) = 1( or μ(S) = 1)の部分。そもそも、P(E)が可測関数かどうかが問題です
>もちろん、P(S) が1になるかも、大いに疑問（箱入り無数目では、P(S) ≠ 1ですね）
ももちろん大間違い。
373:御花園天皇
23/09/18 09:21:00.07 Ji+gayJ1.net
そもそも、代表を一意的に決められないなら、箱入り無数目は破綻する
そして、選択公理に基づいて存在する選択関数をどれか１つ特定してしまえば
代表は一意的に決めることができてしまい、箱入り無数目は成立する
だから箱入り無数目を阻止したいなら、選択公理を否定するしかないし
選択公理なしに代表の選択が可能な場合には、箱入り無数目は否応なく成立する
残念だったな エテ公ども
374:ゴダイゴ天皇
23/09/18 09:25:07.11 CIQFj8vO.net
確率ゼロで勝つ戦略があってもよさそうな気がするｗ
375:１３２人目の素数さん
23/09/18 09:28:16.75 0ns2n1/7.net
>選択公理に基づいて存在する選択関数をどれか１つ特定してしまえば
>代表は一意的に決めることができてしまい、箱入り無数目は成立する
不成立派は
代表系が存在する⇒箱入り無数目が成立する
を理解できない頭の弱い子たち
376:ゴダイゴ天皇
23/09/18 09:28:25.72 CIQFj8vO.net
>>358
決定番号の定義は？
377:御花園天皇
23/09/18 09:28:57.80 Ji+gayJ1.net
>>359 吉野の山にお帰り エテ公
378:ゴダイゴ天皇
23/09/18 09:29:31.15 CIQFj8vO.net
>>362
ここは猿の惑星だ
379:１３２人目の素数さん
23/09/18 09:30:42.95 0ns2n1/7.net
>>359
勝つ戦略でない戦略はいくらでもあるだろうね 考えるだけ無意味だけど
380:御花園天皇
23/09/18 09:31:13.79 Ji+gayJ1.net
>>361
>>317
>決定番号は、列とそれが属する同値類の代表との一致箇所の先頭
>しかし、もし代表が自分勝手に選ばれるなら、決定番号も代表に応じて変わってしまう
381:ゴダイゴ天皇
23/09/18 09:31:21.25 CIQFj8vO.net
人格攻撃に走る人格は如何なものかとｗｗｗ
382:御花園天皇
23/09/18 09:32:27.56 Ji+gayJ1.net
>>363 エテ公は人里に降りてくるんじゃねぇ シッシッ！
383:ゴダイゴ天皇
23/09/18 09:33:34.87 CIQFj8vO.net
時枝戦略が非可測であってもなんの問題もない、もちろん可測であっても
384:御花園天皇
23/09/18 09:33:44.33 Ji+gayJ1.net
>>366 サルは害獣なので駆除の対象
猟銃で撃っちまうぞ（チャッ）
385:ゴダイゴ天皇
23/09/18 09:35:14.78 CIQFj8vO.net
馬鹿からかうと面白いね、直ぐ馬脚を露す
386:１３２人目の素数さん
23/09/18 09:35:22.42 0ns2n1/7.net
>>361
実数列sの代表列がrであるとき、sの決定番号:=min{m∈N|n≧m ⇒ s(n)=r(n)}
387:御花園天皇
23/09/18 09:35:41.51 Ji+gayJ1.net
>>368
決定番号関数が可測になるようにR^Nの測度を調整するなら
計算で99/100以上が求まる やってご覧
388:ゴダイゴ天皇
23/09/18 09:36:00.95 CIQFj8vO.net
>>369
銃刀法違反で逮捕する
389:ゴダイゴ天皇
23/09/18 09:36:48.47 CIQFj8vO.net
>>371
時枝にはminは書いてないｗ
390:御花園天皇
23/09/18 09:37:46.82 Ji+gayJ1.net
>>373 バーン🔫！！
391:ゴダイゴ天皇
23/09/18 09:38:04.19 CIQFj8vO.net
>>371
無限個の箱を100個に分けた時に選択番号はどうなってる？
392:１３２人目の素数さん
23/09/18 09:38:33.01 0ns2n1/7.net
>>368
日本語でお願いします
393:御花園天皇
23/09/18 09:38:54.83 Ji+gayJ1.net
>>374 貴様の目が悪いんだろう
394:御花園天皇
23/09/18 09:40:14.99 Ji+gayJ1.net
>>376 どうなるとおもったのか？ 怒らないからいってごらん エテ公
395:ゴダイゴ天皇
23/09/18 09:40:31.14 CIQFj8vO.net
>>378
何ページの何行目に書いてある？
396:ゴダイゴ
23/09/18 09:41:21.75 CIQFj8vO.net
>>379
答えられないの？
397:１３２人目の素数さん
23/09/18 09:41:28.70 0ns2n1/7.net
>>374
正常な頭の持ち主には自明なので省略されているのだろう
398:御花園天皇
23/09/18 09:41:31.61 Ji+gayJ1.net
やっぱロンパースは１よりも頭悪いな
１はこんな馬鹿が教授だと思ったんだ
ほんとマジでヒト見る目ないな
399:御花園
23/09/18 09:42:11.20 Ji+gayJ1.net
>>381 君は？
400:１３２人目の素数さん
23/09/18 09:43:52.68 0ns2n1/7.net
>>376
決定番号は任意の実数列に定義される
で答えになってる？質問の意味がよく分からんかった
401:ゴダイゴ
23/09/18 09:45:04.78 CIQFj8vO.net
>>385
答えになってない
402:ゴダイゴ
23/09/18 09:45:23.10 CIQFj8vO.net
>>384
鏡見てみたら
403:１３２人目の素数さん
23/09/18 09:46:33.12 0ns2n1/7.net
>>386
再質問を許す
404:猿
23/09/18 09:48:14.50 CIQFj8vO.net
馬脚をあらわす
馬の脚役を演じる役者が、芝居中にうっかり姿を現すことから、隠しておいたことが明らかになることを言うようになった。 隠しておいたことが表に出てしまったことをいう言葉なので、悪事が明らかになるという悪い意味で用いられる。
405:猿
23/09/18 09:48:35.38 CIQFj8vO.net
>>388
はあ
406:１３２人目の素数さん
23/09/18 09:50:25.31 xK+yjmGv.net
>>263 追加
時枝問題（数学セミナー201511月号の記事） 「箱入り無数目」>>1より
(引用開始)
R^N/～ の代表系を選んだ箇所で選択公理を使ってい
る.その結果R^N →R^N/～ の切断は非可測になる.こ
こは有名なヴィタリのルベーグ非可測集合の例(Q/Z
を「差が有理数」で類別した代表系， 1905年)にそっく
りである.逆に非可測な集合をこさえるには選択公理
が要る(ソロヴェイ， 1970年)から，この戦略はふしぎ
どころか標準的とさえいえるかもしれない. しかし，
選択公理や非可測集合を経由したからお手つき， と片
付けるのは，面白くないように思う.
(引用終り)
１）ここも、時枝さん 何を言っているのか意味不明
そもそも、R^N は無限次元なので、普通にはルベーグ測度が入らない（工夫すれば別）
なのに、腰だめで、選択公理を使ったから
”その結果R^N →R^N/～ の切断は非可測になる”とか、トンデモ発言
２）さらに、ヴィタリのルベーグ非可測集合の例で
”選択公理や非可測集合を経由したからお手つき”も、腰だめで、「何を言いたいのか」？
例えば、ヴィタリのルベーグ非可測集合を、区間を広げて[0,1]を[0,10]とすることは可能
このとき、√2や円周率πは、ヴィタリ集合の候補になりうる
しかし、√2や円周率πを使ったから、”お手つき”という人はいない！
３）すべからく、こんな調子で「箱入り無数目」の記事はすすむ
読んでいて、虫酸が走るという人がいたが、私も腰だめ三昧にうんざりです
407:猿
23/09/18 09:50:30.67 CIQFj8vO.net
>>388
訂正
わからないということね
408:１３２人目の素数さん
23/09/18 09:50:53.84 0ns2n1/7.net
>>390
はあでは意味が分からないので再質問許可は破棄する
自らの頭で考えよ
409:１３２人目の素数さん
23/09/18 09:53:58.15 0ns2n1/7.net
>>392
はい、質問の意味がね
410:猿
23/09/18 09:56:10.83 CIQFj8vO.net
P{勝つ戦略がある}=0
411:猟師
23/09/18 10:00:23.90 Ji+gayJ1.net
今日もエテ公がうるさいのう
バーン（猟銃）
412:猿
23/09/18 10:01:38.34 CIQFj8vO.net
>>396
キチガイに鉄砲
413:猿
23/09/18 10:02:53.85 CIQFj8vO.net
>>396
そもそも猿はやたらに撃てない、はい論破ｗｗｗ
414:猟師
23/09/18 10:03:43.85 Ji+gayJ1.net
>>391
>”R^N →R^N/～ の切断は非可測になる”とか、トンデモ発言
>>310読め
「決定番号ｎ以下の列全体」＝R^(n-1)✕R^N/(∪R^ｍ(ｍ∈N))
であるが、これが全て測度0だとした場合、元のR^Nが
∪(R^(n-1)✕R^N/(∪R^m(ｍ∈N)))(n∈N)
と表せるが、この測度が０となってしまい
そもそも全体を測度1としたことに反する
つまり非可測
415:猿
23/09/18 10:05:32.57 CIQFj8vO.net
>>399
測度論はなんで勉強したの？
416:猟師
23/09/18 10:06:00.23 Ji+gayJ1.net
>>391
>√2や円周率πは、ヴィタリ集合の候補になりうる
正真正銘のバカ
そんなことが重
417:要だと思ってる時点でバカ エテ公の浅知恵 休むに似たり
418:猿
23/09/18 10:06:34.07 CIQFj8vO.net
関西人の左翼はやーね、臭いわよ
419:猟師
23/09/18 10:07:12.63 Ji+gayJ1.net
>>400
本によって測度の定義が全く違うと思ってるエテ公
やっぱこいつど素人だわ
420:猟師
23/09/18 10:08:07.60 Ji+gayJ1.net
>>402 エテ公は自己本位だから平等が理解できない
421:猟師
23/09/18 10:09:12.76 Ji+gayJ1.net
ついでにいうと明治以降の先祖に関西人はいない 戸籍とって調べた
422:猟師
23/09/18 10:10:25.00 Ji+gayJ1.net
江戸時代についてはよう分からんが、近畿圏出身の先祖はいないと思われる
423:猟師
23/09/18 10:12:18.45 Ji+gayJ1.net
田舎者のヤンキーが右翼なのは、
地元以外の奴がみな敵という本能から出たもの
要するにエテ公
424:猿
23/09/18 10:38:02.79 CIQFj8vO.net
エタヒニンの差別も部落解放運動が作り出した創作
鍛冶、馬喰という職業の人達
425:猿
23/09/18 10:40:19.08 CIQFj8vO.net
目sを100個の列S1,S2,・・・,S100に分けた時決定番号はどうなってる？
426:猿
23/09/18 10:53:58.27 CIQFj8vO.net
まとめ
時枝戦略があると思ってるアホ共は時枝を信じてる
糞論（素人）、北朝
427:猿
23/09/18 10:55:27.56 CIQFj8vO.net
ZFC公理
URLﾘﾝｸ(ja.wikipedia.org)
428:１３２人目の素数さん
23/09/18 10:58:17.16 xK+yjmGv.net
>>399
>と表せるが、この測度が０となってしまい
>そもそも全体を測度1としたことに反する
>つまり非可測
その論法は、アウトです
１）”全体を測度1とした”というけれど、そこアウトです
２）いま簡便に1次元 R^1(つまりR) で考える
普通のルベーグ測度では、μ(R)→∞ で、これを1と置くことは出来ない
一方、区間[0,1]の測度は1だ。が、より大きな区間[0,M] ｜1<M との比較で
1/Mを考えることができる。M→∞で、1/M→0
即ち、”測度0”はあくまで、全体Ωとの比喩表現であって、厳密な測度の議論にあらず
３）かつ、”全体を測度1とした”が、完全にアウト
全体Ωが無限集合のときは、要注意です
例外的に、正規分布のように、-∞ , +∞で 指数関数的に減衰する分布を考えることはできる
しかし、いまのしっぽ同値類-代表-決定番号では、減衰どころか増加なのでアウトです
429:猿
23/09/18 11:00:22.95 CIQFj8vO.net
時枝正
確率は数学を越えて広がる生き物なのである
越えたら数学じゃなくなるだろ
430:猿
23/09/18 11:03:45.72 CIQFj8vO.net
シュレーディンガーの猫
URLﾘﾝｸ(ja.wikipedia.org)
二値の目にするとシュレーディンガーの猫みたいな話が紡げる
時枝正
431:１３２人目の素数さん
23/09/18 11:07:31.57 xK+yjmGv.net
>>401
>>√2や円周率πは、ヴィタリ集合の候補になりうる
> 正真正銘のバカ
> そんなことが重要だと思ってる時点でバカ
逆だよ
・時枝氏の”お手つき”論法>>391
がヘンだと言っているのです
・つまり、√2や円周率πの外で
ある人が ヴィタリ集合の候補に、√2や円周率πを採用したとする
・時枝氏の論法なら、”お手つき”だ！ となるけどｗ
√2や円周率πから見たら、それはその人の自由で「おれら、関係ない」だよ
・つまり、ヴィタリ集合は全体として非可測なのであって
個別の集合の元を取り出して、”お手つき”うんぬん は筋違い
432:猿
23/09/18 11:19:36.78 CIQFj8vO.net
時枝はどうだ面白い話ができただろう、ということみたい
433:猿
23/09/18 11:21:00.82 CIQFj8vO.net
物理板で量子力学スレが立つとあっというまに数十スレが消費される、これマメな
434:１３２人目の素数さん
23/09/18 11:21:49.16 xK+yjmGv.net
>>252
（引用開始）
最初のステップは
「基礎空間」に
435:同値関係を定義し 選択公理により同値類一つ一つに その代表元を割り当て、その対応すなわち「選択関数」を固定する。 そうすると、同値類の個々の要素には「決定番号」を付与することができる。 このように、「基礎空間」の各元に「決定番号」をつけたもの全体が 確率モデルのもとになる集合である (引用終り) >>260 （引用開始） 100個の可算列に分ける。 それらの一個一個を基礎空間の元とみなし、 「決定番号」付きで考える。 その中の99個の決定番号である99個の自然数から 残りの一個の決定番号の大きさについて 99/100の確率で正しい情報を得ることができるというのが 「勝つ戦略」が主張することである。 (引用終り) 謎のプロ数学者さん、ありがとう なるほど、これはエレガントな解説だ １）100個の決定番号 d1,d2,・・,d99,d100を決めることができる ２）しかし、d1,d2,・・,d99,d100を使った 確率99/100の「勝つ戦略」には、確率測度の裏付け無し！ ３）なぜならば、「基礎空間」Ωを全事象の確率P(Ω)＝1とする 確率測度を与えることができない 「基礎空間」Ωは無限集合であって、決定番号は→∞で減衰しないから（減衰どころか増大しているｗ）
436:１３２人目の素数さん
23/09/18 11:26:24.70 xK+yjmGv.net
>>416
>時枝はどうだ面白い話ができただろう、ということみたい
もと天皇陛下、スレ主です
同意です
ビールのみながらの茶飲み話で、数学ではない
おもしろゲームのヨタ話とことわっておけば
こんなアホ記事でも、面白く読めたろうに
数学セミナーに「数学の記事」として書くから
勘違いの数学ド素人二人が、何年も血迷うことになるのですｗ
437:猿
23/09/18 13:02:49.10 CIQFj8vO.net
メタマス
URLﾘﾝｸ(en.wikipedia.org)
時枝はこういう話をしたかったのだろう
438:猿
23/09/18 13:12:42.82 CIQFj8vO.net
時枝の与太話に数学界のエタヒニンと蔑まれている基礎論が食いついた、ということだな
439:１３２人目の素数さん
23/09/18 13:23:05.32 M7QCeNVN.net
複素解析専攻のひとは地頭が悪いんじゃね？
茶飲み話って別に間違ってる話じゃない。
数学者のコミュニティの間である程度広まっていた話
時枝氏はそれを聞いて、すぐに理解した。
この板の数学科出身者の多くも理解した。
複素解析専攻のバカは、考えても理解できなかった。
440:１３２人目の素数さん
23/09/18 13:23:23.36 cQSmwWvu.net
↑上記に続く↓
基礎論？数学じゃないね
応用(フッ)数学じゃないね
統計？確率？(ﾌﾌﾝ)数学じゃないね
解析？数学じゃないね
数学？数学じゃないね
何処に行こうとしてるの‥
441:１３２人目の素数さん
23/09/18 13:27:06.61 cQSmwWvu.net
「情報？」「工学？」
「(声を揃えて)数学じゃないね」
コンピュータの試算のお蔭でマリリンのほうが正しいってやっと認められた数学の博士が大勢出ちゃったってほんと?めぅ
442:御薦さん
23/09/18 13:37:25.08 cQSmwWvu.net
ピュアマスの選民思想、ちょっとｲｷ♂ｽｷﾞｨ!
ｽｩｩ…学力ちゅ-卒ﾓﾁﾓﾁ特派員が被災地からぉ届けしмa✟Hた
って思ぅゎけ~
ｧｶﾊﾗﾏｩﾝﾄ怖ぃなぁ…とづまりすとこ…
443:猿
23/09/18 14:16:52.50 CIQFj8vO.net
論理的思考ができていない
・時枝を信じれば地頭がいい
・時枝を数学科出身者の多くも理解した（思い込み）
ようするにアホ
444:猟師
23/09/18 14:24:23.59 Ji+gayJ1.net
>>412
>>と表せるが、この測度が０となってしまい
><そもそも全体を測度1としたことに反する
>>つまり非可測
>その論法は、アウトです
>”全体を測度1とした”というけれど、そこアウトです
>いま簡便に1次元 R^1(つまりR) で考える
>普通のルベーグ測度では、μ(R)→∞ で、これを1と置くことは出来ない
全体の測度が∞でも、上記の論法は当てはまるのでセーフ
エテ公 ID:xK+yjmGv は論理が分からんバカか？
> 一方、区間[0,1]の測度は1だ。
> が、より大きな区間[0,M] ｜1<M との比較で
> 1/Mを考えることができる。M→∞で、1/M→0
> 即ち、”測度0”はあくまで、全体Ωとの比喩表現であって、厳密な測度の議論にあらず
445: はい、その比喩表現アウト その比喩表現では、非可測集合は”測度０”となるが、 本物の測度０とは全く異なる 本物は可算個集めて足し合わせても測度０だが 比喩表現のニセモノは可算個集めて足し合わせると 測度が０ではない集合になる 測度は可算加法性を持つ、という定義を知ってれば エテ公１のような「間違った比喩」は絶対にしない さすが数学知らん工学バカ
446:精神科医
23/09/18 14:29:42.64 Ji+gayJ1.net
> 時枝氏の”お手つき”論法がヘンだと言っているのです
> つまり、√2や円周率πの外で
> ある人が ヴィタリ集合の候補に、
> √2や円周率πを採用したとする
> 時枝氏の論法なら、”お手つき”だ！ となるけど
> √2や円周率πから見たら、それはその人の自由で「おれら、関係ない」だよ
> つまり、ヴィタリ集合は全体として非可測なのであって
> 個別の集合の元を取り出して、”お手つき”うんぬん は筋違い
支離滅裂な発言ですね
統合失調症の疑いがありますな
ああ、統合失調症は精神病ですから
カウンセリングでは治りませんよ
薬をのんでくださいね
処方箋書きますから 薬局で購入してくださいね
447:北朝の主
23/09/18 14:33:51.32 Ji+gayJ1.net
>>418
>＊＊さん、ありがとう
>なるほど、これはエレガントな解説だ
全く見当違いですけどね
>100個の決定番号 d1,d2,・・,d99,d100を決めることができる
>しかし、d1,d2,・・,d99,d100を使った 確率99/100の「勝つ戦略」には、
>確率測度の裏付け無し！
>なぜならば、「基礎空間」Ωを
>全事象の確率P(Ω)＝1とする確率測度を
>与えることができない
確率測度の裏付けはありますよ
ただ基礎空間Ωがあなたの考えてるものと異なるだけ
それを拒絶する権利はあなたがた南朝にはありません
ご愁傷様
448:数学水平社 数理論理解放同盟
23/09/18 14:39:00.35 Ji+gayJ1.net
>>421
>時枝の与太話に数学界のエタヒニンと蔑まれている基礎論が食いついた、ということだな
その言葉、聞き捨てならん！
数理論理学・集合論は数学界の穢多ではない！
我々は基礎論とかいう頓珍漢な名前をつけられ侮蔑される現在の状況を否定し
数理論理学・集合論という正当な名前で呼ばれ
他の分野と同様の権利を与えられることを求める！
URLﾘﾝｸ(ja.wikipedia.org)
449:数学水平社 数理論理解放同盟
23/09/18 14:42:23.52 Ji+gayJ1.net
>>423-425
我々「数学水平社」は、数理論理学が「数学基礎論」とかいう蔑称で呼ばれず
「数理論理学」と正当な名称で呼ばれ、数学の一分野として正当に認定されることを
切に希望する
サベツ・ダメ・ゼッタイ！
URLﾘﾝｸ(www.youtube.com)
450:数学水平社 数理論理解放同盟
23/09/18 14:45:25.08 Ji+gayJ1.net
「数学基礎論」がなぜ蔑称か？
それは数学基礎論が、数学の基礎づけという哲学であり、数学ではない
という侮蔑が込められているからである
数理論理学者は数学の基礎づけとかいう哲学とは全く無縁である
いわれなき差別はお止めいただきたい！
451:数学水平社 数理論理解放同盟
23/09/18 14:49:40.77 Ji+gayJ1.net
余談であるが、「本家」水平社博物館（奈良県御所市柏原235-2）
のHPも紹介させていただく
URLﾘﾝｸ(www1.mahoroba.ne.jp)
452:猿
23/09/18 15:00:18.88 CIQFj8vO.net
>>409
分け方はわからんけど、各s,S1,S2,・・・,S100の同値類は決まる、代表元も決まる
101個の同値類の代表元を決めるのに選択公理使うのか
453:数学水平社 数理論理解放同盟
23/09/18 15:03:56.65 Ji+gayJ1.net
>>434
>101個の同値類の代表元を決めるのに選択公理使うのか
なぜ101個？
それはともかく、使うか使わんかといえば、使う
なぜなら、回答者はどの100個の同値類がでるか分からんのだから
予め非可算無限個ある全ての同値類についての代表を用意するしかない
そんなことも分からんのか？エテ公は
人非人のエテ公ごときに、数学基礎論だの数学界の穢多だのと侮蔑されたくないのお
454:猿
23/09/18 15:06:16.46 CIQFj8vO.net
もしかしてR^N/～の代表元を選んで箱に入れておくと言う設定か
455:猿
23/09/18 15:08:46.07 CIQFj8vO.net
時枝に聞くしかないな
456:数学水平社 数理論理解放同盟
23/09/18 15:13:06.38 Ji+gayJ1.net
>>436 箱
457:ではなく袋な バカが混同する
458:数学水平社 数理論理解放同盟
23/09/18 15:14:20.74 Ji+gayJ1.net
>>437 聞くまでもないが、どうしても聞きたいというならどうぞご随意に
他人の研究を妨害せんようにな バカエテ公
459:猿
23/09/18 15:25:28.50 CIQFj8vO.net
>>434
決定番号d(s),d(S1),d(S2),・・・,d(S100)
代表元r(s),r(S1),r(S2),・・・,r(S100)
は決まる
460:猿
23/09/18 15:28:44.24 CIQFj8vO.net
>>438
罵倒しか出来ない無能目