23/08/11 08:08:18.32 d+amdo+A.net
>>58
>上記「方程式 aX=b a≠0 で、aとbは固定と見ることはできる
> が、一方で aをパラメータと見ることもできる」
だから何？
記事のどこにも方程式 aX=bなんて書かれていない
誤魔化しても無駄
63:１３２人目の素数さん
23/08/11 08:08:37.35 TUfRZ5up.net
>>52-53
スレ主です
＞あなたが否定したいのは「勝つ戦略がある」じゃないんですか？
＞勝つ戦略の存在性を問われていることは理解してる？
違う！
時枝氏が、箱入り無数目の記事の証明で書いている
自然数Nを添え字とする可算無限数列のしっぽの同値類と
決定番号の大小比較による
確率99/100をまず議論しましょう
ということ
そして、すでに述べたように
決定番号の集合D＝N(自然数の集合)
だから、確率の公理を満たすことができない、非正則分布Nを使ってしまっている
そこが、まずいだろうということです
「勝つ戦略がある」のか、ないのか？
それは、箱入り無数目の記事の時枝氏が書いていることが
否定されたあとで
また考えましょうねｗ
64:１３２人目の素数さん
23/08/11 08:12:13.80 rxtETGWs.net
>>32
> 全事象Ω＝Nとして、可算無限の全事象を扱うと何が問題なのか？
残念ながら、箱入り無数目の全事象はNではない
>>33でも指摘されているが
正しくは全事象は
列s_1,…,s_100の以下の100個の項
s_1(D_1),…,s_n(D_100)
ここでD_nは以下のように定義される
(d_1,…,d_100は、それぞれ列s_1,…,s_100)
D_n=MAX({d_1,…,d_100}-{d_n})
つまり100個の箱の中から1つを選ぶだけ
箱の中身s_n(D_n)が
代表元の対応する項r_n(D_n)と
異なるのはたかだか一つ
したがって
s_n(D_N)=r_n(D_n)
となる項を選ぶ確率は
1-1/100=99/100
65:１３２人目の素数さん
23/08/11 08:12:32.99 d+amdo+A.net
>>58
「いかなる回次の出題でも出題列は何かしらに固定されている」
この否定を証明できない限り戦略成立を認めざるを得ないね
はい、がんばって証明してください
方程式？記事に書かれていないものを持ち出して誤魔化してもナンセンス
66:１３２人目の素数さん
23/08/11 08:14:55.15 d+amdo+A.net
>>61
>
67:決定番号の集合D＝N(自然数の集合) 「いかなる回次の出題でも出題列は何かしらに固定されている」だから間違い
68:１３２人目の素数さん
23/08/11 08:15:30.65 TUfRZ5up.net
>>54
＞aを固定と見ることができると認めた時点で、あなたはaをパラメータと見ることを諦めなければならない
やれやれ
>>58に示した”高校数学【2次方程式の解の存在範囲】で
「x についての2次方程式 x^2－2ax－a+2=0 が次のような解をもつとき，定数 a の値の範囲を求めよ」”
の解説を
百回音読してくださいね
高校数学から、復習しましょうねｗ
>代表系の自由度を潰すことについてあなたは拒否できない
「代表系の自由度を潰す」？
意味わからんｗ
出題列 s = (s1，s2，s3 ，・・，sn-1 ，sn ，sn+1 ，・・)>>48
は決まった
だけど、代表を選ぶのは、
回答者の権利であり、自由に選べるというだけですけど？ｗ
69:１３２人目の素数さん
23/08/11 08:17:34.81 rxtETGWs.net
>>37
>全事象Ω＝Nと全体が発散しているときは
>有限部分を取り出しても、加法性が成り立たないし
>確率0の世界の決定番号の大小比較はナンセンスです
まあ、そう慌てなさんな 素人さん
全事象Ωは、Nではなく、
列s_1,…,s_100の以下の100個の項
s_1(D_1),…,s_n(D_100)
であることは>>62で述べた
いかなるs_1､･･･､s_100∈R^Nをとったとしてもそのようになる
これで十分
70:１３２人目の素数さん
23/08/11 08:17:40.92 d+amdo+A.net
>>65
> >>58に示した”高校数学【2次方程式の解の存在範囲】で
>「x についての2次方程式 x^2－2ax－a+2=0 が次のような解をもつとき，定数 a の値の範囲を求めよ」”
>の解説を
>百回音読してくださいね
>高校数学から、復習しましょうねｗ
記事に書かれていないものを持ち出して誤魔化してもナンセンス
71:１３２人目の素数さん
23/08/11 08:19:05.73 d+amdo+A.net
>>65
>だけど、代表を選ぶのは、
>回答者の権利であり、自由に選べるというだけですけど？ｗ
その通り。
だから代表系を予め一つ選んで固定するのも回答者の権利。自由度とか言って勝手に権利を奪ってはダメ。
72:１３２人目の素数さん
23/08/11 08:21:22.54 rxtETGWs.net
>>43
>「箱入り無数目」は決定番号dを使い、従ってD＝Nなる決定番号の集合Dを使っている
然り
>ので、全事象Ω＝D＝Nと解釈できるということ
否
つまり、のでの前と後が論理的につながらない
正しいΩは>>62で示した通り
列s_1,…,s_100の以下の100個の項
s_1(D_1),…,s_n(D_100)
基礎学力（論理の理解）が欠如してますな 素人さん
73:１３２人目の素数さん
23/08/11 08:24:36.38 rxtETGWs.net
>>43
>∀n∈Nで、d＝nなる代表を構成しよう
代表は回答者がその都度勝手に決めるものではない
あらかじめ決まっている そのほうが勝てるから
わざわざ自分から負けに行くのが素人
自分がヘボなだけなのに、だから誰がやっても勝てない、とほざくのが素人
74:１３２人目の素数さん
23/08/11 08:27:47.29 rxtETGWs.net
>>46
＞神の目なら確率にはならないが
＞人は、確率として扱うのです
素人は定義を読まずに、自分勝手に言葉を解釈し、その結果、間違う
75:１３２人目の素数さん
23/08/11 08:27:53.55 d+amdo+A.net
>>65
「いかなる回次の出題でも出題列は何かしらに固定されている」
これを否定できない限りあなたの持論「決定番号の大小の確率計算が破綻している」は破綻します
さあどうします？
76:１３２人目の素数さん
23/08/11 08:32:15.29 TUfRZ5up.net
>>60
>>上記「方程式 aX=b a≠0 で、aとbは固定と見ることはできる
>> が、一方で aをパラメータと見ることもできる」
>だから何？
>記事のどこにも方程式 aX=bなんて書かれていない
>誤魔化しても無駄
だから、決定番号dに自由度があって
dを、パラメータと見ることができる
ってこと
77:１３２人目の素数さん
23/08/11 08:32:20.99 rxtETGWs.net
>>48
>一つの出題において、出題の列は、固定されている
>しかし、別の出題では別の出題になる
>だからのs∈R^Nと書くのでしょ？
箱入り無数目は
任意の「一つの出題」に対する確率計算であって
任意の「全出題」に対する確率計算ではない
素人さんの苦し紛れの「すり替え」には同意しない
78:１３２人目の素数さん
23/08/11 08:35:03.38 rxtETGWs.net
>>48
>代表列の選び方に自由度があるよ
>一つの出題は固定されていてもね
>従って、一つの出題列は固定でも
>決定番号は固定されない（自由度がある）
代表列の選び方は固定する そのほうが勝てるから
わざわざ負けに行く馬鹿はいないよ 素人さん
ついでにいうと、どのような代表列で当たるか負けるかの確率計算は全くしていない
そこが問ではない
79:１３２人目の素数さん
23/08/11 08:38:21.58 rxtETGWs.net
>>51
>方程式 aX=b a≠0 で、aとbは固定と見ることはできるが、
>一方で aをパラメータと見ることもできるよ
箱入り無数目の確率計算はaを定数と見た場合のものとして正しいことは認める？
Yes or No のみで答えられたい
言い訳の文章は一切無用
素人さんの面目など 私にはどうでもいいので
80:１３２人目の素数さん
23/08/11 08:40:21.62 rxtETGWs.net
>>55 ID:wUP+QyaL 負け犬は黙ろうな
君には公理的集合論は無理だから、多変数複素関数論”でも”やってなさい
81:１３２人目の素数さん
23/08/11 08:43:49.11 rxtETGWs.net
>>58
>基礎学力大丈夫か？
素人さんは
見たところ、あなた、数学は高校卒業で終わってますね
大学の微分積分学と線形代数は分かっておられない
なぜ分からなかったか
述語論理と集合論が分かっていないからでしょう
だから論理と集合を用いた「言葉」が理解できなかった
言葉が理解できなきゃ言ってることは理解できませんな
まず言葉の習得から始められては如何？
時間はかかりませんよ
なぜ、素人の皆さんは、言葉の学習を避けるのでしょう？
82:１３２人目の素数さん
23/08/11 08:44:41.97 d+amdo+A.net
>>73
>だから、決定番号dに自由度があって
>dを、パラメータと見ることができる
>ってこと
決定番号が方程式の作法に従わなきゃならない理屈は無い。誤魔化しだ。
83:１３２人目の素数さん
23/08/11 08:48:55.35 rxtETGWs.net
>>61
>>勝つ戦略の存在性を問われていることは理解してる？
> 違う！
突然大声を出してどうされました？素人さん
焦っておられるようですね
でも素人なんだから間違うのは当然でしょう
まさか自分は絶対間違いない、なんて
根拠もなく思ってたんですか？
それ・・・病気ですよ
しかも死に至る病
治しましょうね 死にたくないなら
（つづく）
84:１３２人目の素数さん
23/08/11 08:55:42.54 TUfRZ5up.net
>>59
>主は厄介者の始末を先生にお願いしたが
>先生は内心もはや自分には無理と観念し
>捨て台詞を残して退散
>主は屋根に登ったはしごを外された
おサルさんか>>5
（前々スレより）
ｽﾚﾘﾝｸ(math板:456番)
456１３２人目の素数さん 2023/07/16(日) 16:15:25.90ID:JgPgt5PZ
突然だがここを去ることにする
略
数学は人を賢くしない むしろ卑しい畜生にする
それがわかったから
もはや数学のようなクソには何の興味もない
数学書は全て焼き払う ゴミだからだ
(引用終り)
こうだったねｗ
暫くして、こっそり戻ってきたんだねｗ
・”始末を先生にお願いした”
は、間違いだな
どうも、御大は あまりにも大物すぎて
下手なことをいうと、第二のＹ氏事件になりかねない
つまり、ばったりスタンフォードのＴ氏と鉢合わせしたら
刃傷松の廊下 第二の忠臣蔵にならないとも限らないからねｗ
・先生は内心、「さすがに某Ｎ大（旧帝大）には、こんなレベル低いのはいなかった」
と
まあ、高校数学 ”数スタ
【2次方程式の解の存在範囲】判・軸・端の条件を見極めるのが重要！
【問題】
x についての2次方程式 x^2－2ax－a+2=0 が次のような解をもつとき，定数 a の値の範囲を求めよ。”>>58
から、やり直せ！！ じゃないかな？ｗ
・おサルさんはご存じの通り、このバトルは2015年から続いている7年戦争で
もうすぐ8年になる
・先生の”捨て台詞を残して退散”は、違うんじゃない？
へぼ碁の観戦は しているみたいだよ>>55
・収穫はあった
某プロ数学者が、箱入り無数目の出題文の数当ては不可という
それで、十分だろ？ｗ
85:１３２人目の素数さん
23/08/11 08:57:25.92 d+amdo+A.net
>>73
>だから、決定番号dに自由度があって
>dを、パラメータと見ることができる
>ってこと
パラメータだから変化するから決定番号の全事象＝Nとか訳の分からない理屈を言い出すから困る。
出題ごとに定数（別の出題では別の定数）と認めるならパラメータでもいいよ？
86:１３２人目の素数さん
23/08/11 08:58:32.07 rxtETGWs.net
>>61
> 時枝氏が、箱入り無数目の記事の証明で書いている
> 自然数Nを添え字とする可算無限数列のしっぽの同値類と
> 決定番号の大小比較による確率99/100
> をまず議論しましょうということ
なぜ？
どこが受け入れられませんか？
1. 確率99/100
2. 100のうち1つしか外れがないくじで当たりを選ぶ確率は1-1/100=99/100
3. 100個の自然数の中で、他より大きな数maxは高々１つ
4. 任意の無限列は自然数の決定番号を持つ
5. 2つの無限列について、ある項から先がすべて一致する
という2項関係は同値関係となる
6. 同値類から代表元が選べる（選択公理）
全部受け入れるなら、議論の必要はありません
2.を受け入れるなら1.は受け入れるしかありません
3.を受け入れるなら2.は受け入れるしかありません
4.を受け入れるばら3.は受け入れるしかありません
5.と6.を受け入れるなら4.は受け入れるしかありません
で、受け入れられないのは5.？6.？
87:１３２人目の素数さん
23/08/11 09:01:02.37 d+amdo+A.net
>>81
某偽プロ数学者が、箱入り無数目の出題文の数当ては不可といったところでナンセンスｗ
88:１３２人目の素数さん
23/08/11 09:03:56.13 rxtETGWs.net
>>61
>（全事象の集合は）決定番号の集合D＝N(自然数の集合)
>だから、確率の公理を満たすことができない、非正則分布Nを使ってしまっている
>そこが、まずいだろう
全事象は>>62で述べた
列s_1,…,s_100の以下の100個の項
s_1(D_1),…,s_n(D_100)
したがって、100個の元のそれぞれの単集合に確率1/100を割り振る確率分布が存在する
だから、何もまずくない
使ってないものをまずいといっても、
89:反論にもなんにもならない で、結局素人さんが受け入れられないのは以下のどれ？ 1. 確率99/100 2. 100のうち1つしか外れがないくじで当たりを選ぶ確率は1-1/100=99/100 3. 100個の自然数の中で、他より大きな数maxは高々１つ 4. 任意の無限列は自然数の決定番号を持つ 5. 2つの無限列について、ある項から先がすべて一致する という2項関係は同値関係となる 6. 同値類から代表元が選べる（選択公理）
90:１３２人目の素数さん
23/08/11 09:06:46.78 rxtETGWs.net
>>65
＞代表を選ぶのは、回答者の権利であり、自由に選べるというだけですけど？
一通りに決めるのも、回答者の権利であり、自由に決められますけど？
交通ルールを決める自由も有る
一切の交通ルールを否定するのは自由とはいわない
91:１３２人目の素数さん
23/08/11 09:16:10.26 wUP+QyaL.net
誰も納得できない主張を繰り返す馬鹿が居座り続けているので
議論が続いているのだろうと
やじ馬たちは思っているだろうね
92:１３２人目の素数さん
23/08/11 09:16:47.44 rxtETGWs.net
>>81
＞おサルさんか
素人さん あなたが？
＞暫くして、こっそり戻ってきたんだね
別人ですが何か？
匿名板で人物特定するのは馬鹿のすること
＞収穫はあった
＞某プロ数学者が、箱入り無数目の出題文の数当ては不可という
＞それで、十分だろ？
匿名だろ？どこの誰だかわからんよ 別に知りたくもないがね
もし仮に実名と実際使用してるメールアドレスを記載したとしても
「なりすまし」といわれるだろうね
数学的におかしいことを言ってるから
マイケル・アティヤ氏が最晩年に
「リーマン予想を証明した！」
と発言して騒ぎになったけど、数学者たちはほぼ相手にしなかった
（「証明できていない」と指摘する人もいたが、その人達のトーンも
「残念ながら・・・」というものであった）
いかに多大な業績をあげた数学者であろうとも、年齢には勝てないし
他分野のことについては素人と大して変わらない状況もあり得る
ロジャー・ペンローズは長年「ゲーデルの不完全性定理」が不満だったようで
「人間は機械より賢い！」と主張して量子脳理論に全賭けしたが
他の人たちは黙殺を決め込んだ
サンタクロースの存在を信じる「子供」に
「サンタクロースなんて本当はいないんだよ」
とささやく意地悪はしない 意味ないから
93:１３２人目の素数さん
23/08/11 09:18:21.87 rxtETGWs.net
＞＞87
あなたが理解できないからといって、誰も理解できない、ということにはならない
多変数複素関数論に閉じこもってなさい あなたに無限集合論は全く理解できないから
94:１３２人目の素数さん
23/08/11 09:21:09.85 rxtETGWs.net
＞＞81
＞このバトルは2015年から続いている7年戦争
素人さんが、ほぼ一人で「マチガッテル」と騒いでるだけだな
最近、偽玄人さんが食いついてきたけど、素人さん以上にあさはかなので、
多分認知症じゃないかと思っている
95:１３２人目の素数さん
23/08/11 09:22:17.54 rxtETGWs.net
改めて問う
結局素人さんが受け入れられないのは以下のどれ？
1. 確率99/100
2. 100のうち1つしか外れがないくじで当たりを選ぶ確率は1-1/100=99/100
3. 100個の自然数の中で、他より大きな数maxは高々１つ
4. 任意の無限列は自然数の決定番号を持つ
5. 2つの無限列について、ある項から先がすべて一致するという2項関係は同値関係となる
6. 同値類から代表元が選べる（選択公理）
96:１３２人目の素数さん
23/08/11 09:27:45.05 rxtETGWs.net
今後、素人さんがいいそうな発言
「任意の２つの無限列は尻尾同値」
証明
任意の２つの無限列は、「無限回」の推移律適用で、同値となる
ー
上記の「証明」の誤りは、もちろん「無限回」の推移律適用
数学科出身の人なら誰でもわかることだが、
推論規則の適用は任意有限回に限る
だから「同値だけど決定番号は無い（あるいは∞）」なんてことは絶対ない
あまりにも初歩的な誤りなので見過ごしがちだが
素人は「え？そこから？」みたいなことをいうので
一応釘さしときます
97:１３２人目の素数さん
23/08/11 09:36:43.50 TUfRZ5up.net
>>70
>>∀n∈Nで、d＝nなる代表を構成しよう
> 代表は回答者がその都度勝手に決めるものではない
> あらかじめ決まっている そのほうが勝てるから
> わざわざ自分から負けに行くのが素人
> 自分がヘボなだけなのに、だから誰がやっても勝てない、とほざくのが素人
だからｗ
１）代表は回答者が異なれば、代表は回答者毎に異なるでしょ？
100人いれば100人毎で、1万人なら1万人毎
２）そして、代表には、”当りと外れがある”のは理解している？
100列で、99列の箱を開けて、99列の決定番号の最大値dmaxを得る
残り1列の決定番号dとして
dmax ＞ d となるような 小さいdの代表が 当りの代表（dmax ＝ dもこちら）
dmax ＜ d となるような 大きいdの代表が 外れの代表
３）いま、決定番号の集合Dは、自然数の集合Nと等しいことを思い出そう>>43
可算無限集合N中にある有限の当り 1～dmax を引けるか？
あたかも、無限枚数の宝くじ中の有限枚数の当りを引けるか？ と同じ
それは、確率計算としては当り確率0で、不可能です（∵ 有限dmax/∞＝0）
これが、時枝「箱入り無数目」のトリックです
98:１３２人目の素数さん
23/08/11 09:37:48.53 rxtETGWs.net
とある数学者が実名で出版した本で、選択公理について
「 [選択公理] 超限帰納法を使ってよい
(つまり、ある集合が超限帰納法によって作れるならば、その集合が存在する)」
なんてたわけたこと書いてたりするので、某多変数複素関数論の研究者が
選択公理のステートメントすら知らなくても驚くには値しないかもしれない
・・・嘆かわしい、とは思うが
99:１３２人目の素数さん
23/08/11 09:44:24.73 wUP+QyaL.net
>>92
専門家ぶっているのでお尋ねするが
上江洲忠弘
無限に長い命題を持つ論理について
という論文を知っていますか？
100:１３２人目の素数さん
23/08/11 09:46:39.83 TUfRZ5up.net
>>90
> 素人さんが、ほぼ一人で「マチガッテル」と騒いでるだけだな
> 最近、偽玄人さんが食いついてきたけど、素人さん以上にあさはかなので、
> 多分認知症じゃないかと思っている
それ
面白いコメントだな
碁でも、あまりにもヘボだと、プロとアマの区別がつかない
数学に同じか
101:１３２人目の素数さん
23/08/11 09:53:37.35 wUP+QyaL.net
95には誰も即答できなかったが
だからと言ってこれが
出鱈目な論文だということにはならない
102:１３２人目の素数さん
23/08/11 09:56:15.52 rxtETGWs.net
>>95
聞いたことはある
無限論理、というものでしょう
しかし、通常の数学で用いる論理は、そのようなものではない
（了）
103:１３２人目の素数さん
23/08/11 09:59:09.96 rxtETGWs.net
>>97 お返しに質問
J.-Y. Girardの linear logic はご存知？
で、linear logicでは、ラッセルのパラドックスや嘘つきパラドックスはパラドックスでない
なぜだか、ご存知？
104:１３２人目の素数さん
23/08/11 10:01:47.04 rxtETGWs.net
>>98
コメントが明後日
「将棋がプロだから囲碁でもプロ」
とはいえない
＞・・・に同じ
あんた、田舎どこ？
それ方言だよ
標準語では「・・・も同じ」
105:１３２人目の素数さん
23/08/11 10:12:51.96 wUP+QyaL.net
>>99
質問の趣旨は「無限に長いというだけで出鱈目と決めつけるのはよくない」
ということ
>>J.-Y. Girardの linear logic はご存知？
知らない。しかしだからと言って興味がわかないわけではない。
ラッセルのパラドックスをパラドックスでなくするように
集合概念が整備されたというのが常識だと思っていたが
それとは違う考え方があるというのなら面白い。
106:１３２人目の素数さん
23/08/11 10:20:27.02 wUP+QyaL.net
>>94
>>某多変数複素関数論の研究者が
>>選択公理のステートメントすら知らなくても驚くには値しないかもしれない
上江洲先生の論文を目にしたのはリーマンの写像定理を
教えてもらう2年以上前
その頃はツォルンの補題と選択公理の同値性の証明を読んでいた。
107:１３２人目の素数さん
23/08/11 10:30:04.45 d+amdo+A.net
>>93
>３）いま、決定番号の集合Dは、自然数の集合Nと等しいことを思い出そう>>43
> 可算無限集合N中にある有限の当り 1～dmax を引けるか？
引く必要は無い 出題列が固定された瞬間から定数だから
デタラメのゴマカシはダメ
108:１３２人目の素数さん
23/08/11 10:33:26.59 TUfRZ5up.net
>>91
スレ主です
お答えします
Q1 確率99/100
A1 100個の決定番号 d1～d100(全て異なるとする) から
最大のものを選ぶ確率は1/100で、最大でないものを選ぶ確率は99/100
しかしながら、決定番号の集合D＝N（自然数の集合）で、全体は可算無限だよ
だから、パラドックスになる
ここを説明すると、d1～d100の最大値をmとする
いま、有限集合Nn ＝{1,2,・・,m,・・,n}を考える
数え上げで、Nnの濃度はn
nを十分大きくとれば、相対的にmは小さくできる
n→∞とすれば、Nn→N(自然数の集合)とできて、mは相対的に無限小になる
Q2 100のうち1つしか外れがないくじで当たりを選ぶ確率は1-1/100=99/100
A2 回答は、A1の通り
Q3 100個の自然数の中で、他より大きな数maxは高々１つ
A3 回答は、A1の通り
Q4 任意の無限列は自然数の決定番号を持つ
A4 その議論は、前スレでしたろう？ 例えば 前スレ824より
”可算無限個というだけでは
自然数全体の集合
1,2,3,・・・,n,・・・と
有理数全体の集合は区別できない。
これらの間に全単射が存在するからである。
しかし順序集合としては全く別のものである。”
蛇足だが、自然数Nを奇数列と偶数列の二つに並べ替える
並べ替えた列を、直列につなぐ
s1,s3,s5,・・・s2,s4,s6,・・・
この場合、改めて列に先頭から自然数Nで番号付けすると、奇数列で終わる
一方、決定番号は 明らかに偶数列中に存在するから、自然数Nでは不足は明らか
つづく
109:１３２人目の素数さん
23/08/11 10:33:42.24 TUfRZ5up.net
つづき
Q5 2つの無限列について、ある項から先がすべて一致するという2項関係は同値関係となる
A5 無限列が自然数Nで添え字付けできる場合は、同意するが
取りあえず”自然数Nで添え字付けできる場合”に、限定した方が良いと思うよ
それ以上の順序数を言い出したら収拾つかんぜ（A4ご参照）
Q6 同値類から代表元が選べる（選択公理）
A6 同値類から代表元が選べる は、可
但し、フルパワー選択公理は、大は小を兼ねるで、使いたければ使え
同値類が100個だけなら、フルパワー選択公理でなく、有限選択で済ます便法があるし
Sergiu Hart
URLﾘﾝｸ(www.ma.huji.ac.il)
Some nice puzzles:
URLﾘﾝｸ(www.ma.huji.ac.il)
Choice Games November 4, 2013
”A similar result, but now without using the Axiom of Choice.GAME2”
で、選択公理なしで同じことが成り立つことを主張している
以上
110:１３２人目の素数さん
23/08/11 11:00:50.33 TUfRZ5up.net
>>100
>「将棋がプロだから囲碁でもプロ」
>とはいえない
それは、望月IUTには当てはまる
しかし、時枝「箱入り無数目」は
数学セミナーのヨタ記事で、高校生からせいぜい大学学部レベルなので、当てはまらないな
>＞・・・に同じ
> それ方言だよ
> 標準語では「・・・も同じ」
下記"右に同じ"と類似表現だよ
(参考)
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
chiebukuro.yahoo
rev********さん
2010/3/31 22:00
右に同じって言葉はありますけど左に同じって言葉はないんですか？
というよりなぜ右に同じって言うんですか？
ベストアンサー
2010/4/1 6:28
今は横書きが多くなっていますが、元々日本では、文章を縦書きに書いていました。縦書きの場合には、右から書いていきます。そうすると、先に書いたことは、後に書いたことより右側にあることになります。
そこから、縦書きの文章で「それより前の部分」、または「それより前に記したこと」を「右」というのです。今書いている部分よりも、「右の列」に書かれていることだからです。
111:１３２人目の素数さん
23/08/11 11:05:33.78 d+amdo+A.net
>>104
>A1 100個の決定番号 d1～d100(全て異なるとする) から
> 最大のものを選ぶ確率は1/100で、最大でないものを選ぶ確率は99/100
> しかしながら、決定番号の集合D＝N（自然数の集合）で、全体は可算無限だよ
> だから、パラドックスになる
> ここを説明すると、d1～d100の最大値をmとする
> いま、有限集合Nn ＝{1,2,・・,m,・・,n}を考える
> 数え上げで、Nnの濃度はn
> nを十分大きくとれば、相対的にmは小さくできる
> n→∞とすれば、Nn→N(自然数の集合)とできて、mは相対的に無限小になる
あんたは開けてない箱をなぜか特別扱いする
では、すべての箱を開けた状態で、すなわち100列の決定番号がすべて既知の状態で、100列のいずれかをランダム選択し、
最大の決定番号の列を選ぶ確率は1/100であることは認めるか？
112:１３２人目の素数さん
23/08/11 14:37:59.67 rxtETGWs.net
>>99
>「無限に長いというだけで出鱈目と決めつけるのはよくない」
で、まさか、上江洲氏の論理で
「任意の２つの無限列が尻尾同値である」
と証明したのかね？君は
そうでないなら、いうだけ無駄
利口ぶった馬鹿って迷惑なだけだから
113:１３２人目の素数さん
23/08/11 14:39:27.58 TUfRZ5up.net
>>107
>あんたは開けてない箱をなぜか特別扱いする
�
114:ﾈぜか？ってｗ 開けてない箱と開けている箱とは、扱いは全く異なるよ 例えて言えば、マージャンで、オープンリーチという変則ルールがある 普通のリーチと扱いは全く異なるよ (参考) https://ja.wikipedia.org/wiki/%E7%AB%8B%E7%9B%B4 立直（リーチ、拼音: Lìzhí、ローマ字: riichi）は、日本式麻雀において、聴牌（テンパイ）を宣言する行為、および、その宣言によって成立する役である。1翻。 オープン立直 オープンリーチは、リーチする際に手牌を他家に公開することにより、通常のリーチを1翻増しとするローカルルールである >では、すべての箱を開けた状態で、すなわち100列の決定番号がすべて既知の状態で、100列のいずれかをランダム選択し、 >最大の決定番号の列を選ぶ確率は1/100であることは認めるか？ その問いが意味を成していないので （すべての箱を開けたら数当ては簡単だ） 補足ルールを決める 「箱の数当ては、かならず代表の箱の数を通して行うこと」 （箱の数を見ても良いが、見た数を直接答えるのは不可とする） その上で 簡単な話で、代表は出題列と同じにして、全てを決定番号d=1とすれば良い こうすれば、出題列のしっぽの好きな部分を見て、出題の箱と同じ番号の 代表列の箱の数を見て あるk番目の箱について、代表列のk番目の箱の数＝出題列のk番目の箱の数とすれば良い これで終わりだ
115:１３２人目の素数さん
23/08/11 14:40:00.42 TUfRZ5up.net
ところで、非正則事前分布たる自然数N（それは決定番号の集合Dでもある(>>104などご参照）)
を使うとパラドックスになる
１）＜自然数Nの平均値のパラドックス＞
例えば、平均値が無限大(∞)に発散している
だから、ランダムに選んだ 決定番号d1,d2.d3,・・の平均値を考えると、典型的にはこうなる
d1 < (d1+d2)/2 <・・< (d1+d2+d3・・+dn)/n <・・→∞
つまり、沢山の決定番号を集めて平均すると、nが大きくなると、どんどん、大きくなり発散するのです
２）＜自然数Nのランダム値のパラドックス＞
例えば、平均値が無限大(∞)に発散しているから
ランダムに選んだ 決定番号d1,d2.d3,・・の値を考えると、典型的にはこうなる
d1 < d2 <・・< dn <・・→∞
つまり、有限dnについて、1～dnは有限個、dn～∞は無限個だから
ランダムに選ぶと、dn+1はdn～∞の範囲から選ばれる
かように、非正則事前分布たる自然数Nを使うと、パラドックスが導かれる
時枝「箱入り無数目」も、非正則事前分布たる自然数Nを使う同様のパラドックスです
(参考)>>32より
ｽﾚﾘﾝｸ(math板:221番)
URLﾘﾝｸ(ai-trend.jp)
2020/04/14 AVILEN Inc.
非正則事前分布とは？ 完全なる無情報事前分布
ライター：古澤嘉啓
（全体Ωが発散しているので）確率の和が1ではありません
（注：ここでの非正則事前分布は、一様分布の範囲を→∞に拡大したものです）
116:１３２人目の素数さん
23/08/11 14:44:04.78 d+amdo+A.net
>>109
>その問いが意味を成していないので
>（すべての箱を開けたら数当ては簡単だ）
問い自体は数当てとは独立に成立するから誤魔化しだ
再度問う
すべての箱を開けた状態で、すなわち100列の決定番号がすべて既知の状態で、100列のいずれかをランダム選択し、
最大の決定番号の列を選ぶ確率は1/100であることは認めるか？
117:１３２人目の素数さん
23/08/11 14:44:17.78 rxtETGWs.net
>>９９
>>J.-Y. Girardの linear logic はご存知？
>知らない。
だろうね
>しかしだからと言って興味がわかないわけではない。
それは結構なことだ
>ラッセルのパラドックスをパラドックスでなくするように
>集合概念が整備されたというのが常識だと思っていたが
>それとは違う考え方があるというのなら面白い。
ラッセルパラドックスの解消の仕方はいくつもある
くわしくは
あいまいな本日の私 blog
ラッセルのパラドックス：傾向と対策 (1)
および、これに続く諸々の記事を読んでくれたまえ
なお私は矢田部俊介氏ではない
118:１３２人目の素数さん
23/08/11 14:45:17.93 d+amdo+A.net
>>110
>ところで、非正則事前分布たる自然数N（それは決定番号の集合Dでもある(>>104などご参照）)
>を使うとパラドックスになる
箱入り無数目では使ってないからナンセンス
119:１３２人目の素数さん
23/08/11 14:57:06.87 QGwHTf0R.net
URLﾘﾝｸ(pbs.twimg.com)
120:１３２人目の素数さん
23/08/11 15:16:56.58 d+amdo+A.net
>>109
>その問いが意味を成していないので
>（すべての箱を開けたら数当ては簡単だ
あなたには都合の悪い問いだったかな？
あなたはどうせ答えないので代わりに答えてあげますね
問い
すべての箱を開けた状態で、すなわち100列の決定番号がすべて既知の状態で、100列のいずれかをランダム選択し、
最大の決定番号の列を選ぶ確率は1/100であることは認めるか？
回答
認めざるを得ない
次の問い
列の選び方はどちらもランダム選択なのに確率が異なるのはなぜか？
はい、逃げずに答えてください
逃げるならあなたの持論
>A1 100個の決定番号 d1～d100(全て異なるとする) から
> 最大のものを選ぶ確率は1/100で、最大でないものを選ぶ確率は99/100
> しかしながら、決定番号の集合D＝N（自然数の集合）で、全体は可算無限だよ
> だから、パラドックスになる
> ここを説明すると、d1～d100の最大値をmとする
> いま、有限集合Nn ＝{1,2,・・,m,・・,n}を考える
> 数え上げで、Nnの濃度はn
> nを十分大きくとれば、相対的にmは小さくできる
> n→∞とすれば、Nn→N(自然数の集合)とできて、mは相対的に無限小になる
を放棄したと見做します
よろしく
121:１３２人目の素数さん
23/08/11 15:58:07.50 d+amdo+A.net
>次の問い
>列の選び方はどちらもランダム選択なのに確率が異なるのはなぜか？
どうせあなたはこれにも答えないのでこちらで答えますね
回答
確率が異なるのは間違いです。
列の選び方が同じなのに、箱の中身が見えているか否かだけで異なり様がありません。
はい、あなたの不成立の根拠は崩壊しました。
122:１３２人目の素数さん
23/08/11 16:07:17.05 rxtETGWs.net
テスト
123:１３２人目の素数さん
23/08/11 16:13:20.45 rxtETGWs.net
>>104
> 100個の決定番号 d1～d100(全て異なるとする) から
> 最大のものを選ぶ確率は1/100で、最大でないものを選ぶ確率は99/100
ではQ1からQ3まではあなたが認めたということで議論の余地はなくなりました
124:１３２人目の素数さん
23/08/11 16:17:26.66 rxtETGWs.net
>>104
> 決定番号の集合D＝N（自然数の集合）で、全体は可算無限だよ
このことは正しい
しかしながら
> だから、パラドックスになる
上記の条件からこの結論は導けません
>>62で述べた100列中の100個の箱だけが選択対象です
議論の余地は全くありません
あなたが理解できるまで説明してもかまいませんが
決して議論だと誤解なさらないでくださいね
125:１３２人目の素数さん
23/08/11 16:20:50.96 Ojm7cbzu.net
>>114
今から試してみるわ
126:１３２人目の素数さん
23/08/11 16:23:16.31 rxtETGWs.net
>>104
> Q4 任意の無限列は自然数の決定番号を持つ
> A4 その議論は、前スレでしたろう？
前スレのときはいなかったので知りませんね
> ”可算無限個というだけでは
> 自然数全体の集合 1,2,3,・・・,n,・・・と
> 有理数全体の集合は区別できない。
> これらの間に全単射が存在するからである。
> しかし順序集合としては全く別のものである。”
Q4'.いかなる可算無限集合もNと一対一対応する
これは認めますか？
ならば、いかなる可算無限集合もNに写像して考えればいい
> 蛇足だが、
蛇に足は要らないので削除
Q4'を認めるならばQ4も議論の余地はなくなりました
Q4'を認めないならば、濃度の定義を復習してください
127:１３２人目の素数さん
23/08/11 16:27:55.32 rxtETGWs.net
>>105
>Q5 2つの無限列について、ある項から先がすべて一致するという2項関係は同値関係となる
>A5 無限列が自然数Nで添え字付けできる場合は、同意するが
Q4'.いかなる可算無限集合もNと一対一対応する
これを認めるならば、
いかなる可算無限集合による添字づけもNでの添字づけにできるので
いかなる可算無限列でもあなたは同意したことになる
Q4'を認めるならばQ4だけでなくQ5も議論の余地はなくなりました
Q4'を認めないならば、濃度の定義を復習してください
128:１３２人目の素数さん
23/08/11 16:31:28.58 rxtETGWs.net
>>105
> Q6 同値類から代表元が選べる（選択公理）
> A6 同値類から代表元が選べる は、可
Q6も議論の余地がなくなりました
つまり、あなたは「箱入り無数目」について
全く議論の余地なく認めたことになりました
おめでとう！
129:１３２人目の素数さん
23/08/11 16:40:39.45 rxtETGWs.net
>>119追加
以下のQxを認めますか 認めない場合、反例を示してください
Qx.箱入り無数目で選択出来る箱は
列s_1,…,s_100の以下の100個
s_1(D_1),…,s_n(D_100)
（ここでD_nは以下のように定義される
d_1,…,d_100は、それぞれ列s_1,…,s_100の決定番号
D_n=MAX({d_1,…,d_100}-{d_n})
130:１３２人目の素数さん
23/08/11 17:05:04.04 TUfRZ5up.net
<メモ貼る>
L^2評価式→L^2内積(測度e^-φdλとひねっているが)→数列空間（L^p空間 p=2）
ってことでしょ？ 可算無限数列って、だれかの専門じゃないの？ｗ プロじゃん！ｗ
URLﾘﾝｸ(www.jstage.jst.go.jp)
URLﾘﾝｸ(www.jstage.jst.go.jp)
数学/53 巻 (2001) 2 号
L^2評価式とその幾何学への応用 大沢健夫
Ｐ158
評価式(1)の一般的な成立原理を示唆するものは,L^2内積が複素平面上の特別な測度e^-φdλ(φはC^2級実数値関数でdλはルベーグ測度)
URLﾘﾝｸ(ja.wikipedia.org)
数列空間
関数解析学および関連する数学の分野における数列空間（sequence space）とは、実数あるいは複素数の無限列を元とするベクトル空間のことを言う。
そのような関数すべてからなる集合は、K に元を持つ無限列すべてからなる集合であると自然に認識され�
131:A関数の点ごとの和および点ごとのスカラー倍の作用の下で、ベクトル空間と見なされる。 解析学におけるもっとも重要な数列空間のクラスは、p-乗総和可能数列からなる関数空間 l^p である。 それらの空間は p-ノルムを備え、自然数の集合上の数え上げ測度に対するL^p空間の特別な場合と見なされる。 https://ja.wikipedia.org/wiki/Lp%E7%A9%BA%E9%96%93 L^p空間 数学の分野における Lp 空間（Lp space）とは、有限次元ベクトル空間に対する p-ノルムの自然な一般化を用いることで定義される関数空間である。アンリ・ルベーグの名にちなんでルベーグ空間としばしば呼ばれる[1] が、Bourbaki (1987) によると初めて導入されたのは Riesz (1910) とされている。L^p 空間は関数解析学におけるバナッハ空間や、線型位相空間の重要なクラスを形成する。物理学や統計学、金融、工学など様々な分野で応用されている。 可算無限次元における p-ノルム 詳細は「数列空間」を参照 p-ノルムは、無限個の成分を含むベクトルに対して拡張することが出来、このことが空間 l^p を導く。この空間は特別な場合として、次を含む： ・l^1： 級数が絶対収束するような数列の空間； ・l^2： 二乗総和可能な数列の空間で、ヒルベルト空間でもある；
132:１３２人目の素数さん
23/08/11 17:17:30.78 TUfRZ5up.net
スレ主です
順番にお答えします
>>111
>再度問う
>すべての箱を開けた状態で、すなわち100列の決定番号がすべて既知の状態で、100列のいずれかをランダム選択し、
>最大の決定番号の列を選ぶ確率は1/100であることは認めるか？
A：意図的に(確率論外で)、100個の決定番号d1～d100を与えることはできる
しかし、決定番号d1～d100を与えることは、確率理論の外だ（確率測度の裏付けなし）
よって、確率論としての1/100は不可です
133:１３２人目の素数さん
23/08/11 17:41:28.70 TUfRZ5up.net
>>121
>Q4'.いかなる可算無限集合もNと一対一対応する
>これは認めますか？
>ならば、いかなる可算無限集合もNに写像して考えればいい
>Q4'を認めるならばQ4も議論の余地はなくなりました
>Q4'を認めないならば、濃度の定義を復習してください
スレ主です
あらら、あなた すべっているよ
単なる集合と、順序集合を混同している（下記）
Q4'.いかなる可算無限集合もNと一対一対応する
A4'.Yes 但し、下記>>104より再録
しかし順序集合としては全く別のものである。
蛇足だが、自然数Nを奇数列と偶数列の二つに並べ替える
並べ替えた列を、直列につなぐ
s1,s3,s5,・・・s2,s4,s6,・・・
この場合、改めて列に先頭から自然数Nで番号付けすると、奇数列で終わる
一方、決定番号は 明らかに偶数列中に存在するから、自然数Nでは不足は明らか
(引用終り)
URLﾘﾝｸ(ja.wikipedia.org)
順序集合
半順序集合で全ての2元が比較可能であるものを全順序集合（totally ordered set; toset）という。
全順序の最も簡単な例は、実数における大小関係である。
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
chiebukuro.yahoo
hdf********さん
2012/6/5 15:08
次の質問に答えてください。
?複素数系に全順序はないか？
ベストアンサー
t11********さん
2012/6/5 16:54
>?複素数系に全順序はないか？
ある。通常のように選択公理を仮定すればどんな集合にも整列順序を与えることができますから、特に全順序が与えられます。
もっと具体的には実部→虚部の順で辞書式順序を与えればそれが全順序になるのは明らかです。
134:１３２人目の素数さん
23/08/11 17:44:32.11 TUfRZ5up.net
>>124
スレ主です
それへの回答は、>>126で代用しますｗ
135:１３２人目の素数さん
23/08/11 17:44:39.76 d+amdo+A.net
>>126
任意の実数列の決定番号は自然数であることをあなたは認めましたよね？
決定番号d1～d100を与える？ちょっと何言ってるか分かりません
誤魔化さないでくれます？
136:１３２人目の素数さん
23/08/11 18:21:29.59 TUfRZ5up.net
>>126
スレ主です
>任意の実数列の決定番号は自然数であることをあなたは認めましたよね？
自然数であることは認めるが
決定番号の集合Dは、自然数の集合Nと等しい （D=N）
つまり、Dは非正則事前分布で、”確率の和が1ではありません”
(参考)>>32より
ｽﾚﾘﾝｸ(math板:221番)
URLﾘﾝｸ(ai-trend.jp)
2020/04/14 AVILEN Inc.
非正則事前分布とは？ 完全なる無情報事前分布
ライター：古澤嘉啓
（全体Ωが発散しているので）確率の和が1ではありません
（注：ここでの非正則事前分布は、一様分布の範囲を→∞に拡大したものです）
>決定番号d1～d100を与える？ちょっと何言ってるか分かりません
えーと>>126より「すべての箱を開けた状態で」なので
代表は、出題の列を見て、すきな決定番号diとなる代表列を構成できる
つまり、diより先のしっぽが一致していて、di-1の箱の数が不一致となる代表を構成できる
そういうことです
137:１３２人目の素数さん
23/08/11 18:39:05.52 d+amdo+A.net
>>130
>つまり、Dは非正則事前分布で、”確率の和が1ではありません”
一体何の話をしてるんですか？
>代表は、出題の列を見て、すきな決定番号diとなる代表列を構成できる
それはダメだと何度言えば
時枝戦略では代表系は回答者が予め定めるので後から変更できません
いいですか？
100列とその決定番号が定数として与えられています。
100列のいずれかをランダム選択したとき、最大決定番号の列を選ぶ確率は？
その確率は箱が開けられている場合と開けられていない場合で異なるか？
はい、誤魔化さず答えてください
138:１３２人目の素数さん
23/08/11 18:39:58.96 d+amdo+A.net
ほんと手に負えない馬鹿ですね
139:１３２人目の素数さん
23/08/11 19:12:04.99 rxtETGWs.net
>>127
> Q4'.いかなる可算無限集合もNと一対一対応する
> A4'.Yes
では回答者の並べ替えによって
R^Nで考えることにも全く議論の余地はありません
> 但し、しかし順序集合としては全く別のものである。
意味ありません 回答者が箱をどう並べようと自由です
出題者の並べた順序を維持する必要は全くありません
あなた すべりまくってますよ
140:１３２人目の素数さん
23/08/11 19:12:21.19 TUfRZ5up.net
>>132
>ほんと手に負えない馬鹿ですね
ありがとね
ひょっとして、世界的な数学者で
数列空間（L^p空間 p=2）のプロ数学者らしき人>>125
と私とを同じ側においてくれてｗ
>>131
>>つまり、Dは非正則事前分布で、”確率の和が1ではありません”
>一体何の話をしてるんですか？
決定番号を使う確率計算が
確率理論に則していないってことです
141:１３２人目の素数さん
23/08/11 19:21:34.63 rxtETGWs.net
>>124
>以下のQxを認めますか 認めない場合、反例を示してください
>Qx.箱入り無数目で選択出来る箱は
> 列s_1,…,s_100の以下の100個
> s_1(D_1),…,s_n(D_100)
> （ここでD_nは以下のように定義される
> d_1,…,d_100は、それぞれ列s_1,…,s_100の決定番号
> D_n=MAX({d_1,…,d_100}-{d_n})
>>126
> 意図的に(確率論外で)、100個の決定番号d1～d100を与えることはできる
> しかし、決定番号d1～d100を与えることは、確率理論の外だ（確率測度の裏付けなし）
> よって、確率論としての1/100は不可です
では質問
以下のどれに議論の余地がありますか？
Qx1. 100列s1～s100と代表元の選択関数を決めれば、100列の決定番号d1～d100が決まる
Qx2. 100個の自然数d1～d100から、
100個の自然数D_n=MAX({d_1,…,d_100}-{d_n})が決まる
Qx3. 100列s1～s100と、100個の自然数D1～D100から、
100個の箱s1(D1)～s100(D100)
Qx4. 100個の箱s1(D1)～s100(D100)のそれぞれを等確率で選ぶ確率分布が存在する
142:１３２人目の素数さん
23/08/11 19:22:53.17 rxtETGWs.net
>>132 ほんと手に負えない馬鹿ですね
143:１３２人目の素数さん
23/08/11 19:25:02.70 rxtETGWs.net
では質問
以下のどれに議論の余地がありますか？
Qx1. 100列s1～s100と代表元の選択関数を決めれば、100列の決定番号d1～d100が決まる
Qx2. 100個の自然数d1～d100から、
100個の自然数D_n=MAX({d_1,…,d_100}-{d_n})が決まる
Qx3. 100列s1～s100と、100個の自然数D1～D100から、
100個の箱s1(D1)～s100(D100)
Qx4. 100個の箱s1(D1)～s100(D100)のそれぞれを等確率で選ぶ確率分布が存在する
144:１３２人目の素数さん
23/08/11 19:51:25.28 rxtETGWs.net
では質問
以下のどれに議論の余地がありますか？
Qx1. 100列s1～s100と代表元の選択関数を決めれば、100列の決定番号d1～d100が決まる
Qx2. 100個の自然数d1～d100から、
100個の自然数D_n=MAX({d_1,…,d_100}-{d_n})が決まる
Qx3. 100列s1～s100と、100個の自然数D1～D100から、
100個の箱s1(D1)～s100(D100)
Qx4. 100個の箱s1(D1)～s100(D100)のそれぞれを等確率で選ぶ確率分布が存在する
145:１３２人目の素数さん
23/08/11 19:51:42.29 TUfRZ5up.net
>>137
スレ主です
お答えします
Qx1. 100列s1～s100と代表元の選択関数を決めれば、100列の決定番号d1～d100が決まる
Ax1. d1～d100が決まっても、選択関数では、関数の可測性の保証がないので、確率測度の計算に使えない
Qx2. 100個の自然数d1～d100から、
100個の自然数D_n=MAX({d_1,…,d_100}-{d_n})が決まる
Ax2. ？ d1とd_1との違いは？
Qx3. 100列s1～s100と、100個の自然数D1～D100から、
100個の箱s1(D1)～s100(D100)
Ax3. ？ 問いになってないよね
Qx4. 100個の箱s1(D1)～s100(D100)のそれぞれを等確率で選ぶ確率分布が存在する
Ax4. ？ 問いになってない？ 自分できちんと、確率空間書いて、確率を定義して、確率分布計算しろよ
146:１３２人目の素数さん
23/08/11 19:51:51.00 rxtETGWs.net
Qx1. 100列s1～s100と代表元の選択関数を決めれば、100列の決定番号d1～d100が決まる
147:１３２人目の素数さん
23/08/11 19:58:54.32 rxtETGWs.net
>>139
>Qx1. 100列s1～s100と代表元の選択関数を決めれば、100列の決定番号d1～d100が決まる
>Ax1. d1～d100が決まっても、
決まるか決まらないか、YesかNoでお答えください
>選択関数では、関数の可測性の保証がないので、確率測度の計算に使えない
選択関数は確率計算に全くつかってませんが
もしかして全く理解できてませんでしたか？
>Qx2. 100個の自然数d1～d100から、
> 100個の自然数D_n=MAX({d_1,…,d_100}-{d_n})が決まる
>Ax2. ？ d1とd_1との違いは？
同じです
Qx2. 100個の自然数d1～d100から、
100個の自然数D_n=MAX({d1,…,d100}-{dn})が決まる
Yes or No?
>Qx3. 100列s1～s100と、100個の自然数D1～D100から、
> 100個の箱s1(D1)～s100(D100)
>Ax3. ？ 問いになってないよね
Qx3. 100列s1～s100と、100個の自然数D1～D100から、
100個の箱s1(D1)～s100(D100)が決まる
Yes or No?
>Qx4. 100個の箱s1(D1)～s100(D100)のそれぞれを等確率で選ぶ確率分布が存在する
>Ax4. ？ 問いになってない？ 自分できちんと、確率空間書いて、確率を定義して、確率分布計算しろよ
問になってます
確率空間は100個の箱s1(D1)～s100(D100)からなる集合 はい書きました 自明ですが
確率分布はそれぞれの箱が1/100の確率 はい書きました 自明ですが
上記の確率分布は存在しないと断言する証拠があなたに挙げられますか？
148:１３２人目の素数さん
23/08/11 20:04:05.35 rxtETGWs.net
Qx2. 100個の自然数d1～d100から、
100個の自然数D_n=MAX({d1,…,d100}-{dn})が決まる
Yes or No?
Qx3. 100列s1～s100と、100個の自然数D1～D100から、
100個の箱s1(D1)～s100(D100)が決まる
Yes or No?
Qx4. 100個の箱s1(D1)～s100(D100)からなる集合を確率空間とし
それぞれの箱が1/100の確率で選ばれる確率分布が存在する
Yes or No?
149:１３２人目の素数さん
23/08/11 20:07:20.42 rxtETGWs.net
Qx2. 100個の自然数d1～d100から、
100個の自然数D_n=MAX({d1,…,d100}-{dn})が決まる
Yes or No?
150:１３２人目の素数さん
23/08/11 20:07:36.50 rxtETGWs.net
Qx3. 100列s1～s100と、100個の自然数D1～D100から、
100個の箱s1(D1)～s100(D100)が決まる
Yes or No?
151:１３２人目の素数さん
23/08/11 20:08:07.18 rxtETGWs.net
Qx4. 100個の箱s1(D1)～s100(D100)からなる集合を確率空間とし
それぞれの箱が1/100の確率で選ばれる確率分布が存在する
Yes or No?
152:１３２人目の素数さん
23/08/11 20:25:13.83 TUfRZ5up.net
>>141-145
>>Ax1. d1～d100が決まっても、
> 決まるか決まらないか、YesかNoでお答えください
付帯条件付きで回答します！
d1～d100は決まるが
d1～d100が決まっても、選択関数では、関数の可測性の保証がないので、確率測度の計算に使えない
もし、確率測度の計算に使えると主張するならば、
d1～d100を具体的に書き下すよう要求しますｗ
>>選択関数では、関数の可測性の保証がないので、確率測度の計算に使えない
> 選択関数は確率計算に全くつかってませんが
> もしかして全く理解できてませんでしたか？
ならば、あなたの主張する確率計算を
確率空間から初めて、すべて書き下すよう要求しますｗ
>>Qx2. 100個の自然数d1～d100から、
>> 100個の自然数D_n=MAX({d_1,…,d_100}-{d_n})が決まる
>>Ax2. ？ d1とd_1との違いは？
> 同じです
では、書き直してください
>Qx2. 100個の自然数d1～d100から、
> 100個の自然数D_n=MAX({d1,…,d100}-{dn})が決まる
MAX({d1,…,d100}-{dn})の定義がない
>Qx3. 100列s1～s100と、100個の自然数D1～D100から、
> 100個の箱s1(D1)～s100(D100)が決まる
s1(D1)～s100(D100)の記号の意味わからん
> 確率空間は100個の箱s1(D1)～s100(D100)からなる集合 はい書きました 自明ですが
確率論の確率空間の定義を調べて、それに則って書け。上記は零点ですよ
> 上記の確率分布は存在しないと断言する証拠があなたに挙げられますか？
確率論の確率空間の定義が書けていないのに
確率分布に言及するとは、これいかに
153:１３２人目の素数さん
23/08/11 20:40:02.79 rxtETGWs.net
>>146
>> 決まるか決まらないか、YesかNoでお答えください
>d1～d100は決まる…
Yesですね
「が」以降は割愛します 確率計算に全く用いていませんから
>>Qx2. 100個の自然数d1～d100から、
>> 100個の自然数D_n=MAX({d1,…,d100}-{dn})が決まる
>MAX({d1,…,d100}-{dn})の定義がない
MAX(S)は、Sの要素中の最大値を返す関数
{d1,…,d100}-{dn}は
集合{d1,…,d100}から集合{dn}の要素を除いた差集合
これで答えられますね Yes or No?
>>Qx3. 100列s1～s100と、100個の自然数D1～D100から、
>> 100個の箱s1(D1)～s100(D100)が決まる
>s1(D1)～s100(D100)の記号の意味わからん
列sについてs(n)はsのn番目の項を指します
これで答えられますね Yes or No?
>> 確率空間は100個の箱s1(D1)～s100(D100)からなる集合 はい書きました 自明ですが
>確率論の確率空間の定義を調べて、それに則って書け。
（S,E,P）の三つ組なら、Sは上記の通り、Eはその冪集合、
PはSの単集合に1/100を付与した測度
これで答えられますね Yes or No?
154:１３２人目の素数さん
23/08/11 20:41:45.52 rxtETGWs.net
>>146
＞選択関数では、関数の可測性の保証がないので、確率測度の計算に使えない
選択空間は、確率測度の計算に全く使用してないので、可測である必要がない
155:１３２人目の素数さん
23/08/11 21:09:02.88 rxtETGWs.net
ID:TUfRZ5up
もうYesかNoか答えるしかないよ
ニヤニヤ
156:１３２人目の素数さん
23/08/11 21:16:50.25 d+amdo+A.net
時間稼ぎかな？
157:１３２人目の素数さん
23/08/11 22:50:58.84 TUfRZ5up.net
>>147-150
スレ主です
言いたいことは、それだけかな？ｗ
では、こちらから
マジックでは「種も仕掛けもありません」
は常套句です
(参考)
URLﾘﾝｸ(youtu.be)
貫通マジック種明かし
日本一のマジシャン ポンチ 2023/03/15
@user-nd3fd3jq2e
4 か月前
マジックって凄いですね。
目から鱗です
(引用終り)
さて、衆目の一致するところ
時枝「箱入り無数目」の種と仕掛けは、決定番号です
要するに、99列の箱を開けて、99個の決定番号を得て
その最大値dmaxを得る
残りの1列のしっぽで、dmax+1以降の箱を開けて
しっぽの情報から、残りの1列の同値類の代表を得る
この代表による決定番号をdとして
d ＜ dmax であれば、代表のdmax番目の箱の中の数と
残りの1列のdmax番目の箱の中の数とが一致して、めでたく的中ですがｗ
しかし、これがトリックで
決定番号の集合Dは、自然数Nと同様、非正則事前分布なのです
平均値が発散しているので
確率的には「dmax ＜ d」となります
（要するに、開けてしまった列の決定番号dmax ＜ 未開封の列の決定番号d となります）
（更に付言すれば、未開封の列の決定番号dの期待値が、非正則事前分布では発散しているので、「dmax ＜ d」ってことです）
これは、平均値が発散していることによるパラドックスです
（詳しくは>>110をご参照下さい）
(参考)>>32より
ｽﾚﾘﾝｸ(math板:221番)
URLﾘﾝｸ(ai-trend.jp)
2020/04/14 AVILEN Inc.
非正則事前分布とは？ 完全なる無情報事前分布
ライター：古澤嘉啓
（全体Ωが発散しているので）確率の和が1ではありません
（注：ここでの非正則事前分布は、一様分布の範囲を→∞に拡大したものです）
158:１３２人目の素数さん
23/08/11 23:18:51.09 d+amdo+A.net
>>151
>未開封の列の決定番号dの期待値が、非正則事前分布では発散しているので、「dmax ＜ d」ってことです
ほらまた未開封を特別扱いしている
そしてすべての箱が開封済みだったらどうなるか、という質問には誤魔化して答えない
終わりだよ 君の負け
159:１３２人目の素数さん
23/08/11 23:25:32.00 TUfRZ5up.net
>>152
ふふふｗｗｗ
数学は、ディベートではない
ソクラテスメソッドでもない（下記）
つまらん問答を必要としない
正しい主張（証明）があれば
それが全てです
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
ソクラテス式問答法 英: Socratic method ソクラテス式討論〔英: Socratic debate〕）は古代ギリシアの哲学者ソクラテスに因んで名づけられた探究の方式であり、個人間の議論の方式である。
160:１３２人目の素数さん
23/08/11 23:28:10.29 d+amdo+A.net
>>151
開封済みだろうが未開封だろうが、選択者の意思が一切反�
161:fされないランダム選択なら確率は1/100のはず（これを否定したら馬鹿） よって >未開封の列の決定番号dの期待値が、非正則事前分布では発散しているので、「dmax ＜ d」ってことです は大間違い はい、終了
162:１３２人目の素数さん
23/08/11 23:29:54.76 d+amdo+A.net
>>153
>正しい主張（証明）があれば
>それが全てです
その通り
時枝証明は正しいのでそれで全てです
一方
>未開封の列の決定番号dの期待値が、非正則事前分布では発散しているので、「dmax ＜ d」ってことです
は大間違いです
はい、終了
163:１３２人目の素数さん
23/08/11 23:35:24.15 d+amdo+A.net
ランダム選択なら選択者の意思が一切反映されないんだから、開封済みで中身が見えてるとか未開封で中身が見えてないとか一切無関係なく、最大決定番号の列を選ぶ確率は1/100
これを否定したら馬鹿
やっと理解できたかね？サルくん
164:１３２人目の素数さん
23/08/11 23:35:26.27 TUfRZ5up.net
手品師の
「種も仕掛けもありません」
という常套句は
聞き飽きたよｗｗｗ
165:１３２人目の素数さん
23/08/11 23:38:07.00 d+amdo+A.net
不成立派が完全論破されてしまいましたので以上をもって箱入り無数目は終了です
長い間有難うございました
おサルさんは約束守って数学板から去って下さいね
166:１３２人目の素数さん
23/08/12 05:52:44.12 Mm3ulIKD.net
>>158
きみの敗北宣言
167:１３２人目の素数さん
23/08/12 06:25:12.47 /GzAOWl3.net
負け犬現る
168:１３２人目の素数さん
23/08/12 06:50:18.48 fmL7VjG2.net
以下3点について反論がないんで
Yesと認めたってことでいいね
Qx2. 100個の自然数d1～d100から、
100個の自然数D_n=MAX({d1,…,d100}-{dn})が決まる
(MAX(S)は、集合Sの要素中の最大値を返す関数
{d1,…,d100}-{dn}は集合{d1,…,d100}から集合{dn}の要素を除いた差集合)
Qx3. 100列s1～s100と、100個の自然数D1～D100から、
100個の箱s1(D1)～s100(D100)が決まる
(s(n)は列sのn番目の項を指す)
Qx4. 確率空間(S,E,P)が存在する
Sは100個の箱s1(D1)～s100(D100)からなる集合
EはSの冪集合
PはSの単集合に1/100を付与した測度
169:１３２人目の素数さん
23/08/12 07:03:56.77 fmL7VjG2.net
>>151
>時枝「箱入り無数目」の種と仕掛けは、決定番号です
>決定番号の集合Dは、自然数Nと同様、非正則事前分布なのです
>平均値が発散しているので、確率的には「dmax ＜ d」となります
無限列全体の空間における決定番号の分布を
真っ先に考えるのが誤りですな
無限列は100列に限定するので
決定番号も100個に限定して構いません
>>105 Q6に対するA6
「フルパワーの選択公理は要らない
100列の代表列さえあればいい」
というのと同じ
「フルの決定番号分布は要らない
100列の決定番号さえあればいい」
したがって100個の自然数の分布を考えるだけ
100個の自然数から1個を選んだとき
必ず単独最大値が選ばれるとしたら
オカルトですね
そのようなことが可能なら
任意の100個の自然数ni(i=1～100)に対して
1～niまで1、その先の桁が0
という無限列100列を用意し
箱入り無数目を実施すれば
回答者がかならず100個の自然数の最大値を選ぶことになる
つまり自然数の有限集合Sのサイズに関わらず
S中の要素の最大値が定数オーダーで選べる
イッツ・ミラクル！
170:１３２人目の素数さん
23/08/12 07:09:22.05 fmL7VjG2.net
>>153
>数学は、ディベートではない ソクラテスメソッドでもない
>つまらん問答を必要としない
>>27
>謎のプロ数学者さんが来て、ここで一段落まで議論する方が面白いのでは
とんだダブスタ
自称教授の不規則発言こそ、議論ではなくただのイチャモン
数学的に全くつまらんので不要
171:１３２人目の素数さん
23/08/12 07:11:09.41 fmL7VjG2.net
>>157
素人の
「決定番号の集合Dは、自然数Nと同様、非正則事前分布」
とかいうトンチンカンなイチャモン聞き飽きたよ
172:１３２人目の素数さん
23/08/12 07:12:24.73 fmL7VjG2.net
ID:Mm3ulIKD は
公理的集合論なんて高尚な理論は無理だから
低俗な多変数複素関数論でもやってなさい
173:１３２人目の素数さん
23/08/12 07:33:44.24 fmL7VjG2.net
>>165
もちろん冗談
他の数学諸分野と違って公理的集合論は蔑ろにされているので皮肉で書いてみた
174:１３２人目の素数さん
23/08/12 08:11:17.57 fmL7VjG2.net
♪ブーメラン ブーメラン ブーメラン ブーメラン
きっと、言葉は戻ってくるだろぉ~
●「フルパワーの選択公理は要らない 100列の代表列さえあればいい」
◯「フルの決定番号分布は要らない 100列の決定番号さえあればいい」
175:１３２人目の素数さん
23/08/12 08:18:23.77 fmL7VjG2.net
このスレは終了いたしました
「箱入り無数目」など、選択公理の適用による非常識な結論が許せん人は
以下のスレッドにて文句たれまくってください 暇なら相手します
選択公理っておかしくないですか？
ｽﾚﾘﾝｸ(math板)
176:１３２人目の素数さん
23/08/12 08:18:43.68 //VgqduW.net
>>158-159
>きみの敗北宣言
はい、ありがとうございます
スレ主です
謎のプロ数学者氏の「(相手の)敗北宣言」判定が出ました
よって、ここに”時枝「箱入り無数目」”論争の終結宣言をします
あとは、スレタイ 箱入り無数目を語る部屋7 へ移ります
ｽﾚﾘﾝｸ(math板)
スレタイ 箱入り無数目を語る部屋7 に
簡単なまとめを書いていきます
皆様
ご苦労さまでした
177:１３２人目の素数さん
23/08/12 08:47:26.83 fmL7VjG2.net
>>169 君の終戦の詔勅か
URLﾘﾝｸ(www2.nhk.or.jp)
178:１３２人目の素数さん
23/08/12 08:59:49.77 //VgqduW.net
>>165
>公理的集合論なんて高尚な理論は無理だから
>低俗な多変数複素関数論でもやってなさい
スレ主です
多変数複素関数論は、詳しくないが
関数論外伝の冒頭の章に、多変数複素関数論といまのAI理論との関係が”つかみ”で書いてあった
図書館で借りて読んだときに、ここの部分は、書店で「現代数学」誌を立ち読みした記憶がよみがえった
多変数複素関数論は、これからもいろいろありそう
おっと、下記の”藤野修 2008/9/25”にある 「“mixed”L2-method???」は
2023年現在、どこまで進みましたかね？
外伝にある？
簡単に、ご教示頂ければ幸甚です
(参考)
https://アマゾン
関数論外伝 —Bergman 核の100 年— Tankobon Hardcover – October 21, 2022
by 大沢健夫 (著)
URLﾘﾝｸ(www.kinokuniya.co.jp)
内容説明
複素解析の新しい芽Ｂｅｒｇｍａｎ核。その一世紀にわたる進展を振り返り、主要な研究者たちの業績や風貌を記しながら、最近の複素幾何の研究の動向をも概観します。
目次
再生核とＢｅｒｇｍａｎ核
Ｂｅｒｇｍａｎと核関数
再生核とその起源
一意化定理への道
Ｂｅｒｇｍａｎ理論の展開
小平理論とＢｅｒｇｍａｎ核
小林先生の思い出
多変数関数論とＢｅｒｇｍａｎ核
Ｂｅｒｇｍａｎ核の境界挙動
定義しかなかったＢｅｒｇｍａｎ計量〔ほか〕
URLﾘﾝｸ(www4.math.sci.osaka-u.ac.jp)
極小モデル理論と消滅定理
名古屋大学大学院多元数理科学研究科 藤野修 2008/9/25
Ｐ21
11 今後に向けて
L2-method (Ohsawa–Takegoshi L2 extension theorem, Skoda’s division theorem,etc.)
↓
“mixed”L2-method???
179:１３２人目の素数さん
23/08/12 09:07:56.57 fmL7VjG2.net
＞スレ主です
ヒロシです、みたいだな
＞多変数複素関数論は、詳しくないが
ガロア理論も線形代数も詳しくないだろ
＞関数論外伝の冒頭の章に、
＞多変数複素関数論といまのAI理論との関係が
＞”つかみ”で書いてあった
フカシだろ
＞図書館で借りて読んだときに、
＞ここの部分は、書店で「現代数学」誌を
＞立ち読みした記憶がよみがえった
どこの田舎の図書館だい？
県名だけでも書いてみたら？
＞多変数複素関数論は、これからもいろいろありそう
田舎の素人の君には関係なかろう
＞・・・は2023年現在、どこまで進みましたかね？
理解できもしないこと尋ねても悔しさが募るだけだろ
＞外伝にある？簡単に、ご教示頂ければ幸甚です
正則行列も分からん素人に、教示しようがなかろう
ヒロシです
「箱入り無数目」が間違ってるといって、馬鹿にされたとです
か？
全然笑えねぇ・・・
180:１３２人目の素数さん
23/08/12 09:12:22.02 //VgqduW.net
ついでに、これも貼っておきます
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
181:nt-Chap1-Aihara-Noguchi.pdf 21世紀複素解析入門 A.L.コーシー～岡潔 相原義弘・野口潤次郎2023年1月30日 まえがき 変数の数が2以上になることにより，新たに認識されるのが“凸性”の問題である．実変数の微積分学で，一変数では定義域の凸性は意識されない．2変数以上になって初めて凸性が意味をもち，これがさらに発展していわゆる凸解析になる．複素関数においても一変数では解析性からくる凸性は自明で意識されない．しかし，2変数以上になるとこれが非自明な大きな問題になる．この事象の全体像を明らかにしたのが岡理論といえる． 新しくは，理論物理学における場の量子論を初めとして(超)弦理論など多くの先端分野で‘連接層’の理論が使われる([27]や五神東大総長告辞，2021年9月など参照)．また情報理論においては，補間問題が古くから使われている． 二番目の括弧内は与えられた点(n∈Z)で与えられた位数の極(an(－1)n/(z－n))をもつ有理型関数を与えるミッターク・レッフラーの定理の解を表している(本書§§3.5.2,8.4.2)． 与えられた点で与えられた値をとる関数を求めることは補間問題と呼ばれる(本書§8.5)． 補間問題は古い歴史をもち，現在でも興味深い数学の問題であるが，これが情報理論・サンプリング理論の基礎理論を与えていることが，垣間見える． さらには，現在の暗号理論に関する著書(たとえば辻井重男他[14])では，楕円暗号と共に多変数暗号が論じられ，「多変数公開鍵暗号は耐量子コンピュータ公開鍵暗号の有望な候補の一つと目されている」とある． 以上のように広く理工学の分野で，複素解析学の内容として，コーシー(一変数)から岡(多変数)までの基礎理論を理工学の基礎として学習しておくことが，それぞれの専門に入ってからの学習・研究のために有用であろうと考えられる．
182:１３２人目の素数さん
23/08/12 09:21:27.22 fmL7VjG2.net
１が今いるのは山陰かもな
毎日、日本海を見ながら、大阪の予備校時代を思い返してるんだろう
田舎秀才の末路は哀れなもんだ
183:１３２人目の素数さん
23/08/12 09:23:37.85 fmL7VjG2.net
>>173
ガロア理論で挫折した素人が
岡理論で復活を夢見る の巻か
どうせ基礎ができてないから何やっても無駄
基礎といってるのは、述語論理と集合論
言葉が分からんのに、本読んでも何書いてあるか分かるわけない
184:１３２人目の素数さん
23/08/12 09:32:43.13 //VgqduW.net
>>173
下記は、重要なので、追加引用しておきます
(引用開始)
読者諸兄においては，数学の研究を目指すもの，或いは理工学の種々の分野を目指すもの，いずれにしても将来新しい問題にぶつかり，それをわかろう，解決しようという局面に至るであろう．
そもそも問題は，それまでの一通りの理論(概念も含めて)では解決できないから問題となる．
そのとき，それまでの理論の源がどのような姿か，その成立の由縁(証明)が何か，困難をどのように乗り越えてきたかを身につけておくことは，次のステップへの力になる．
本書を書き進めるなかで，東大月曜セミナー（複素解析幾何セミナー）のメンバーとの議論には大いに助けられた．
小森洋平氏からは岡シジジー補題の証明について貴重なコメントを頂いた．
また，日下部佑太氏は本書の原稿を詳細に通読し，多くの誤植の指摘や興味深いコメントを数多く提供された．
ここに記して深く感謝の意を表す．
(引用終り)
185:１３２人目の素数さん
23/08/12 09:44:46.53 //VgqduW.net
>>173
PDFの中身をチラ見して気づいたが
これは、”(前書き，目次，第1章), 共著・相原義弘，準備中”とあるね
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
野口潤次郎の電網掲示板
[13] 21世紀複素解析入門－コーシー～岡潔 (前書き，目次，第1章), 共著・相原義弘，準備中．
本書の特徴を一言でいえば``コーシーから岡潔まで''である．
ピカールの定理に端を発する一般関数論は， 解析性のみを仮定してどれだけの理論展開が 可能かを追求する理論発展の流れとなった．
岡理論も関数の解析性のみに基づくもので，この範疇に入る．
実変数の微積分学で，一変数では定義域の凸性は意識されない．
2変数以上になって初めて凸性が意味をもつ． 複素関数においても一変数では解析性からくる凸性は自明で意識されない．
しかし，2変数以上になるとこれが非自明な大きな問題になる． この事象の全体像を明らかにしたのが岡理論である．
本書は，実数・ユークリッド空間から始まり，コーシーの積分定理， 留数定理，有理型関数の展開，楕円関数， リーマンの写像定理，ピカールの定理と進む．
その後，多変数関数論に入り，岡の第1連接定理を証明し、 それにより岡の上空移行の定理を示し，近似，クザン問題， 岡原理，多変数の補間問題あたりまでを扱う．
実関数を扱う微積分学においては，一変数の理論の後に多変数の関数の 偏微分や積分を扱う．
同様に，複素関数論においても 一変数の理論の後に多変数の理論を展開するのが自然である．
186:１３２人目の素数さん
23/08/12 09:47:25.25 fmL7VjG2.net
１ 敗北を忘れようと必死
某国敗戦後の異常な明るさに通じる
URLﾘﾝｸ(www.youtube.com)
187:１３２人目の素数さん
23/08/12 10:03:14.28 //VgqduW.net
>>172
>＞スレ主です
> ヒロシです、みたいだな
スレ主ですｗ
"ヒロシです"か、下記ね。知らなかったなｗ
数学板は、2012年くらいからなのだが
その前、2000年前後から政治板にいてね
2003年より前に、”スレ主です”を やっていた気はする
まあ、”スレ主です”は 普通でしょ？
URLﾘﾝｸ(ja.wikipedia.org)
ヒロシ
ヒロシ（1972年1月23日[注釈 1] - ）は、日本のお笑いタレント、漫談師、俳優、ベーシスト、YouTuber、実業家。本名、齊藤 健一（さいとう けんいち）。 ヒロシ・コーポレーション所属。
2003年 - 2008年:「ヒロシです」誕生とブレイク
2003年の初日の出とともに誰にも告げずに荒尾市の実家に帰った。それから2か月間、実家に引きこもり、ひたすら大学ノートにネタを書き溜めた。幼い頃いじめられた経験、女性にモテなかった青春時代、ホストとしてお笑いが出来なかった悔しさなど様々な思いをネタにぶつけた。その時に生まれたのが「ヒロシです‥」のネタであった[19]。そのネタをいつもここからの山田一成に見せに行ったところ、「いいじゃない!」と背中を押してくれた。「ヒロシ」という芸名は、フリーアナウンサーの生島ヒロシに由来する。たまたま家にあった雑誌の表紙に生島が写っており、「親しみやすい名前」だと思って採用した。
ヒロシ�
188:ｪお笑い芸人を目指したのは、「女性にモテたい」というのが最大の理由だった。ブレイクしたとき、ライブ会場には出待ちの女性たちが何百人単位で詰め掛け、黄色い声援を飛ばした。「ヒロシ」と書かれたうちわを持ったファンもいた。ようやく訪れたモテ期だったが、人見知りの性格で話しかけられず、警備員に囲まれてそのままタクシーに乗せられるだけの日々が続いた。どうしても欲望に勝てなくなり、風俗店に通った。ある日、やっと購入した高級車ジャガーに乗って東京を代表する吉原の風俗店に行ったところ、それが「週刊女性」に「貧乏じゃなかとです…。白いジャガーで『ソープランド』」（2007年6月12日号）という題名で記事が掲載された。料金ほか、部屋の備品からヒロシの様子まで詳細が掲載され、ヒロシはとても恥ずかしい思いをしたが後にこれを「ヒロシです。彼女の名前を知りません。」とネタにしている[25]。
189:１３２人目の素数さん
23/08/12 10:08:44.51 fmL7VjG2.net
>>179
＞2000年前後から政治板にいてね
数学板に帰れよ Jサポの愛国🐎🦌
190:１３２人目の素数さん
23/08/12 10:09:46.55 fmL7VjG2.net
>>180
誤 数学板に帰れよ
正 政治板に帰れよ
191:１３２人目の素数さん
23/08/12 10:11:48.28 fmL7VjG2.net
政治板
URLﾘﾝｸ(mevius.5ch.net)
素人がエラそうに書き込むにはちょうどいいだろ
数学板で同じノリで書いたら馬鹿にされる 素人には無理
192:１３２人目の素数さん
23/08/12 10:20:16.45 //VgqduW.net
>>172
> ヒロシです
> 「箱入り無数目」が間違ってるといって、馬鹿にされたとです
ふふふｗｗｗ
だれかのマネではないが、下記なｗ
ｽﾚﾘﾝｸ(math板:1番)
時枝問題（数学セミナー201511月号の記事） 「箱入り無数目」抜粋
純粋・応用数学（含むガロア理論）8
ｽﾚﾘﾝｸ(math板:401番)
時枝問題（数学セミナー201511月号の記事）
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
この問題文を
謎のプロ数学者氏は、一読して、ダメ出しした
「証明もどきは、読む必要なし」という感じですね
彼は、ひょっとすると、数列空間（L^p空間 p=2）やL^2評価式などが、専門かもしれない
そうすると、「箱入り無数目」の無限列については、時枝氏よりも相当レベルが上だろう
”「箱入り無数目」が正しい”とか言って
いろんなプロ数学者にバカにされる愚は
避けた方が良いだろうねｗ
（日本には、「箱入り無数目」を支持するプロ数学者は皆無ですよ）
193:１３２人目の素数さん
23/08/12 10:41:06.70 //VgqduW.net
>>182
ふふふｗ
政治板は、いまでもたまに書いているよ
政治板も
過疎っている
というか５ｃｈ全体が、過疎っているかも
いまは、いろんなSNSがあるからな
194:１３２人目の素数さん
23/08/12 10:54:55.51 /GzAOWl3.net
>>169
成立派の指摘に何も返せず尻尾まいて逃げたくせになぜ居座ってんだ？
約束が違うぞ、数学板から出ていけ
195:１３２人目の素数さん
23/08/12 10:55:42.81 //VgqduW.net
>>175
>どうせ基礎ができてないから何やっても無駄
>基礎といってるのは、述語論理と集合論
"単なる集合と、順序集合を混同している"アホが居たね（下記）ｗ
そんなやつが、大口叩くのか？ｗ
再録 >>127より
(引用開始)
>>121
>Q4'.いかなる可算無限集合もNと一対一対応する
>これは認めますか？
>ならば、いかなる可算無限集合もNに写像して考えればいい
>Q4'を認めるならばQ4も議論の余地はなくなりました
>Q4'を認めないならば、濃度の定義を復習してください
スレ主です
あらら、あなた すべっているよ
単なる集合と、順序集合を混同している（下記）
Q4'.いかなる可算無限集合もNと一対一対応する
A4'.Yes 但し、下記>>104より再録
しかし順序集合としては全く別のものである。
蛇足だが、自然数Nを奇数列と偶数列の二つに並べ替える
並べ替えた列を、直列につなぐ
s1,s3,s5,・・・s2,s4,s6,・・・
この場合、改めて列に先頭から自然数Nで番号付けすると、奇数列で終わる
一方、決定番号は 明らかに偶数列中に存在するから、自然数Nでは不足は明らか
(引用終り)
URLﾘﾝｸ(ja.wikipedia.org)
順序集合
半順序集合で全ての2元が比較可能であるものを全順序集合（totally ordered set; toset）という。
全順序の最も簡単な例は、実数における大小関係である。
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
chiebukuro.yahoo
hdf********さん
2012/6/5 15:08
次の質問に答えてください。
①複素数系に全順序はないか？
ベストアンサー
t11********さん
2012/6/5 16:54
>①複素数系に全順序はないか？
ある。通常のように選択公理を仮定すればどんな集合にも整列順序を与えることができますから、特に全順序が与えられます。
もっと具体的には実部→虚部の順で辞書式順序を与えればそれが全順序になるのは明らかです
(引用終り)
196:１３２人目の素数さん
23/08/12 11:05:10.09 /GzAOWl3.net
>>186
>自然数Nを奇数列と偶数列の二つに並べ替える
> 並べ替えた列を、直列につなぐ
> s1,s3,s5,・・・s2,s4,s6,・・・
どうやってつなぐの？
s2の左隣は何？
197:１３２人目の素数さん
23/08/12 11:10:31.33 Uk6+U1gj.net
代表元の選び方についての確率分布が指定されてないから>>9の証明は無効
198:１３２人目の素数さん
23/08/12 11:14:19.62 /GzAOWl3.net
>>188
代表元の選び方は任意でよいからその指摘は無効
199:１３２人目の素数さん
23/08/12 12:08:45.66 //VgqduW.net
>>188
>代表元の選び方についての確率分布が指定されてないから>>9の証明は無効
ID:Uk6+U1gjさんか
ありがとうございます
スレ主です
”確率分布”ね
そういう考え方もあるだろうね
200:１３２人目の素数さん
23/08/12 12:39:35.72 NK7x8D5X.net
>>190
箱入り無数目に確率分布は必要ない
201:１３２人目の素数さん
23/08/12 12:56:12.88 //VgqduW.net
>>185
>成立派の指摘に何も返せず尻尾まいて逃げたくせになぜ居座ってんだ？
スレ主です
意味がわからん
１）決定番号に、こんな手品の種があるという指摘に対して
手品師は「種も仕掛けもありません」を繰り返すから議論にならない
２）そして、プロ数学者の判定が出た
「(相手の)敗北宣言」判定ね>>169
>約束が違うぞ、数学板から出ていけ
約束したのは
プロ数学者が、自分のホームページに
”時枝「箱入り無数目」は正しい”と書いて貰えってこと
（その依頼の過程で、「箱入り無数目」の不成立を悟る仕掛けだ）
そうすれば、数学板から去ると約束したのだった
しかし、実際は逆で
”時枝「箱入り無数目」の問題文は不成立”の判定が
あるプロ数学者から出たのでした
そして、時枝「箱入り無数目」成立を支持するプロ数学者は皆無です
202:１３２人目の素数さん
23/08/12 13:13:32.34 //VgqduW.net
>>187
>>自然数Nを奇数列と偶数列の二つに並べ替える
>> 並べ替えた列を、直列につなぐ
>> s1,s3,s5,・・・s2,s4,s6,・・・
>どうやってつなぐの？
>s2の左隣は何？
スレ主です
低学力の うんこ君だね
君は、下記の類似の質問を前スレでしていた
前スレより再録
ｽﾚﾘﾝｸ(math板:860番)
860１３２人目の素数さん
2023/08/07(月) 20:30:07.83
203:ID:3M4vyU4e >Xn n={-∞,・・,-k,・・,-2,-1,0} k∈N -∞の右隣は何？ (引用終り) この種の質問が、低レベルのバカ質問だという自覚ある？ おサルさん>>5 も、順序集合が分かってなかったなｗ>>186 それじゃ、時枝「箱入り無数目」に、たぶらかされる わな
204:１３２人目の素数さん
23/08/12 13:25:41.10 NK7x8D5X.net
>>193
各項が自然数の奇数列と各項が自然数の偶数列は
どっちも両側無限列ではない高校で出てくる無限列
205:１３２人目の素数さん
23/08/12 13:25:44.85 /GzAOWl3.net
>>193
さんざん罵倒した挙句答えてなくて草
おサルさんは数学とかどうでもいいんだな ただマウントしたいだけｗ
206:１３２人目の素数さん
23/08/12 13:31:57.62 /GzAOWl3.net
問い
s2の左隣は何ですか？
おサルさんの回答
この種の質問は例レベルのバカ質問だ
低レベルのバカ質問にすら答えられないおサルさんのレベルとはｗ
207:１３２人目の素数さん
23/08/12 13:41:36.25 /GzAOWl3.net
>>192
>１）決定番号に、こんな手品の種があるという指摘に対して
> 手品師は「種も仕掛けもありません」を繰り返すから議論にならない
え？
何を言ってるんですか？
あなたは
「ランダム選択なら選択者の意思が一切反映されないんだから、開封済みで中身が見えてるか未開封で中身が見えてないか一切無関係なく、最大決定番号の列を選ぶ確率は1/100」
を否定するんですか？
言い訳は無用なので、否定するのかしないのか、それだけ答えてください
208:１３２人目の素数さん
23/08/12 13:43:13.32 //VgqduW.net
メモ貼る
栗田昌裕さん、著書かなにかで、名前を見かけたような気がする
東京大学大学院修士課程（数学専攻）修了までやったのに
東京大学医学部卒か
”それも一局”としか、言いようがない
ｽﾚﾘﾝｸ(math板:824番)
824１３２人目の素数さん
2023/08/10(木) 10:35:10.05ID:S8FdfUNa
教えてくれたのは
一年生のセミナーで
Raum, Zeit, Materieを
すらすら読んだ栗田昌裕
URLﾘﾝｸ(ja.wikipedia.org)
栗田 昌裕（くりた まさひろ、1951年8月30日 - ）は日本の内科医、群馬パース大学学長。
来歴
愛知県出身。東海中学校・高等学校、東京大学理学部数学科卒。東京大学大学院修士課程（数学専攻）修了。東京大学医学部卒。カリフォルニア大学に留学。東京大学附属病院内科に勤務。東京大学助手、群馬パース大学大学院教授を経て、2014年より現職。医学博士、薬学博士。
座禅、ヨガ、気功、東洋医学に精通している。指回し体操の発明者。栗田式能力開発法（SRS, Super Reading System）を提唱し、その一部として、速読法、記憶法、健康法、瞑想法、心象法などを指導し、受講者は5万人を超えている。
テレビ出演は100回以上。
209:１３２人目の素数さん
23/08/12 14:09:38.27 fmL7VjG2.net
>>186 ん、まだ理解できてないのかい？高卒素人ネトウヨ君
いかなる可算集合もNに写像できる
順序集合として違うって？ 馬鹿だねえ
どんな順序集合を使うかは、回答者が決める
出題者が押し付けることじゃないよ
いい加減、気づこうね
210:１３２人目の素数さん
23/08/12 14:15:18.32 fmL7VjG2.net
>>188 >代表元の選び方についての確率分布が指定されてないから>>9の証明は無効
>>189 >代表元の選び方は任意でよいからその指摘は無効
189が正しい 代表元はあればよい 同値類全体のなかでの分布など使わないし考えなくてよい
>>190 君、そいつを連れて政治板でネトウヨ発言してなさい
211:１３２人目の素数さん
23/08/12 14:20:27.52 fmL7VjG2.net
もし、ネトウヨコンビが勝ちたいなら
問題を以下のようにすり替えるこった
・出題者は無限個の箱に自然数で番号づけして一列に並べる
・そして箱の中に実数を入れる もちろん任意に そして箱を閉じる
・回答者は、「１」と書かれた最初の箱だけ閉じて「２」以降の箱を全部開け、
その
212:情報から「１」の箱の中身を当てる さて回答者が勝てる戦略は存在するでしょうか？ いつ思いつくかと思ったがとうとう思いつかなかったな あんたらどんだけ🐎🦌なの？ これじゃ日本は滅びるわ
213:１３２人目の素数さん
23/08/12 14:21:50.64 fmL7VjG2.net
「箱入り無数目」と>>201の問題は何が違うか
ネトウヨコンビはそもそもわかんないだろうなあ
もうそんな🐎🦌は数学板無理だから政治板で
「ニッポン万歳！」ってわめいてろよ 死ぬまで
214:１３２人目の素数さん
23/08/12 14:28:58.76 fmL7VjG2.net
政治板でイキってるネトウヨ君は「箱入り無数目」を>>201の問題と勘違いしたまま
そしてそのお友達のセンセイもネトウヨ君の話だけ聞いて同じ勘違いをしたまま
記事を読めば、選べる100個の箱のうち、どの箱を選ぶかではずれが決まるとわかる
最初から中身を当てる箱を１個指定されたら 当てようが無いのよ
215:１３２人目の素数さん
23/08/12 14:31:42.49 fmL7VjG2.net
偽「箱入り無数目」(>>201)に勝てる戦略がないからって
真「箱入り無数目」(>>8)にも勝てる戦略がないってことにはならんのよ
216:１３２人目の素数さん
23/08/12 14:38:43.21 fmL7VjG2.net
>>184
＞政治板は、いまでもたまに書いているよ
政治板に帰れよ ネトウヨ
真「箱入り無数目」(>>8)を偽「箱入り無数目」(>>201)と誤解して
間違ってるという批判は全部スベってるのよ 最初っから分かってたけど
だって、真「箱入り無数目」の確率計算に、決定番号の分布なんか使わないから
正しく記事を読んで理解した人はわかる 言葉だけ拾って早合点した人は間違える
217:１３２人目の素数さん
23/08/12 15:34:58.01 //VgqduW.net
>>193 補足
>>187
>>自然数Nを奇数列と偶数列の二つに並べ替える
>> 並べ替えた列を、直列につなぐ
>> s1,s3,s5,・・・s2,s4,s6,・・・
>どうやってつなぐの？
>s2の左隣は何？
１）実数の構成の有理コーシー列を考えよう（下記）
一つは、超越数e に収束するもの
s1<s3<s5<・・・<e
一つは、超越数π に収束するもの
s2<s4<s6<・・・<π 、但し e <s2とする
２）この２つの 有理コーシー列を数直線上に並べる（即ち直列）
s1<s3<s5<・・・<e <s2<s4<s6<・・・<π
となる数列が得られる
この場合、s2の左隣はe
３）いま、eとπを取り除くと
s1<s3<s5<・・・ <s2<s4<s6<・・・
となる。s2の左側はe に収束するコーシー列だが
eを取り除いたので s2の左隣は、存在しなくなった
これが分からない人は
下記の実数のコーシー列を用いた構成とその関連を百回音読してください
URLﾘﾝｸ(ja.wikipedia.org)
実数
実数の様々な構成
詳細は「:en:Construction of the real numbers」を参照
コーシー列を用いた構成
詳細は「コーシー列#実数の構成」を参照
実数の構成は有理数の空間 Q の完備化とよばれる手続きによる方法が一般的である。 有理数の空間には二つの数の差の絶対値として定義される距離 d(a, b) = |a － b| から定まる点の近さを考えることができる。これについてのコーシー列たちを適当な同値関係によって同一視した空間として R が得られる。こうして構成された実数の空間の中では、収束数列によって近似的に与えられる対象が実際に実数として存在している。
218:１３２人目の素数さん
23/08/12 15:46:24.02 /GzAOWl3.net
>>206
>s2の左隣は、存在しなくなった
はい？
s2の左隣は存在しない？
つまり
> s1,s3,s5,・・・s2,s4,s6,・・・
は数列ではないということ？ じゃ何？
219:１３２人目の素数さん
23/08/12 15:50:56.46 /GzAOWl3.net
>>206
>>197が未回答なのでよろしく
220:１３２人目の素数さん
23/08/12 15:51:35.74 fmL7VjG2.net
>>187で🐎🦌にエサやっちゃったな
>>207でさらにエサやっちゃってるけど
そこ、どうでもいいんだよ
R^Nっていってんだから、その他の並べ方なんか考えなくていい
可算集合ならNに写像できる 元の可算集合がQでもZでも何でも関係ない
221:１３２人目の素数さん
23/08/12 15:53:11.83 fmL7VjG2.net
正直言って、１とそのパトロン？が
「箱入り無数目」を>>201の問題と
とりちがえたのが始まりにして終わり
222:１３２人目の素数さん
23/08/12 19:01:26.33 Mm3ulIKD.net
>>171
今週
223:は 日中韓合同のSCVYMW(Several Complex Variables Young Mathematician's Workshop)が 釜山で開かれました。そこに来ていた中国の中堅研究者によると 今年の中国で開催予定の多変数複素解析の研究集会の参加予定者は 300名を超えるそうです。
224:１３２人目の素数さん
23/08/12 19:38:50.70 //VgqduW.net
>>211
>日中韓合同のSCVYMW(Several Complex Variables Young Mathematician's Workshop)が
>釜山で開かれました。そこに来ていた中国の中堅研究者によると
>今年の中国で開催予定の多変数複素解析の研究集会の参加予定者は
> 300名を超えるそうです。
スレ主です
ありがとうございます
なるほど
まだまだやることは、沢山あるってことと
中国が、かなり力を入れているということ
ですね
現在進行形ということか
よく分かりました
225:１３２人目の素数さん
23/08/12 19:44:33.95 /GzAOWl3.net
>>212
>>197の回答まだですかね？なんで逃げるんですか？
226:１３２人目の素数さん
23/08/12 19:45:26.49 /GzAOWl3.net
>>212
逃げるのは自由ですが、逃げるなら負けを認めてくださいね
駄々っ子じゃないんだから
227:１３２人目の素数さん
23/08/12 19:59:50.75 fmL7VjG2.net
>>213－214 気持ちは分かるがもうやめとけ
>>169で
>謎のプロ数学者氏の「敗北宣言」が出ました
>ここに”時枝「箱入り無数目」”論争の終結宣言をします
>あとは、スレタイ 箱入り無数目を語る部屋7 へ移ります
>ｽﾚﾘﾝｸ(math板)
といったのは何故か察して差し上げな
228:１３２人目の素数さん
23/08/12 20:03:56.57 fmL7VjG2.net
>>197は正しい 否定のしようがない
だから「敗北宣言」「終結宣言」なんだよ
１もパトロンも「箱入り無数目」が>>201の問題だと取り違えていた
それに気がついたんだよ 察して差し上げろ
このスレで本土決戦されるよりポツダム宣言受諾してもらうほうがいいからな
229:１３２人目の素数さん
23/08/12 20:05:41.01 fmL7VjG2.net
ID:/GzAOWl3 の正しさは不肖この俺が認めてやる
他のサイレントマジョリティ読者も同じだろう
230:１３２人目の素数さん
23/08/12 20:09:34.17 //VgqduW.net
>>207
(引用開始)
>>206
>s2の左隣は、存在しなくなった
はい？
s2の左隣は存在しない？
つまり
> s1,s3,s5,・・・s2,s4,s6,・・・
は数列ではないということ？ じゃ何？
(引用終り)
スレ主です
なんだかね
s2の左隣は存在しない？
つまり
↓
> s1,s3,s5,・・・s2,s4,s6,・・・
は数列ではないということ？ じゃ何？
なんで、こういう
”つまり”と”じゃ何？”の使い方ができるのかな？
下記の数列の 一般化 多重数列とか
Indexed family をしっかり読んだらどうか？
確かに、ちょっと用語の濫用かも知れないが
”じゃ何？”とかは、いただけない
URLﾘﾝｸ(ja.wikipedia.org)
数列
自然数は無限に存在するため、その末項は存在しない。このように末項が定まらないような数列は、無限数列（むげんすうれつ、英: infinite sequence）と呼ばれ、末項を持つ数列は有限数列（ゆうげんすうれつ、英: finite sequence）と呼ばれる。
一般化
多重数列
詳細は「多重数列」を参照
添字を 2 つ持つような数列 (am,n)m,n∈N は格子 Λ ≔ {(m, n) ∈ N × N} 上で定義される関数である。
URLﾘﾝｸ(en.wikipedia.org)
Sequence
URLﾘﾝｸ(en.wikipedia.org)
Indexed family
231:１３２人目の素数さん
23/08/12 20:10:11.71 fmL7VjG2.net
１とパトロンが今後このスレで箱入り無数目の話を一切しないならば
ここで多変数複素関数論でもなんでも好き勝手に語ることを黙認しよう
過ちは誰にでもある 過ちだと気づいたならそれでいい 別に謝罪なんていらない
ただ二度と同じ過ちを繰り返さなければそれで構わない 返信もいらない
232:１３２人目の素数さん
23/08/12 20:11:13.58 fmL7VjG2.net
>>218 終結宣言したなら黙ったらどうだ？
233:１３２人目の素数さん
23/08/12 20:17:05.86 //VgqduW.net
>>217
>ID:/GzAOWl3 の正しさは不肖この俺が認めてやる
>他のサイレントマジョリティ読者も同じだろう
サイレント・マジョリティの対義語は
”少数だが声の大きい人々を意味するノイジー・マイノリティまたはラウド・マイノリティである”
あんたら二人は、それだよｗ
URLﾘﾝｸ(ja.wikipedia.org)
サイレント・マジョリティ（英: silent