19/01/02 09:24:12.45 sdS6EuXx.net
>>86
＞”無限モデルではこうだ”といくら語っても、
＞「（反例となる）有限モデルが構築できる」
＞は否定できていない
任意の有限モデルで「反例」があっても無意味
そもそも
「任意の有限モデルで成立することは無限モデルで成立する」
が誤りだから
さ、無限モデルについて
「時枝記事の手順が実行できない決定番号d」がいくつか
答えてご覧 おサルのピエロのスレ主ちゃまｗ
101:１３２人目の素数さん
19/01/02 09:37:08.05 sdS6EuXx.net
蛇足
>>85
＞”無限を極限を使って扱う”って話は賛成です
＞それ、面白いね
さすが読解力ゼロのおサルのスレ主だな
難しげに聞こえるだけで手放しで面白がって賛成する
102:１３２人目の素数さん
19/01/02 09:40:37.96 wTc5UqME.net
スレ主は決定番号に関心が向いてるみたいだけど
話の順序としては、まず
1.尻尾から同値類が決まる
2.同値類から代表元を選んで
同じ類に属する数列と比較することで、その数列の
3.決定番号が定まる
となっている。
尻尾というのは無限列で定義されるのだから、有限モデルでは同値類を決めようがない。
強いて決めるとすれば、>>79が書いてるように
最後尾の数が一致するものを同値類とするしかないが
こんなモデルがナンセンスだということも分からんの？
103:１３２人目の素数さん
19/01/02 09:47:13.46 sdS6EuXx.net
>>96
>スレ主は決定番号に関心が向いてるみたいだけど
正しくは「時枝記事の手順が実行できない決定番号」に関心が向いてる
それは「最後尾」が存在する「有限モデル」にのみ存在する
という考えに至らないのがスレ主の愚かなところだ
無限モデルでも時枝記事の手順が実行できない決定番号
（つまり最後尾）が存在するなら示して�
104:烽轤｢たい ペアノの公理の反例となる自然数が存在する、 というなら示してもらいたい ほんと、スレ主、「決定番号∞」の誤りから抜け出せてないなｗ
105:１３２人目の素数さん
19/01/02 14:11:22.22 n8SRRml7.net
>>82
＞何を言っているの？ 国語の出来ない小学生ピエロちゃん
＞”部分集合として”、”全体集合（決定番号がmの場合を含む）を１として”を見落としています
＞認めたくなんでしょ？ 不都合な真実を
新年そうそう馬鹿丸出しｗ
106:１３２人目の素数さん
19/01/02 14:13:16.00 n8SRRml7.net
>>82
＞無限モデルではこうだといくら語っても、「有限モデルが構築できる」は否定できていない
え？ まだ解ってなかったの？（呆れ）
107:１３２人目の素数さん
19/01/02 14:28:54.97 n8SRRml7.net
>>82
＞国語の出来ない小学生ピエロちゃん
＞逆じゃない？
数学も英語も国語も出来ないピエロちゃん
c' の条件を課すなら有限版時枝解法を使わなくても確率１で数当て可能
c' の条件を課さないなら有限版時枝解法は実行不可、すなわち解法になってない
理由は既出だから自分で探して読んでねピエロちゃん、そこまで面倒見れません
108:１３２人目の素数さん
19/01/02 14:33:34.75 n8SRRml7.net
>>82
＞認めたくなんでしょ？ 不都合な真実を
不都合なのはスレ主の脳ｗ
馬鹿過ぎてまったく話についてこれてない、みんなお前の有限版時枝解法の話をしてるのにｗ
109:１３２人目の素数さん
19/01/02 14:38:20.07 n8SRRml7.net
>>83
＞時枝の（証明）（カッコつき）では、有限モデルを構築できてしまう
できませんｗ 理由は既出だから自分で探して読んでね、そこまで面倒見れません
＞だから、それは、「時枝の（証明）（カッコつき）が成り立っていない」と
なんで有限で可（実際は不可だがｗ）だと時枝証明が間違いにされちゃうの？ｗ
新年早々馬鹿丸出しｗ
110:１３２人目の素数さん
19/01/02 14:49:25.68 n8SRRml7.net
>>84
＞でも、それは部分集合であって、全体の何分の一かですよ
c' の条件が真部分集合ということは、決定番号 d の上限は m であり、
解法が指定する d+1 番目の箱が無いのでそもそも解法になってませんｗ
新年早々馬鹿丸出しｗ
111:１３２人目の素数さん
19/01/02 14:54:04.48 n8SRRml7.net
>>86
＞反例として、有限モデルが構築できる（>>35）と言っているだけ
できてないと何度言えばｗ
本当に理解力の無いおサルさんですねえ ウッキッキーｗ
112:１３２人目の素数さん
19/01/02 14:59:36.33 n8SRRml7.net
>>87
大学教員が正しいと言えば正しいの？
じゃあなんでスレ主の指導教官は死ねと言ったのに生きてるの？
113:１３２人目の素数さん
19/01/02 15:01:05.79 sdS6EuXx.net
>>100
＞c' の条件を課さないなら有限版時枝解法は実行不可、すなわち解法になってない
で、スレ主は
「だから、無限版時枝解法も実行不可の場合がある」
といってるので、
「では、無限版時枝解法で実行不可となる決定番号はいくつ」
と尋ねた
回答が楽しみだなｗ
114:１３２人目の素数さん
19/01/02 15:08:11.99 n8SRRml7.net
>>88
本当に理解力の無いおサルさんですねえ ウッキッキーｗ
115:１３２人目の素数さん
19/01/02 15:09:45.04 sdS6EuXx.net
>>82
＞認めたくなんでしょ？ 不都合な真実を
スレ主にとっての不都合な真実
「無限版時枝解法で実行不可となる決定番号は存在しない
なぜならペアノの公理を満たす自然数で最大のものは存在しないから」
>>81の
「箱の数が無限個の場合 時枝記事の手順が実行できない
つまり、箱の数当て実行ができない決定番号dの値はいくつか？」
に
「”有限モデルで”、時枝記事の手順が実行できない決定番号dの値は、mです。」
と前提条件を捻じ曲げて答えたのがその証拠
さあ、
「”無限モデルで”、時枝記事の手順が実行できない決定番号dの値」はいくつかな？
116:１３２人目の素数さん
19/01/02 15:16:02.12 n8SRRml7.net
>>89
＞２）決定番号dの値がmをとる確率Pは
無限の場合を聞かれてるのに、有限の場合を答えるアホｗ
真のピエロは新年早々アホの発作炸裂ｗ
117:１３２人目の素数さん
19/01/02 15:26:09.02 n8SRRml7.net
>>90
＞”決定番号は必ず自然数（有限値）になる”で良いですよ
「良いですよ」じゃなくてｗ
あなたは∞って主張してたんですから、「すみません間違ってました」じゃないの？ｗ
で、決定番号が自然数になるなら、否応なく時枝解法は成立するってあなたでも解るでしょ？
時枝解法成立を認めるでよいの？
ちゃんと答えなさいな、有限バージョンなんて持ち出さなくていいよ、あなたが解ってないだけだから。
118:１３２人目の素数さん
19/01/02 15:38:26.51 n8SRRml7.net
＞「任意の有限モデルで成立することは無限モデルで成立する」
が正しいなら無限ホテルのパラドックスなんて存在しないはずなんだがｗ
スレ主は数学そのものを否定したいのか？ｗ
では数学板から出ていきトンデモ数学板でも立ち上げて一人でやって下さい
それなら一切文句言いません
119:１３２人目の素数さん
19/01/02 15:45:23.05 n8SRRml7.net
>>96
＞こんなモデルがナンセンスだということも分からんの？
そうなんです
あのおサルはいくら言い聞かせても分からなくて我々も手を焼いてるんですｗ
120:１３２人目の素数さん
19/01/02 15:49:35.93 n8SRRml7.net
有限と無限の違いを理解できない生物を人間と認める訳にはいきません
よってスレ主はサル以下 QED
121:１３２人目の素数さん
19/01/02 16:04:12.78 sdS6EuXx.net
>>110
＞あなたは∞って主張してた
で、
「箱の数が無限個の場合 時枝記事の手順が実行できない
つまり、箱の数当て実行ができない決定番号dの値はいくつか？」
って質問に、またスレ主は臆面もなくこう答えるんだよな
「∞！」
非ペアノ自然数論とか創始したいんですかね？このサルスレ主はｗ
122:１３２人目の素数さん
19/01/02 16:11:59.56 sdS6EuXx.net
そもそも、スレ主は尻尾の同値類の数を誤解してるな
スレ主の大好きな有限モデルS^nの場合は、
nが幾つでも同値類はS個（つまり記号の数）
例えばSが{0,1}だったら、同値類は2個ね
こんなんだったら選択公理なんか必要ねぇよｗ
し・か・し、無限モデルS^Nの場合は
同値類の数もS^N（つまり無限列の数）
例えばSが{0,1}なら、同値類は{0,1}^N（非可算！）
だから非可算選択公理が必要ってわけだ
多分スレ主はこういう基本的なことが
全然わかってない、と思うんだよな
123:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/02 21:40:13.77 7ZMnqgUY.net
ピエロちゃん、ありがとう
沢山書いてくれて
ピエロちゃん以外もいるのかな？
皆さん、沢山書いてくれて、ありがとう（＾＾
124:１３２人目の素数さん
19/01/02 22:13:11.00 3qay1rPp.net
スレ主はスレが伸びさえスレばなんでもいいらしい
スレの伸び＝スレ主のアホさ
125:１３２人目の素数さん
19/01/03 00:10:54.36 RPF9oDlJ.net
こういうのを「蛙の面に小便」と言う
126:１３２人目の素数さん
19/01/03 07:06:26.70 XXarrjli.net
>>116
スレ主
「箱の数が無限個の場合 時枝記事の手順が実行できない
つまり、箱の数当て実行ができない決定番号dの値はいくつか？」
に回答できず完全敗北！
スレ主の
「負けました」
の言葉 確かに受け取った！
URLﾘﾝｸ(www.youtube.com)
127:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/03 07:31:16.23 PCK+NM7P.net
実は、有限モデルの反例には、ウラがあります。
ネタバレすれば、下記 Sergiu Hart氏のPDFに記載のRemark定理＊）
＊）（“Remark”とあって、定理とうたっていないが、これ定理です（どっかで聞いたセリフだな（＾＾ ） ）
スレ44 ｽﾚﾘﾝｸ(math板:463番) より
463 自分返信：現代数学の系譜 工学物理雑談 古典ガロア理論も読む[sage] 投稿日：2017/10/16(月)
(抜粋)
Sergiu Hart氏のPDF URLﾘﾝｸ(www.ma.huji.ac.il) にも下記がある
P2 の最後
“Remark. When the number of boxes is finite Player 1 can guarantee a win
with probability 1 in game1, and with probability 9/10 in game2,
by choosing the xi independently and uniformly on [0, 1] and {0, 1, ・・・, 9}, respectively.”とある
つまり、意訳すると
“リマーク：箱の数が「有限」の場合、プレーヤー1は勝利を保証することができます。
game1の勝利確率1と、game2の勝利確率9/10になる、
[0、1]と{0、1、・・・、9}上で＊）、xiを独立で一様に選択することによって ”
と
言い換えると、プレーヤー２の立場では、game1の勝利確率0とgame2の勝利確率1/10になる。
注＊）、[0、1]はこの区間の任意の実数を、{0、1、・・・、9}は0～9までの整数を、箱に入れるということ。
(引用終り)
（注：意訳部分の引用は、順番を少し変え分り易くしました。この定理は、英語圏では常識のようで、証明がついていないのが残念ですが）
補足：
箱の数が「有限」の場合、的中確率は、game1で（[0、1]はこの区間の任意の実数）の確率0とgame2で（0～9までの整数）の確率1/10になる。
つまり、普通の確率論の通りになると。
なので、有限（the number of boxes is finite）モデルが、存在すれば、それ即ち反例になる
つづく
128:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/03 07:32:25.37 PCK+NM7P.net
>>120
つづき
そして、例えば100列で、固定されたいかなる決定番号 d^1, d^2,・・・,d^k,・・・,d^100 1<= k <=100に対しても、それをカバーする有限（the number of boxes is finite）モデルが存在します。
これが、一番分り易い、時枝記事の“ふしぎな戦略”�
129:s成立の説明だと思います。 なお、時枝記事に記されているように「無限を扱うには， (1)無限を直接扱う， (2)有限の極限として間接に扱う，二つの方針が可能である」とあるように、 有限個（the number of boxes is finite）の極限として、不成立を説明するのもありと思います。 ともかく、皆さんとの議論を通じて “固定されたいかなる決定番号に対しても、それをカバーする有限（the number of boxes is finite）モデルが存在する。あるいは有限の極限を考えても良い。だから、時枝記事は不成立” と言えるようになったのが、私としては大きな収穫でした。 どうも、ありがとうございした。（＾＾ 以上
130:１３２人目の素数さん
19/01/03 07:43:48.02 XXarrjli.net
>>121
＞“固定されたいかなる決定番号に対しても、
＞ それをカバーする有限（the number of boxes is finite）モデルが存在する。
＞ あるいは有限の極限を考えても良い。だから、時枝記事は不成立”
ギャハハハハハハ！！！
スレ主のいう「有限モデル」は、「次の箱がない場合がある」
という致命的欠陥があるから、時枝論法のモデルとして認められない
「無限モデル」では、必ず「次の箱がある」ことは、スレ主の沈黙によって承認された
スレ主のいう「有限の極限」が「次の箱がない場合がある」という状況を保持する
のであれば、次の箱がない場合の決定番号を答えるよう、スレ主に質問したが
スレ主は回答できなかった。「極限値∞」が自然数でないことを認めたからだ
したがってスレ主の「時枝記事は不成立」は無限モデルには当てはまらず
無限モデルでは時枝記事は成立する
皆さま、どうも、ありがとうございした。（＾＾
スレ主のご冥福をお祈りします(-||-)
131:１３２人目の素数さん
19/01/03 07:46:50.50 XXarrjli.net
今後スレ主が成仏できず幽霊として
本スレに書きこんだ際には
ぜひこの念仏を唱えて
スレ主を成仏させてあげて下さい
ーーー
スレ主ちゃん えらいねー、
おサルなのに 沢山カキコして
今年も、ピエロおどり頼むよ
ホイ、ホイ、ホイ
踊れ！ ピエロ（＾＾
132:１３２人目の素数さん
19/01/03 08:13:04.54 tjdMIYBM.net
Sergiu HartはTheorem 1とTheorem 2 で時枝戦略の成立を証明してるのに
Remark. で有限版では成立しないと注意してるからそれをもって
不成立の証拠というのは曲解・倒錯にも程があるだろw
133:１３２人目の素数さん
19/01/03 09:12:57.28 N9v/UaNK.net
スレ主は英語が苦手です
論文読めませんので悪しからず
134:１３２人目の素数さん
19/01/03 09:18:15.19 tjdMIYBM.net
「無限に近い巨大数」とか言ってたし
無限と「巨大な有限」は似たようなもんだと思ってるフシがあるし
工学バカの辞書に数学上の無限は存在しない説を補強したのだった...
135:１３２人目の素数さん
19/01/03 09:18:31.60 XXarrjli.net
スレ主は無限も苦手ですｗ
有限しか理解できませんので悪しからずｗ
136:１３２人目の素数さん
19/01/03 09:21:43.22 XXarrjli.net
>>126
スレ主にとって、ペアノの公理の
「任意の自然数 a にはその後者 (successor)、
suc(a) が存在する（suc(a) は a + 1 の "意味"）。」
は偽であるらしいｗ
137:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/03 11:39:20.39 PCK+NM7P.net
>>121 補足
まず、訂正
“固定されたいかなる決定番号に対しても、それをカバーする有限（the number of boxes is finite）モデルが存在する。あるいは有限の極限を考えても良い。だから、時枝記事は不成立”
↓
“固定されたいかなる決定番号に対しても、それをカバーする有限（the number of boxes is finite）モデルが存在する。あるいは有限個の極限を考えても良い。だから、時枝記事は不成立”
（有限の極限→有限個の極限な）
あと、有限モデルを再度、前スレ56から引用しておく
繰返すが、これはSergiu Hart氏のPDFに記載のRemark定理（>>120）により、
有限個（the number of boxes is finite）では、普通の確率論の通り（時枝記事の反例）になる
ここで、有限モデルの下記mは、時枝記事で出現する最大値 D = max(d^1, d^2,・・・d^100) で、m＝D＋1としても良いし、m＝2Dとしても良いし、好きに取れる
Dが有限である限り、mも（Dより大きく）有限に取れる
そして、繰返すが、反例は一つで良い
(引用開始)
スレ56 ｽﾚﾘﾝｸ(math板:706番)
(抜粋)
706 古典ガロア理論も読む ◆e.a0E5TtKE 018/12/31
反例を構成する。（なお、当然だが、反例は一つで良い（定理の証明は全てを尽くす必要があるが））
a)時枝記事（詳しくは>>21及び、記号などは>>644ご参照）において、箱の数を、十分大きな＊）「有限」個の場合を考える。
（＊）：例えば無限に近い巨大な数と思って貰えば分り易いだろう
例えば、有限の範囲で、貴方の知っている（あるいは考え得る）大きな数を頭に浮かべてください。その数＋１で結構です）
b)箱の数 L＝100mとする。 ここにmは、前述のように十分大きな正整数とする。
c) L＝100m個の箱を、100列のm個の箱の列に並び変える。
m個の長さの数列の しっぽの同値類を考えることができ、決定番号dを決めることができる。
決定番号dは、1<= d <=m の値を取る。
c')ここで、簡単のために、部分集合として、決定番号が、1<= d <=(m-1)の場合を考える。
d)100列の決定番号の大小比較から、100列中のあるk列で
決定番号 d^k 1<= k <=100 が、最大値 D = max(d^1, d^2,・・・d^100)
(引用終り)
つづく
138:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/03 11:40:32.44 PCK+NM7P.net
>>129
つづき
(引用開始)
スレ56 ｽﾚﾘﾝｸ(math板:717番)
(抜粋)
>時枝記事の「しっぽの同値類」は無限列で定義されているわけで
>有限列ではどうやって定義すんの？
↓
（時枝記事の有限版（mを2015より十分大きく取っておくとする））
同値関係を使う.
実数列の集合 R^mを考える.
s = (s1，s2，s3 ，・・・，sm )，s'=(s'1， s'2， s'3，・・・，sm )∈R^mは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s ～ s'と定義しよう(いわば時枝記事の有限版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.
(引用終り)
具体的には、例えば
(引用開始)
スレ57 ｽﾚﾘﾝｸ(math板:89番) (>>89に同じ)
(抜粋)
決定番号dの値がmをとる確率Pは
簡単に、m＝３として、コイントス 0,1で考えると
数列を列記すると
000
010
100
110
001
011
101
111
と、全体で8つの数列が出来て、同値類は２つ（最後の箱が0か1）
いま、数列をx1,x2,x3とします。この同値類で
代表を、x'1,x'2,x'3とします。(x'3＝x3です)
決定番号 d＝3(＝m)となるのは、x'2≠x2の場合です
ここで、x'2＝x2の確率は1/2です。
なので、x'2≠x2の場合の確率は、1-1/2＝1/2です。
これは、１列の場合です。
２列以上の場合も、同様に計算できます。
コイントス 以外の場合も、同様に計算できます。
(引用終り)
以上
139:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/03 11:50:33.71 PCK+NM7P.net
>>129
>繰返すが、これはSergiu Hart氏のPDFに記載のRemark定理（>>120）により
まあ、Sergiu Hart氏のPDFに記載のRemark定理は、落語で言えば”オチ”ですね、多分
Sergiu Hart氏は、これをパズルとして扱っている
PDFの題名は、”Choice Games”なのだから
あと、Sergiu Hart氏のGame 2は、”A similar result, but now without using the Axiom of Choice.”なので
Axiom of Choice （選択公理）をもって、この”Choice Games”を正当化することはできないということです
140:１３２人目の素数さん
19/01/03 11:55:20.78 XXarrjli.net
>>129-131
サルのピエロスレ主 ご苦労様ｗ
「箱の数が無限個の場合 時枝記事の手順が実行できない
つまり、箱の数当て実行ができない決定番号dの値はいくつか？ 」
が答えられない言い訳はもう沢山だよｗｗｗ
今年も、ピエロおどり三昧か
ホイ、ホイ、ホイ
狂え！ ピエロスレ主（＾＾
141:１３２人目の素数さん
19/01/03 12:38:25.07 XmwoTmyX.net
スレ主はいつも答えに困るとコピペを延々と貼り始めるが
本人は中身をわかってないし間違っていることもわかってないし
話と関係ないことすらわかってないし
まあほんと哀れだな
「わかってないことをわかってないと認めたくない」人に何を行っても無駄
その意味ではスレ主は「無敵」だからバカを晒しながらスレが続くわなww
142:１３２人目の素数さん
19/01/03 14:52:21.77 x6jXhHBb.net
>>121
新年早々バカ全開だねｗ
スレ主は自己の独善理論は溺愛するが、他人の言うことには聞く耳持たない頑固爺なので
一生バカを治せないでしょうｗ
バカに付ける薬は無い、昔の人はいいこと言ったｗ
143:１３２人目の素数さん
19/01/03 14:59:36.43 x6jXhHBb.net
スレ主は国語も苦手です
実際このスレではほぼ日本語で書かれているのに全く読めてませんから
144:１３２人目の素数さん
19/01/03 15:15:56.29 x6jXhHBb.net
スレ主語録
無限に近い巨大な数
箱に確率変数を入れる
有限で成り立つことは無限でも成り立つ
145:１３２人目の素数さん
19/01/03 15:27:11.33 XXarrjli.net
>>129
>固定されたいかなる決定番号に対しても、
>それをカバーする有限（the number of boxes is finite）モデルが存在する。
>あるいは有限個の極限を考えても良い。
D=max(d~1,･･･,d~100) とする
m=D+1とすれば 「必ず尻尾がとれる」有限モデルとなる
つまり、「時枝戦略が実行できない場合」は無くなる
d~1,･･･,d~100のどれか1つだけがDの場合
うっかりD=d~kとなる列を選んでしまって
予測が失敗する確率は1/100
また、d~1,･･･,d~100のうち2つ以上がDとなる場合
予測は必ず成功する
つまりスレ主のいう反例は存在しないｗ
どんな
146:場合にも時枝戦略が必ず実行可能な有限モデルが選べるから スレ主、壮烈自爆死！！！
147:１３２人目の素数さん
19/01/03 15:29:18.87 x6jXhHBb.net
これもあった
arbitrarily large＝可能無限
過去にはこんなのもあった
決定番号＝∞
数列の連結
148:１３２人目の素数さん
19/01/03 15:32:08.92 XXarrjli.net
>>133
>スレ主はいつも答えに困るとコピペを延々と貼り始める
スレ主は自分の中では常に「世界一の天才」なのです
したがって自分の間違いを決して受け入れることはできません
「天才」としての自分が否定されてしまうと発狂してしまうのです
したがってそのような場合には現実逃避しコピペ貼りで誤魔化すのです
↓ま、この人と同じですね
URLﾘﾝｸ(www.youtube.com)
149:１３２人目の素数さん
19/01/03 15:35:54.40 XXarrjli.net
>>136 >>138
>無限に近い巨大な数
>有限で成り立つことは無限でも成り立つ
>arbitrarily large＝可能無限
>決定番号＝∞
無限（正しくは自然数の全体集合）が何なのか分かってない
例えばペアノの公理なんてきっと全然知らない
スレ主はそんな自分を「頭が良すぎる」人というのだろうが
定義や公理を一切確認しない人はとことん頭が悪い
150:１３２人目の素数さん
19/01/03 15:45:26.52 x6jXhHBb.net
「数列の連結」も有限列と混同しているから同じく無限の不理解から来てますね
151:１３２人目の素数さん
19/01/03 16:03:02.30 XXarrjli.net
「数列の連結」はねぇ・・・いったい何をいいたいのか意味不明なんでねぇ
まあ、いずれにしてもペアノの公理は全然知らないんだろう
ってことは明らかですがね
152:１３２人目の素数さん
19/01/03 17:11:34.27 cVxpSTRO.net
スレ主は職業煽り人だと何度言ったら
153:１３２人目の素数さん
19/01/03 17:14:06.35 XXarrjli.net
>>143 つまり根っからの自虐ピエロだと
ここまでくると気持ち悪いですね
154:このスレの歴史
19/01/03 19:15:29.52 XmwoTmyX.net
このスレの始まり（その1）は
現代数学の系譜11 ガロア理論を読む
ｽﾚﾘﾝｸ(math板)
1 ：名無しさん：2012/01/31(火) 22:32:36.78 ID:LTM9xtnu
ベストアンサー：”が、ガロアの論文は解りにくいモノでした。現在の整理された数学書の書き方に慣れているためか、ガロアの論文を少し眺めてみて、弱気になってしまいました。”ですか？
でした。もうすぐ9年になります
スレ主はコピペと上から目線で気持ちよくスレを伸ばしていきましたが2年半ほどたった
現代数学の系譜11 ガロア理論を読む10
1 ：１３２人目の素数さん：2014/09/23(火) 15:38:23.54
ｽﾚﾘﾝｸ(math板)
で「正規部分群がわかっていない」ことが露呈しましたwww
最初はまだ「スレ主はわかってる勘違いだろう」という感じのレス↓でしたが
ｽﾚﾘﾝｸ(math板:235番)
235 ：１３２人目の素数さん：2014/10/18(土) 21:19:57.48
>>232
補足
スレ主はわかって書いていると思うが、
この直後に↓
ｽﾚﾘﾝｸ(math板:235番)
242 ：235：2014/10/18(土) 23:33:11.88
>>237
私は間違っていた。スレ主は分かっていなかった。
で以降は「スレ主はアホ」とバレてしましましたww
時枝とかスレ主の頭でわかるわけないんですよ
多分2013年ごろのようにコピペと上から目線で数学板の連中を煽りつつ
騙せていた時代が忘れられないんでしょう
学部レベルの教科書をしっかり読んで地道に勉強することが大切ですねえ
スレ主もこの5年間でネットのコピペ以外に真面目に勉強していればもう少しまともになったでしょうが
そもそも丁寧に本を読むとかまともなことができない馬鹿なんでしょう
155:１３２人目の素数さん
19/01/03 19:35:05.58 XXarrjli.net
>>137
やっぱりスレ主のアイデアは穴だらけだなｗ
>m=D+1とすれば 「必ず尻尾がとれる」有限モデルとなる
後から考えたら、+1�
156:ﾅはだめだな、各列の同値類が 区別できる程度に長くする必要がある こういう些末なパッチをあてなきゃなんないってのは 「カバーする有限（the number of boxes is finite）モデル」 とかいう根本的なアイデアがダメダメだからなんだよな
157:１３２人目の素数さん
19/01/03 19:43:57.18 XXarrjli.net
>>145
ま、スレ主は只の見栄張り小僧ですよｗ
そもそも何でガロア理論に興味もったんですかね？
別にガロア理論なんかいくらほじくったって
一般次数の代数方程式を解く足しにはなりませんよ
代数方程式解きたいなら数値解法のアルゴリズムでも
勉強したほうが全然マシだけどね
スレ主は時枝とかいう以前に
そもそも自然数の定義が分かってない
計算馬鹿だから定義とか勉強しない
フマジメなヤツなんですよ
中学高校はそういうフマジメなヤツでも点数とれるけど
大学ではそういうわけにはいかない
ま、ここで調子こいて書きまくってるヤツは
大抵そのテのバカばっかりだから
いまさら驚きもしないけどね
158:１３２人目の素数さん
19/01/03 20:21:45.07 XXarrjli.net
>>145
＞丁寧に本を読むとかまともなことができない馬鹿
正規部分群の定義の文章が理解できない時点で明らかだな
そういう人は数学だけでなくそもそも学問自体無理
159:１３２人目の素数さん
19/01/03 20:31:07.33 tjdMIYBM.net
ガロア理論に興味を持つこと自体は別に悪くはない。
現代数学において、ランズランズプログラムから遠アーベル幾何に至るまで
ガロア理論が出発点になっているともいえ
数学史上屈指のアイデアであることは間違いない。
それが10代の少年によってなされたのはまったく驚異。
なぜ数値解法ではダメか？
それは数学者が数値解法という構造に面白さを感じないから。
解の代数的構造の解析になると、やはりガロア理論の独壇場。
160:１３２人目の素数さん
19/01/03 20:38:12.92 RPF9oDlJ.net
*ラングランズ*
161:１３２人目の素数さん
19/01/03 20:47:37.16 XXarrjli.net
>>149
数学としてガロア理論に興味を持つのは結構なことですよ
しかし工学馬鹿のスレ主は「数学」に興味ないでしょ
解けりゃいいんでしょ だったら数値解法でしょ
解けりゃいいって人は代数学の基本定理も興味ないｗ
162:１３２人目の素数さん
19/01/03 20:55:35.13 XmwoTmyX.net
数学に興味ないのは確かだろうし
「数学を理解する」事に興味もないし理解とはどういうことかを理解してないのでしょう
数学の本を読んで理解を深めた経験も乏しくて理解する気もない
それでいてググればすぐわかると思ってる
「正規部分群」一つにしてもwikipedia見てすぐわかるものじゃなくて
具体的な群に関する演習問題などを解きつつ時間をかけて身につけるもの
ここのスレ主はぶっちぎりのアホだけど似たように学問を舐めている人は多いのでは
163:１３２人目の素数さん
19/01/03 21:07:00.20 RPF9oDlJ.net
スレ主はガロア理論が本当に分かったのかどうかも不明
もし分かったとすれば、当然次に進むであろう興味には
向かっていないから、推して知るべし
164:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/04 09:02:30.57 ICqG0TJs.net
さん、沢山書いてくれて、ありがとう（＾＾
Sergiu Hart氏のPDFに記載のRemark定理(>>120)
これの証明を考えていた
なんか書けそうな気になってきた
小学生でも思いつきそうだ
ピエロちゃんなら思いつきそうだが
おっと、書いちゃだめだよ
165:１３２人目の素数さん
19/01/04 09:21:57.27 MI5EF/Qj.net
>>154
Remarkは有限だから、意味ないな
「箱の数が無限個の場合 時枝記事の手順が実行できない
つまり、箱の数当て実行ができない決定番号dの値はいくつか？ 」
答えてごらん 答えられないなら
スレ主 君は負けた 君は死んだ
ってことだよ
166:１３２人目の素数さん
19/01/04 09:21:57.73 e+af9Aa8.net
おっちゃんです。
それより、時枝反省会でもした方がいいだろう。
3年かけて議論した時枝記事には、結局何の意義があるんだ？
167:１３２人目の素数さん
19/01/04 09:24:22.36 MI5EF/Qj.net
>>156
＞3年かけて議論した時枝記事には、結局何の意義があるんだ？
スレ主はペアノの公理を知らず、また３年の間、一度も知ろうとしなかった
スレ主が数学に何の興味もないことを如実に示してるな
168:１３２人目の素数さん
19/01/04 09:28:58.40 MI5EF/Qj.net
スレ主がペアノの公理を知っていたなら、
いかなる自然数nも、必ずn+1が存在するから
列の終端になりようがない、ってことがわかるはず
有限モデルに固執するから、そういう根本的なことが見えなくなる
有限モデルでは必ず終端が存在してしまうからな
無限モデルは、有限モデルでは決して模擬できないんだよ
ペアノの公理を知らないのは、
正規部分群を知らないことより
はるかに程度が低い
169:１３２人目の素数さん
19/01/04 09:38:32.01 MI5EF/Qj.net
スレ主にとって数学は何の意義もないから
スレ主は数学のような自分の能力を超えた事柄に興味を持たず
自分の能力にあった別の目標を見つけたほうがいいだろう
170:１３２人目の素数さん
19/01/04 09:43:00.43 t9qnM386.net
>3年かけて議論した時枝記事には、結局何の意義があるんだ？
老人は非常に頑固であることが分かった
171:１３２人目の素数さん
19/01/04 09:48:38.54 t9qnM386.net
スレ主は
一見、向学心がある風を装った
アカデミズムや権威が大好きだが
基本的に自分の考えを変える気はない
そういうタイプのバカ
172:１３２人目の素数さん
19/01/04 09:49:47.36 MI5EF/Qj.net
スレ主は頑固というより、
「自分の誤りを決して認めたがらない」
という過剰な自己愛の持ち主であるようだ
誤りは決して恥ずべきことではないが
誤りを認められないことは恥ずかしいだけでなく
自分にとって損になるばかりで決して得でない
このことを理解したほうがいいだろう
そうでない限りスレ主の人生は不幸なだけである
173:１３２人目の素数さん
19/01/04 09:53:48.93 MI5EF/Qj.net
>>161
＞スレ主は基本的に自分の考えを変える気はない
この性格によって、自分の誤りを受け入れられず
自分を不幸にしていることに、スレ主は気づくべきだろう
174:１３２人目の素数さん
19/01/04 09:58:46.97 t9qnM386.net
ゴミ屋敷の主みたいな性格だと思う
自分の身になっていない無意味なコピペを張りまくる
これは蒐集活動に相当
付け加える、集めることは大好き
だが、自分の考えを捨てることはできない
175:１３２人目の素数さん
19/01/04 10:03:38.65 MI5EF/Qj.net
>>163
＞自分の考えを捨てることはできない
間違った考えを捨てられないのは
自分にとって最大の不幸なんだがな
自分が理解できない文章を
いくらコピペしたって意味がない
そんなピエロみたいな真似しても
幸せになれないことに気づくべき
176:１３２人目の素数さん
19/01/04 10:36:10.59 MI5EF/Qj.net
数学の素養が全くないスレ主が
ガロア理論（というより群論の初歩）を
理解できなくても驚かないが
時枝記事を読んで内容が理解できない
というのは衝撃だ
しかもその理由が
「自然数の定義を知らなかったから」
となるともう何もいう言葉がない
177:１３２人目の素数さん
19/01/04 10:47:17.21 MI5EF/Qj.net
たとえペアノの公理を知らなかったとしても
以下の文章を読んで、列が有限長の場合は
戦略の3．が実現できない場合があるから
排除される、ということは理解できるはず
わざわざそこに注目して
「だから無限列でも時枝戦略は実現できない」
とか絶叫するのは正常な知性を持つ人間ならあり得ない
ーーー
【戦略】
1.閉じた箱を100列 s~1,s~2,･･･,s~100に並べる。
1～100のいずれかkをランダムに選ぶ。
（100本の実数列 s~1,s~2,･･･,s~100
はおのおの決定番号を持つ。）
2.第1列～第k-1列、第k+1列～第100列の箱を全部開ける。
第k列の箱はまだ閉じたままにしておく。
開けた箱に入った実数を見て、代表の袋をさぐり
s~1からs~k-1、s~k+1からs~100の決定番号のうちの
最大値Dを書き下す。
3.第k列のD+1 番目から先の箱だけを開ける。
s~k_D+1,s~k_D+2,s~k_D+3,･･･
を見て代表r=r(s~k)が取り出せる。
【定理】
列rのD番目の実数r_Dを見て、
「第k列のD番目の箱に入った実数s~k_Dはr_D」
と賭ければ、めでたく確率99/100で勝てる。
【証明】
選ばれた列s~kの決定番号d(s~k)が
他の列の決定番号どれよりも大きい、
（すなわち
D<d(s~k)
となる）確率は1/100に過ぎない。
（したがって、s~k_D=r_Dを満たす条件）
D>=d(s~k)
が正しい確率は99/100。
178:１３２人目の素数さん
19/01/04 12:41:41.86 t9qnM386.net
無限という設定が現実と比較して理解しにくい、それが工学バカのネックになっているということはあるでしょう。
無限個の箱を開ける、無限個先まで見通して同値類を決定するというのは現実と比較して考えにくい。
（実はここにも面白さはあるのだが。）
Sergiu Hart氏の選択公理不要のTheorem 2 の設定なら、まだ理解しやすい。
コンピュータでシミュレーションできそうだから、シミュレーション結果を見れば工学バカでも納得せざるを得ないのでは。
我々が現実にそうするように、循環小数（らしきもの）を見たとき、厳密には無限個先まで見ないと循環小数か、また循環節も分からないのだけど、そこは有限個だけ見て「蓋然性」で判断している。
代表元は純循環小数を取ることにする。
出題者はかなり長い循環節を持つ循環小数を設定して、各桁の数字を箱に入れる。
解答するコンピュータは概ね時枝解法の通りとするのだが、パターンを検出して循環節を推測するものとする。
これなら有限の範囲で可能。そして代表元の純循環小数と比較。
あとは時枝解法の通りとして、残した箱の中の数を当てる実験をして、確率を記録する。
179:１３２人目の素数さん
19/01/04 13:02:27.35 MI5EF/Qj.net
>>168
＞無限という設定が現実と比較して理解しにくい、
＞それがネックになっているということはあるでしょう。
少なくとも有限モデルを考えたがるのは無限を避けてる証拠でしょうね
Sergiu Hart氏の選択公理不要のTheorem 2 の設定は
元の時枝記事よりも分かり易いかもしれないが、
そこまでいくならいっそある桁から先が０の小数を使ったほうがいい
同値類とか代表元とかいう議論すらオミットできるから
（同値類は１つしかなく、代表元は全ての桁が０の小数）
ずばり無限に連続する０が始まる先頭の位置が決定番号
そして、０が入ってる位置を当てるものとする
１００個の小数のうち、９９個開けて、その中の決定番号の最大値をDとする
空けてない1個の決定番号ｄがDより大きくなければ、０だと当てられる
（ここで重要なのは、もはや空けてない１個の小数の
D+1桁以降を開ける必要もない、ということ）
その確率は？普通に考えたら99/100以上だろう
（ｄ＝Dの場合も当たりだから）
180:１３２人目の素数さん
19/01/04 14:04:37.79 t9qnM386.net
>>169
任意の設定でも、同じ類に属する数列の差数列を取ればその設定になりますね。
つまり本質は変わらないと。
そして、ぶっちゃけ十分大きい番号の箱さえ選べば0が入ってるわけですが
当てずっぽうではなく、一定の確率のもとで箱の番号が決められるというのが、時枝解法の力ですね。
181:１３２人目の素数さん
19/01/04 14:55:13.41 25WVA9zx.net
>>156
おっちゃん、どうも、スレ主です。
明けまして、おめでとう
ご健在なによりです
>それより、時枝反省会でもした方がいいだろう。
> 3年かけて議論した時枝記事には、結局何の意義があるんだ？
おっちゃん、時枝記事を読んでないと言っていたろう？
もし、おれなら、時枝記事を読んでコメントするか、あるいは読んでないならコメントしないか
二択しかしないけどね
時枝記事を読んでもないのに、外れたコメントをすると、まあ、あれだわ（＾＾；
182:１３２人目の素数さん
19/01/04 15:28:26.82 MI5EF/Qj.net
>>171
スレ主 とうとうコテハンやめたな
なら、スレ主だって名乗るのもやめればいいのに
おっちゃんでなくても、スレ主は時枝問題について
反省したほうがいいって思ってるよ
別にこのスレで反省の弁なんか
書かなくてもいいけどね
黙ってさえくれればああ懲りたんだなと思うだけ
183:１３２人目の素数さん
19/01/04 15:58:47.25 e+af9Aa8.net
>>171
私が聞きたいのは、3年もかけて議論した時枝記事の数学的な意義の方。
時枝記事には一体何の数学的意義があるのかということ。
時枝記事の問題を発展させても、特に何にも面白そうなことはなさそうなんだがな。
184:１３２人目の素数さん
19/01/04 16:01:39.75 MI5EF/Qj.net
>>173
＞時枝記事の数学的な意義
「数学的な意義」が実用性の意味なら実用性は全くないなｗ
集合論的には面白い現象だが、集合論に興味ない人にはどうでもいいんだろう
185:１３２人目の素数さん
19/01/04 16:07:02.95 e+af9Aa8.net
>>174
非可測集合が起こす面白い現象か。
確率論的な面白さは、やはり何もなさそうか。
186:１３２人目の素数さん
19/01/04 16:09:57.77 9HUHXDE2.net
あれ？スレ主さん今日は有限モデルでも成立って強弁しないの？
昨日まで聞く耳も無ないマシーンのように強弁してたのに。
間違いと認めたってこと？
で、>>110 への回答は？
きちんと回答して下さいね。ガキじゃないんだから。
187:１３２人目の素数さん
19/01/04 16:13:15.20 MI5EF/Qj.net
>>175
99/100の計算は別に面白くない
非可算性は面白いといえば面白いのか
ま、3年前の正月にスレ主が絶叫していた
事後確率による計算とやらは、
非可測性により不可能である
ｽﾚﾘﾝｸ(math板)
しかしながら、そのことは時枝記事の結論を否定するものではない
188:１３２人目の素数さん
19/01/04 16:18:15.53 MI5EF/Qj.net
>>176
あああ、あげちゃったｗ
今スレ主は後悔のどん底にいるんだから刺激するなよｗ
「無限モデルで時枝戦略が実行できない決定番号はいくつ？」
って質問から逃げ回ってた時点で
「ああ、こいつそうとうこたえてるな」
ってわかったよ
自己愛性人格障害のスレ主に謝罪なんか不可能だから求めないよ
ただ、このスレ、いや、この数学板に書き込むことは永遠にやめてくれ
読解力、思考力ゼロのスレ主には数学なんて到底無理だから
189:１３２人目の素数さん
19/01/04 16:33:33.83 9HUHXDE2.net
いや、彼は堪えないよ、蛙の面に小便
答えられない質問を無視するのは彼の常とう手段
そして性懲りもなく、端から見れば愚にもつかない独善主張を繰り広げるといういつものパターン
まあ彼の才能を一言で言うなら「無自覚力」だな
自分のバカを自覚しない能力、これはある意味最強ｗ
周りがどれほど間違いを指摘しても何のダメージも与えられないからねｗ
190:１３２人目の素数さん
19/01/04 16:42:03.20 MI5EF/Qj.net
>>179
＞答えられない質問を無視するのは彼の常とう手段
それはその通りだが、答えたいのに答えられない時点で
そうとう心理的にキツイと思うよ
＞そして性懲りもなく、端から見れば
＞愚にもつかない独善主張を繰り広げる
自我が弱いから、違う話題に逃げるんだよね
自己愛性人格障害って、結局自我が弱いから
過剰なほど自己防衛するんだよね
書かなきゃ何も言われないのにね
191:１３２人目の素数さん
19/01/04 17:23:27.56 e+af9Aa8.net
それじゃ、おっちゃんもう寝る。
192:１３２人目の素数さん
19/01/04 17:41:49.68 25WVA9zx.net
>>181
おっちゃん、どうも、スレ主です。
おっちゃんは、やはり問題意識というか、見識が高いね
かつて、￥さんが似たようなことを言っていたね
さすがですね（＾＾
193:１３２人目の素数さん
19/01/04 17:42:35.95 25WVA9zx.net
>>180
ピエロちゃん、そんなに怯えなくも、良いんじゃない？（＾＾
194:１３２人目の素数さん
19/01/04 17:44:29.84 9HUHXDE2.net
スレ主さん、無駄口はそのくらいにして>>110に答えてもらえませんか？
また逃げますか？
195:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/04 17:45:32.76 25WVA9zx.net
ああ、コテハンとトリップ抜けたね
すまんね（＾＾；
196:１３２人目の素数さん
19/01/04 18:01:54.31 MI5EF/Qj.net
>>182 やっぱりおっちゃんにすがったね おっちゃんだけが友達かｗ
>>183 もう虚勢張らなくていいよ わかってるからｗ
197:１３２人目の素数さん
19/01/04 18:04:57.18 MI5EF/Qj.net
>>184
>>110じゃ甘いよ
「無限モデルで時枝戦略が実行できない決定番号はいくつ？」
これが究極の質問
だって、スレ主の主張はつまるところ
「時枝戦略が実行できない決定番号がある」
の一点につきるん
198:だから 無限モデルでそのような決定番号が存在しないなら もうスレ主に反論の余地はないよ
199:１３２人目の素数さん
19/01/04 18:06:28.69 MI5EF/Qj.net
>>185
もうコテハンやめたら
スレ主です、って名乗るのもやめていいよ
だれもシロウトの貴方に興味ないし
200:１３２人目の素数さん
19/01/04 18:12:54.57 9HUHXDE2.net
さあスレ主さん、今度こそ誠実に答えるか、また卑怯に逃亡するのか、選ぶのはあなたです。
201:１３２人目の素数さん
19/01/04 18:16:14.10 MI5EF/Qj.net
>>189
＞誠実に答えるか
もういいよ
これ以上「決定番号∞」とか強弁されても不快なだけだし
＞卑怯に逃亡するのか
永遠に書き込まないでくれるんなら逃亡ケッコウだよ
ま、しかし、ネット依存症みたいだからそれは無理かな
ネットなんかやめたほうが彼にとっては幸せなんだがね
ネットに書き込みつづけたってバカ晒すだけで不幸なだけでしょ
202:１３２人目の素数さん
19/01/04 23:25:18.09 WQH4MYgW.net
スレ主はネット依存症みたいだから
ほとぼり冷めたらしれっと再開するんだろうなあ
ガロア理論では正規部分群を理解してないバカであることが露呈し
時枝では自然数や無限の扱いもまるでわかってないアホであるとバレた
何年経っても数学的なことは何も身についてないし理解もしてないが
スレ主として偉そうにしたいw
203:１３２人目の素数さん
19/01/04 23:28:52.52 4WricKPK.net
スレ主へ
職業煽り人としての仕事は理解するが、お前なら数学板以外でも活躍の場は沢山あるだろ？w
小銭稼ぎたきゃ金持ちの俺が寄付してやるからpaypalアカウントでも晒してくれよw
あと、困ると会話をぶった斬って大量のコピペを投下するけどあれは本当に悪質だからやめてくれ頼む
204:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/05 00:04:44.42 kRxB+B+U.net
>>188
ピエロ語録
”博士号くらいとらないと数学の世界では人間とは認められません”だったよね
で、下記引用のID:dAnabccJ と、ID:MI5EF/Qjとって、これピエロじゃん
「数学界では認められない」「理解できない戯言を受け入れるほど 数学界は寛容ではない」
って、あんた博士号もないのに、数学界を代表してんだね、えらいね～（＾＾
「Mはともかく、取り巻き連中は もうIUTTから離れたほうがいいだろ」
って、あんた博士号もないのに、数学界を代表して指図してんだね～、えらいね～（＾＾
いいねー、匿名掲示板って、博士号もないのに、数学界を代表できるんだ （大言壮語もいいとこだろ・・）（＾＾
サイコパスって、幸せな性格してるね
(引用開始)
ガロアスレ56
ｽﾚﾘﾝｸ(math板:641番)
641 名前：１３２人目の素数さん[] 投稿日：2018/12/29(土) 21:04:01.92 ID:dAnabccJ [22/23]
Inter-universal geometry と ABC予想 36
ｽﾚﾘﾝｸ(math板:19番)
19 名前：１３２人目の素数さん[] 投稿日：2018/12/29(土) 09:18:07.89 ID:dAnabccJ
>>9
ショルツの指摘に反駁するのはＭの仕事だろ
できなきゃ数学界では認められない 当り前のこと
(引用終り)
ガロアスレ57
>>190 名前：１３２人目の素数さん[sage] 投稿日：2019/01/04(金) 18:16:14.10 ID:MI5EF/Qj [19/19]
Inter-universal geometry と ABC予想 36
ｽﾚﾘﾝｸ(math板:143番)
143 名前：１３２人目の素数さん[sage] 投稿日：2019/01/04(金) 06:51:34.49 ID:MI5EF/Qj [1/2]
Ｍが今のような態度を続ける限り
数学界がＩＵＴを認めないのは確かだな
理解できない戯言を受け入れるほど
数学界は寛容ではない
148 名前：１３２人目の素数さん[] 投稿日：2019/01/04(金) 10:50:48.31 ID:MI5EF/Qj [2/2]
いいだしっぺのMはともかく、取り巻き連中は
もうIUTTから離れたほうがいいだろ
(引用終り)
205:１３２人目の素数さん
19/01/05 00:18:48.73 TTJXwFI3.net
>>193
無駄口を叩く暇があるのに問いに答える暇が無かったとは言わせない。
これでスレ主の逃亡ははっきりしました。
スレ主は都合の悪い問いから逃げ回る卑怯者です。
206:１３２人目の素数さん
19/01/05 00:34:44.19 1EDufZvk.net
卑怯者！と言ったところでね、いまさらなにをかいわんやですよ。
プロの詐�
207:\師に面と向かって「あなたは詐欺師です！」って言うのと同じですよ。 余計なことは言わんがよろしい。 プロレスの楽しみ方、あなた知ってるでしょ？あれと一緒ですよ
208:１３２人目の素数さん
19/01/05 01:53:05.52 1EDufZvk.net
>>193の学歴dis、良いだろ？w
プロレスでいうマイクパフォーマンス、あれと同じな
もはや時枝の無限列なんて何の関係もない
ただお客さんを喜ばせたい、その一心でB卒がM卒をD卒でないとディスるわけだ
209:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/05 06:52:43.84 kRxB+B+U.net
>>195-196
>余計なことは言わんがよろしい。
同意
落ちこぼれピエロは、余計なことは言わんがよろしい
黙って見てろ
落ちこぼれ（＾＾
210:１３２人目の素数さん
19/01/05 06:55:27.03 ++mF+Rlt.net
>>193
スレ主、やっぱり逃げたねぇ
「無限モデルで時枝戦略が実行できない決定番号はいくつ？」
存在しないけど、それ認めたら負けだから、回答しないんだね
ま、スレ主が認めなくても、もう負けてるんだけどね
>>194
しょうがないよ、スレ主はネット依存症だから
質問には答えられなくても、なにか書かずにはいられない
その結果が、あの発言ですよ
>>195-196
なるほどプロレスですか
イメージとしてはこんな感じですかね（違
URLﾘﾝｸ(www.nicovideo.jp)
「スレ主さん、今日であなたの時代は終わりです。お疲れ様でした」
211:１３２人目の素数さん
19/01/05 06:58:06.06 ++mF+Rlt.net
>>197
＞落ちこぼれピエロは、余計なことは言わんがよろしい
だろ？だからスレ主、あんた黙りなよ。永遠に
「無限モデルで時枝戦略が実行できない決定番号はいくつ？」
答えられないんなら、黙って立ち去れ
落ちこぼれのスレ主さんよ
212:１３２人目の素数さん
19/01/05 08:29:34.53 ++mF+Rlt.net
>>193
＞あんた博士号もないのに
貴様もないじゃん、スレ主よ
で、博士号を持つ人が
「無限モデルで時枝戦略が実行できない決定番号はズバリ＊＊だ！」
と答えてくれたか？
そんなわけないだろ。ペアノの公理に思いっきり矛盾すること
博士号をもってる人がいうわけないもんな
だからいってるだろう スレ主、おまえは惨敗したんだって
もうここに書き込むなよ 永遠にな！！！
213:１３２人目の素数さん
19/01/05 13:48:01.48 TTJXwFI3.net
今後スレ主が何を書き込んでも以下のスレ主ホイホイをコピペすればいい
（スレ主は決定番号は自然数であることを認めたんだから言い逃れのし様が無い）
【スレ主ホイホイ】
「無限モデルで時枝戦略が実行できない決定番号はズバリ何か？」
214:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/05 15:38:41.15 kRxB+B+U.net
では、Sergiu Hart氏のPDFに記載のRemark定理（>>120）の説明と略証を示します
（賢い小学生なら、すぐ思いつきそうなことですが（＾＾； ）
Sergiu Hart氏のPDF URLﾘﾝｸ(www.ma.huji.ac.il)
P2 の最後
“Remark. When the number of boxes is finite Player 1 can guarantee a win
with probability 1 in game1, and with probability 9/10 in game2,
by choosing the xi independently and uniformly on [0, 1] and {0, 1, ・・・, 9}, respectively.”
つまり、意訳すると
“リマーク：箱の数が「有限」の場合、プレーヤー1は勝利を保証することができます。
game1の勝利確率1と、game2の勝利確率9/10になる、
[0、1]と{0、1、・・・、9}上で＊）、xiを独立で一様に選択することによって ”
と
言い換えると、プレーヤー２の立場では、game1の勝利確率0とgame2の勝利確率1/10になる。
注＊）、[0、1]はこの区間の任意の実数を、{0、1、・・・、9}は0～9までの整数を、箱に入れるということ。
(引用終り)
つづく
215:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/05 15:40:25.38 kRxB+B+U.net
>>202
つづき
＜説明と略証＞
まず、確認ですが
箱が有限個mのモデルで、箱に入れる数を有限(例えば、{0、1、・・・、9})にすると、標本空間Ωは有限になります。
すると、確率計算は、全て、場合の数の数え上げの計算になります。
これは、有限モデルの大きなメリットです。
私は、バカなので、具体例から
簡単に、数列の箱の数m＝３として、コイントス {1,2}で考えると
(注：以前、コイントス{0,1}としましたが、表現の簡素化のため{1,2}としました。こうすると、q個の数で{1,2,・・・,q}と表現でき、一つの箱の確率は1/qとなります)
数列を列記すると
111
121
211
221
と
112
122
212
222
と、同値類は２つ（最後の箱が1か2）。全体で2^3=8通りの数列が出来て、
一つの同値類内は４通り
つづく
216:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/05 15:41:53.43 kRxB+B+U.net
>>203
つづき
これで分ることは、
・（命題１）箱が有限個mのモデル（>>129ご参照）では、同値類は最後の箱の一致で決定される
・（命題２）同値類で、数列と代表との組み合わせを考えると、q^(2m-1)通りになる
など(詳しくは後述)
ということです
つづく
217:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/05 15:43:15.07 kRxB+B+U.net
>>204
つづき
決定番号の考察として、数列と代表の比較を掘り下げます。
繰り返しますが、１つの数列 x1,x2,x3 で、場合の数は 2^3 =8通り。同値類は2つ（最後の箱が1か2か）。各同値類内は、4通り。
二つの数列 x1,x2,x3 と x'1,x'2,x'3。それぞれ、2^3=8 で、全体としては、2^6=64ですが
数列と代表との組み合わせですと、
同値類は２つ（最後の箱が1か2で、必ず一致）で、一つの同値類内で代表との組み合わせは2^5=32通りです。
一つの同値類内では、
決定番号 d>＝2(＝m-1)となるのは、x'2＝x2の場合で、2^4=16
(∵ 最後の二箱以外は自由で2^(m－2)=2通り。一つの同値類内が2^2=4通りです。よって2^3=8通り)
よって、決定番号 d＝3(＝m)となるのは、上記以外の x'2≠x2の場合（背反事象）で、2^5－2^3＝24通り
つづく
218:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/05 15:44:02.47 kRxB+B+U.net
>>205
つづき
さて、３つの数{1,2,3}を入れることにします。
（ コイントスの確率は1/2は、「２列で確率１/2」などと言った場合で、紛らわしいので）
（注：頭が悪いので、さらに具体例。頭の良い人は飛ばして下さい）
１つの数列 x1,x2,x3 で、場合の数は 3^3 =27通り。同値類は３つ（最後の箱が1か2か3）。各同値類内は、9通り。
数列と代表との組み合わせを考えます
二つの数列 x1,x2,x3 と x'1,x'2,x'3。それぞれ、3^3=27 で、全体としては、3^6=729です
一つの同値類内では、代表は最後の箱が一致しますので、数列と代表との組み合わせの場合の数 3^5=243通りです。
一つの同値類内で、
決定番号 d>＝2となるのは、x'2=x2の場合で、3^4=81
(∵ 最後の二箱以外は自由で3^(m-1)=3通り。一つの同値類全体が3^2=9通りです。よって3^3=27通り)
決定番号 d＝3(＝m)となるのは、x'2≠x2の場合で、3^5－3^3＝216通り
繰り返しますが、このようにして、場合の数を数え上げれば、確率計算が必ずできます。これ、有限モデルの利点です。
つづく
219:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/05 15:47:26.49 kRxB+B+U.net
>>206
つづき
さて、q個の数で{1,2,・・・,q}を考えます。一つの箱の確率は1/qとなります
ここで、時枝記事の解法を適用しようとすると、数列と代表の組み合わせが２組必要です
二つの“数列と代表の組”で
m=3で
１列目
数列：x^11,x^12,x^13
代表：x^1'1,x^1'2,x^13
及び
２列目
数列：x^21,x^22,x^23
代表：x^2'1,x^2'2,x^23
とします
(x^1'3＝x^13なので、x^13に統一して簡明な表記にした。２列目も同様)
ここで、時枝記事の解法を使って、
２列目で、二つ目の箱、x^22＝x^2'2となって、同値類から代表のx^2'2を使って、的中できる場合を考えます。
このためには、１列目の決定番号が２でなければなりません。
この場合の確率をP1とします。
この場合において、１列目の決定番号が２ですから、２列目の３番目の箱を開けます。
２列目の決定番号は、３以下です。
そして、代表を見ます。この場合二つ目の箱、x^22＝x^2'2となる確率（＝的中できる確率）は、1/qです。
全体としては、条件付き確率計算で
時枝記事の解法を使える場合、（1/q）P1
時枝記事の解法を使えない場合、（1/q）(１－P1) （この場合は、通常の確率計算1/qで、条件の確率から(１－P1)が来ます）
二つを加えると、1/qが得られました。（普通の確率論通り）
つづく
220:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/05 15:50:20
221:.98 ID:kRxB+B+U.net
222:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/05 15:52:33.05 kRxB+B+U.net
>>208
つづき
このようにして、一般の有限m個の箱の数列で、{1,2,・・・,q}とq個の数を入る場合
任意のk番目の箱（1 <= k < m）で、的中確率が、1/qが得られました。
これは、Sergiu Hart氏のPDFに記載のRemark定理の場合の{0, 1, ・・・, 9}の一般化になっています。
（何度も繰返すが、この有限モデルの場合は、標本空間Ωは有限で、全ての事象Fも有限になるので、必ず場合の数として確率計算ができることを強調しておきます）
さて、Sergiu Hart氏のPDFに記載のRemark定理の「区間[0、1]の任意の実数を入れる場合の的中確率0」については、取りあえずは、上記でq→∞、 1/q→0と極限で理解して貰えれば、良いかなと思います。
なお、正確には、ルベーグ測度論で１点集合の測度が０（ゼロ）であることから、従います。（必要なら後で説明します）
取り敢ず、上記でSergiu Hart氏のPDFに記載のRemark定理の説明と略証が終わりました。
以上
追記：
英語圏では、これはおそらく常識レベルかなと思います。
頭の良い小学生なら思いつきそうなことですから。
だから、証明も付けなかったのでしょう。
これ、落語で言えば、“オチ”です。
私は、レベルが低く、３年間この“オチ”で笑えませんでしたが、証明を見つけて、ようやく笑えるレベルになりました。
皆さま、ご指導ありがとうございました。
223:１３２人目の素数さん
19/01/05 16:26:37.44 TTJXwFI3.net
＞時枝記事の解法を使えない場合
自分で有限列では時枝解法使えないって書いてるじゃん
バカ？
224:１３２人目の素数さん
19/01/05 16:36:49.69 ++mF+Rlt.net
>>202-209
スレ主、長々と「無意味」な書き込みご苦労
そもそも無限列では「時枝戦略が実行できない場合」が存在しないので無意味
また無限列の場合、有限列では使える
「決定番号の分布に基づく計算」も不可能
なので無意味
有限列に固執しても、無限列の場合に関する考察になり得ない
これこそがオチなのであって、スレ主はまだこのオチがわかってない
225:１３２人目の素数さん
19/01/05 16:36:52.27 TTJXwFI3.net
そもそも有限列の話をする意味が不明。
有限列について何を示したところで、無限列について何を言う根拠にもならない。ナンセンス。
スレ主の主張は
「決定番号は自然数」かつ「無限列で時枝解法不成立」
なんだから、時枝解法が成り立たない決定番号を具体的な自然数で答える義務がある。
答えられないなら主張が間違いだったことを認めなさい。
ナンセンスなレスでごまかすな！！！
226:１３２人目の素数さん
19/01/05 16:47:38.57 ++mF+Rlt.net
>>212
スレ主が有限列に固執するのは
決定番号の分布に基づく計算方法しか
思いつかないからでしょう
スレ主の主張は
「無限列でも有限列同様、”時枝戦略が実行できない場合”がある」
につきるが、もしそのような場合（決定番号）が存在するなら
ペアノの公理と矛盾するから却下される
＞答える義務がある。
義務はないが、答えない場合、
一切書き込みをやめていただきたい
と思っている
＞間違いだったことを認めなさい。
間違いを認めなくてもいいが、その場合
一切書き込みをやめていただきたい
と思っている
つまり、今後も書き込みを行いたいのであれば
質問に対してそのような数は存在せず
自分が間違っていたと認める発言を
行う必要があるだろう
仮にそのような発言を行ったところで
我々読者がスレ主の書き込みを
無条件で認めるとはいえないが
（なにしろスレ主の読解力は著しく低いので
数学板での書き込みを許容できるレベルを
下回っていると云わざるを得ないから）
227:１３２人目の素数さん
19/01/05 16:57:34.85 ++mF+Rlt.net
我々がスレ主に提示する条件
�
228:E時枝記事に関する過去の主張の誤りを認める発言 ・スレ主が現在用いている固定ハンドル名およびトリップの使用の禁止 ・「スレ主」を名乗る行為の禁止 ・大量のコピペ投稿の禁止 ・他人より優位に立とうとする「マウンティング」の禁止 なお、 「現代数学の系譜 工学物理雑談 古典ガロア理論も読む」 スレッドは本スレッドをもって終了すること
229:１３２人目の素数さん
19/01/05 16:58:46.12 TTJXwFI3.net
＞このようにして、一般の有限m個の箱の数列で、{1,2,・・・,q}とq個の数を入る場合
＞任意のk番目の箱（1 <= k < m）で、的中確率が、1/qが得られました。
当てずっぽでも 1/q なのに、なにか有益な結果が得られたかのように書いてて笑える
相変わらずの馬鹿丸出しｗ
230:１３２人目の素数さん
19/01/05 17:08:24.02 ++mF+Rlt.net
>>215
スレ主が何を書いたところで、我々読者から尊敬されることはないだろう
本スレッドにおけるスレ主絶対王政の時代は終わったのだ
231:１３２人目の素数さん
19/01/05 17:27:08.82 Ok0BQnUW.net
具体例を書いてさらにバカがはっきりした
スレ主は数学向いてない
232:１３２人目の素数さん
19/01/05 17:57:43.18 ++mF+Rlt.net
>>217
スレ主に向いてる板を紹介してやってほしい
この板はスレ主には向いてないから
233:１３２人目の素数さん
19/01/05 19:21:35.28 TTJXwFI3.net
英語圏至上主義のスレ主へ
英語圏では今これが大論争となっている
URLﾘﾝｸ(en.wikipedia.org)
スレ主のようなトンデモがうじゃうじゃいる所、それが英語圏
234:１３２人目の素数さん
19/01/05 19:50:33.22 ++mF+Rlt.net
無限に関する不思議
ある建物があって、1階は1m、2階は1/2m、3階は1/4m、･･･となっており
階数は無限にあるとする。（つまり建物全体の高さは2m）
さて、建物の一番上の天井を引っぺがすと何が見えるだろうか？
235:１３２人目の素数さん
19/01/05 20:07:52.95 TTJXwFI3.net
最上階は存在しないので一番上の天井も無い
無い天井はひっぺ返し様が無い
236:１３２人目の素数さん
19/01/05 20:11:24.50 ++mF+Rlt.net
>>221
最上階は存在しないんですが、2mのところに天井があるんですよｗ
じゃ、その下の床は・・・
237:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/05 20:38:33.33 kRxB+B+U.net
>>31
まあ、先生方も、下記のバナッハ=タルスキーとか、囚人の帽子パズルとか（下記）
数学の”面白話し”は、それが数学として成り立つならば、きちんと論文になったり、講義の資料として採用される
だれかが、頼みに行かなくてもね
だが、数学として成り立たない話しは、基本は採用されないし、論文にもならないってことだね
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
平成27年度(第37回)数学入門公開講座テキスト(京都大学数理解析研究所，平成27年8月3日
バナッハ=タルスキーのパラドックス
小澤登高（おざわなるたか）
(抜粋)
最後に選択公理に関する
パラドックスをもう1 つ紹介しておく。
寄り道. 地獄に囚人が（可算）無限人いる状況を考える。獄卒の鬼がやってきて言うことには、翌日に
次のようなゲームを行い囚人側が勝てば囚人たち全員を解放する、鬼側が勝てば全員を拷問に掛けると
のことである。鬼は先ず囚人全員を広場に集め（地獄は広いので無限の人数が集まれるのだ）、囚人各人
に赤または白の帽子を被せる。囚人たちは自分の帽子の色を知ることはできないが、他の囚人の帽子の
色は全て見ることができる。囚人たちは自分の帽子の色を推測し、全員で一斉にそれが赤か白かを答え
る。もし自分の帽子の色を間違えた囚人の数が有限なら、囚人側の勝ちである。もし間違えた囚人の数
が無限なら、鬼側の勝ちである。ただし、囚人たちはゲームの開始前にはいくらでも作戦を相談してよ
いが、一端ゲームが始まったら意思の疎通は一切禁止されるものとする。はたして囚人たちがこのゲー
ムに必ず勝てる作戦は存在するだろうか？
他の囚人の帽子の色と自分の帽子の色には何の関係もないのだから、自分の帽子の色を推測するのに
使える情報はゼロである。それにも関わらず、驚くべきことに、囚人側がこのゲームに必ず勝てる作戦
が存在するのである。それを以下に述べる。
略
この赤白帽子ゲームの「パラドックス」は、自分が知らないはずのことを予言できるように見えるた
め、バナッハ=タルスキーのパラドックスよりさらに直感に反する。このようなパラドックスをどのよ
うにして納得したらよいのだろうか？
(引用終り)
つづく
238:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/05 20:39:24.26 kRxB+B+U.net
>>223
つづき
（参考関連 無限の囚人と帽子パズル ）
URLﾘﾝｸ(www.slideshare.net)
【数学パズル】 無限の囚人と帽子パズル ～選択公理を使ったトリック～ 時田信一 Published on Jun 24, 2018
URLﾘﾝｸ(en.wikipedia.org)
Hat puzzle
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
数理解析研究所講究録
第 1988 巻 2016 年 43-54
Some remarks on infinite hat guessing games
嘉田勝 (Masaru Kada) 静間荘司 (Souji Shizuma)
大阪府立大学 (Osaka Prefecture University)
URLﾘﾝｸ(souji0426.hatenablog.com)
souji0426さん
第11回「関西すうがく徒のつどい」に参加・発表してきました！ 20181105
(抜粋)
集合論を勉強していたり、帽子パズルを過去に見たことがある人たちからもたくさん質問がもらえました。
ところどころに集合論の中のワード、filterとかideal、連続体仮説、従属選択公理などなどを入れておいたおかげで、そこについての話題も個別に提供できました。
またやはり連続体仮説が登場すると聴講者の反応が良かったのでまた機会があればこの話題に絞りA枠にて「無限帽子パズルと連続体仮説」みたいなプレゼンをするのも楽しそうです。
(引用終り)
以上
239:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/05 20:53:06.35 kRxB+B+U.net
>>206 ミス訂正
決定番号 d>＝2となるのは、x'2=x2の場合で、3^4=81
↓
決定番号 d>＝2となるのは、x'2=x2の場合で、3^3=27
直したつもりだったが、訂正抜けた（＾＾；
まあ、すぐ後の行の
「よって3^3=27通り」が正しいです
240:１３２人目の素数さん
19/01/05 20:53:58.46 ++mF+Rlt.net
スレ主は弱虫だねぇ
自分の誤りを直視できないんだから
逃げてばかりの人生じゃ成功できないよ
241:１３２人目の素数さん
19/01/05 20:56:10.36 ++mF+Rlt.net
【スレ主ホイホイ】
「無限モデルで時枝戦略が実行できない決定番号はズバリ何か？」
いまだに回答しないのは、「存在しないから」ですね
負けを認められないチキンなスレ主 ちっちぇ～
242:１３２人目の素数さん
19/01/05 21:04:11.66 ++mF+Rlt.net
無限個の箱があります
この中で黒い玉が入ってる箱は有限個で
残りの箱には白い玉が入ってるとします
さて、箱の中に黒い玉が入ってる確率は？
243:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/05 21:04:49.95 kRxB+B+U.net
>>221-222
ピエロちゃん、ご苦労さん
ID:TTJXwFI3とID:++mF+Rltと、二つのID使って成り済ましご苦労さん
煽り方がそっくりだよ
頭隠して尻隠さずかよ（＾＾
頑張ってね
このスレを盛り上げておくれ（＾＾；
244:
19/01/05 21:21:33.29 3PxKQYnc.net
>>220
>>222
1 + 1/2 + 1/3 + 1/4 + …
は無限に大きくなる（発散する）から
＞建物全体の高さは2m
は
245:間違いだと思われる。 どこかに書いてあったのなら、URL を教えて欲しい
246:１３２人目の素数さん
19/01/05 21:43:08.38 U3v/GbiR.net
>>230
Σ1/nは発散するが問題文はΣ1/n^2だ
247:１３２人目の素数さん
19/01/05 21:45:26.18 TTJXwFI3.net
>>230
落ち着けｗ
248:
19/01/05 22:04:04.93 3PxKQYnc.net
…
ご指摘感謝いたします
249:１３２人目の素数さん
19/01/05 22:08:27.16 U3v/GbiR.net
Σ1/2^nだ
俺も間違えてしまった
250:１３２人目の素数さん
19/01/05 22:20:28.77 9V9Y0s/J.net
微妙に物理の要素も入ってる？
最上階は存在しないから何もないはずだけど
それがどう見えるか？
真っ暗とか？
251:１３２人目の素数さん
19/01/06 08:05:07.25 8mG/3Ag8.net
>>229
毎度恒例の、敵が同一人物に見える妄想
あきらめて
「無限列では時枝戦略が実行できない決定番号は存在しません
私が間違ってました ごめんなさい」
と認めれば、こんな妄想に悩まされずにすむのにね
252:１３２人目の素数さん
19/01/06 08:09:01.16 8mG/3Ag8.net
>>228
>無限個の箱があります
>この中で黒い玉が入ってる箱は有限個で
>残りの箱には白い玉が入ってるとします
>さて、箱の中に黒い玉が入ってる確率は？
実は１／２じゃないかと
ある箱を選ぶ 選んだ箱以外の箱の有限個が黒玉だとして
選んだ箱に黒玉が入っていてもいなくても条件を満たす
実は無限個の箱のうち任意の有限個を選んだ場合
それら有限個は確率的に独立だと考えられる
253:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/06 08:11:52.31 i3zbRoSi.net
>>204-205 >>208 追加＆補足
・有限モデルで、長さmの数列を考えた場合、q個の数をランダムに入れた場合
その場合の数は、q^mになります
・長さm+1にするとq^(m+1)になります。
・>>208のk番目の箱（1 <= k < m）に対する、時枝記事の解法を使える場合の確率P1kを考えます
長さがm+1になると、場合の数は上記のようにq倍になります。
なので、確率P1kは、P1k/qと1/q倍に減少します
・有限モデルの長さmには上限がありません
いくらでも大きくでき、m+αとして、αを大きくできます
そうすると、P1k/(q^α)となって、P1k/(q^α)はどんどん小さくなり０（ゼロ）に近づきます
・要するに、有限モデルで、長さmをどんどん大きくすると、ある固定されたk番目の箱に対し
時枝記事の解法が使える場合の確率P1kがどんどん小さくなります
・これは、考えてみると当たり前のことで、有限モデルでは同値類は最後のm番目の箱で決定されますから
最後の箱から離れれば離れるほど、同値類内のある数列と代表との一致でkまで一致する確率が小さくなるのだと
・そして、m→∞の極限を考えると、時枝記事の解法が使える場合というのは、殆どゼロの世界だと
・そして、全体として、条件付き確率計算（>>208ご参照）で、どの箱の的中確率も1/qと普通の確率論の結論に一致する
・時枝記事は、単に、m→∞の極限の、時枝記事の解法が使える場合が、殆どゼロの世界を語っているにすぎないのだと
そういう見方ができます
・この見方では、しっぽの同値類が非可測集合になるとか、
あるいは可算無限個の確率変数の独立の定義にイチャモンを付けるとか
そんな議論の入る余地は、全くありません
・なので、時枝記事は”ヨロシクナイ”ということです
以上
254:１３２人目の素数さん
19/01/06 08:17:56.58 g9Q8hzdN.net
スレ主が時枝記事を認めたくないなら
「工学には無限は存在しない！ 俺は無限を認めない！」
て言えばいいのに、何でそうしないの？
255:１３２人目の素数さん
19/01/06 08:18:27.88 8mG/3Ag8.net
>>238
>m→∞の極限を考えると、時枝記事の解法が使える場合というのは、殆どゼロの世界だと
これが、スレ主が3年以上抱き続けた誤りね
m→∞の極限では、最後の箱はどこにあるの？
∞？で∞は自然数なの？ち・が・う・で・しょ
∞で∞＋１が存在しないならペアノの公理に反するよ
∞＝∞＋１としても同様にペアノの公理に反する
極限を考えればいい、というのが間違い
有限モデルでは存在する「最後の箱」が無限モデルでは存在しない
この質的な違いを見過ごして、漫然と極限とか寝言いってると間違う
256:１３２人目の素数さん
19/01/06 08:24:53.46 8mG/3Ag8.net
>>238
＞しっぽの同値類が非可測集合になる
正確には「しっぽの同値類の代表元の集合」が非可測集合になる
無限モデルでは
257:最後の箱が存在しないから 同値類＝最後の箱の中身 という有限モデルでは成り立つ関係が成立しない 無限モデルでは、箱の中身が2種類でも、 同値類は2^N、つまり非可算無限個存在する ＞可算無限個の確率変数の独立の定義 >>228および>>237で 「無限個の確率変数のうち任意有限個が独立」 と思われる状況を考えてみた 無限個全体では 「黒玉の数が有限個」 という制約があるのに その中の任意有限個では 何の制約も存在しない
258:１３２人目の素数さん
19/01/06 08:32:35.17 8mG/3Ag8.net
>>239
＞スレ主が時枝記事を認めたくないなら
＞「工学には無限は存在しない！ 俺は無限を認めない！」
＞て言えばいいのに
端的にいえば
「無限公理は間違ってる！」
って云うってことねｗ
無限公理って結局
・空集合｛｝を要素とする
・ｘが要素なら、ｘ∪｛ｘ｝も要素である
という２条件を満たす集合ωが存在するってことだから
ωはω自身の要素じゃないし、ωの要素の中には
「ωの他の要素すべてを要素としてもつ集合」
も存在しない（つまり最後の元は存在しない）
259:１３２人目の素数さん
19/01/06 08:37:08.63 8mG/3Ag8.net
ところで>>228の例の問題は
「（可算）無限個の箱のうち有限個の箱の中身だけが黒玉」
という事象の全体が可算無限個、という点だろうな
事象すべてが等確率となるように測度を入れることができない
だから>>237の「１／２じゃないか？」は測度論では正当化できない
260:１３２人目の素数さん
19/01/06 08:47:15.47 8mG/3Ag8.net
無限列では、常に時枝記事の解法が使えます
なぜなら時枝記事の解法が使えない唯一の障害である
「最後の箱」が存在しないからです
「最後の箱」が存在する有限列に固執する思考が
無限列では全く無意味であることは明らかです
無限列では「∞番目の箱」という「最後の箱」は存在しません
なぜなら∞は自然数ではないからです
箱に自然数の番号をつけて並べるという方法をとる限り
ペアノの公理により、最後の箱は存在し得ないのです
スレ主はペアノの公理を知らずに間違い、
また知ろうともしなかったために間違いつづけたのです
知らずに間違うのは仕方ありません
しかし知ろうともせずに間違いつづけるのは
怠慢以外の何者でもありません
スレ主が数学板で書き続ける意義は全く認められません
即刻、数学板から退去することを勧告致します
261:１３２人目の素数さん
19/01/06 08:53:57.49 8mG/3Ag8.net
>>235
最上階の床が存在すれば見える筈なんですが
実際にはそんなものは存在しないわけで
何が見えるか、と聞かれると答えようがない
無限が直感を裏切るいい例かもしれません
262:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/06 09:29:59.77 i3zbRoSi.net
>>236
>毎度恒例の、敵が同一人物に見える妄想
些末だが
いかにも、「成り済まし」してましたという”言い訳”に聞こえるよ(後述 ＊））
で、シッポ見えているんですけど（>>229）（下記）
ID:TTJXwFI3とID:++mF+Rltと、二つのIDで全く同じ発言があるよ（＾＾；
(引用開始 抜粋)
>>201 2019/01/05(土) 13:48:01.48 ID:TTJXwFI3 [2/8]
【スレ主ホイホイ】
「無限モデルで時枝戦略が実行できない決定番号はズバリ何か？」
>>227 2019/01/05(土) 20:56:10.36 ID:++mF+Rlt [12/13]
【スレ主ホイホイ】
「無限モデルで時枝戦略が実行できない決定番号はズバリ何か？」
(引用終り)
別に、同一人物が二つ三つのIDを単純に使ったからと言って、文句を言おうという意図ではないんだ
（>>229の意図はね）
いまどき、家のデスクトップからLANケーブルでの接続と、ノートからのWi-Fiと、スマホと
まあ、３つくらいのIDは普通だろうからね
だがしかし
>>210-222 の間、ID:TTJXwFI3とID:++mF+Rltと二つのIDしか登場せず、かつこの二つのIDがほぼ交互に出現しているんだ（＾＾；
いや～、微笑ましいね
”成り済ましそのもの”でしょ？
注：＊）
普通、AさんとBさんと、賢いAさんとバカのBさんと、不等式で書けば A ＞ B
で、AさんとBさんと同一じゃないかと言われたとする
普通、自分の方が賢いと思っているAさんは「おれはBじゃない。あんなバカと一緒にするな」と普通いうでしょ？
で、両方とも自分が賢いと思っていると、二人からそういう発言が来る
そういう反応が全然ないんだよね～、今回は！（＾＾；
263:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/06 09:35:15.43 i3zbRoSi.net
いやー、静かになっちまったね～（＾＾
いまや、踊って発言しているのはピエロ一人か（＾＾；
まあ、おれがプロ固定なら、Hart氏の定理の証明とか、時枝記事に対する決定的なことを書かずに
折角、新スレを立てたところで、結構盛り上がっているところだから
ず～～と、引き延ばしをすれば、それがプロ固定なら、最善の戦略なんでしょうね
まあ、私は全くそんなつもりはないので、悪しからず（＾＾
264:１３２人目の素数さん
19/01/06 09:37:48.95 8mG/3Ag8.net
>>246
妄想乙
>>201(ID:TTJXwFI3)は単にID:++mF+Rltの質問を
【スレ主ホイホイ】と命名しただけ
で、それを見たID:++mF+Rltが
>>227でその名前を採用しただけ
これが「同一人物の証拠」に見えるスレ主は
質問に答えられないストレスで相当病んでいる
といわざるを得ない
で、
「無限モデルで時枝戦略が実行できない決定番号はズバリ何か？」
の答えは？
(蛇足)
ID:TTJXwFI3は、ID:++mF+Rltの質問の意義を認めたから
名前をつけたんでしょう 両者の間に別に優劣をつける
必要性を感じないから、そんな下らない話をしないだけ
スレ主は常に他人との間で優劣を意識するようだが
それってはっきりいって異常ですね
265:１３２人目の素数さん
19/01/06 09:41:37.52 8mG/3Ag8.net
>>247
＞いやー、静かになっちまったね～（＾＾
また妄想に逃げ込んでますね
「無限モデルで時枝戦略が実行できない決定番号はズバリ何か？」
問われ続けてるのに答えないのは、そんな決定番号が存在しないと
スレ主自身分かっているけど、それを認めたら自爆だからでしょ？
もうみえみえですよ おサルのピエロスレ主の行動パターンはｗ
「プロ固定」とかわけのわかんないこといってるけど
この状況は、スレ主のバカっぷりが晒されつづける
スレ主にとって最も恥ずかしい状況だってことを
自覚しましょうね おサルのピエロスレ主ちゃんｗ
266:１３２人目の素数さん
19/01/06 09:49:37.46 8mG/3Ag8.net
>>246
＞>>210-222 の間、二つのIDしか登場せず、
＞かつこの二つのIDがほぼ交互に出現しているんだ
既に多くの数学板読者は、スレ主の芸に飽きてるってことだな
２人くらいしか食いつかないってことだから
そりゃそうだろう ペアノの公理も知らずに、
それに矛盾する発言を何年も繰り返すとか
もう数学板の最底辺レベルですよ 最底辺
まだ正規部分群の定義が理解できないほうがマシなくらい
（正規部分群の定義も日本語が正しく読めれば全然難しくないが）
＞いまどき、家のデスクトップからLANケーブルでの接続と、
＞ノートからのWi-Fiと、スマホと
＞まあ、３つくらいのIDは普通だろうからね
スマホは持ってない Wi-Fiも使ったことない
おサルのスレ主相手に、別回線から書き込みして
人数を増やす意味がない
スレ主は権威バカの上に多数決バカなのか？
自分の知性に自信がないから、
権威とか多数決とかそういう
おかしなものに従ってしまうわけだ
スレ主に数学板は無理 他所にいきな シッシッｗ
267:１３２人目の素数さん
19/01/06 09:52:20.99 Y2Yt4mu1.net
>>247
> ず～～と、引き延ばしをすれば、それがプロ固定なら、最善の戦略なんでしょうね
> まあ、私は全くそんなつもりはないので、悪しからず（＾＾
マッチポンプごくろうさん
スレが静かだったときに関数の芽を持ち出して時枝を話題に持ってきたのお前だよな
268:１３２人目の素数さん
19/01/06 09:57:40.33 8mG/3Ag8.net
スレ主の発言の矛盾
スレ主は>>238で
「無限モデルで時枝記事の解法が使える場合というのは、殆ど（確率）ゼロ」
と言い張る一方
「無限モデルで時枝記事の解法が使えない決定番号はズバリ何か？」
という質問には回答できない
時枝記事の解法が使えない決定番号が存在しないにも関わらず
時枝記事の解法が使える確率がゼロ、というのは明らかな矛盾
つまりスレ主の「m→∞の極限を考える」方法が間違ってる証拠
269:１３２人目の素数さん
19/01/06 10:00:27.58 8mG/3Ag8.net
>>251
スレ主は時枝記事を持ち出すのは自爆行為だという自覚がないのか
それとも自爆承知で自虐芸を披露しているのか？
自虐としても間違いのレベルが低すぎてどうしようもない
ペアノの公理を知らないとか、�
270:r沼としかいいようがない
271:１３２人目の素数さん
19/01/06 10:05:09.07 8mG/3Ag8.net
権威とか多数決とかいう意味でいえば、
スレ主の主張に賛同する人はこのスレにはいないし
スレ主の主張に賛同する大学教員も博士もいない
いまどき「最大の自然数が存在する」なんて小学生でも言わないw
そんなことを認める博士や大学教員がいるならお目にかかりたいもんだｗ
272:１３２人目の素数さん
19/01/06 10:10:51.92 8mG/3Ag8.net
スレ主への勧告
「無限モデルで時枝記事の解法が使える場合というのは、殆ど（確率）ゼロ」
と主張するのであれば、
「無限モデルで時枝記事の解法が使えない決定番号はズバリ何か？」
答えましょう
「∞だ！ペアノの公理は間違ってる」
と答えるのであれば、ペアノの公理から矛盾を導いてください
我々は「非ペアノ自然数論」には興味ありません
スレ主の主張が「非ペアノ自然数論」でのみ成立する事柄であれば
今後「非ペアノ自然数論」スレでも立ち上げて、そこで存分に主張してください
そこにはいっさいお邪魔致しませんのでｗ
273:１３２人目の素数さん
19/01/06 10:14:53.59 8mG/3Ag8.net
蛇足
スレ主にガロアは明らかに荷が重いので、今後HNは
「現代数学の系譜２ ペアノ 数の概念について」
に改められたほうがよろしかろうｗ
274:低学歴超変態食糞愛好家井口千明の連絡先：葛飾区青戸６－２３－１６
19/01/06 11:39:00.31 HlqGsCVU.net
☆★☆【神よこの者たちはもはや人間ではない悪魔であるこのような悪魔どもを一匹残らず殺してくださいお願いします】★☆★
《超悪質！盗聴盗撮・つきまとい嫌がらせ犯罪首謀者の実名と住所／死ねっ!! 悪魔井口・千明っ!!》
【要注意!! 盗聴盗撮・つきまとい嫌がらせ犯罪工作員】
◎井口・千明（東京都葛飾区青戸６－２３－１６）
※盗聴盗撮・嫌がらせつきまとい犯罪者のリーダー的存在／犯罪組織の一員で様々な犯罪行為に手を染めている
低学歴で醜いほどの学歴コンプレックスの塊／超変態で食糞愛好家である／醜悪で不気味な顔つきが特徴的である
【超悪質！盗聴盗撮・嫌がらせつきまとい犯罪者の実名と住所／井口・千明の子分たち】
①宇野壽倫（東京都葛飾区青戸６－２３－２１ハイツニュー青戸２０２）
※宇野壽倫は過去に生活保護を不正に受給していた犯罪者です／どんどん警察や役所に通報・密告してやってください
②色川高志（東京都葛飾区青戸６－２３－２１ハイツニュー青戸１０３）
※色川高志は現在まさに、生活保護を不正に受給している犯罪者です／どんどん警察や役所に通報・密告してやってください
【通報先】
◎葛飾区福祉事務所（西生活課）
〒１２４－８５５５
東京都葛飾区立石５－１３－１
℡０３－３６９５－１１１１
③清水（東京都葛飾区青戸６－２３－１９）
※低学歴脱糞老女：清水婆婆 ☆☆低学歴脱糞老女・清水婆婆は高学歴家系を一方的に憎悪している☆☆
清水婆婆はコンプレックスの塊でとにかく底意地が悪い／醜悪な形相で嫌がらせを楽しんでいるまさに悪魔のような老婆である
④高添・沼田（東京都葛飾区青戸６－２６－６）
※犯罪首謀者井口・千明の子分／いつも逆らえずに言いなりになっている金魚のフン／親子孫一族そろって低能
⑤高橋（東京都葛飾区青戸６－２３－２３）
⑥長木義明（東京都葛飾区青戸６－２３－２０）
⑦若林豆腐店店主（東京都葛飾区青戸２－９－１４）
⑧肉の津南青戸店店主（東京都葛飾区青戸６－３５ー２
275:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/06 11:45:39.30 i3zbRoSi.net
>>251
面白いヤツだね（＾＾
プロ固定
マッチポンプは分るけど
プロ固定は、マッチのみで、ポンプで水かけちゃ、だめでしょうよ～（＾＾
関数の芽の例え話は、自分としては秀逸だと思っているのだが
まあ、この数学板ではレベル高すぎるのか
だれも、乗ってこなかったよね
だ�
276:ｩら、あの話しには、全くレスが付かなかった でもね、レスが付かないというのは、ある意味正しいことの裏付けでもある もし、私が間違っていたら、きっと、「間違っているよ～」とレスが付くと思うから まあ、いまからでも>>23>>25>>26>>27で、間違いだと思う人が居たら、指摘しておくれ（＾＾
277:１３２人目の素数さん
19/01/06 11:54:49.50 VZd+xDT1.net
>>258
バレないようにうまくやるのがプロ固定ですわ、まさにお前のようにね
278:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/06 12:38:29.47 i3zbRoSi.net
>>259
どもありがとう
別に、プロ固定にとって、バレルかバレナイかは、そんなに問題なのかね？
例えば、バレても、レスが沢山つくやり方が良いのか？
バレナイようにやって、レスが付かないのが良いのか？
当然、前者でしょ
あと、数学板ではIDは日替わりだから
このガロアスレに拘らなくても、
バレタラ次の日に、新しいスレ立てやれば、いくらでもやれるでしょ
そもそも、
こんな過疎った数学板に居ることが
プロ固定としてどうなのかね？
他の板に行けば、
１つのスレが１日で消化される
もし、おれがプロ固定なら、そうするけどね
それに、
バレルかバレナイかが大きな問題なら
コテハンとトリップ外せば良いと。簡単な話だよね
実際、ポンプで水かけたから
レス減った
おれは、それで、なんの痛痒も感じないけどね（＾＾
279:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/06 12:46:47.72 i3zbRoSi.net
まあ、プロ固定なら、自分であんなに時間かけて書いたら
コスパが、合わないよね（＾＾
もっと、短文で流していかないと
280:１３２人目の素数さん
19/01/06 12:51:59.86 VZd+xDT1.net
>>260
>例えば、バレても、レスが沢山つくやり方が良いのか？
>バレナイようにやって、レスが付かないのが良いのか？
>当然、前者でしょ
バレないようにやって、レスが付くのが良いに決まってるでしょ
バレてないからまだレスが付いてるんだよプロ固定さん