19/01/18 11:06:47.79 Clcw85fU.net
>>277
>これ、結構、自分ではこの例は気に入っています(^^
馬鹿は間違いを気に入るから、いつまでも正しいことが学べない
>濃度はV1とV2で等しい
上記から下記はいえない (V1とV2がともに可測の場合も)
>V1に入るかV2に入るか、二択で、どちらに入るかは確率1/2だと。
スレ主 頭ウジ湧いてんのか?
301:132人目の素数さん
19/01/18 11:12:00.51 Clcw85fU.net
時枝記事の確率計算は、スレ主の>>277の”間違った例”とは全く無関係に
単に数列100個を固定し、その中から1つ選んだものが予測可能かどうか
判定するだけのこと
302:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/18 14:51:52.91 fvtxPJcC.net
>>277
補足
まだ誤読しているのかね?
・「非可測集合の確率計算の不適切例」だと書いたのに
・「この例のように、非可測集合を使うと、直観による確率1/2が非自明になる。
1/2を主張するなら、別に証明が必要になる」
だと書いたのに
まあ、要するに、非可測集合を使う確率計算について
これを、数学的にきちんと証明をするなら
・まず、非可測集合をどこでどう使っているかを、自ら明示すべき
・その非可測集合を使うことによる影響が、最終の確率計算に影響するのかしないのか?
・影響しないなら、そのことの数学的な証明が、
影響するなら、そのことの定量的な評価が、
示されるべき
・これを、時枝記事の前半の”ふしぎな戦略”について見るに、
まったくこの肝心なところが、示されていない
(数学的には、”非可測集合を使った(あるいは経由した)確率計算である”というのが、プロ数学者からはツッコミどころだろうから)
これくらいは、最低限だろう
まあ、そういうことを、主張したいための例示なんだけどね
時枝記事は、前半の”ふしぎな戦略”のところは、(数学的には自明な)同値類と代表と決定番号の説明が大半で
”非可測集合を使った(あるいは経由した)確率計算である”の部分は、完全にスルーしてますよと
(「直観による確率1/2が非自明=1/2を主張するなら別に証明が必要」 だと)
303:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/18 15:13:39.96 fvtxPJcC.net
>>281
(文字化けしないか確認投稿)
URLリンク(ja.wikipedia.org)
ルベーグ積分
(抜粋)
積分の構成
ルベーグ積分の定式化の一つの方法として、単函数(有限個の指示函数の実係数線型結合)を用いるものがある。単函数は、可測函数の値域を帯状に分割することにより、可測函数を近似することができる。単函数の積分は各帯状領域の測度にその高さを掛けたものに等しい。
集合の定義関数の場合
与えられた測度 μ に関する可測集合 S に対して、S の定義関数 1_{S}} 1_{S} の積分を
∫_{X} 1_{S} dμ := μ (S)
(注:∫_{X}は、積分記号)
とする。
(引用終わり)
URLリンク(ja.wikipedia.org)
指示関数(しじかんすう、英: indicator function)、集合の定義関数[1]、特性関数(とくせいかんすう、英: characteristic function)
304:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/18 15:14:35.25 fvtxPJcC.net
>>282
ああ、大丈夫、文字化けなしですな(^^
305:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/18 15:45:04.42 fvtxPJcC.net
>>282
まず訂正
与えられた測度 μ に関する可測集合 S に対して、S の定義関数 1_{S}} 1_{S} の積分を
↓
与えられた測度 μ に関する可測集合 S に対して、S の定義関数 1_{S} の積分を
(終わり)
さて、本題;
細かいところ、間違いが多いんだよね(オマエモナーというツッコミが来そうだが)
非可測を使う確率計算ってところが、数学的にグレーだから話は単純じゃない
「時枝記事が否定されたら、選択公理される」とか、そんな寝言は聞き飽きたんだよね
ペアノ公理だとかも同様
全部訂正いれてやったけどね(^^;
で、次は「V1とV2がともに可測の場合」か
V1とV2がともに可測の場合、
・V1∩V2 =φ
・V1∩V2 = V
として、明らかに、Vも可測集合になる
上記ルベーグ積分で
∫_{X} 1_{V1} dμ = μ (V1) =m とおく
μ (V1) = μ (V2) (=m) とする
σ加法性より、μ (V) =2m
ここで、m≠0 なら
∫_{X} 1_{V1} dμ/(∫_{X} 1_{V} dμ)=m/2m =1/2
成立
(上記は、例えば、[0,1]の一様分布を考えたような場合ね。このときは、m=1/2 成立 )
もちろん、m=0なら上記は言えない。
いま思うと、時枝は、m=0かもね(^^;
それ(m≠0)も、証明を書く人が、立証しないといけないことだよね
306:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/18 15:54:47.68 fvtxPJcC.net
>>284 タイポ訂正
(言っているしりから間違いかよ、おい(^^; )
「時枝記事が否定されたら、選択公理される」とか、そんな寝言は聞き飽きたんだよね
↓
「時枝記事が否定されたら、選択公理が否定される」とか、そんな寝言は聞き飽きたんだよね
307:132人目の素数さん
19/01/18 19:08:28.57 Clcw85fU.net
>>281
「例の作り方が悪い」といわれてるんだがね
例えばヴィタリ集合Vを使うのなら
f:[0,1]→Q
関数fは、r∈[0,1]に対して,
rと有理数差の同値類に属する
v∈Vをみつけ、r-vを返す
を構築し、そのうえで
g:[0,1]×[0,1]→{0,1,2}
関数gは(r1,r2)∈[0,1]×[0,1]に対して
f(r1)=f(r2)ならば0
f(r1)>f(r2)ならば1
f(r1)<f(r2)ならば2
を返す
を構築して
V0={(r1,r2)|g(r1,r2)=0}
V1={(r1,r2)|g(r1,r2)=1}
V2={(r1,r2)|g(r1,r2)=2}
という集合をつくり、
[0,1]×[0,1]全体で測度1のとき
V1,V2の両者が同じ測度でたかだか測度1/2
になるかと問えばいい
(ちなみに、V0,V1,V2は互いに重なり合わず
r1とr2をひっくり返せば,V0はV0自身に
V1とV2は互いに移りあう)
「交互に入れる」とか「濃度は等しい」とか
馬鹿丸出しの幼稚な発言は無意味
ほんとスレ主ってアタマ悪いな
で、上記のV1,V2に関する問いの答えは
「そんなことはいえない」
308:132人目の素数さん
19/01/18 19:08:53.73 Clcw85fU.net
>>284
>非可測を使う確率計算ってところが、
>数学的にグレーだから話は単純じゃない
まず、非可測集合を使う確率計算は
グレーじゃなく不可能
次に、時枝記事では、確率計算に
非可測集合を全く使っていない
要は100列の数列全体((R^N)^100)を
確率変数Ω→Eの定義域とはしていない
単純に与えられた数列100列について
Ωを附番の集合{1,・・・,100}とし
{1,・・・,100}→{0,1}
(値域の0は予測失敗、1は予測成功を表す)
から計算している
定義域の1~100は、それぞれ測度1/100
上記の関数で、0の値をとる点はたかだか1個だから
1の値をとる点の測度は少なくとも99/100
ただそれだけ 理解してないのはスレ主だけw
309:132人目の素数さん
19/01/18 19:09:30.13 Clcw85fU.net
>>284-285
>「時枝記事が否定されたら、選択公理が否定される」とか、
>そんな寝言は聞き飽きたんだよね
寝言いってんのはスレ主
スレ主は時枝記事が間違ってる、
予測できるわけがない、
といってるんだろう?
しかし、
・無限公理により、無限列の終端が存在しない
・選択公理により、尻尾の同値類の代表元が取れる
としたら、もはや予測を止める手段はない
予測できない場合というのは
1)列の決定番号が終端の場所でその先の箱が存在しない
2)そもそも代表元をとることができない
の2つしかないわけだ
スレ主は1)か2)のどちらか1つを選ぶしかない
1)を選べば、Nが無限公理の集合だという
事実を理解してない馬鹿野郎ということになる
2)を選べば、オレ様の「無限丸ごと独立性」を否定する
選択公理なんか認めねえってことになる
「非可測だから確率は計算できない」とかいうのは寝言
スレ主の計算の仕方が悪いだけだから
非可測集合を使わずに、計算すればいい
実際そうしている
310:132人目の素数さん
19/01/18 19:10:11.42 Clcw85fU.net
ところで、もし時枝記事が
「さて、1~100のいずれかをランダムに選ぶ」
ではなく
「さて、100列目を選ぶ」
と書かれていたならば
Ωを100列の数列全体として
確率を計算する必要があった。
つまり、時枝記事の確率
311:とは 「(予測失敗列の分布がどうであれ) 予測失敗列はたかだか1個しかないから 列をランダムに選べば、その列が 予測失敗列である確率が たかだか1/100」 なのであって 「どの列についても、その列が 予測失敗列になる確率が たかだか1/100」 なのではない
312:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/18 22:18:58.15 N9NpO178.net
>>273
補足
(引用開始)
『時枝記事後半に記されているように 無限族を使って
「n番目の箱にXnのランダムな値を入れ」ということ
及び
「無限族として独立なら,当てられっこない」と記されていることも
附言しておきます。』
(引用終り)
ここ、正確には、下記
”数学セミナー 2015年11月号 箱入り無数目 時枝 正”より抜粋すると
(引用開始)
「独立な確率変数の無限族X1,X2,X3,…で
いったい無限を扱うには,
(1)無限を直接扱う, (2)有限の極限として間接に扱う,
二つの方針が可能である.
確率変数の無限族は,任意の有限部分族が独立のとき,独立, と定義されるから,
(2)の扱いだ.
素朴に,無限族を直接扱えないのか? 扱えるとすると私たちの戦略は頓挫してしまう.
n番目の箱にXnのランダムな値を入れられて,ある箱の中身を当てようとしたって,
その箱のX と他のX1,X2,X3,・・・がまるまる無限族として独立なら,当てられっこないでは
ないか--他の箱から情報は一切もらえないのだから.」
(引用終り)
これは、下記の通り、結論出てますので(^^
ですから、”独立な確率変数の無限族X1,X2,X3,…”は、時枝記事前半の数当ての反例ですよ(^^
過去スレ20 スレリンク(math板:538番)
(引用開始)
538 2016/07/03(日) 23:54:57.90 ID:f9oaWn8A
うーん,正直時枝氏が確率論に対してあまり詳しくないと結論せざるを得ないな
>確率変数の無限族は,任意の有限部分族が独立のとき,独立,と定義されるから,(2)の扱いだ.
の認識が少しまずい.
任意有限部分族が独立とは
P(∀i=1,…n,X_i∈A_i)=Π[i=1,n]P(X_i∈A_i)ということだけど
これからP(∀i∈N,X_i∈A_i)=Π[i=1,∞]P(X_i)が成立する(∵n→∞とすればよい)
これがきっと時枝氏のいう無限族が直接独立ということだろう.
ということは(2)から(1)が導かれてしまったので,
「(1)という強い仮定をしたら勝つ戦略なんてあるはずがない」時枝氏の主張ははっきり言ってナンセンス
確率変数の独立性というのは,可算族に対しては(1)も(2)も同値となるので,
”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが,これは全くの的外れ
(引用終り)
313:132人目の素数さん
19/01/18 22:52:32.43 YiyJT/X0.net
>>281
まだ誤読しているのかね?
「時枝解法では確率計算に非可測集合は使ってない」だと書いたのに
314:132人目の素数さん
19/01/18 22:57:48.58 YiyJT/X0.net
>>281
時枝解法では確率計算に非可測集合は使っていない。
反論がるならどの非可測集合をどう使っているのか示しなさいな。
それを示せないのに反論だけはするってナンセンスだと思わない?
まあスレ主の存在自体がナンセンスなんだが(ボソッ)
315:132人目の素数さん
19/01/18 23:01:18.79 YiyJT/X0.net
>>284
>非可測を使う確率計算ってところが、数学的にグレーだから話は単純じゃない
どうしてそんなに頑なにバカでい続けたいの?
利口になったら何か嫌な事でもあるの?
316:132人目の素数さん
19/01/18 23:13:21.17 YiyJT/X0.net
>>285
「「時枝記事が否定されたら、選択公理が否定される」とか、そんな寝言は聞き飽きたんだよね」
とか、そんな寝言は聞き飽きたんだよね
317:132人目の素数さん
19/01/18 23:23:42.00 YiyJT/X0.net
>>290
>その箱のX と他のX1,X2,X3,・・・がまるまる無限族として独立なら,当てられっこないでは
>ないか--他の箱から情報は一切もらえないのだから.」
>(引用終り)
都合の良いところだけ切り取るなw
その直後にこう書いてあるぞw
>勝つ戦略なんかある筈ない,と感じた私たちの直観は,無意識に(1)に根ざしていた,といえる.
「勝つ戦略なんかある筈ない」=「直観」と明記されてるぞw
実際、勝つ戦略の存在が記事前半で証明されてるぞw
理解できないのはスレ主只一人、勝つ戦略の存在を疑うより自分の頭の出来を疑いなさいw
318:132人目の素数さん
19/01/18 23:33:55.21 YiyJT/X0.net
スレ主へ
>>256に書いてある内容が理解できる? Y/N
319:132人目の素数さん
19/01/19 09:16:23.33 LRwYC/w0.net
>>290
>n番目の箱にXnのランダムな値を入れられて,ある箱の中身を当てようとしたって,
>その箱のX と他のX1,X2,X3,・・・がまるまる無限族として独立なら,
>当てられっこないでは ないか--他の箱から情報は一切もらえないのだから.
で、「まるまる無限族として独立」なら選択公理は偽なのかね?
なぜなら、選択公理によって取得した代表元から情報がもらえてしまうのだから
320:132人目の素数さん
19/01/19 09:20:24.96 LRwYC/w0.net
>>290
>任意有限部分族が独立とは
>P(∀i=1,…n,X_i∈A_i)=Π[i=1,n]P(X_i∈A_i)ということだけど
>これからP(∀i∈N,X_i∈A_i)=Π[i=1,∞]P(X_i)が成立する
>(∵n→∞とすればよい)
>これがきっと時枝氏のいう無限族が直接独立ということだろう.
これ書いた人、無限乗積に疎い素人だな
上記がダメダメなので
>(2)から(1)が導かれてしまった
はスレ主一匹の妄想ね
ザ・ン・ネ・ン・デ・シ・タ
321:132人目の素数さん
19/01/19 09:24:36
322:.27 ID:LRwYC/w0.net
323:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/19 09:36:31.59 sK9fzKOh.net
まず
>>284 追加訂正(ケアレスミスが多いな(^^; )
・V1∩V2 =φ
・V1∩V2 = V
↓
・V1∩V2 =φ
・V1∪V2 = V
324:132人目の素数さん
19/01/19 09:38:52.04 LRwYC/w0.net
>>291-296
スレ主は何の根拠もなく「独立だから当たりっこない」と喚いてるだけだな
ところで>>256でAが奇数全体の集合、Bが偶数全体の集合、と分ける理由が不明
>無作為抽出した1個が他方より大きい確率は1/2。
ということではなくて、
「n個の数のうち、他より大きくなる数は存在する場合たかだか1個」
であれば、無作為抽出でその1個を選ぶ確率が1/n、ということ
325:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/19 09:41:15.51 sK9fzKOh.net
>>290 補足
(引用開始)
いったい無限を扱うには,
(1)無限を直接扱う, (2)有限の極限として間接に扱う,
二つの方針が可能である.
確率変数の無限族は,任意の有限部分族が独立のとき,独立, と定義されるから,
(2)の扱いだ.
素朴に,無限族を直接扱えないのか? 扱えるとすると私たちの戦略は頓挫してしまう.
(引用終り)
”任意の”は、基礎論的には、全称記号∀です
英語では、"any" ですが、"for all"(全て)でもあります
「素朴に,無限族を直接扱えないのか? 」とおかしな記述
集合で考えましょう
可算無限集合Aで、その集合の元に対し
∀a∈A→aは整数
が言えれば、A ⊂Z(整数の集合)
で、Aは整数の集合(Zの部分集合)
が言える。
現代数学では、可算無限集合だからと言って、大騒ぎの必要もない
確率変数の(可算)無限族とて同じこと。無限族を、一つの集合として見れば良い
そうすると、無限族の要素について、語るのは通常のことにすぎない
確率変数の独立の定義が、X1とX2と、二つの組み合わせから始まって
n個の組み合わせに至り、n→∞を考えるのもまた、自然な流れ
ここで、”n→∞”という曖昧さの残る表現を避けて、全称記号∀を用い
”∀有限部分族が独立”とするのも、全く自然な現代数学の表記にすぎない
これについて、上記の(1)と(2)を分けること自身が、間違い
ZFCの集合論上で、数学を論じる以上、
集合としての(可算)無限族について、何かを語るためには、
その集合の要素について、語るしかないのだから
なお、無限の対象について
”任意の有限部分族がXXのとき,XX,”という言い回しは、現代数学では結構普通で
コンパクト性定理(下記ご参照)でも、この表現が使われている
URLリンク(ja.wikipedia.org)全称記号
全称記号
(抜粋)
全称記号(universal quantifier)とは、数理論理学において「全ての」(全称量化)を表す記号である。
通常「∀」と表記され、全称量化子、全称限量子、全称限定子、普遍量化子、普通限定子などとも呼ばれる。
つづく
326:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/19 09:41:49.41 sK9fzKOh.net
>>302
つづき
記号の意味
「∀xPx」は存在記号と否定記号とを用いて、「¬∃x¬Px」と表現することもできる。
「¬∃x¬Px」は「P でないような x は存在しない」という意味だから、
これはすなわち「全ての x は Pである」ということである。
URLリンク(en.wikipedia.org)
Universal quantification
(抜粋)
In predicate logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any" or "for all".
URLリンク(ja.wikipedia.org)
コンパクト性定理
(抜粋)
コンパクト性定理(英: Compactness theorem)とは、一階述語論理の文の集合がモデルを持つこと(充足可能であること)と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。
1930年にゲーデルが可算集合の
327:場合について証明した。非可算の場合については、Anatoly Maltsevが1936年に証明を与えた[1][2]。 以上
328:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/19 09:44:31.31 sK9fzKOh.net
>>303 関連
無限集合ついでに、
∀n∈Nについて語られて命題は、自然数N全体を尽くすということですね
ペアノの公理との関連で言えば、任意のnについて成立し、かつn+1についても成立するならば、
それは自然数N全体に及ぶということ
現代数学のZFC公理系では、無限公理を含むため、
任意のnについて成立し、かつn+1についても成立するならば、
無限公理によって、そのような対象は、可算無限集合になる
各nは有限なれど、それは可算無限集合を形成し、自然数Nを尽くす
詳しくは、下記をご参照
なので、反例の構成は失敗していません(>>46)
前スレ57 スレリンク(math板:647番)
の反例 数列の長さmの有限モデル も∀m∈Nについて語っているので、同じことですよ
URLリンク(ja.wikipedia.org)
ペアノの公理
(抜粋)
ペアノの公理は以下の様に定義される。
自然数は次の5条件を満たす。
1.自然数 0 が存在する。
2.任意の自然数 a にはその後者 (successor)、suc(a) が存在する(suc(a) は a + 1 の "意味")。
03. はいかなる自然数の後者でもない(0 より前の自然数は存在しない)。
4.異なる自然数は異なる後者を持つ:a ≠ b のとき suc(a) ≠ suc(b) となる。
5. がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。
5番目の公理は、数学的帰納法の原理である。
(引用終り)
URLリンク(ja.wikipedia.org)
公理的集合論
(抜粋)
ZF 公理系
・無限公理 空集合を要素とし、任意の要素 x に対して x ∪ {x} を要素に持つ集合が存在する:
URLリンク(ja.wikipedia.org)
無限公理
329:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/19 09:47:19.01 sK9fzKOh.net
>>304 タイポ訂正 (タイプミスが多い(^^; )
∀n∈Nについて語られて命題は、
↓
∀n∈Nについて語られた命題は、
330:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/19 09:52:10.67 sK9fzKOh.net
>>302 蛇足
>ZFCの集合論上で、数学を論じる以上、
>集合としての(可算)無限族について、何かを語るためには、
>その集合の要素について、語るしかないのだから
集合の要素は、見ないようにして語りましょう
というのが圏論らしいですがね(詳しくないですが)(^^
331:132人目の素数さん
19/01/19 10:03:52.70 LRwYC/w0.net
>>302
>無限を扱うには,
>(1)無限を直接扱う,
>(2)有限の極限として間接に扱う,
>二つの方針が可能である.
>確率変数の無限族は,
>任意の有限部分族が独立のとき,独立,
>と定義されるから,(2)の扱いだ.
>上記の(1)と(2)を分けること自身が、間違い
(1)=(2)と思ってるスレ主が間違い
332:132人目の素数さん
19/01/19 10:09:51.13 LRwYC/w0.net
>>302
>無限の対象について
>”任意の有限部分族がXXのとき,XX,”という言い回しは、
>現代数学では結構普通で コンパクト性定理でも、
>この表現が使われている
コンパクトでない位相空間は珍しくないが
例えばユークリッド空間はノンコンパクト
自然数全体の集合Nも
任意の自然数nについて
n以上の自然数の集合を
開集合とする位相を入れれば
ノンコンパクト
なぜなら、N全体を覆う
有限個の開集合の被覆
がとれないから
こんなの数学科では常識
知らないスレ主はド素人
333:132人目の素数さん
19/01/19 10:16:14.42 NWH3th4T.net
>>301
>ところで>>256でAが奇数全体の集合、Bが偶数全体の集合、と分ける理由が不明
Aの元は奇数、ではあるけれど、全ての奇数がAの元とは書かれてない。
奇数と偶数に分けたのは単にA,Bから取った元が一致する場合を避けることでより
単純化するためでしょう。
>>無作為抽出した1個が他方より大きい確率は1/2。
>ということではなくて、
{ある奇数 n, ある偶数 m} から1元抽出する場合の数は、
「より大きい方を抽出する場合」と「より小さい方を抽出する場合」の2であるから
>無作為抽出した1個が他方より大きい確率は1/2。
で正しい。ポイントは P(n>m)=1/2 は言えないこと。
334:132人目の素数さん
19/01/19 10:20:11.08 LRwYC/w0.net
>>304
>現代数学のZFC公理系では、無限公理を含むため、
>任意のnについて成立し、かつn+1についても成立するならば、
>無限公理によって、そのような対象は、可算無限集合になる
スレ主は無限公理を全然理解してないことがまるわかり
まず空集合{}(=0)は集合である(空集合の公理)
任意の集合{0,・・・,n-1}(=n)について、
これにnを追加したもの{0,・・・,n}も
集合である(和集合の公理)
上記は無限公理なしに言える
しかし、それだけでは{0,・・・}(=N)が集合であるとは言えない
Nが集合であると定めるのが、無限公理
>各nは有限なれど、それは可算無限集合を形成し、自然数Nを尽くす
各nは有限集合だから、無限公理抜きに
いくら1つづつ元を追加しても有限集合のまま
可算無限集合にはなり得ない
したがって
>なので、反例の構成は失敗していません(>>46)
>数列の長さmの有限モデル も∀m∈Nについて語っているので、同じことですよ
は全くの誤りで、スレ主は無限列における反例の構成に完全に失敗している
全ての有限モデルで反例だからといって、無限モデルで反例があるとはいえない
スレ主は無限公理を持ち出して自爆した
もし任意の有限集合の存在から、無限集合の存在がいえるなら
無限公理は必要ないはず
しかし、実際には無限集合の存在を主張するには無限公理が必要
335:132人目の素数さん
19/01/19 10:24:28.70 LRwYC/w0.net
>>309
>「より大きい方を抽出する場合」と
>「より小さい方を抽出する場合」の
>2であるから
>>無作為抽出した1個が他方より大きい確率は1/2。
>で正しい。
その言い方では P(n>m)=1/2と同じになってしまう
そうではなくて
「n>mかつm>nなる場合がなくどちらか1つしかないから
その1つを無作為に選ぶ確率が1/2になる」
としないと P(n>m)=1/2の罠から抜け出せない
336:132人目の素数さん
19/01/19 10:31:48.94 NWH3th4T.net
>>311
>その言い方では P(n>m)=1/2と同じになってしまう
「その言い方」は "n","m" を使っていないのだから、「P(n>m)=1/2」と同じになりえない。
337:132人目の素数さん
19/01/19 10:37:19.57 NWH3th4T.net
>>311
>n>mかつm>nなる場合がなくどちらか1つしかないから
と
>{ある奇数 n, ある偶数 m} から1元抽出する場合の数は、
>「より大きい方を抽出する場合」と「より小さい方を抽出する場合」の2であるから
は(このコンテキストでは)同じことを言ってると思うが?
338:132人目の素数さん
19/01/19 10:46:03.92 NWH3th4T.net
>>311
誤解しないで欲しいのは
>無作為抽出した1個が他方より大きい確率は1/2。
の「抽出」は「A,Bからの抽出」ではなく、「A,Bから抽出して作った {n,m}
からの抽出」ね
339:132人目の素数さん
19/01/19 11:04:08.32 NWH3th4T.net
>>302
>n個の組み合わせに至り、n→∞を考えるのもまた、自然な流れ
極限について何かを語るなら、εN論法を理解し、極限の定義を理解してからにしてもらえますか?
340:132人目の素数さん
19/01/19 11:07:40.22 NWH3th4T.net
>>302
>ZFCの集合論上で、数学を論じる以上、
>集合としての(可算)無限族について、何かを語るためには、
>その集合の要素について、語るしかないのだから
はい?
341:132人目の素数さん
19/01/19 11:10:38.10 LRwYC/w0.net
>>313
>(このコンテキストでは)同じことを言ってると思うが?
そういわれると思ったが、実は違うことをいっている
つまり1/2という確率は、
「(例えばnが最大限だと決まっていたとしても)
nを選ぶかmを選ぶかが1/2」
という意味あって
「nが最大元か、mが最大元かが1/2」
という意味ではない
後者の意味だと測度の話に巻き込まれる
時枝記事ではそれを避けるために
1~100の中からランダムに選ぶ
と書かれている
つまり、その中のどれが最大元か決まっているものとしていて、
そもそもそれぞれの列の決定番号が最大元となる確率を論じていない
342:132人目の素数さん
19/01/19 11:13:27.55 NWH3th4T.net
>>304
>ペアノの公理との関連で言えば、任意のnについて成立し、かつn+1についても成立するならば、
>それは自然数N全体に及ぶということ
「任意の n について成立する」という仮定は結論そのものでは?
343:132人目の素数さん
19/01/19 11:13:36.68 LRwYC/w0.net
>>315
そもそもスレ主の言い方では
任意の有限モデルを構成できただけで
「極限」としての無限モデルは構成できていない
スレ主が極限を全く理解せずに
漠然と妄想を語っていることは明らか
それでは白痴といわれても仕方ない
344:132人目の素数さん
19/01/19 11:16:03.20 LRwYC/w0.net
スレ主は
「任意の 長さn 列について成立するから、
無限列についても成立する」
といいたいようだが、そんなことはいえない
例えば任意の長さn列について、その終端は存在するが
無限列には終端は存在しない
これこそスレ主のウソ推論に対する反例である
345:132人目の素数さん
19/01/19 11:47:56.30 NWH3th4T.net
スレ主はwikipedia等に書かれていることをなぞって言ってるだけじゃんw
しかもなぞり間違えてる。すなわち劣化コピーw
スレ主独自の考えなんてほとんど言ってないし、たまに言うと必ず間違えてるw
346:132人目の素数さん
19/01/19 12:09:09.64 NWH3th4T.net
>>317
>つまり1/2という確率は、
>「(例えばnが最大限だと決まっていたとしても)
> nを選ぶかmを選ぶかが1/2」
>という意味あって
わかってますよ?
>{ある奇数 n, ある偶数 m} から1元抽出する場合の数は、
>「より大きい方を抽出する場合」と「より小さい方を抽出する場合」の2であるから
この文章では n,m を特定せずに「より大きい方」、「より小さい方」としか言っていないから
>「nが最大元か、mが最大元かが1/2」
>という意味ではない
という指摘は当たらないですよ?
347:132人目の素数さん
19/01/19 12:12:40.10 NWH3th4T.net
スレ主は有理数列の極限が有理数とは限らないことも知らないんだろうなあ(呆然)
だから「n→∞とすればいい」と平気でデタラメを言えるのだろう(確信)
348:132人目の素数さん
19/01/19 13:20:59.46 NWH3th4T.net
>aとbの中から無作為抽出した1個が他方より大きい確率は1/2
は正しいですよ。
「Aから無作為抽出した1個がBから無作為抽出した1個�
349:謔闡蛯ォい確率は1/2」 なら間違いですけど。 まあ、言葉には曖昧さや誤解がつきものなので、そこを追求しても仕方ないでしょう。 大事なのは>>256がスレ主の間違いを的確に指摘しているということですよ。 ちなみに>>256は私じゃないですけどね。
350:132人目の素数さん
19/01/19 14:18:16.04 LRwYC/w0.net
>>322
>この文章では n,m を特定せずに
>「より大きい方」、「より小さい方」としか言っていないから
>>「nが最大元か、mが最大元かが1/2」
>>という意味ではない
>という指摘は当たらないですよ?
残念ながら意味不明
351:132人目の素数さん
19/01/19 14:21:36.03 LRwYC/w0.net
>>324
>>aとbの中から無作為抽出した1個が他方より大きい確率は1/2
>は正しいですよ。
>「Aから無作為抽出した1個がBから無作為抽出した1個より大きい確率は1/2」
>なら間違いですけど。
a,bを特定してしまえば、非可測の罠から抜け出せるのは確か
352:132人目の素数さん
19/01/19 14:28:54.46 LRwYC/w0.net
スレ主は結局
「まるまる無限族として独立なら,当てられっこない」
に固執するしかないようだが、その場合やはり
(非可算)選択公理を否定するしかない
というのは、
無限に多くの人がいて
それぞれ実数が入った自分の箱を持ち
自分以外の箱の中身は見られる、とする
無限個の実数の集まり同士に関して
「有限個の違いを除いて同じ」という
同値関係を入れれば同値類ができるから
選択公理によりその代表元がとれる
それぞれの人は他人の情報から
上記の同値類の代表元を得ることができ
したがって、有限人数の誤りを除いて
無限人数が箱の中身を当てられる
こんなことは有限人の集まりでは到底実現できないし
(うまい同値類がつくれない)また、当てられっこない
という主張に反する 当てられるのは代表元がとれる
からなのだから、当てられないとするなら代表元が
とれないようにするしかない
つまり(非可算)選択公理を否定するしかない
353:132人目の素数さん
19/01/19 15:04:37.08 XDMJOFPz.net
おっちゃんです。
スレ主とはまた鉛筆や芯ホルダーの話、雑談でもするか。
ドロップ式の芯ホルダーは使い易いね。
まあ、芯ホルダーは多分シャーペンより長持ちするね。
シャーペンは、今までに少なくとも5、6回壊れたね。
然かるに、高校以来芯ホルダー使っているけど、芯ホルダーは1回しか壊れたことがない。
壊れた芯ホルダーはドロップ式だったけど、今でも使おうと思えば使える。
芯ホルダーは少なくとも2、30年は持つだろうね。
ところで、30年近く前のことだけど、シティーハンター3は見たことあるかい?
354:132人目の素数さん
19/01/19 15:28:31.86 NWH3th4T.net
>>325
あなたは>>301で
>>無作為抽出した1個が他方より大きい確率は1/2。
>ということではなくて、
と言ったが、今でもその考えは変わってない?まずそこだけ答えて。
355:132人目の素数さん
19/01/19 15:34:03.76 NWH3th4T.net
>>326
>a,bを特定してしまえば、非可測の罠から抜け出せるのは確か
>今、Aから元aを無作為抽出し、Bから元bを無作為抽出する。
>aとbのどちらが大きいか? 無論、確率は計算しようがない。
>しかし、aとbの中から無作為抽出した1個が他方より大きい確率は1/2。(>>256)
をよく読んでね。
>しかし、aとbの中から無作為抽出した1個が他方より大きい確率は1/2。
は
>今、Aから元aを無作為抽出し、Bから元bを無作為抽出する。
の後ですよ?
>しかし、aとbの中から無作為抽出した1個が他方より大きい確率は1/2。
の段階ではあなたの言う通り、a,b は特定されてるんです。納得?
356:132人目の素数さん
19/01/19 15:43:02.54 yFCf2UhF.net
a>b または b<a という関係が必ずあるので、大きい方をg、小さい方をl
とおけば、{a,b}={g,l}.(順不同の集合として)
無作為抽出したとき、gを選び出す確率は1/2.
357:132人目の素数さん
19/01/19 15:45:38.27 NWH3th4T.net
>>328
おっちゃんの判断は正しい。
スレ主は数学の話ができるレベルに達してない。雑談で場をつなぐくらいしかスレ主にはできない。
358:132人目の素数さん
19/01/19 15:46:35.31 yFCf2UhF.net
>a>b または b<a
訂正っす。a>b または b>a.
359:132人目の素数さん
19/01/19 15:46:45.29 yFCf2UhF.net
>a>b または b<a
訂正っす。a>b または b>a.
360:132人目の素数さん
19/01/19 15:50:11.63 NWH3th4T.net
スレ主、残念だったな
我々の一連のやりとりはちょっとした誤解でしかなかった。
誤解が解消されれば意見はまったく一致している。
「敵の仲間割れ」の期待に沿えずごめんな~!
361:132人目の素数さん
19/01/19 15:51:09.46 yFCf2UhF.net
文房具何年持つとか言ってるけどそんな貧乏なん?w
おれはボールペンの方が好み。濃く書けるから。
フィッシャーとカランダッシュがお気に入り。
362:132人目の素数さん
19/01/19 16:07:33.80 XDMJOFPz.net
>>336
ボールペンの中には、やっとインクが出たかと思ったらまた書けなくなるような、余り書けない類のモノがある。
また、確か水性のインクのボールペンだったと思うが、そういうのはインクの減りがはやい。
後者のタイプのボールペンのインクの軸は比較的太い。
それに対し、芯ホルダーに鉛筆の芯を入れて使うと、そのようなことは全くない。スラスラ書けて、長持ちする。
363:132人目の素数さん
19/01/19 16:27:22.05 LRwYC/w0.net
>>330
>>aとbの中から無作為抽出した1個が他方より大きい確率は1/2。
>は
>>今、Aから元aを無作為抽出し、Bから元bを無作為抽出する。
>の後ですよ?
2つの異なる行為を同じ無作為抽出と書くのは適切でない
「aとbの中から選んだ1個が他方より大きい確率は1/2。 」
と書けば紛れが無かった
364:132人目の素数さん
19/01/19 16:34:06.70 yFCf2UhF.net
>>337
カリカリ書くよりヌラヌラ感がいいんだよな。
万年筆でも言うことだけど。
が、おれは万年筆も使ってみたが
便利さや使い勝手でボールペンだな。
書類サインにも勿論使える。
インクリフィルの外れというのは古い在庫とかに
あるかもしれんが、一流メーカーの新品では
当たったことがない。
(メーカー・太さによって好みが分かれることはある。)
芯ホルダーがいいというのは別に否定しないよ。
好みの問題だからね。
365:132人目の素数さん
19/01/19 16:38:03.75 LRwYC/w0.net
>>335
>我々の一連のやりとりはちょっとした誤解でしかなかった。
単に、スレ主の「非可測だから計算不能」という主張を
排除するための確認にすぎない
スレ主の主張は3点
1.任意の有限モデルで反例になってるから、
無限モデルでも成立しない
2.非可測集合を使ってるから確率は計算できない
3.無限個丸ごと独立と、任意有限語で独立は同じ
前者で予測不能なら、後者も予測不能の筈
上記に対する対応は以下の通り
1.そもそも推論として間違ってるので徹底的に叩き潰す
2.非可測集合は使ってないので、無駄な議論はしない
3.両者は全く異なる。前者で予測不能なら、
そもそも代表元がとれないから
非可算選択公理が成り立たない、と返す
ぶっちゃけ、自分がスレ主なら1.のような
バカ丸出しの主張は絶対にしない 恥だからだ
2.は他でもよく見かける反論だが、見当違いであり無意味
3.の混同もバカげてるが、3のうち前者の「無限個まるごと独立」
を堅持するというなら、その結果としての非可算選択公理の否定
も落としどころとしてはあるだろう
スレ主が何で選択公理の完全堅持に固執するのか理解不能
366:132人目の素数さん
19/01/19 16:41:02.52 LRwYC/w0.net
>>328
>スレ主とはまた鉛筆や芯ホルダーの話、雑談でもするか。
数学以外の話は他所でやってくれ
367:132人目の素数さん
19/01/19 16:48:15.55 LRwYC/w0.net
>>332
>スレ主は数学の話ができるレベルに達してない。
スレ主の理解できる数学はせいぜい高校卒業程度
大学の数学はおそらく理解できなかったんだろう
正規部分群のような簡単かつ基本的な概念も理解できないヤツが
ガロア理論を理解できる可能性は万に一つもない
時枝記事についても全く同様
>>327でも明らかなように
・「有限個の違いを除いて一致」
という同値関係で同値類がとれる
・選択公理で代表元がとれる
の2点が要
前者は単なる定義で否定のしようもないから、
どうしても否定するなら後者しかないことは明らか
こんな簡単なことも読めないスレ主が
数学に興味持っても無駄
368:132人目の素数さん
19/01/19 16:58:18.24 NWH3th4T.net
>>338
>「aとbの中から選んだ1個が他方より大きい確率は1/2。 」
それ「抽出する」を「選ぶ」にしただけ + キーワードの「無作為」が無い。
「無作為」が無いと「1/2」は言えない。
別々の抽出行為に同じ「無作為抽出」という言葉を使うのがダメってことは無いだろう。
でもどうでもいい。言葉だけの問題。数学の問題じゃない。
369:132人目の素数さん
19/01/19 17:02:33.47
370: ID:XDMJOFPz.net
371:132人目の素数さん
19/01/19 17:04:12.49 LRwYC/w0.net
>>343
>「無作為」が無いと「1/2」は言えない。
「ランダムに選ぶ」といえばいい
正直、語彙が貧困と言わざるを得ない
>別々の抽出行為に同じ「無作為抽出」という言葉を使うのが
>ダメってことは無いだろう。
いいか駄目かといえば、駄目
言葉を変えるのが基本
知らない奴はまともな文章書いたことない
と云われても仕方ない
>どうでもいい。言葉だけの問題。
理系が文系の連中から「野蛮人」と云われるのは
言葉に関して実に粗雑な感覚しかない奴が少なくない
からだろう
372:132人目の素数さん
19/01/19 17:17:02.04 LRwYC/w0.net
>>336
>そんな貧乏なん?w
ぶっちゃけ、おっちゃんが給料もらう仕事してるところが想像できないw
373:132人目の素数さん
19/01/19 17:18:06.68 NWH3th4T.net
>>345
いやーアンタもなかなかのトンデモだね
こっちが事を収めよう収めようと誘導してるのにブチ壊すことしかしないよね、アンタ
リアルでもそんなん?
374:132人目の素数さん
19/01/19 17:21:01.41 LRwYC/w0.net
>>348
>こっちが事を収めよう収めようと誘導してるのに
そうは見えない さりげなく自分に非がないと主張したがっている
そういうちっちゃな奴は斬って捨てる 生かしておく価値がない
375:132人目の素数さん
19/01/19 17:22:55.34 LRwYC/w0.net
面目を保とうとする奴は命を失う
スレ主がいい例だ
376:132人目の素数さん
19/01/19 17:24:44.41 NWH3th4T.net
>>348
誤解すんなよ
非が無いと主張したいのではなく非が無いんだよw
同じ「無作為抽出」を使うのが非なの? お前バカだろ
377:132人目の素数さん
19/01/19 17:25:20.98 LRwYC/w0.net
>>347
>ブチ壊すことしかしない
>リアルでもそんなん?
実際に人を真っ二つに斬れたら
爽快極まりないだろう
378:132人目の素数さん
19/01/19 17:26:44.71 LRwYC/w0.net
>>350
>誤解すんなよ
>非が無いんだよw
なんだ、スレ主と同じ自己中か
焼かれて死ね
379:132人目の素数さん
19/01/19 17:27:48.06 sRX5vaM8.net
>>347
彼はもともとそうなのさ。悪気はないので悪く思わんでくれ。
>理系が文系の連中から「野蛮人」と云われるのは
最近の研究では脳の大部分は感情の調整に使われているらしい。
「論理」はそこから派生したオマケ機能みたいなもの。
だから「相手の感情を読む」ことに疎い理系は
最も重要な機能に欠けているわけで、野蛮という
ことになっても不思議はない。
380:132人目の素数さん
19/01/19 17:27:52.49 XDMJOFPz.net
>>346
国語辞書で意味を調べると、無作為もランダムも同じ意味のようだぞw
「ランダム」という言葉に特別な定義はあるのか。
381:132人目の素数さん
19/01/19 17:29:06.04 NWH3th4T.net
>>348
お前多分相当勉強できるだろうね。それはわかる。
でもお前人と付き合うの苦手でしょ。自分の周りの人間が全員アホに見えるでしょ。
それ治した方がいいよ。
スレ主も病気だが、お前もスレ主とは違う病気。
382:132人目の素数さん
19/01/19 17:32:42.16 LRwYC/w0.net
>>354
>無作為もランダムも同じ意味のようだぞ
もちろんだ 同じことを違う言葉で言い表す
それが、2つの場面を区別するということ
それが配慮というもの
383:132人目の素数さん
19/01/19 17:38:00.69 XDMJOFPz.net
>>356
自然言語だから、言葉を定義しないと区別して使い分けても意味ない。
384:132人目の素数さん
19/01/19 17:39:51.01 NWH3th4T.net
>>349
誤解すんな
面目を保つ意図なんてサラサラ無い。面目を保たなければいけないような発言は一切していない。
>>352
同じ「無作為抽出」を使うことを非だと断ずるお前こそが自己中では?
自己中が焼かれて死ななければならないなら、まずお前からだな。
お前さ、Aを「奇数全体の集合」って読み間違ったのを俺に指摘されてカチンと来たろ?
でも読み間違ったのは事実だったろ? 腹立てるなら読み間違った自分に腹立てろよ。こっちに当たるな。
385:132人目の素数さん
19/01/19 17:39:56.55 LRwYC/w0.net
>>355
>お前多分相当勉強できるだろうね。それはわかる。
そういう君は勉強苦手そうだな
そうでなければそんな卑屈な文章は書きこまない
>でもお前人と付き合うの苦手でしょ。
実はそうでもない
>自分の周りの人間が全員アホに見えるでしょ。
そんなこともない
ただ、今日の君は、スレ主の「非可測」議論に
ひっかかってる時点で正直アホだなとは思う
>それ治した方がいいよ。
正直、君が味方として必要というわけでもないので
邪魔だと思ったら容赦なく斬って捨てる
それがネットの人間関係 悪く思うな
>スレ主も病気だが、お前もスレ主とは違う病気。
「お前多分相当勉強できるだろうね。」という言葉で
君は劣等感に苛まれていて、しかも自覚してることもわかる
君は至って正常だ だがそれだけだ
正常なだけが取り柄の一般人には興味がない
得るところがないからだ
異常であっても何か得るところのある人間こそが大事
386:132人目の素数さん
19/01/19 17:43:12.90 LRwYC/w0.net
>>358
>お前さ、Aを「奇数全体の集合」って読み間違ったのを
>俺に指摘されてカチンと来たろ?
何言ってるのかわからんが
そもそも、奇数と偶数を分ける理由が分からんので
なんか馬鹿なことをしてるなとしか思わなかった
私を恨むな 自分の馬鹿を恨め
387:132人目の素数さん
19/01/19 17:48:12.27 LRwYC/w0.net
>>309
>奇数と偶数に分けたのは
>単にA,Bから取った元が
>一致する場合を避けることで
>より単純化するためでしょう。
この言葉を聞いて、
「ああ、こいつ無駄なことに頭働かせてるな」
と思ったのが正直な感想
388:132人目の素数さん
19/01/19 17:52:11.92 XDMJOFPz.net
それじゃ、おっちゃんはもう寝る。
389:132人目の素数さん
19/01/19 17:52:31.06 LRwYC/w0.net
そもそも同じ集合N(自然数の全体)から取った二つの数n,mについて
n,mのいずれか一方をランダムに選べば大きいほうを選ぶのはたかだか1/2
ただそれだけのことなのに、n=mの場合があると都合が悪いとかいう
実に下らぬ理由で姑息な策を弄するのは、下手の考え休むに似たり
390:132人目の素数さん
19/01/19 17:53:02.59 LRwYC/w0.net
そもそも同じ集合N(自然数の全体)から取った二つの数n,mについて
n,mのいずれか一方をランダムに選べば大きいほうを選ぶのはたかだか1/2
ただそれだけのことなのに、n=mの場合があると都合が悪いとかいう
実に下らぬ理由で姑息な策を弄するのは、下手の考え休むに似たり
391:132人目の素数さん
19/01/19 17:57:40.84 LRwYC/w0.net
>>362
>おっちゃんはもう寝る。
永遠に眠っていいぞw
文章の書きぶりから察するに
スレ主は只の軽薄才子だが
おっちゃんは真性の変人の匂いがする
おっちゃんの無駄に深い思索は、スレ主は無理だろう
スレ主は良くも悪くも感覚だけの人
大抵はそれでうまくいくが、数学では通用しない
数学はナイーブな直感を裏切ることが多々あるから
直感で判断する人は大抵つまづく
直感を裏切る現象を楽しめない人は数学を学ぶ意味がない
なぜなら数学を学ぶとは、驚きを楽しむことだから
392:132人目の素数さん
19/01/19 18:00:10.99 LRwYC/w0.net
時枝記事を読んで、素直に驚ける人は数学を学ぶ意味がある
直感を否定されて反発を感じる人は数学に興味を持たないほうがいい
数学を学んでも直感を否定される不快な体験を積み重ねるだけだから
393:132人目の素数さん
19/01/19 18:21:51.28 NWH3th4T.net
>>363
「たかだか1/2」よりも「1/2」の方がシンプルだと言ってるだけなんだが
>n=mの場合があると都合が悪い
都合が悪いなどと一言も言ってない。シンプルになると言っている。シンプルの方がいいに決まってる。
>実に下らぬ理由で姑息な策を弄するのは、下手の考え休むに似たり
>>256は俺じゃないので俺が答える筋ではないが、そこまで他人を批判できるなら、
お前が実例を考案すればいんじゃね?
何の実例か?とか聞くなよ、>>256を読み取れていないことになるから
394:132人目の素数さん
19/01/19 18:42:46.32 NWH3th4T.net
>>359
>そうでなければそんな卑屈な文章は書きこまない
>お前多分相当勉強できるだろうね。それはわかる。
を卑屈な文章だと思うところが病気だと言っている。
まあある意味でお前もスレ主といっしょだな
スレ主は自分がバカであることに気付かないが、お前も自分の病気に気付いてない。 <
395:132人目の素数さん
19/01/19 18:50:16.12 NWH3th4T.net
>>359
>ただ、今日の君は、スレ主の「非可測」議論に
>ひっかかってる時点で正直アホだなとは思う
俺をアホだと思うのは勝手だが、その理由で思うのは不当だ。
俺は非可測議論に引っかかってなどいない。
むしろ非可測議論が間違いであることを示す良い事例として>>256推しをしている。
お前はまだ>>256を読み取れてないのか?Aは奇数全体の集合とかアホなこと言ってたけど。
396:132人目の素数さん
19/01/19 18:52:19.52 LRwYC/w0.net
>>367
>「たかだか1/2」よりも「1/2」の方がシンプルだと言ってるだけなんだが
そんなつまらぬことのために姑息な策を弄するのは、はっきりいって馬鹿
>シンプルになると言っている。シンプルの方がいいに決まってる。
決まってると喚くのが馬鹿 そこはスレ主と同じ意味の馬鹿
>お前が実例を考案すればいんじゃね?
既に説明している 君が読んでないだけ
他人の文章が読めないなら、スレ主と同じ意味の馬鹿
397:132人目の素数さん
19/01/19 18:55:09.22 LRwYC/w0.net
>>369
>俺は非可測議論に引っかかってなどいない。
自覚がない時点でスレ主と同類の馬鹿
>>256はスレ主と同程度の稚拙な例で見るに値しない
あんなものを推奨するのは馬鹿だけ
>Aは奇数全体の集合とかアホなこと言ってたけど。
なぜそんな馬鹿なことに固執するのか?
そもそも無駄に奇数と偶数を分けるのが
馬鹿な考えだと気づけ 馬鹿が
398:132人目の素数さん
19/01/19 18:55:09.59 NWH3th4T.net
ついでに言っておこう
「俺が非可測議論にひっかかってる」とお前が思ったのは、お前が一連のレスを読み取
れていないからだ。実際、>>331はしっかりと読み取れている。
自分の読み取り能力の無さをこちらに転嫁しないでくれ。
399:132人目の素数さん
19/01/19 18:56:39.46 LRwYC/w0.net
>>372
> >>331はしっかりと読み取れている。
>>331は>>326より後の書き込み
馬鹿が喚くな 見苦しい
400:132人目の素数さん
19/01/19 19:05:15.60 LRwYC/w0.net
スレ主の主張は3点
1.任意の有限モデルで反例になってるから、
無限モデルでも成立しない
2.非可測集合を使ってるから確率は計算できない
3.無限個丸ごと独立と、任意有限語で独立は同じ
前者で予測不能なら、後者も予測不能の筈
上記に対する対応は以下の通り
1.そもそも推論として間違ってるので徹底的に叩き潰す
2.非可測集合は使ってないので、無駄な議論はしない
3.両者は全く異なる。前者で予測不能なら、
そもそも代表元がとれないから
非可算選択公理が成り立たない、と返す
ぶっちゃけ、自分がスレ主なら1.のような
バカ丸出しの主張は絶対にしない 恥だからだ
2.は他でもよく見かける反論だが、見当違いであり無意味
3.の混同もバカげてるが、3のうち前者の「無限個まるごと独立」
を堅持するというなら、その結果としての非可算選択公理の否定
も落としどころとしてはあるだろう
スレ主が何で選択公理の完全堅持に固執するのか理解不能
401:132人目の素数さん
19/01/19 19:08:26.13 9TwxXMZH.net
横レスだが、非可測議論が間違いであることを示すことが目的の>>256に
(1) 同じ「無作為抽出」という言葉を使うのは駄目で、言葉を変えるのが基本
(2) n=mを排除したいがための策は「下手の考え休むに似たり」
という難癖をつけるのは意味が分からないね。
>>256の趣旨を無視して、重箱の隅としか言いようがないどうでもいいところに
興味の対象が移ってしまっている。アスペルガーか何かかな
402:132人目の素数さん
19/01/19 19:09:25.43 NWH3th4T.net
>>370
>>シンプルになると言っている。シンプルの方がいいに決まってる。
>決まってると喚くのが馬鹿 そこはスレ主と同じ意味の馬鹿
お前 simple is best. って諺知らん? 諺ってのは普遍的真実じゃないの?
普遍的真実なら「決まってる」はどこもおかしくないんじゃないの?
>>371
>そもそも無駄に奇数と偶数を分けるのが
>馬鹿な考えだと気づけ 馬鹿が
ほう、では訊くが、
>「たかだか1/2」よりも「1/2」の方がシンプル
にお前は不同意なのだな?
403:132人目の素数さん
19/01/19 19:18:02.98 NWH3th4T.net
>>373
>>>331は>>326より後の書き込み
それだよ。
>>326 を読んで俺は、「こいつ何今更言ってんだ? 今まで読み取れずにガタガタ言ってたのかよ」
と、腹の中で思ったのさ。でもそれを口にしないのが普通の人間。病気のお前とは違う。
そうやって、事を収めよう収めようとしてたんだよ。
お前が分別の無い乳飲み子のようにブチ壊すまではな。
404:132人目の素数さん
19/01/19 19:23:31.44 NWH3th4T.net
しかもだよ
>>>331は>>326より後の書き込み
などと書き込むということは、あたかもお前のレスによって>>331が正しく理解した
と言いたげに聞こえるぞ?
>>326はお前がまったく読み取れていなかった証の恥かしいレスなのにな。
405:132人目の素数さん
19/01/19 19:27:34.15 NWH3th4T.net
お前の情けないレスをこっちは受け流してたんだよ、角が立たないようにな
そういう人の気も知れず・・・もういいや
406:132人目の素数さん
19/01/19 19:52:41.62 NWH3th4T.net
>>371
>>>256はスレ主と同程度の稚拙な例で見るに値しない
何言ってんの?
>>256こそ時枝解法のキモだろ。
決定番号の分布など関係無い。100列から1列を無作為に選ぶことで確率99/100は完全に正当化される。
それをスレ主でも分かるような簡単な事例で例示したのが>>256だろ。大丈夫か?
407:132人目の素数さん
19/01/19 20:23:22.33 NWH3th4T.net
>>363
>そもそも同じ集合N(自然数の全体)から取った二つの数n,mについて
>n,mのいずれか一方をランダムに選べば大きいほうを選ぶのはたかだか1/2
やっぱりお前わかってな�
408:「よ。 スレ主でも「P(a>b)=1/2 が言えない」とわかるモデルで「 P({a,b}から大きい方を選択)=1/2 は言える」ことを 示すには、別々の集合A,Bから選ぶのがミソだろ。
409:132人目の素数さん
19/01/19 20:40:54.67 NWH3th4T.net
a∈{0}, b∈{1,3,5,...}
ならスレ主でも P(a>b)=1/2 が言えないことはわかるだろう。
a∈N, b∈N としたらスレ主を混乱させるだけだぞw
410:132人目の素数さん
19/01/19 20:41:22.49 yFCf2UhF.net
>>256は時枝解法との比較で言うならA,Bからは「任意に」選ぶとした方がいい
そして、集合{a,b}からは無作為抽出(ランダムに選ぶ)とするべき。
任意と無作為抽出は違うからね。
スレ主は以前、裾の長い分布がどうとか、分布が異常なときはうまくいかんみたいに言ってたときがあって
勘違いしてる(少なくともしてた)ことは間違いない。
そのおかしさを指摘するための例だろう。
411:132人目の素数さん
19/01/19 20:58:29.94 yFCf2UhF.net
勿論、ID:LRwYC/w0さん(スレ主にずっと付き合ってる)
が「100個の中から1個選ぶだけ」とずっと言ってるのは知っている
しかし、それでもスレ主は確率空間としてΩ={1,2,...,100}
と考えるべき(そうでもいいではなく、そうしなければならない)
ことを理解していない模様。
412:132人目の素数さん
19/01/19 22:49:36.45 fqGuZFz+.net
ID:LRwYC/w0の発言は
「焼かれて死ね」だの
「実際に人を真っ二つに斬れたら
爽快極まりないだろう」だの
物騒極まりないな。
数学を語る前に最低限のモラルを学んでこいや
413:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/19 22:54:39.30 sK9fzKOh.net
ああ、複数の人がいたのか(^^
なるほど
で、サイコパス全開になった人が一人
後の人は、ノーマルみたいだね
私の診断は、アスペではなく、サイコですけどね
まあ、見ての通りです。まともな議論できる人じゃ無い
論理とサイコが常に混在しているんだ
それが、普通に応答に顔を出す、やっかいな性格だね(^^;
414:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/19 22:55:38.66 sK9fzKOh.net
あら、良いタイミングで被ったな(^^
415:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/19 22:58:57.64 sK9fzKOh.net
”ID:LRwYC/w0さん(スレ主にずっと付き合ってる)”
は、逆に言えば
おれが、サイコに、適度に付合っているんだよ(^^
「時枝が不成立なら、選択公理が否定される」と宣う時代からね
416:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/19 23:06:27.67 sK9fzKOh.net
ところで、例の「確率変数が、箱に入れられない」って話し
だれか、解答を教えてあげない? >>62 重川一郎先生 に書いてあるって話しなんだけど
まあ、 >>62 重川一郎先生でなくとも、どこにでもある
レベルが上がらないから、そろそろ解答を書こうと用意しているんだがね
(>>36)「確率変数については、自得するまで基本的には、教えないことにします」
と書いたけれどね
おれが書くより
サイコちゃんにとっては、その方がためになるだろうと思うから(^^
417:132人目の素数さん
19/01/19 23:26:30.59 4YnAu9A4.net
>>386
>まあ、見ての通りです。まともな議論できる人じゃ無い
勘違いすんな
ID:LRwYC/w0は議論が成り立つだけアホ主より一億倍マシ
アホ主は長文コピペと話題逸しと論点すり替えの詭弁だらけでお話にならん
418:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/20 06:48:19.09 E155svvR.net
一つ二つ質問して良いですか??
Q1:サイコ以外で、数学科生ないし数学科出身はいる?
Q2:数学科生で4年生以上の人いる?
Q3:数学科生で4年生以上だと、ゼミ経験していると思うけど、こんなので許されるの?
「主張には全部定義は? 証明しろ」と言われると思うんだけど?
サイコちゃん程度で許されるの?
419:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/20 07:57:19.57 E155svvR.net
>>391
1)
実
420:数列の集合 R^Nを考える. s = (s1,s2,s3 ,・・・,sn0,sn0+1,・・・), s'=(s'1, s'2, s'3,・・・,s'n0,sn'0+1,・・・)∈R^N は,ある番号から先のしっぽが一致する ∃n0:n >= n0 → sn= s'n とき 同値s ~ s'と定義する ここで、一般性を失わずに、 sを問題の数列、 s'を代表としよう すると、決定番号は、d=n0 となる 2) ところで、s'の選び方は任意である 故に、決定番号n0が、自然数としていろんな値を取り得る だから、時枝の”ふしぎな戦略”が成り立つのだ 3) ところで、確率を考えるとき、定量的な評価が必要だ 例えば、 s = (s1,s2,s3,s4,s5,・・・) s' = (s'1,s'2,s'3,s'4,s'5,・・・) で、 決定番号 d=n0=1となる場合、R^1 決定番号 d=n0=2となる場合、R^2 決定番号 d=n0=3となる場合、R^3 ・ ・ 決定番号 d=n0=mとなる場合、R^m 決定番号 d=n0=m+1となる場合、R^m+1 ・ ・ となるから、 番号 d=n0=mとなる場合よりも 決定番号 d=n0=m+1となる場合は、R倍多い つまりは、mより大きい決定番号になるs' が選ばれる可能性が、Rのベキ倍常に大きい 4) 数列から、決定番号dを与える関数を h:s → d とする hが可測関数かどうか? (これ言い換えると、定量的な評価が求められたと思う) これの証明が求められたんだけど、これの証明ってあるかな? (>>265ご参照) もし、非可測だと、>>252のビタリの例で示したように、d1>d2 の確率は、 確率1/2が非自明になる。1/2を主張するなら、別に証明が必要になる
421:132人目の素数さん
19/01/20 08:09:42.54 L1cLJono.net
>>392
>3) ところで、確率を考えるとき、定量的な評価が必要だ
上記の「定量的な評価」が決定番号毎の確率の評価の意味なら
そんなものは必要ない
>4) 数列から、決定番号dを与える関数を
>h:s → d
>とする
>hが可測関数かどうか?
>(これ言い換えると、定量的な評価が求められたと思う)
>これの証明が求められたんだけど
求められていない
sは確率変数Ω→Eの定義域Ωではない
数列sは固定しているとしてよい
Ωにあたるのは{1,・・・,100}
スレ主よ、非可測議論は得るところがないから諦めろ
422:132人目の素数さん
19/01/20 08:14:08.85
423: ID:L1cLJono.net
424:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/20 08:18:50.52 E155svvR.net
固定ってなんでしょうね?
定義は?
固定して良い の証明は?
425:132人目の素数さん
19/01/20 08:22:22.68 L1cLJono.net
>>394でわざわざ非可算選択公理と書いたのは
数学において有用な可算選択公理を否定する
必要がないことを強調したいため
426:132人目の素数さん
19/01/20 08:23:52.27 L1cLJono.net
>>395
>固定ってなんでしょうね?
「変えない」という意味
>固定して良い の証明は?
上記は定理ではなく確率計算の前提
証明すべき対象ではない
427:132人目の素数さん
19/01/20 08:27:33.65 L1cLJono.net
>>391
>「主張には全部定義は? 証明しろ」と言われると思うんだけど?
「定義を証明しろ」といわれることはない
そもそも定義は主張ではない ただの前提
前提を主張と読み違えれば、ゼミで吊し上げを食らう
スレ主は数学科に入れたとしても卒業できないだろうな
428:132人目の素数さん
19/01/20 08:32:46.15 L1cLJono.net
>>390
>長文コピペと話題逸しと論点すり替えの詭弁
長文コピペは
「俺はこれだけのことを知ってるぞ」
というアピールのようだが、実際には
コピペした文章を読めていないことが
バレてるので無意味
話題逸らし、論点すり替えは、読者に
「ああ、この話題に触れられると都合が悪いんだな」
と教えてるも同然
429:132人目の素数さん
19/01/20 08:42:56.34 L1cLJono.net
>>386
>まともな議論
「議論」と思ってるのはスレ主一人だけ
時枝記事の成立に議論の余地はない
「当たりっこない」と喚いてるのはスレ主一人
スレ主の主張を押し通すには、時枝記事の前提条件の
いずれかを否定するしかない
無限集合の存在を否定するもよし
非可算選択公理を否定するもよし
その時点で、我々とは別世界の人間となるだけのこと
430:132人目の素数さん
19/01/20 09:15:55.90 L1cLJono.net
>>391
一つ二つといいながら三つ質問してるな
ではこちらの質問にも答えていただこうか
Q1.出身大学・学部・学科は?
Q2.大学で受講し単位取得した数学の科目は?
Q3.卒業論文(博士の学位を有する場合は博士論文)で使用した数学の理論は?
431:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/20 09:20:02.31 E155svvR.net
・なにを変えないのでしょうか
・確率計算の前提とは? 確率計算をするとき、常に固定が必要ですか? 常にでなければ、固定を使って良い条件は何か?
・固定は、確率論で使われますか? もし、例があれば例示を。なければ、独創ですね(あるいは独自説とも)
432:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/20 09:24:23.94 E155svvR.net
>>401
まず、自分が名乗ったらどうですか?
433:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/20 09:25:04.29 E155svvR.net
具体的な大学名にみなさん興味があるでしょうね
434:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/20 09:39:53.76 E155svvR.net
”一つ二つといいながら三つ質問してるな”か、なかなか数学科らしいつっこみですね?
自然言語では、三つまでは許容範囲と定義されています・・かなw? (^^;
435:132人目の素数さん
19/01/20 09:41:15.80 L1cLJono.net
>>402
>・なにを変えないのでしょうか
数列
>・確率計算の前提とは?
時枝記事での確率計算で、数列は固定されてる、という意味
必要かどうかは関係ない 前提に良いも悪いもない
>・固定は、確率論で使われますか?
確率論に限らず、どんな数学理論でも
前提として「固定」は普通に行われる
いくらでも検索できるから自分でみつけてごらん
436:132人目の素数さん
19/01/20 09:45:29.14 L1cLJono.net
>>403
>>391の質問に対して、
まず質問者が情報開示を行うのが先
という観点から>>401の質問を行った
意味はわかるね?
437:132人目の素数さん
19/01/20 09:53:44.76 L1cLJono.net
>>405
>自然言語では、三つまでは許容範囲と定義されています・・・
それは君の妄想だろう
仮に、冗談だとしたら、全くつまらないので無意味
君はなにかというと(^^を書く悪い癖があるが
いかにもヘラヘラした軽薄な感じを与えるので
即刻やめたほうがいいだろう
438:132人目の素数さん
19/01/20 10:03:09.18 L1cLJono.net
>>404
>具体的な大学名にみなさん興味があるでしょうね
はっきりいって東大をはじめとする旧帝大の可能性はまずない
もし、仮にそうだとしたら、君がその大学に入れたのは
幸運以外の何物でもない
逆に世間の人がまず知らないような大学の可能性は実に高い
世の中には、名前さえ書ければ入れる大学とか、
数学と称して、中学程度のカリキュラムの内容を
教える大学も存在すると聞いている
URLリンク(www.youtube.com)
439:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/20 10:09:37.20 E155svvR.net
>>407-408
・その質問は、見ての通り、定義は”サイコ以外で”です(>>391)
・”出身大学・学部・学科”は、私の質問で定義したものではありません!
・”定義”は、単なるギャグ(上品には”ジョーク”)ですよ
・5ch数学板は、常に軽薄です
QED w(^^;
440:132人目の素数さん
19/01/20 10:17:05.37 L1cLJono.net
「固定」の例
スレ主がすごろくをやってるとする
4つ先の場所には「ふりだしに戻る」とある
つまり「ふりだしに戻る」目は固定されている
ただサイコロで4の目が出るのは1/6
だから「ふりだしに戻る」確率は1/6
441:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/20 10:18:31.52 E155svvR.net
・数列を固定する? そうすると、一つの数列に対してしか議論出来ていませんね? Ω={1}ですね
そうすると、別の数列のときは、別の議論になりますよね
例えば、数列 (3,5,7,6,8,9・・・)なら、別の数列については語っていないことになる
そういう煩雑さをを避けるために、文字を使って、(s1,s2,・・)として、全ての場合を論じるのでは?
・時枝記事の中では、”固定”は出てこない
問題の前提で、与えられていないことは、全て自分で定義し、証明するのが、数学の原則でしょ
・「確率論に限らず」というなら、確率論の中で「固定」が使われている例を、例示してほしいと
442:132人目の素数さん
19/01/20 10:21:12.38 L1cLJono.net
>>410
・サイコパスはスレ主貴方一人です
・あなたの質問の回答に対する交換条件としての質問は
私が設定するものであなたには設定の権利はありません
・ギャグはあなたの人生そのものでしょう
・軽薄なのはあなたであって5chではありません
443:132人目の素数さん
19/01/20 10:24:10.43 L1cLJono.net
412
>・数列を固定する? そうすると、一つの数列に対してしか議論出来ていませんね?
いいえ、固定されるのは100個の数列です したがってΩ={1,・・・,100}です
>・時枝記事の中では、”固定”は出てこない
計算の仕方から容易に読み取れます 読み取れないのは読み方が悪いのでしょう
>・「確率論に限らず」というなら、確率論の中で「固定」が使われている例を、例示してほしい
>>411に書きましたよ 小学生のスレ主にもわかる例でしょう
444:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/20 11:16:03.96 x8H0h/Mr.net
>>411
その例は、数列ではありません
どうぞ、数列の例示をお願いします
445:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/20 11:18:51.95 x8H0h/Mr.net
>>413
・そのサイコパスの定義は、質問>>391のサイコの定義とは異なります
・数学ではよくある。著者Aの本と著者Bの本と、同じ用語で定義が違うと
・そこの区別をしないと、数学ではおちこぼれる
446:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/20 11:30:11.22 x8H0h/Mr.net
>>414
>固定されるのは100個の数列です したがってΩ={1,・・・,100}です
固定されるの100個の数列の定義は? 具体的にはどういうことですか?
>>・時枝記事の中では、”固定”は出てこない
>計算の仕方から容易に読み取れます 読み取れないのは読み方が悪いのでしょう
固定しないと、そこは計算できないのですか?
その計算の箇所は、具体的にどこですか?
>>・「確率論に限らず」というなら、確率論の中で「固定」が使われている例を、例示してほしい
> >>411に書きましたよ 小学生のスレ主にもわかる例でしょう
>>411は、数列の例ではありませんね(>>415)。全く異なるもの(すごろく)の例示でごまかしたい?
それに、>>411では、確率論の一般的なテキストではない
いま問われているのは、確率計算で「固定」なる手法が、一般的なのか、それともあなたの独創(独自説とも)なのか
一般の確率論のテキストにはない手法として、「固定」なるものを編み出したでしょうと
447:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/20 11:34:01.12 x8H0h/Mr.net
5chが軽薄かどうかは、ともかくとして
このスレの定義は、テンプレ >>7です
”このスレは、半分趣味と遊びのスレと思ってくれ(^^;
もう半分は、ここはおれのメモ帳だ (ここには、自分が面白いと思った情報を集めてあるんだ。過去ログ見ると、いろいろ面白い情報(リンクやPDF があるよ(^^ )”
いやなら、どうぞご自由に
448:132人目の素数さん
19/01/20 11:38:05.49 L1cLJono.net
>>415
意味不明
「固定」の例は、>>411で十分です
>>416
あなたのサイコパスの認識が間違ってます
あなたは正規部分群の定義も読めなかった
あなたは数学界の落ちこぼれですよ
449:132人目の素数さん
19/01/20 11:38:46.62 l+1zFvyt.net
>>415
>・時枝記事の中では、”固定”は出てこない
相変わらずスレ主はアホだね
>もちろんでたらめだって構わない.そして箱をみな
450:閉じる. 箱をみな閉じる=数列を固定する 「”固定(コテイ)”という文字列が出てこないと固定と認めない」は如何にもスレ主らしい主張だが 一般人からは相手にされない主張である。
451:132人目の素数さん
19/01/20 11:43:07.66 L1cLJono.net
>>417
>固定される100個の数列の定義は?
実数の無限列です
別に特定の実数列である必要はありません
>具体的にはどういうことですか?
各試行において、数列の値は変化しない、ということです
>固定しないと、そこは計算できないのですか?
固定したらなにか困ることがありますか?
>その計算の箇所は、具体的にどこですか?
大した計算はありませんよ
「さて1~100のいずれかをランダムに選ぶ。
例えばkが選ばれたとする。
s~kの決定番号が他の列の決定番号どれよりも
大きい確率は1/100に過ぎない。」
452:132人目の素数さん
19/01/20 11:45:49.85 L1cLJono.net
>>417
>いま問われているのは、確率計算で「固定」なる手法が、一般的なのか、
一般的です 問うまでもありません
こんなつまらないことを疑うのは
数学を学んだことがない素人だけですよ
>一般の確率論のテキストにはない
あなたは一度も確率論のテキストを読めた試しがないでしょう
群論の正規部分群の定義も誤解したくらいですから
あなたに確率論の概念の定義なんか読めるわけがありません
453:132人目の素数さん
19/01/20 11:47:28.77 L1cLJono.net
>>418
>このスレは、半分趣味と遊びのスレと思ってくれ(^^
数学板で、嘘を書く「趣味」と「遊び」は許容されません
嘘つきはここから出て行ってくれませんか?
454:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/20 11:48:41.94 x8H0h/Mr.net
>>419
すごろくの例は、(可算無限)数列の例ではないと
有限と無限の区別もつかないようですね
455:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/20 11:50:18.32 x8H0h/Mr.net
>>420
固定という言葉が、時枝記事では使われていない
固定という言葉が、一般の確率論(のテキスト)では使われていない
この二つをお認めになられたらどうですか?
客観的事実としてねw(^^
456:132人目の素数さん
19/01/20 11:51:09.64 L1cLJono.net
>>424
>すごろくの例は、(可算無限)数列の例ではない
決定番号が単独最大値か否かは、2つに1つです
列も100列
時枝記事の確率計算に、無限なんて関係ありませんよ
457:132人目の素数さん
19/01/20 11:53:21.68 L1cLJono.net
>>425
各試行で数列が変化しないのだから固定
値が固定されることは確率論では多々あること
数学では常識 いわば客観的事実
スレ主が数学を学んだことがないから知らないだけでしょう
458:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/20 11:57:07.46 x8H0h/Mr.net
>>421
>>固定される100個の数列の定義は?
>実数の無限列です
>別に特定の実数列である必要はありません
その定義なら、わざわざ「固定」という必要もない
「固定」された数列と、「固定」されていない数列の例を、対比して示してください
>>具体的にはどういうことですか?
>各試行において、数列の値は変化しない、ということです
確率変数分かってますか?
確率変数でも、各試行において、値は変化しない
ですが、各試行ごとに、値は変化して良い
>>固定しないと、そこは計算できないのですか?
>固定したらなにか困ることがありますか?
固定した場合と固定しない場合の差を知りたい
どう違いますか?
>大した計算はありませんよ
>「さて1~100のいずれかをランダムに選ぶ。
> 例えばkが選ばれたとする。
> s~kの決定番号が他の列の決定番号どれよりも
> 大きい確率は1/100に過ぎない。」
それ、要証明事項ですよね
「固定」と唱えたら、
”s~kの決定番号が他の列の決定番号どれよりも 大きい確率は1/100に過ぎない”
が言えますか?
貴方の数学は楽ですね
459:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/20 11:58:36.13 x8H0h/Mr.net
>>422
>こんなつまらないことを疑うのは
>数学を学んだことがない素人だけですよ
私の学んだ数学はなんでも疑います
あなたの学んだ数学とは違うようですねw(^^
460:132人目の素数さん
19/01/20 11:58:47.98 l+1zFvyt.net
>>417
>固定しないと、そこは計算できないのですか?
計算できないも何も固定すると時枝記事に書いてあるので時枝記事を読んでください。
>3.つづき
>問題に戻り,閉じた箱を100列に並べる.
100列に並べれば100個の数列が固定されます。
スレ主が”固定”という言葉が気に入らないなら別の適当な言葉に置き換えればいいだけであり
そこに難癖付けるのは筋違い。
461:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/20 12:01:31.24 x8H0h/Mr.net
>>423
どうぞ
ご自由に
あなたは、かなり”数学会”を代表するえら~い人らしいですね
IUTスレで、M先生の陰口を言い、叱り飛ばしていましたね
「取り巻きは離れた方いい」と指図していましたね
えらい人です
はいはいw(^^
462:132人目の素数さん
19/01/20 12:05:16.69 l+1zFvyt.net
>>428
>「固定」された数列と、「固定」されていない数列の例を、対比して示してください
時枝記事における出題された数列は固定された数列です
スレ主が妄想している「箱の中で
463:転がり続けるサイコロ」を使って構成される数列は固定されていない数列です。
464:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/20 12:14:28.96 x8H0h/Mr.net
>>426
>時枝記事の確率計算に、無限なんて関係ありませんよ
私が、有限モデルを提示したときに、全く逆の主張をして、
時枝は無限だから良いとか言っていませんでしたか?
禁反言の原則を、適用します! w(^^
URLリンク(www.weblio.jp)
特許用語 > 禁反言の原則の意味・解説 Weblio
(抜粋)
禁反言の原則
英米法における過去の主張と矛盾する主張を禁ずる原則。
[同義語]
エストッペル
465:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/20 12:15:52.40 x8H0h/Mr.net
>>427
はい>>428
>値が固定されることは確率論では多々あること
どうぞ、確率論のテキスト例示を
あなたの脳内の妄想は求めていません
466:132人目の素数さん
19/01/20 12:16:07.15 l+1zFvyt.net
「生きたいから手助けして欲しい」と言うなら援助のし様もあるが、自ら死を望むものに援助のし様が無い。
分かる気のない、分かろうとしないスレ主にモノを教えるということはそういうこと。
467:132人目の素数さん
19/01/20 12:18:45.63 L1cLJono.net
>>431
>IUTスレで、M先生の陰口を言い、叱り飛ばしていましたね
妄想でしょう 赤の他人を同じ人物と思うのは統合失調症のはじまりですね
468:132人目の素数さん
19/01/20 12:20:34.17 l+1zFvyt.net
>>434
固定の意味は説明済み。
固定という言葉が気に入らないなら自分で別の言葉に置き換えればいいだけ
お前はオシメが汚れてると泣き叫ぶ赤ん坊か?
469:132人目の素数さん
19/01/20 12:22:52.03 L1cLJono.net
>>433
>>時枝記事の確率計算に、無限なんて関係ありませんよ
>私が、有限モデルを提示したときに、全く逆の主張をして、
>時枝は無限だから良いとか言っていませんでしたか?
時枝記事の戦略の実行が常に可能なのは無限列だから
というのは常識
しかし、それは時枝記事の確率計算に関係しません
確率計算は「1~100のいずれかをランダムに選ぶ」と
「決定番号が単独最大値になるのはたかだか1個」で
決まってます これまた常識
スレ主は文章の読み方が粗雑極まりないですね
とても人間とは思えません
470:132人目の素数さん
19/01/20 12:24:58.78 L1cLJono.net
>>434
>どうぞ、確率論のテキスト例示を
”文字列検索”とかいうAI読みはやめましょうね
人間なんでしょう? 意味を理解しましょう
471:132人目の素数さん
19/01/20 12:29:32.95 L1cLJono.net
>>428
>確率変数分かってますか?
>確率変数でも、
>各試行において、値は変化しないですが、
>各試行ごとに、値は変化して良い
時枝記事の確率計算において、
数列は確率変数ではありませんよ
つまり、各試行ごとにおいても、値は変化しません
変化するのは100個の固定した数列のうち、
選んだ1個の数列の附番だけ
そんなことも読み取れなかったんですか?
あなたいったい何読んでたんですか?
472:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/20 12:30:16.03 x8H0h/Mr.net
>>430
>>固定しないと、そこは計算できないのですか?
>計算できないも何も固定すると時枝記事に書いてあるので時枝記事を読んでください。
なるほど、あなたの脳内で読まれたんですね
時枝先生は、文学的に書かれたか、それともポエムでしょうか?
数学にも、修辞技法の習得が必須だと
あなたの数学というのは、いかにも美しい一編の詩のようですねw(^^;
>>問題に戻り,閉じた箱を100列に並べる.
> 100列に並べれば100個の数列が固定されます。
>スレ主が”固定”という言葉が気に入らないなら別の適当な言葉に置き換えればいいだけであり
じゃ、「別の適当な言葉に置き換えればいい」と言われるので、お言葉に甘えて(^^
それ、既存の確率論のテキストの確率変数で表現できますよね?
(時枝記事の後半にも、さわりが書いてある通りですが)
重川先生(>>62)を読みましたか?
既存の確率論テキストにおける確率変数での扱いとの差を聞いているんですけどね
”差”を!!
(参考)
URLリンク(ja.wikipedia.org)
修辞技法
(抜粋)
修辞技法(しゅうじ ぎほう)とは、文章やスピーチなどに豊かな表現を与えるための一連の技法のこと。
隠喩法
詳細は「メタファー」を参照
473:132人目の素数さん
19/01/20 12:31:22.70 J6EbLtMs.net
「箱の中で転がり続けるサイコロ」はいい表現だな
箱の中に数を入れていくのだから、
箱の外でサイコロを振って、出た目を紙切れに