20/02/09 19:36:31 XY5HcLEF.net
＜なお、時枝は終わりました。過去スレリンク >>7-9 のリンク ご参照＞
いま、時枝成立をいうのは、おサル二匹のみ。もう一人、High Level Personの片割れが、非可測の確率論の可能性を言います。単なる可能性であって、数学になっていません
（参考）
スレ78 ｽﾚﾘﾝｸ(math板:914番)
914 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2019/11/12(火) 07:19:21.12 ID:bgnQJNQo [2/4]
(抜粋)
>>847
>時枝不成立を名言した大学教員
> 該当者無し
まず添削
名言
↓
明言
な（＾＾
で、数学では、査読のある専門誌に載った定理のみが、成立するとして信頼して良いってこと
査読雑誌に載らないのはだめだよ
（あと、古典で標準教科書に載る定理も可だ）
ペレルマンの三次元ポアンカレ予想解決は、arXivに投稿された（後述）が
これを、皆で勝手査読して正しいとして、フィールズ賞を出したんだ。ペレルマンは賞を受取らなかったが
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
グリゴリー・ペレルマン
(抜粋)
ペレルマンとポアンカレ予想
arXiv で以下の3つのプレプリント (Preprint) を発表し、ポアンカレ予想を解決したと宣言した。
The entropy formula for the Ricci flow and its geometric applications, 2002年11月11日
Ricci flow with surgery on three-manifolds, 2003年3月10日
Finite extinction time for the solutions to the Ricci flow on certain three-manifolds, 2003年7月17日
時枝問題は、専門の査読論文は皆無！
お遊びホームページと査読のない数学セミナー誌のみ。いまだ、真っ当な数学にあらずです！！
つづく
21:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/09 19:37:20 XY5HcLEF.net
>>19
つづき
時枝は、数学セミナーの記事後半で、前段を否定している
１）計量ができないのに、99/100を導きました
２）確率変数の独立と、99/100とは矛盾しています
という
おサルは、前段のみを採用し、
後段は時枝の間違いか無関係とのたまう
なお、スレ80 ｽﾚﾘﾝｸ(math板:887番) より
おサル、統合失調症のクスリにお世話になっているのか？（>>778ご参照）
時枝先生まで、統合失調症で、その記事の前半と後半が、全く別もので、”記事後半はトンデモ”と解釈か
あなた、まともに時枝記事を論じられる精神状態じゃないね、はっきり言って悪いが
(引用終り)
なお、時枝記事について、進展があったので、引用しておく
スレ80 ｽﾚﾘﾝｸ(math板:841番)
841 自分返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2020/01/16(木) 07:48:30.50 ID:12GEEnl3 [1/5]
１．時枝記事（>>37 >>50-）の数列は、当然固定されている
だが、それは現代数学の確率変数の射程内です
確率変数の「固定」などという、トンデモ概念とは無関係
２．「どんな実数を入れるかはまったく自由」なので、
なにか確率現象、コイントスとかサイコロとかを使っても良い
そのときに、確率99/100と異なる結果になれば、
時枝記事の解法との矛盾であり、反例になる
３．確率論で使われるiid(独立同分布)の確率変数Xi（可算無限族）を使えば
話は簡単で、各Xiは、コイントスなら確率1/2、サイコロなら確率1/6になり
この段階で、時枝記事の反例構成は終わっている
つづく
22:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/09 19:38:30 XY5HcLEF.net
>>20
つづき
４．では、なぜ如何にも当たるような確率99/100に見えるのか？
それを解明したのが、ジムの数学徒（>>694）さんの書いた証明>>271で
スレ80 ｽﾚﾘﾝｸ(math板:271番)
(引用開始)
結局確率変数d(x)などが満たしていなければならない条件とは
(1) P(d(x)>d(y),d(z))≦1/3。
2) P(∀i≧D x[i]=r(C(x))[i] | d(x)≦D)=1
である。
この２つの条件が満たされない限り時枝の議論は成立しない。
ところがこの(2)の条件は確率論の公理の要請に反してしまう。
(引用終り)
ということ
５．これを、URLﾘﾝｸ(www.youtube.com) >>779
【高校数学】 数B－１０１ 確率分布と確率変数? 2016/03/09 とある男が授業をしてみた
に倣って解説してみると
d(x)（以下dxと略記する）の確率分布を考える
dx：1, 2, ・・・n ・・・
Ｐ：p1,p2,・・・pn・・・
となる。ここで、p1,p2,・・・pn・・・などは、
確率に直す前の場合の数です。確率は、総和Σpnで割る必要がある
ところが、Σpn→∞ となって発散してしまう
∵pnが減衰しないから。減衰しない無限和は発散します
これが、上記4項で、(2)の条件 確率に対して”=1”が成立たない分り易い説明です
以上
追記：ジムの数学徒（>>694）さんの補足説明
スレ81 ｽﾚﾘﾝｸ(math板:141番)-142
つづく
23:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/09 19:41:48 XY5HcLEF.net
>>21
つづき
（時枝記事の可算無限数列の数当て定理 不成立。不成立”のエレガントな”回答”（パズル謎解き）を求む）
なお、スレ82 ｽﾚﾘﾝｸ(math板:802番)-803
ジムの数学徒さん（>>6）に倣って、定式化しましょう
＜時枝記事の可算無限数列の数当て定理 ”もどき”＞
命題１．
可算無限数列 s=(s1,s2,・・sd,sd+1・・)に対し *)
ある十分大きな自然数d'｜d＜d' なる数が存在し
sd'+1から後の箱（シッポ）を開けて
未開封の箱sd～sd'の中の値を、箱を開けずに的中できる
命題２．
命題１のd'+1→d'+1+m （mは1<=m で自然数）とすれば、
sd'+1+mから後の箱（シッポ）を開けて
未開封の箱sd～sd'+mの中の値を、箱を開けずに的中できる
なお、ここにdは、時枝記事の決定番号である
注*) sd+1で、d+1は下付き添え字で、d+1番目を表わす
証明は、>>778の時枝記事ご参照下さい （＾＾；
反例は、>>523 数学セミナー201511月号P37 時枝記事の
独立な確率変数の無限族
X1，X2，X3，… です
上記の＜数当て定理 ”もどき”＞を、簡単に言えば
ある数d'+1+mより後のシッポの箱の数の情報から
それより、先頭の未開封の箱sd～sd'+mの中の値を 的中できるというもの
ところが、iid(独立同分布)を仮定して、1つのサイコロの目の数を入れると
1つの的中確率1/6
n個の的中確率1/6^n
的中できる数n=100 なら、的中確率1/6^100≒0
この論法（時枝記事戦略 数当て定理 ”もどき”）のどこが、おかしいでしょうか？
不成立”のエレガントな”回答”（パズル謎解き）を求む
（時枝先生の証明 >>778の どこにギャップがあるのか）
なお、選択公理に附言しておく
上記では、ある可算無限数列 s=(s1,s2,・・sd,sd+1・・)に対し
1つのシッポの同値類と
それに付随する 1つの代表のみがあれば良い
だから、上記の定理 ”もどき”の範囲では、選択公理は必ずしも、必要とされない
選択公理は、お飾りで、いかにも バナッハタルスキー
24:のような パラドックスもどき が起きても不思議ではないという 空気を醸すための小道具ですね（＾＾ あるいは、目くらましで、選択公理に注意をそらすための小道具かもｗ
25:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/09 19:42:26 XY5HcLEF.net
以下は、前に テンプレに入れていて、一時省いていたのですが、趣味のIUT復活（＾＾；
（完全にヤジウマですが）
・今年は、オリンピックイヤーでもあり、IUTワークショップイヤーでもあります。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
宇宙際タイヒミューラー理論の拡がり - RIMS, Kyoto University
Foundations and Perspectives of Anabelian Geometry 期間：2020-05-18?2020-05-22
Inter-universal geometry と ABC予想 43 ｽﾚﾘﾝｸ(math板)
関連： 望月新一（数理研） URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
新一の「心の一票」 - 楽天ブログ URLﾘﾝｸ(plaza.rakuten.co.jp)
math jin：（IUTT情報サイト） URLﾘﾝｸ(twitter.com)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
星裕一の論文
(抜粋)
宇宙際 Teichmuller 理論入門 PDF (November 2015) URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
続・宇宙際 Teichmuller 理論入門 PDF (April 2016) URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
(引用終り)
URLﾘﾝｸ(ja.yourpedia.org)
宇宙際タイヒミュラー理論 Yourpedia
(抜粋)
グロタンディーク宇宙
集合論は無限の階層を持つ。
公理から論理的演繹のみであらゆる数学を展開できるとされる公理的集合論ZFCのモデルとなる集合は、宇宙などと称されることが多い。
圏の一般理論はZFCだけでは展開できないが、ZFCに新たに別の公理を加えたZFCGにおいては展開できるようになる。
このモデルとなるのがグロタンディーク宇宙である。
(引用終り)
URLﾘﾝｸ(en.wikipedia.org)
Inter-universal Teichmuller theory (abbreviated as IUT)
(抜粋)
Contents
1 History
2 Mathematical significance
(引用終り)
つづく
(deleted an unsolicited ad)
26:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/09 19:42:58 XY5HcLEF.net
>>23
つづき
関連（TARO-NISHINOの日記）
URLﾘﾝｸ(taro-nishino.blogspot.com)
ABC予想の壮大な証明をめぐって数学の巨人達が衝突する URLﾘﾝｸ(taro-nishino.blogspot.com)
望月新一 新論文 宇宙際Teichmuller理論関連
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
[7] The Mathematics of Mutually Alien Copies: from Gaussian Integrals to Inter-universal Teichmuller Theory. PDF 20190518
テンプレは以上です
（テンプレ改善は、今後の課題です（＾＾； ）
27:１３２人目の素数さん
20/02/09 23:57:58.50 IilMWF6D.net
確率論の専門家＝ジム＝◆e.a0E5TtKE
証拠
・０になる無限乗積を意味あるものと誤解する馬鹿っぷりｗｗｗ
馬鹿の上にウソツキなんて最低最悪
28:１３２人目の素数さん
20/02/10 00:56:46.78 dX3r24xT.net
>哀れだな
>
29:target="_blank" class="reply_link">>>802が、効いているんだろうね（＾＾； ↑ わろたｗ
30:１３２人目の素数さん
20/02/10 01:16:28.56 dX3r24xT.net
ま、屁理屈はどうでもいいんで取りあえず証明のギャップか反例を出してほしいですね
出せなければスレ閉鎖しましょう。約束は守りましょうね、幼稚園で教わったよね？
31:１３２人目の素数さん
20/02/10 06:18:45 7FZGXTCi.net
>>27
無理でしょうな 過去2回の自作自演（「確率論の専門家」＆「ジム」）も
結局The Riddleは否定できなかったし
数学板のトンデモ
奇数の完全数非存在の珍証明 高木
フェルマー予想の珍証明 日高
0.999…は1でない 安達
「箱入り無数目」は誤り ◆e.a0E5TtKE
一人だけトリップはカッコ悪いから、仮名でも苗字名乗れｗ
32:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/10 07:37:55.56 mRVZ7FnM.net
>>25-28
いつものおサルさん、前スレでのご活躍、ご苦労
思ったより早くスレが消化されてしまったな
いっとくけど、あんたら、いくら頑張っても、だめよ
時枝記事不成立は、数学的事実だからさ
ここで、あんたらがいくら議論しても
数学的事実は、覆らないよ
残念でした
そこが、ディベートとの違い
それが、分かっていないおサルが
二匹
33:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/10 07:40:50.47 mRVZ7FnM.net
笑えるわ
早く、大学の数学科教員に教えてもらえ
こんなスレじゃ、小学レベルのおサルに、大学レベルの数学を理解させることは、おれの手には余るんだｗｗ（＾＾；
おれの約束は、下記
要は、おサルに人間に戻るチャンスを与えようという”こころ”（意図）ですよ
つまり、大学教員から、何が正しいか（当然「私スレ主が正しい」）を教わるチャンスを掴めってことよ（＾＾
スレ55 ｽﾚﾘﾝｸ(math板:484番)
484 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2018/12/08(土) 22:50:48.10 ID:bIDCQoJi
>>481
はいはい
>スレ主が以下のものを出すようになったら敗北宣言
じゃ、もっと敗北宣言を、させて下さい
１）全国の数学科生に告ぐ ＊＊）
どうぞ、大学の数学科教員に頼んで
”数学セミナー 2015年11月号 箱入り無数目 時枝 正の記事は正しい”ということ
及び、その理由を簡単に書いて（理由は、「正しいから正しい」でも可）
その方のサイトに、その方の実名で、アップしてもらえませんか？
（文案はどなたが書いても可です。その方が承認してアップするならね）
２）どうぞ、このスレ主に敗北宣言を出させて下さい
私は、大学の数学科プロ教員には、とても敵いませんので、すぐ敗北宣言を出します
赤っ恥で結構です。
私は、このスレを閉じますよ。
（まあ、彼らは、落ちこぼれのピエロとは実力が違いますからね。私の実力では抵抗は無駄でしょうね）
３）それが出るまでは、私の勝利＊です（ 注＊：これ定義です（＾＾； ）
注＊＊）：どうぞ、このスレを見たどなたでも、貴方が直接教員に頼んでも良いし、知り合いの学生を通じての依頼でも可です
（つまらん、低レベル（落ちこぼれレベル）の議論を、延々続けても仕方ないですからね）
それまでは、上記３）の定義の通り、私の勝ちです（＾＾
(引用終り)
34:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/10 07:44:10.01 mRVZ7FnM.net
>>25
＞確率論の専門家＝ジム＝◆e.a0E5TtKE
笑えるな、おサルのピエロ
妄想全開
統合失調症のクスリをしっかり飲めよ（>>2）
35:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/10 07:57:34.08 mRVZ7FnM.net
>>29
>それが、分かっていないおサルが
>二匹
二匹とは別の人が居たような
時枝さん、あの記事で３つくらい外している
1つは、確率変数の無限族の独立性
スレ20 ｽﾚﾘﾝｸ(math板:538番)
”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが，これは全くの的外れ
も1つは、非可測の話
時枝さん、ヴィタリの話をしているが
本当は、ジムの数学徒氏（>>6）が言った下記なんだ
スレ80 ｽﾚﾘﾝｸ(math板:271番)
よって結局確率変数d(x)などが満たしていなければならない条件とは
(1) P(d(x)>d(y),d(z))≦1/3。
(2) P(∀i≧D x[i]=r(C(x))[i] | d(x)≦D)=1
である。
この２つの条件が満たされない限り時枝の議論は成立しない。
ところがこの(2)の条件は確率論の公理の要請に反してしまう。
(引用終り)
さらに、時枝氏自身が、あの記事の前半の戦略が不成立であることを
しっかりと認識しないで、
そこをぼかして書いたこと
結語が、”ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる， といってもよい.”（下記）だって
こんないい加減なことを書くから、迷える子羊ならぬ、迷えるおサルたちが出現したのです（＾＾；
スレ80 ｽﾚﾘﾝｸ(math板:54番)
数学セミナー201511月号P37 時枝記事より
勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる.
ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる， といってもよい.
36:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/10 08:20:20.56 mRVZ7FnM.net
>>22 より再録
この論法（時枝記事戦略 数当て定理 ”もどき”）のどこが、おかしいでしょうか？
不成立”のエレガントな”回答”（パズル謎解き）を求む
（時枝先生の証明 の どこにギャップがあるのか）
スレ82 ｽﾚﾘﾝｸ(math板:778番)
時枝問題（数学セミナー201511月号の記事）
37:１３２人目の素数さん
20/02/10 08:58:06 dX3r24xT.net
>>29
>時枝記事不成立は、数学的事実だからさ
お薬忘れちゃダメですよ
38:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/10 10:48:27.90 V1TcM3E2.net
>>34
皆さん、どんな数学の勉強をしているかしらないが
定理→証明→終わり
ではないと思うんだよね、当然ながら
つまり、その定理のもつ意味とか考えない？
それで、下記、時枝さん
”閉じた箱の中の実数をピタリと言い当てる”
勝つ戦略はあるという
これだけ読んで、真に受ける人いないでしょ？
その直感を大切にしましょうね
あとの、”ぐだぐだ証明もどきに騙されないようにしましょうね”
ってことです
（>>20-21ご参照）
（参考）
スレ80 ｽﾚﾘﾝｸ(math板:50番)
時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
39:１３２人目の素数さん
20/02/10 16:48:42 akjMn/jc.net
助けてください！
「４つの記号で１０を作ってください
使っていい記号は四則演算だけ。
＝を使用してもダメです。
３ ４ ４ ９ 」
＊＊高知能美女＊＊から出題された
お題が、(自称...？)「高知能者」の
誰も解けてません...！
「４×４-９+３=１０」
って答えたギフテッドが不正解でした...！
ＮＨＫのギフテッド特集番組から
アンケートが来て返信した方だそうです。。。
＊賢くて＊素敵＊な新星＊なのに。。。
ハズレの返しもすっごく
＊＊キラキラ＊＊してる方なんです♪
＊スター＊が解けないなんて。。。
ﾂﾗｽｷﾞﾙ...。＊゜。º(。⊃Д<)゜。＊
これってそんなに難問ですか？
変態少年Ｈより。
40:１３２人目の素数さん
20/02/10 16:53:00 akjMn/jc.net
数学素人なのに、こんな難題さらりと思いついちゃった(？)美魔女様(←出題者)は日本のマリリンかも知れません。。。
41:１３２人目の素数さん
20/02/10 16:56:03 akjMn/jc.net
ギフテッドより先に解ける方、いらっしゃいませんか？
ドクター！
このスレにドクターはいらっしゃいませんかー！？
ドクターコールでーす！
42:１３２人目の素数さん
20/02/10 16:56:41 akjMn/jc.net
たすけて！たすけてください！
お願いしますー！
43:１３２人目の素数さん
20/02/10 17:09:43.34 cxexSbfY.net
或る3以上の整数nが存在して、何れも或る3つの正整数 x、y、z が存在して、x^n+y^n＝z^n が成り立つとする。
Euclid 平面 R^2 上の半径1の円周をCで表す。
仮定から、nは3以上の整数だから、仮定で成り立つとした等式 x^n+y^n＝z^n から、
3つの正整数 x、y、z の大小関係について、0＜x＜z、0＜y＜z が両方共に成り立つ。
仮定から x、y、z は何れも有理整数だから、x、y、z∈Z。また、有理数体Qは有理整数環Zの商体だから、Z⊂Q。
よって、z＞0 から、x/z、y/z∈Q。0＜x＜z だから、0＜x/z＜1。同様に、0＜y＜z だから、0＜y/z＜1。
平面 R^2 上で点 A(x/z,y/z) と原点 O(0,0) とを結ぶ線分と、x軸正方向とのなす角をθとする。
0＜x/z＜1、0＜y/z＜1 が両方共に成り立つから、0＜θ＜π/2 である。
平面 R^2 上の半径1の円周上には、a^2+b^2＝1、0≦|a|≦1、0≦|b|≦1 を何れも満たしているような有理点 (a,b) が稠密に分布する。
逆に、a^2+b^2＝1、0≦|a|≦1、0≦|b|≦1 を何れも満たしているような有理点 (a,b) は、すべて平面 R^2 上の半径1の円周上に存在する。
44:１３２人目の素数さん
20/02/10 17:11:38.94 cxexSbfY.net
(>>40の続き)
このことに注意して、有理点 A(x/z,y/z) が存在する位置について場合分けをする。
Case1)：平面 R^2 上の半径1の円周上に有理点 A(x/z,y/z) は存在するとき。
0＜x/z＜1、0＜y/z＜1 から、確かに平面 R^2 上の半径1の円周上に有理点 A(x/z,y/z) は存在し、(x/z)^2+(y/z)^2＝1 を満たすことになる。
θの定義と 0＜θ＜π/2、0＜x/z＜1 から、cos(θ)＝x/z。同様に、θの定義と 0＜θ＜π/2、0＜y/z＜1 から、sin(θ)＝y/z。
仮定において成り立つとした等式 x^n+y^n＝z^n から、(x/z)^n+(y/z)^n＝1。よって、cos^n(θ)＋sin^n(θ)＝1 となる。
しかし、仮定から n≧3 であり、0＜θ＜π/2 から 0＜cos(θ)＝x/z＜1、0＜sin(θ)＝y/z＜1 だから、
0＜cos^n(θ)＋sin^n(θ)＜1 から cos^n(θ)＋sin^n(θ)≠1 となって矛盾が生じる。
Case2)：平面 R^2 上の半径1の円周で囲まれた円の中に有理点 A(x/z,y/z) が存在するとき。
0＜x/z＜1、0＜y/z＜1 から、確かに平面 R^2 上の半径1の円周で囲まれた円の中に有理点 A(x/z,y/z) は存在し、(x/z)^2+(y/z)^2＜1 を満たす。
θの定義と 0＜θ＜π/2、0＜x/z＜1 から、cos(θ)＝x/z。同様に、θの定義と 0＜θ＜π/2、0＜y/z＜1 から、sin(θ)＝y/z。
よって、0＜cos^2(θ)＋sin^2(θ)＜1 となる。しかし、これは cos^2(θ)＋sin^2(θ)＝1 に反し矛盾する。
Case3)：平面 R^2 上の半径1の円周で囲まれた円の外側に有理点 A(x/z,y/z) が存在するとき。
0＜x/z＜1、0＜y/z＜1 から、確かに平面 R^2 上の半径1の円周で囲まれた円の外側に有理点 A(x/z,y/z) は存在し、(x/z)^2+(y/z)^2＞1 を満たす。
θの定義と 0＜θ＜π/2、0＜x/z＜1 から、cos(θ)＝x/z。同様に、θの定義と 0＜θ＜π/2、0＜y/z＜1 から、sin(θ)＝y/z。
よって、cos^2(θ)＋sin^2(θ)＞1 となる。しかし、これは cos^2(θ)＋sin^2(θ)＝1 に反し矛盾する。
Case1)、Case2)、Case3)から、有理点 A(x/z,y/z) が存在し得る位置について、何れの場合においても矛盾が生じる。
背理法が適用出来るから、背理法を適用すれば、どんな3以上の整数nに対しても、x^n+y^n＝z^n を満たす3つの正整数x、y、zは存在しない。
45:１３２人目の素数さん
20/02/10 17:16:56.07 cxexSbfY.net
おっちゃんでした。
今回はとても単純に考えた。
以前抱いた妄想のような代物はウソではなかったかも知れない。
46:１３２人目の素数さん
20/02/10 17:18:38.40 cxexSbfY.net
それじゃ、おっちゃんもう寝る。
47:１３２人目の素数さん
20/02/10 17:32:26.84 akjMn/jc.net
>>43
お休みなさい。。。
48:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/10 17:33:16.47 V1TcM3E2.net
>>36
「分からない問題はここに書いてね458 」下記
ｽﾚﾘﾝｸ(math板)
へ、どうぞ
ここは、（スレタイより）「現代数学の系譜 雑談」ではあるのですが
（テンプレ>>1より）”基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳です”
そこで
「４つの記号で１０を作ってください
使っていい記号は四則演算だけ。
＝を使用してもダメです。
３ ４ ４ ９ 」
については
しかるべき規則を与えれば
あとは、コンピュータプログラム組めば良いだけなのでは？
現代数学の理論・理屈は不要で、
プログラムの問題に落とせる
C++さん（テンプレ>>5）の世界ですね（＾＾
49:１３２人目の素数さん
20/02/10 17:35:52.34 akjMn/jc.net
主様、ありがとうございます
板違い変態のくせにスレ違いのレスばかりしてごめんなさい。。。
行ってきますー！
ありがとう♪
50:１３２人目の素数さん
20/02/10 17:41:21.48 BqpIpsvT.net
>>36
問題の意味が曖昧だね。
数字の順番は変えてもいいの？
四則演算というけど"="使わないとすれば
3 4 4 9 の「間」は3つしかないよね。
だから4つ使うのは無理。
あるとすれば最初に"-"記号付けるしかないんでは？
「４×４-９+３=１０」
これを=を使わずに最初に"-"が来るようにすることはできるよね。
「-９+３+４×４」とかね。
51:１３２人目の素数さん
20/02/10 17:47:16.90 akjMn/jc.net
>>47
４*４*９*３ + - × ÷
ってなってました。
勝手に*を(いらないのかな？)と思ってとっちゃってました。。。
ごめんなさい。。。
考えてくださってありがとう。。。
凄くチャーミングなギフテッドが斬られちゃって。。。
でも斬られても返しが凄くチャーミングなんです！
さすが＊ギフテッド＊さんなんです。。。
52:１３２人目の素数さん
20/02/10 17:52:11.98 akjMn/jc.net
>>47
この答え、あっちにお知らせして来て良いですか？
てか、あちらに書き込まれたら、
ニューカマーですね！
凄い方がいっぱいいらっしゃるみたいですから、私より書き込む資格が充分、お有りかと。。。
でも数学専攻の方だと「ズルい！」って怒られちゃいそうw
「高ＩＱ社会不適合者スレ」っていうんです。。。
53:１３２人目の素数さん
20/02/10 17:56:38.28 BqpIpsvT.net
>４*４*９*３ + - × ÷
これでもまだ意味が曖昧だよ。
でも、それなりに賢いひとがやってできないってことは単なる組み合わせじゃ無理ってことじゃね？
それは乙に対する教訓でもあって
「お前が考えて解けるなら他のひとがとっくにやってるだろ！」
ということｗ
発想の転換が必要。
54:１３２人目の素数さん
20/02/10 18:00:17.67 akjMn/jc.net
最近、キュートなギフテッド男性が訪れるようになってます♪
ぜひぜひご参加してください。。。
ＩＱは１１７以上位有ればＯＫかな？っていうゆるスレなので、数学科専攻の方なら全然ＯＫじゃないかな？って思います。。。
55:１３２人目の素数さん
20/02/10 18:00:56.40 BqpIpsvT.net
4つ使わなくていいなら
4×4-9+3 だな。
56:１３２人目の素数さん
20/02/10 18:02:04.14 BqpIpsvT.net
何がギフテッドだ興味ないよ。
57:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/10 18:02:02.07 V1TcM3E2.net
>>42
おっちゃん、どうも、スレ主です。
お休みなさい
さて
（>>40 より）
(引用開始)
或る3以上の整数nが存在して、何れも或る3つの正整数 x、y、z が存在して、x^n+y^n＝z^n が成り立つとする。
Euclid 平面 R^2 上の半径1の円周をCで表す。
仮定から、nは3以上の整数だから、仮定で成り立つとした等式 x^n+y^n＝z^n から、
3つの正整数 x、y、z の大小関係について、0＜x＜z、0＜y＜z が両方共に成り立つ。
仮定から x、y、z は何れも有理整数だから、x、y、z∈Z。また、有理数体Qは有理整数環Zの商体だから、Z⊂Q。
よって、z＞0 から、x/z、y/z∈Q。0＜x＜z だから、0＜x/z＜1。同様に、0＜y＜z だから、0＜y/z＜1。
平面 R^2 上で点 A(x/z,y/z) と原点 O(0,0) とを結ぶ線分と、x軸正方向とのなす角をθとする。
0＜x/z＜1、0＜y/z＜1 が両方共に成り立つから、0＜θ＜π/2 である。
(引用終り)
これフェルマーの簡単な証明を目指しているのでしょうかね？
フェルマーっぽいねー（＾＾
でも、おっちゃんらしいなーと
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
フェルマーの最終定理
(抜粋)
フェルマーの最終定理（フェルマーのさいしゅうていり、Fermat's Last Theorem）とは、3 以上の自然数 n について、xn + yn = zn となる自然数の組 (x, y, z) は存在しない、という定理のことである[注釈 1]。
フェルマーの大定理とも呼ばれる。
ピエール・ド・フェルマーが驚くべき証明を得たと書き残したと伝えられ、長らく証明も反証もなされなかったことからフェルマー予想とも称されたが、
フェルマーの死後360年経った1995年にアンドリュー・ワイルズによって完全に証明され、ワイルズの定理あるいはフェルマー・ワイルズの定理とも呼ばれるようになった[1]。
58:１３２人目の素数さん
20/02/10 18:03:55.80 akjMn/jc.net
>>50
。。ｵｯﾁｬﾝｻﾝ。。。
。 ゜°○＊。゜(ノД`)。
59:１３２人目の素数さん
20/02/10 18:08:56.44 akjMn/jc.net
>>53
美しい若い人妻の高知能女性も
いらっしゃいましたよ。。。
准教授、医師、院首席卒業って、
キラキラ高知能一族御出身で
ミスキャンパスだった
＊＊容姿端麗＊＊の高ＩＱ
の方だそうです。。。
キラキラメンバーを増やしたい。。。
お気が向かれたら、ぜひ、いらしてください。。。
60:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/10 18:09:55.72 V1TcM3E2.net
>>54
＞でも、おっちゃんらしいなーと
おっちゃんとの出会いは、スレ11からだけど
常連さんになったから、下記スレ12 の2015/02/15(日)に私が、「おっちゃんと呼ばせてね」と名前を付けた
「おっちゃんらしいなー」の意は、出会い当時も
”自明な部分は長文の証明で埋め尽くし、
肝心な部分(異なるH(*)が非可算無限個とれるところ)はいつまで経っても証明できてない上に、
スレ主の方が既に証明できちゃってるという本末転倒ぶり”
って言われ、
ずっとその繰り返しだよね
フェルマーもその類に見えるなー（＾＾
スレ12 ｽﾚﾘﾝｸ(math板:22番)
22 名前：１３２人目の素数さん[] 投稿日：2015/02/15(日) 20:19:50.54 ID:wOLNHI5U [15/24]
学生じゃないなら、おっちゃんと呼ばせてね
おっちゃん、勘違いしているよ。前スレを引用するね
スレ11 ｽﾚﾘﾝｸ(math板:566番)
566 名前：１３２人目の素数さん[sage] 投稿日：2015/02/03(火) 20:31:59.04 ID:KYB7IjhQ [3/4]
>>565
別にスレ主を擁護してるわけじゃねーよ。
でも>>558は幾らなんでもアホだろ。
そもそもの問題からしてくだらないのに、自明な部分は長文の証明で埋め尽くし、
肝心な部分(異なるH(*)が非可算無限個とれるところ)はいつまで経っても証明できてない上に、
スレ主の方が既に証明できちゃってるという本末転倒ぶり。出題者のくせに何やってんだよ。
恥さらしもいいとこだろ。
61:１３２人目の素数さん
20/02/10 18:11:30.15 akjMn/jc.net
呼び込みみたいになっちゃった。。。
時間も時間だし、怪しすぎるレスしまくっちゃってごめんなさい。。。
つい＊＊キラキラ＊＊メンバーを増やしたくて勧誘熱心になっちゃいました。。失礼しました。。
62:１３２人目の素数さん
20/02/10 18:19:02.48 BqpIpsvT.net
>>56
そういう人たちと交わりたいというのは潜在意識のあらわれだな。
普通のひとはあまりそういう志向はないと思う。
自分にないものを求めているのか、自分もその一員であるべきと思っているのか
いずれにしてもあまり健全な傾向ではないね。
ま、どうでもいいが。
63:１３２人目の素数さん
20/02/10 18:35:34.55 akjMn/jc.net
>>59
素敵なんです。楽なんです。
そうそう！って納得だし、目から鱗が多いし、悩みも(ﾜｶﾙ！ﾜｶﾙ！ﾜｶﾙｮ～！)ってストレス解消なことがいっぱいもらえるんです。。。
変態は珍獣だったから、きっと
ちょこっとだけ、、、レアケースの悩みなとこがしっくりくるんです。。。
そっくりの家族状況の方とかいらっしゃって、、、泣けてきます。。。
64:１３２人目の素数さん
20/02/10 18:37:09.28 akjMn/jc.net
あ、変態の家族はキラキラ一族の方とは別世界です♪
別の方と原家族状況が似てました。。。
65:１３２人目の素数さん
20/02/10 18:45:16.58 SopwtTXY.net
数学は高知能・流動性知能だけじゃなくて、専門の知識・結晶性知能も必要だから(流動性知能が高い(だけ？)の人達じゃ、、、)って、なっちゃいますよね？
でも原石の＊キラキラ＊を見ると
初心に帰って心が洗われるかも？ですよ。。。
ダイアモンド達は原石から＊キラキラ＊＊なんです。。。♪
先ほどの問題の答えは
『高ＩＱだけど社会不適合の人』
スレで出して頂いてました。。。
チャーミングな美魔女様から、教えて頂けました。。。♪
教えて下さった方、すぐに教えて頂いて、ほんとにありがとうございました。。。
66:１３２人目の素数さん
20/02/10 18:46:04.38 SopwtTXY.net
>>62
ＩＤ変わってる。。。けど、変態です♪
67:１３２人目の素数さん
20/02/10 18:50:06.86 SopwtTXY.net
板違い、大変失礼致しました(汗
簡単な？はずの数字クイズまで解けないストレスで、焦って、ついﾌﾟﾁパニックになってしまいました。。。
68:１３２人目の素数さん
20/02/10 19:07:04.27 dX3r24xT.net
>>35
>これだけ読んで、真に受ける人いないでしょ？
>その直感を大切にしましょうね
直感は直観、数学は数学
直感通りにならないから数学パズル足り得る。バカには理解できないだけのことです（＾＾；
>あとの、”ぐだぐだ証明もどきに騙されないようにしましょうね”
>ってことです
どうぞ証明のギャップを示して下さい。
ぐだぐだ証明もどきと大見得切るからには簡単に示せますよね？（＾＾
69:１３２人目の素数さん
20/02/10 19:09:40.95 dX3r24xT.net
あれ？ぐだぐだ証明もどきなのにギャップひとつ示せないんですか？
また今度もギャップあるある詐欺ですか（＾＾；
サイコパスにも困ったもんですねえ～（＾＾；
70:１３２人目の素数さん
20/02/10 19:11:13.76 SopwtTXY.net
キラキラスレでギフテッドや
美魔女様降臨ではしゃいで
＊＊多用しちゃって浮きまくってたら
ウザキモがられちゃいました。。。。
５ﾁｬﾝﾓ ｶﾞﾙﾁｬﾝﾓ出禁ﾁｯｸ...
°。゜(ノД`)゜。
71:１３２人目の素数さん
20/02/10 19:12:40.25 dX3r24xT.net
サイコパスは平気で嘘吐くので始末悪いですね
反例に続いて今度はギャップあるある詐欺ですもんねえ（＾＾；
72:１３２人目の素数さん
20/02/10 19:16:31.29 dX3r24xT.net
みなさん
このスレには「あるある詐欺」が横行してますので注意しましょう
詐欺師 ◆e.a0E5TtKE を見かけたら通報しましょうね（＾＾
73:１３２人目の素数さん
20/02/10 19:34:39.51 7FZGXTCi.net
>>32
>1つは、確率変数の無限族の独立性
>”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが，
>これは全くの的外れ
スレ20の「確率論の専門家」の
無限乗積による無限族の独立性の定義は
解析学を知らない素人の的外れな戯言
>も1つは、非可測の話
>時枝さん、ヴィタリの話をしているが
>本当は、ジムの数学徒氏が言った
>「(2) P(∀i≧D x[i]=r(C(x))[i] | d(x)≦D)=1
> は確率論の公理の要請に反してしまう」
>なんだ
ジム氏も「確率論の専門家」氏と同様
無限乗積を漫然と使用してるが
これまた的外れ
両者が同じ誤りを犯してる時点で
同一人物の可能性は高い
この人物は解析学の基本が分かってないので
おそらく数学科の出身ではない
74:１３２人目の素数さん
20/02/10 19:35:25.37 7FZGXTCi.net
>>33
>この論法（時枝記事戦略）のどこが、おかしいでしょうか？
◆e.a0E5TtKE は定数と変数をごっちゃにしてる
そこがおかしい
ある定数ｎを定めた上で
「無限列の決定番号ｄがｎより小さい確率」
を考えるなら、そりゃ任意のε＞０より小さくなるだろう
し・か・し
９９個の無限列の決定番号の最大値Ｄ(x_1,…,x_99)をとった上で
「無限列の決定番号ｄがＤ(x_1,…,x_99)より小さい確率」
を考えた場合、上記の考え方が通用するとはもはや言えない
なぜならＤ(x_1,…,x_99)は定数ではなく、
９９個の列x_1,…,x_99に依存する変数だから
75:１３２人目の素数さん
20/02/10 19:41:12.36 7FZGXTCi.net
D(x_1,…,x_n)＝max(d(x_1),…,d(x_n))とする
このとき
「無限列の決定番号ｄがｎより小さい確率」
「無限列の決定番号ｄがD(x_1)より小さい確率」
「無限列の決定番号ｄがD(x_1,x_2)より小さい確率」
「無限列の決定番号ｄがD(x_1,x_2,x_3)より小さい確率」
・・・
上記は皆、異なる
そして、もし関数ｄ(x)が可測であった場合には上記の確率は
1,1/2,1/3,1/4,…
となるだろう
76:１３２人目の素数さん
20/02/10 19:43:26.00 7FZGXTCi.net
>>72 修正
D(x_1,…,x_n)＝max(d(x_1),…,d(x_n))とする
このとき
「無限列の決定番号ｄがｎより小さい確率」
「無限列の決定番号ｄがD(x_1)より小さい確率」
「無限列の決定番号ｄがD(x_1,x_2)より小さい確率」
「無限列の決定番号ｄがD(x_1,x_2,x_3)より小さい確率」
・・・
上記は皆、異なる
そして、もし関数ｄ(x)が可測であった場合には上記の確率は
0,1/2,2/3,3/4,…
となるだろう
77:１３２人目の素数さん
20/02/10 20:26:13.71 dX3r24xT.net
単純に a>b 且つ a<b を満たす自然数の組 a,b が存在しない限り時枝成立ですよ
その限りにおいては、100個の決定番号から成る集合の単独最大元が複数個になり得ないですから
78:１３２人目の素数さん
20/02/10 20:30:08.54 dX3r24xT.net
だから時枝を否定したいなら
a>b 且つ a<b を満たす自然数の組 a,b
を示せと
可測性はまったく無関係ですね
だってある列が当たる確率なんて論じてないですから
そこを勘違いしているのが自称確率論の専門家
79:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/10 20:48:52.33 mRVZ7FnM.net
>>45
ほいよ
この話と同じかな？（＾＾；
URLﾘﾝｸ(masasanno.com)
まささんの○○ブログ
【切符パズル】4つの数字で１０を作る！テンパズルの難問・良問１０選【ｍａｋｅ１０】 2019.02.20
(抜粋)
皆さんはテンパズルというパズルゲームを御存じでしょうか？
４つの数字と四則演算（＋、－、×、÷）とカッコを使って答えを１０にするというあれです。
よく切符に載っている４桁の数字を使って移動中の暇つぶしに行われたりするので切符パズルと呼ばれることが多いですね（ＩＣカードの普及によって最近の若い人たちに馴染みがあるかはわかりませんが）。
他にmake10などとも呼ばれるようです。
単純に問題は0000～9999まで存在することになるんですけど、その中でも重複しない４つの数字を使用したものに関しては必ず正解があるというのを聞いて昔全通り自力で解いたことがあります。
当時の僕は相当暇だったらしい…。
たいていの問題は試行錯誤しているうちになんとなく解けてしまうんですが、3467と3478の２問はかなり苦戦した記憶があります。
特に3478は後でも紹介しますがラスボスクラスの手強さ！
解を見つけた時の達成感はなかなかのものがありますよ。
ちなみに数字が重複するものを問題として使用してもいいんですが、解がないものも存在します。暇つぶしどころか時間の無駄になる可能性もあるので気を付けましょう（笑）
今日はそんなテンパズルの、皆に解いてもらいたい難問・良問を１０問紹介したいと思います！
目次
1.テンパズルのルール
2.テンパズルを解く
1.小手調べ１問
2.解が複数ある良問２問
3.解が１つか２つの良問３問
4.解は１つのみ！ラスボス級の難問４問
3.答え合わせをする
1.小手調べ１問の答え合わせ
2.解が複数ある良問２問の答え合わせ
3.解が１つか２つの良問３問の答え合わせ
4.解は１つのみ！ラスボス級の難問４問の答え合わせ
4.まとめ・スッキリできましたか？
80:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/10 21:08:03.00 mRVZ7FnM.net
>>76
＞よく切符に載っている４桁の数字を使って移動中の暇つぶしに行われたりするので切符パズルと呼ばれることが多いですね（ＩＣカードの普及によって最近の若い人たちに馴染みがあるかはわかりませんが）。
「よく切符に載っている４桁の数字」は、分からんだろうな
あいみょん の ドーナツ盤とか
桃太郎の”たらい”（と洗濯板）とか
電話 リンリン とか
（参考）
URLﾘﾝｸ(oshiete.goo.ne.jp)
教えて！ goo
JR東日本の切符の数字の意味
質問者：yoshinobu_09質問日時：2012/04/10
日付、時間の横にある数字の意味を教えてください。
よろしくお願いします。
URLﾘﾝｸ(oshiete.xgoo.jp)
No.5ベストアンサー
回答者： gsmy5
4桁の数字の話なら通し番号です。毎日0001から始めているのではなく、前日最後に打った番号の次の番号から始まり、9999→0000→0001の順に機械的に番号を繰り返します。
君はロックを聴かない あいみょんの曲
埃まみれ ドーナツ盤には あの日の夢が踊る 真面目に針を落とす 息を止めすぎたぜ
URLﾘﾝｸ(hukumusume.com)
福娘童話集 > お話きかせてね
桃太郎
桃は、
おばあさんの前へ流れて来ました。
おばあさんは、にこにこしながら桃を拾い上げると、
「さあ、早くおじいさんと二人で分けて、食べましょう」
と、桃を洗濯物と一緒にたらいの中に入れて、家に持って帰りました。
URLﾘﾝｸ(hukumusume.com)
URLﾘﾝｸ(open.mixi.jp)
mixiユーザー(id:4597260)
伝言板～昭和歌謡曲83昭和ワードの歌②～ピンボール
電話関係なら「恋のダイヤル６７００」フィンガー5
作詞：阿久悠 作曲・編曲：井上忠夫昭和48年
♪指のふるえを押さえつつで僕はダイヤル回した♪
こういうダイヤル式の電話
URLﾘﾝｸ(photoservice-imagecluster.img.mixi.jp)
81:all.jpg 冒頭の呼び出し音「リンリンリリン リンリンリリンリンリンリンリリン」 も懐かしい。
82:１３２人目の素数さん
20/02/10 21:44:05.58 dX3r24xT.net
”ぐだぐだ証明もどき”と言いがかりをつけておきながら証明のギャップは示さない詐欺師にご注意！
83:１３２人目の素数さん
20/02/10 21:46:42.68 P+bQ2SpM.net
>>76-77
主様ありがとうございます！
これだったのかも？ですね♪
でもこれ、解が無い組み合わせを選んじゃったり、いちいち調べるのって考えてみただけで気絶です。
なんとか手っ取り早く、１度で全部やっつけられる魔法の式とかって無いものでしょうか...
すう板だけに。。。？
有れば＊キラキラ＊ギフちゃま＊も
びっくりして腰抜かしちゃうかも？
ﾌﾟﾌﾟﾌﾟｯ( *´艸｀)ですね。。。？
＊＊ギフちゃま＊＊驚かせて
天才ぶりたーーーい！！！
(＠´_ゝ`@)な～んてね♪♪♪
84:１３２人目の素数さん
20/02/10 21:52:50.52 P+bQ2SpM.net
賢いスレにお邪魔してるとキラキラが眩しくて楽しいけど、自分の＠＠あほ＠＠さに 気づいて気づいて仕方な～い！
で～す。＠＠楽し～い＠∧つらーい！
85:１３２人目の素数さん
20/02/10 21:58:15.60 P+bQ2SpM.net
今度は美魔女様が何やら容積を測る難問を。。。
スレにスフィンクスが降臨されて
スレを訪れる高ＩＱ旅人達が試され出してるみたいです。。。
面白いんですよ♪
果敢に挑む勇者が直ぐに現れるのが
高ＩＱスレなんですね♪
賢い人がクイズ解こうとして
奮闘してるの見てるだけで楽しいです！♪
86:１３２人目の素数さん
20/02/10 22:03:18.20 P+bQ2SpM.net
変態は数学苦手で数字みたら
思考が固まって軽くﾊﾟﾆｯｸが起きてしまうようなので、見てるだけだけど、
賢い人の試行錯誤みてるだけで
(* ﾟ∀ﾟ)＊＊＊ﾜｸﾜｸします。。。♪♪♪
ギフテッド最高！！！♪♪♪
💖惚れてまうやろおぉｫーーｯ！💓
でーす！♪
87:１３２人目の素数さん
20/02/10 22:05:12.62 P+bQ2SpM.net
でもたしか、容積って
未だに正確に測る方法って
無かったような。。。？
88:１３２人目の素数さん
20/02/10 22:06:37.04 P+bQ2SpM.net
計算式が無かったはずだから、
数板問題じゃないんですよね？
失礼致しました。。。(汗
89:１３２人目の素数さん
20/02/10 22:17:44.09 dX3r24xT.net
あるある詐欺師に数学は無理ですから 残念！
90:１３２人目の素数さん
20/02/10 22:18:12.04 P+bQ2SpM.net
たすけて。。。
＊＊ギフ＊が素敵すぎる。。。好ｷｽｷﾞﾙ...眩しすぎて、みんなのギフ様なのが、つらい。。。ﾂﾗｽｷﾞﾙ...
あんなに素敵な人がいるなんて...！
知らない方がよかったかも...！
もうさっそく、つらくなって来ちゃいましたよー...
91:１３２人目の素数さん
20/02/10 22:19:40.94 P+bQ2SpM.net
。。。つらい。。°＊。゜(ノД`)゜。
92:１３２人目の素数さん
20/02/10 22:22:27.95 P+bQ2SpM.net
悶々ﾀｲﾑにヒキコモリます...
＊＊ギフ＊の＊キラキラ＊レスをみながら泣いときます。。。お騒がせしてごめんなさいでした。。。
93:１３２人目の素数さん
20/02/10 22:31:54.74 7FZGXTCi.net
D(x_1,…,x_n)＝max(d(x_1),…,d(x_n))とする
このとき
「無限列の決定番号ｄがnより小さい確率」
「無限列の決定番号ｄがD(x_1)より小さい確率」
「無限列の決定番号ｄがD(x_1,x_2)より小さい確率」
「無限列の決定番号ｄがD(x_1,x_2,x_3)より小さい確率」
・・・
上記は皆、異なる
94:１３２人目の素数さん
20/02/10 22:46:19.19 dX3r24xT.net
反例まだ～？
☆ ﾁﾝ ﾏﾁｸﾀﾋﾞﾚﾀ～
ﾏﾁｸﾀﾋﾞﾚﾀ～
☆ ﾁﾝ 〃 ∧＿∧
ヽ＿＿_＼(＼･∀･)
＼＿／ ⊂ ⊂＿)
／￣￣￣￣￣ ／|
|￣￣￣￣￣￣| |
| 愛媛みかん |／
￣￣￣￣￣￣
95:１３２人目の素数さん
20/02/10 22:46:47.94 dX3r24xT.net
証明のギャップまだ～？
☆ ﾁﾝ ﾏﾁｸﾀﾋﾞﾚﾀ～
ﾏﾁｸﾀﾋﾞﾚﾀ～
☆ ﾁﾝ 〃 ∧＿∧
ヽ＿＿_＼(＼･∀･)
＼＿／ ⊂ ⊂＿)
／￣￣￣￣￣ ／|
|￣￣￣￣￣￣| |
| 愛媛みかん |／
￣￣￣￣￣￣
96:１３２人目の素数さん
20/02/10 22:48:02.11 dX3r24xT.net
反例もギャップも出せないならスレ閉鎖の要件成立ですね
約束は守りましょうね、幼稚園で教わりましたよね？
97:１３２人目の素数さん
20/02/10 23:05:49.93 dX3r24xT.net
約束も守れないんじゃサイコパスと認定せざるを得ないですね
98:１３２人目の素数さん
20/02/10 23:06:56.12 dX3r24xT.net
やはり真のサイコパスは◆e.a0E5TtKE でした
QED
（＾＾
99:１３２人目の素数さん
20/02/10 23:31:49.10 4ueNx14E.net
もうダメだ...
ギフに嫌われた...！
ドン引きされちゃったーーー！
ﾀﾋにたい。。。＿|￣|○
100:１３２人目の素数さん
20/02/10 23:40:19.56 4ueNx14E.net
気持ちが抑えきれなくって、
いきなり好ｷ❗💓好ｷ❗❗💖❗❗❗
大爆発して自爆しちゃった。。。
もーﾀﾞｰﾒﾀﾞ～ｯ！ヾ(･∀･｡)
ある意味スッキリ！！？
そんなに長く悶々としなくてすみました。。。(ﾁｮｯﾄ...ﾎｯ!...?)
度々、お騒がせしてま～す。。。
数学人の皆さんはすっごく素敵な人を見つけても、やっぱり冷静に計算出来るんですか？
101:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/10 23:43:15.57 mRVZ7FnM.net
>>57
>フェルマーもその類に見えるなー（＾＾
記憶では、クンマー理論でフェルマーを扱うとき、正則素数と非正則素数の場合分けが必要だったと思うのがだ
だから、上記場合分けなしで、議論しているのを見ると、どっかで間違えているとしか見えないのだった（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
正則素数
数論における正則素数（せいそくそすう、regular prime）とは、円の p 分体の類数を割り切らない素数 p のことであり、エルンスト・クンマーにより考案された。
小さいものから順に
3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, …（オンライン整数列大辞典の数列 A7703）
と続く。
クンマーは、奇素数の正則性は p が k = 2, 4, 6, …, p ? 3 におけるベルヌーイ数の分子を割り切らないことと等価であることを示した。
また、次数が正則素数である場合にフェルマーの最終定理が正しいことを証明した。
正則素数は無限に存在すると予想されている。
より正確には、e^?1/2 、つまり約 61% の素数が正則であると予想されている (Siegel, 1964)。
どちらの予想も、2009 年現在まだ証明されていない。
正則でない奇素数は非正則素数と呼ばれ、小さいものから順に
37, 59, 67, 101, 103, 131, 149, 157, 233, 257, 263, … (A928)
と続く。
分子が p で割り切れるようなベルヌーイ数 Bk の個数は p の非正則指数と呼ばれる。K. L. ジェンセンは、1915年、非正則素数が無限に存在することを示した。
102:１３２人目の素数さん
20/02/10 23:46:23.20 EaGEQ+Vz.net
ｽﾚﾘﾝｸ(sec2chd板:354番)
どうやら板の管理人が見ていないようだ
板の管理人が見ている場所を知っている人がいたら教えて欲しい、もしくは代わりに取り次いで欲しい
103:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/10 23:47:59.50 mRVZ7FnM.net
>>79
>でもこれ、解が無い組み合わせを選んじゃったり、いちいち調べるのって考えてみただけで気絶です。
>なんとか手っ取り早く、１度で全部やっつけられる魔法の式とかって無いものでしょうか...
無いように思います
コンピュータプログラムでしらみつぶしでは？
おっと、量子コンピュータで一瞬かも・・、なーん
104:ちゃってｗ（＾＾；
105:１３２人目の素数さん
20/02/10 23:55:50.79 dX3r24xT.net
反例まだ～？
☆ ﾁﾝ ﾏﾁｸﾀﾋﾞﾚﾀ～
ﾏﾁｸﾀﾋﾞﾚﾀ～
☆ ﾁﾝ 〃 ∧＿∧
ヽ＿＿_＼(＼･∀･)
＼＿／ ⊂ ⊂＿)
／￣￣￣￣￣ ／|
|￣￣￣￣￣￣| |
| 愛媛みかん |／
￣￣￣￣￣￣
106:１３２人目の素数さん
20/02/10 23:56:18.34 dX3r24xT.net
証明のギャップまだ～？
☆ ﾁﾝ ﾏﾁｸﾀﾋﾞﾚﾀ～
ﾏﾁｸﾀﾋﾞﾚﾀ～
☆ ﾁﾝ 〃 ∧＿∧
ヽ＿＿_＼(＼･∀･)
＼＿／ ⊂ ⊂＿)
／￣￣￣￣￣ ／|
|￣￣￣￣￣￣| |
| 愛媛みかん |／
￣￣￣￣￣￣
107:名無し
20/02/11 00:06:44.99 o60HFhOa.net
>>98
ごめんなさい！
変な書き込みばっかりしちゃって！
でも猿石さんの仕業ではないんです！
変な絵文字、顔文字嵐は猿石さんとは別人の「絵文字変態」こと、、、読みづらい、、、あの↑トリップの仕業なんです！
トリップも別なんですよ？
私は猿石さんではないんです！
粘着板違い嵐風ですけど！
いえ、嵐ですね！完全に！
じゃ必ず数板に書き込む時には
コテハンにしましょうか？
え？書き込むな？
ごもっとも！
お嫌なら、ＮＧできるようにコテ専で書き込みますから。。。？
だめですか？
108:１３２人目の素人さん
20/02/11 00:10:51.25 o60HFhOa.net
主様、天魔様、皆様、ごめんなさーいっ！
め～とん君ごめんなさーいっ！
。 ° ＊。゜(。ノД`)゜。
ｺﾞﾒﾝﾅｻｨ...ｻﾖﾅﾗ...
109:１３２人目の素数さん
20/02/11 00:16:19.12 o60HFhOa.net
。＊ 。
ﾅｶﾞｲｱｲﾀﾞ ｵｾﾜﾆﾅﾘﾏｼﾀ。°＊。○。＊°
。°○ ＊
みなさま お元気で 。○° ＊。
。
＊ 。 ○。
110:１３２人目の素数さん
20/02/11 00:18:33.67 gdPWLy3I.net
乙の間違いがクンマーレベルのわけないだろｗ
どこにでもいるトンデモと同じく初歩的なところで間違ってるに決まってる。
脳に損傷受けたくないから読まないけどｗ
111:１３２人目の素数さん
20/02/11 00:26:05.95 gdPWLy3I.net
>>102-104
このひとなんでこの板に居ついちゃったのかね？
>>98は他スレにも書いてるし、必ずしもあなたのことを標的にしてるのではないのでは？
これまでも消えると言いいながら戻ってきてるから言うけど
板に書き込むときは、一呼吸おいて考えてから書き込みましょう。
なお返信は不要ですから。
112:１３２人目の素数さん
20/02/11 01:00:00.45 gdPWLy3I.net
「箱入り無数目」の成立は、以前いた確率論の専門家らしきひとによると「自明」。
箱の中が変数とか考えなければね。
しかしその「自明」は数学科レベルでの自明であって、一般のひとからすると
むしろ非常に高度なパズルで、理解できないのが普通だろう。
直感の起源というのは人類が進化の過程で身に付けてきたものだろうけど
「無限個の箱」の現象など人類が経験してきたことではないから。
この話を他板でしたとしてもキョトンとされるだけだろう。
113:１３２人目の素数さん
20/02/11 01:40:39.29 pez17n4y.net
数学の世界と現実世界を区別できないキチガイが不成立と騒いでいるだけですね。
例えば数学の世界では、実数列 s とその代表 r が与えられると直ちに決定番号 d が判ることになってるけど、
これには無限個の項を認知する能力が必要。その能力が無ければ「第 d 項から先すべて一致」なんて判らない訳だからね。
そんな能力の持ち主は現実世界にはいない。
逆にそんな神のような能力を認めるなら、キチガイのように拒絶反応する必要も無いんだけど（＾＾；
114:１３２人目の素数さん
20/02/11 07:08:42.41 yCL40qf3.net
>>108
そもそも現実世界には無限個の箱はないだろ
あったとしても、実数の無限列ｓ、ｓ’に対して
「ｓとｓ’がある箇所から先一致する」
と判定する手続きがないだろ
（これ言い出すとそもそも尻尾の同値類が
構成できないということになる）
で、上記の同値関係の判定ができたとしても
同値類の代表元ｒ（ｓ）を返す関数ｒが
具体的に構成できないだろ
（ｒは選択公理で存在が云
115:えるだけのこと）
116:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 08:48:20.17 CB29Ozfy.net
>>97 追加
URLﾘﾝｸ(ocw.u-tokyo.ac.jp)
学術俯瞰講義 ～数学を創る～ 第２回 東京大学
Mathematics ‘‘On Campus’’
ことばを創り、世界を創る
２００９．１０．１５
de Fermat. (1601.8.20-. 1665 1 12).1.12). フランスの. トゥールーズの人. 「数論の父」 ... フェルマーの最終定理before 1986. フェルマーの最終定理before 1986. ? 超有名で、. 歴史的に重要. ? 歴史的に重要. 代数的整数論の確立（クンマー） ...
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
平成19年度(第29回)数学入門公開講座テキスト(京都大学数理解析研究所，平成19年7月30日～8月2日開催)
R = T 定理の仕組みとその応用
安田 正大
この講座では, Fermat 予想の証明のために Wiles, Taylor-Wiles が確立した R = T 定理に関する最近の
発展と応用についてお話します.
この原稿は数学の専門家でない方を対象にして書かれており, 内容の正確さよりも, 大体の感じをつかん
でもらうことを目標としています. 読者に難解な印象を与えないようにするために, 専門家向けの文章では
許されないようなあいまいな表現の仕方をあえてしている部分があります.
1. Fermat 予想
19. 謝辞
草稿段階の本原稿に目を通してくださり, たくさんの有益な助言を下さいました山下剛さんに感謝いたし
ます.19
URLﾘﾝｸ(www7a.biglobe.ne.jp)
４３「フェルマーの最終定理」
とうとうフェルマーの最終定理について書く時が来た。
多分これまでに書いた中でも最も困難な挑戦になるだろう。
117:１３２人目の素数さん
20/02/11 10:24:45.45 yCL40qf3.net
「確率論の専門家」も「ジム」も語らなかったこと
順序統計量
URLﾘﾝｸ(ja.wikipedia.org)
「順序統計量（じゅんじょとうけいりょう、英: order statistic）は、
統計において k 番目に小さい値である標本を求めることをいう。
いま X1, X2,..., Xn は 無作為抽出での標本であるとする。
すなわち、同一分布に従い、互いに独立 である（i.i.d.）とする。
さらに、これらは連続分布を持つ確率変数であり、
f (x) がその確率密度関数、F (x) が累積分布関数とする。
また、これらを小さい順に並べた順序統計量を
X(1), X(2),..., X(n) とする。
このとき、最小値X_(1)、最大値X_(n)の累積分布関数については、
F_X_(1)(x)=1-{1-F(x)}^n
F_X_(n)(x)&={F(x)}^n
となる。」
99個の標本の最大値F_X_(99)に対して、
さらに1個とった標本が、より大きくなる確率は
∫F_X(99)(x)f(x)dx
＝∫[F(x)]^99(dF(x)/dx)dx
＝∫(0～1)F^99dF
＝1/100[F^100](0～1)
＝1/100
118:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 11:24:57.81 6xY3HAGO.net
>>109
>そもそも現実世界には無限個の箱はないだろ
>あったとしても、実数の無限列ｓ、ｓ’に対して
>「ｓとｓ’がある箇所から先一致する」
>と判定する手続きがないだろ
>（これ言い出すとそもそも尻尾の同値類が
> 構成できないということになる）
どうもスレ主です。
この考察は、良い線行っていると思う
１．”実数の無限列ｓ、ｓ’に対して「ｓとｓ’がある箇所から先一致する」と判定する手続きがないだろ”は、人間の能力の限界として正しいが
これを認めると、コーシー列で定義された二つの異なる実数r,r' の区別が出来ないことになる
なので、数学は思念として可能としている
（所詮、人間は、無限を極限として、考えているにすぎないのかもしれないね）
２．同様に、物理的に無限個の箱はないとしても、数学界では思念上の形式的冪級数は存在し、形式的冪級数の係数を無限の箱と見れば良い
（形式的冪級数も、結局はｎ次多項式のｎ→∞の極限として、考えているにすぎないのかもしれないね。コーシー列に同じ）
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
形式的冪級数
定義
A を可換とは限らない環とする。A に係数をもち X を変数（不定元）とする（一変数）形式的冪級数 (formal power series) とは、各 ai (i = 0, 1, 2, …) を A の元として、
Σn=0～∞ anX^n=a0+a1X+a2X^2+・・・
の形をしたものである。
119:１３２人目の素数さん
20/02/11 11:31:25.42 yCL40qf3.net
>>112
＞コーシー列で定義された二つの異なる実数r,r' の区別が出来ない
rとr'の定義次第で、できるときもある
むしろ、ほとんど全ての実数は人力では構成不能、
という点のほうが重要かと思われ
120:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 11:32:28.34 6xY3HAGO.net
>>109
>で、上記の同値関係の判定ができたとしても
>同値類の代表元ｒ（ｓ）を返す関数ｒが
>具体的に構成できないだろ
>（ｒは選択公理で存在が云えるだけのこと）
(>>22より)
可算無限数列 s=(s1,s2,・・sd,sd+1・・)に対し
s自身を代表としても良い
代表は、単に
一つの同値類から、一つを選ぶだけで良いので
あるいは、ｓ自身がいやなら、先頭の数字を少し変化させて
s=(s'1,s'2,・・sd,sd+1・・)
とでもしておけば、良い
フルパワー選択公理は必要なのは、
非可算無限存在する同値類の各々全部から、代表を選ぶときですね
121:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 11:36:32.02 6xY3HAGO.net
>>113
>むしろ、ほとんど全ての実数は人力では構成不能、
>という点のほうが重要かと思われ
それ同意です
実際、おっちゃんが研究して、オイラー定数γは、有理数ではないかというが
現実に、現代の数学でも未解決問題
もし、人間に任意の無限数列のシッポを見極める能力があれば、
有理数か無理数かを、判定可能のはずですからね（＾＾
122:１３２人目の素数さん
20/02/11 11:41:08.14 yCL40qf3.net
>>114
回答者は箱を開けた中身がどんな列か予測できないので
The Riddleで100人の回答者が共通の代表元を選ぶとするなら
全ての同値類の代表元をあらかじめ決める必要がありますね
そのための選択公理ということです
100人の回答者が共通の代表元を選べない、というなら
選択公理は成立しないことになりますね
123:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 11:42:47.34 6xY3HAGO.net
>>111
＞「確率論の専門家」も「ジム」も語らなかったこと
＞順序統計量
＞ URLﾘﾝｸ(ja.wikipedia.org)
うん
それも良い考察ですね
一つ指摘しておけば
分布を積分したときに、∞に発散する場合には、数学的扱いが難しくなるってことです
そして、時枝さんに戻せば、決定番号ｄについて、積分ができない
いや、正確には、箱に入れる数を、0～9の整数に限り、箱の数ｎを有限にすれば、積分（この場合和）は可能です
しかし、上記でもｎ→∞ では、発散してしまう
124:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 11:46:13.96 6xY3HAGO.net
>>116
>The Riddleで100人の回答者が共通の代表元を選ぶとするなら
>全ての同値類の代表元をあらかじめ決める必要がありますね
代表を決定する人を一人立てれば良い
その人は、可算無限数列をもらって、同値類と代表を一つ返す（まあ、関数みたいな役割です）
その人は、それだけを仕事とする。それ以外の一
125:切の情報を出さないとすれば 100人の回答者の得る代表は、一意に決まる
126:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 11:47:20.46 6xY3HAGO.net
>>118 補足
＞その人は、それだけを仕事とする。それ以外の一切の情報を出さないとすれば
100人の間の情報連絡役にはならないという意味ね（＾＾
127:１３２人目の素数さん
20/02/11 11:55:07.68 pez17n4y.net
>>114
時枝戦略では選択公理が必要
不定な代表からは情報をもらえないから
分かってないバカは黙ってろ
128:１３２人目の素数さん
20/02/11 11:55:57.46 pez17n4y.net
反例まだ～？
☆ ﾁﾝ ﾏﾁｸﾀﾋﾞﾚﾀ～
ﾏﾁｸﾀﾋﾞﾚﾀ～
☆ ﾁﾝ 〃 ∧＿∧
ヽ＿＿_＼(＼･∀･)
＼＿／ ⊂ ⊂＿)
／￣￣￣￣￣ ／|
|￣￣￣￣￣￣| |
| 愛媛みかん |／
￣￣￣￣￣￣
129:１３２人目の素数さん
20/02/11 11:56:15.69 pez17n4y.net
証明のギャップまだ～？
☆ ﾁﾝ ﾏﾁｸﾀﾋﾞﾚﾀ～
ﾏﾁｸﾀﾋﾞﾚﾀ～
☆ ﾁﾝ 〃 ∧＿∧
ヽ＿＿_＼(＼･∀･)
＼＿／ ⊂ ⊂＿)
／￣￣￣￣￣ ／|
|￣￣￣￣￣￣| |
| 愛媛みかん |／
￣￣￣￣￣￣
130:１３２人目の素数さん
20/02/11 11:58:24.02 yCL40qf3.net
>>117
ここでは標本は箱ではなく列とします
この場合、列の数は有限ですから無限はでてきません
決定番号の確率分布関数は定義できませんが
決定番号０の確率を基準として
決定番号１，２，３、・・・の各場合の確率を比として表すことは可能です
そしてこのような関数で代用した場合の計算を行った場合
１００列の場合は１／１００以下になると思われます
131:１３２人目の素数さん
20/02/11 12:00:14.46 yCL40qf3.net
>>118
＞代表を決定する人を一人立てれば良い
そのような人が存在し得る、というのが選択公理です
132:１３２人目の素数さん
20/02/11 12:11:02.36 yCL40qf3.net
箱に入れる数を、0～9の整数に限るとします
そのとき
・決定番号ｎ＋１以下の確率は
決定番号ｎ以下の確率の１０倍
２列とる場合
・決定番号の最大値がｎ＋１以下の確率Ｐ［ｎ＋１］は
決定番号の最大値がｎ以下の確率Ｐ［ｎ］の１０＾２＝１００倍
なぜなら
Ｐ［ｎ＋１］
＝Ｐ［ｎ］＋２＊９＊Ｐ［ｎ］＋９＊９＊Ｐ［ｎ］
＝（１＋１８＋９１）Ｐ［ｎ］
＝１００Ｐ［ｎ］
だから
（２番目の項は１列目だけもしくは２列目だけ決定番号がｎ＋１の場合
３番目の項は１列目および２列目の決定番号がｎ＋１の場合）
133:１３２人目の素数さん
20/02/11 12:13:17.00 pez17n4y.net
>>117
決定番号の非可測性は時枝戦略を否定する材料にならない。
もし「100列のうちのある列がアタリである確率」が必要なら材料になるが。
自称確率論の専門家はそこを誤解している。
134:１３２人目の素数さん
20/02/11 12:14:42.63 yCL40qf3.net
>>125
訂正 ９１→８１
－－－
箱に入れる数を、0～9の整数に限るとします
そのとき
・決定番号ｎ＋１以下の確率は
決定番号ｎ以下の確率の１０倍
２列とる場合
・決定番号の最大値がｎ＋１以下の確率Ｐ［ｎ＋１］は
決定番号の最大値がｎ以下の確率Ｐ［ｎ］の１０＾２＝１００倍
なぜなら
Ｐ［ｎ＋１］
＝Ｐ［ｎ］＋２＊９＊Ｐ［ｎ］＋９＊９＊Ｐ［ｎ］
＝（１＋１８＋８１）Ｐ［ｎ］
＝１００Ｐ［ｎ］
だから
（２番目の項は１列目だけもしくは２列目だけ決定番号がｎ＋１の場合
３番目の項は１列目および２列目の決定番号がｎ＋１の場合）
135:１３２人目の素数さん
20/02/11 12:15:12.71 gdPWLy3I.net
多分、この工学バカは100列の中身を見て代表元を作る第3者がいれば
100列だけの代表元だけで事足りるって言いたいんじゃないかな。
でもさ、そんな第3者がいたとして、そのひとは箱の中身を全部見てるんだから
その情報使えば当てられるのはますます当たり前ってことになるよね。
ほんとバカだね。
136:１３２人目の素数さん
20/02/11 12:19:47.84 yCL40qf3.net
>>128
100列を定数とするならそういう考え方もありますね
その場合、数セミの記事は無条件で成立することになりますね
137:１３２人目の素数さん
20/02/11 12:34:41.22 pez17n4y.net
仲間にカンニングさせれば当てられますってかｗ バカ丸出しですなｗ
138:１３２人目の素数さん
20/02/11 12:43:53.57 gdPWLy3I.net
そんな第3者がいれば当てられるのは当たり前。
しかし選択公理は実はそれと同じ役割をしている。
だから、時枝解法成立は当たり前ってことにしかならないから自爆ｗ
139:１３２人目の素数さん
20/02/11 12:50:58.32 gdPWLy3I.net
多分、第3者が...って話は時枝解法と選択公理の役割にケチをつけようと
思って言い始めたんだろうけど、結局当てられるはますます当たり前
ってことにしかならないのがバカ。
140:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 13:09:45.78 6xY3HAGO.net
>>117
分布の話は、両名とも書かれています（下記）
確率論の専門家さん
スレ20 ｽﾚﾘﾝｸ(math板:532番)
532 2016/07/03 ID:f9oaWn8A
>2個の自然数から1個を選ぶとき、それが唯一の最大元でない確率は1/2以上だ
残念だけどこれが非自明．
hに可測性が保証されないので，d_Xとd_Yの可測性が保証されない
そのためd_Xとd_Yがそもそも分布を持たない可能性すらあるのでP(d_X≧d_Y)≧1/2とはいえないだろう
ジムさん
スレ80 ｽﾚﾘﾝｸ(math板:237番)-238
(抜粋)
237 2020/01/10 ID:jmw8DMZb
標本空間上の関数として選択公理を仮定する限り存在する。
選択公理でできた関数は使ってはいかないみたいな意見があるがそんなはずはない。
あるのは選択公理下では否定できない。
では何がダメか。
それはそれらの関数が単なる標本空間上のデタラメな関数ではダメでそれが可測関数にならないといけない事を無視しているから。
そもそも確率論において
P(xxx|yyy)
のxxx,yyyのとこには何を書いてもいいわけではなくそこにはそれらをみたす標本空間上のなす集合が可測集合になるようなものしか許されない。
したがって今回で言えばd(x)のようなものが可測関数として定義できているかが第一の問題。
238 2020/01/10(金) ID:jmw8DMZb
まず時枝先生の記事の方法ではダメ。
記事の方法ではxやyをある番号以降全部開けてその値に応じて戦略を決定している。
つまり全事象をC(x)やC(y)などに応じて決定している事になるが、これだと全事象を非可算無限個に分割して定義している事になる。
しかしこのようにして定義された関数は一般には可測関数にならない。
場合わけして定義するのは構わないが、その時には可測な高々可算無限個までにわけて、その各々で可測関数として定義されている場合でなければ一般には標本空間上のただの関数でしかなく、可測集合の構成に利用できるような可測関数になるかどうかはわからない。
よって時枝戦略で重要な意味を持つd(x)などの関数はこのままでは可測関数になるかどうかはわからない
可測関数でなければそもそも確率そのものが定義できない
ココが議論の第一点
しかしコレからジムに遊びに行くので続きはまた今度
141:１３２人目の素数さん
20/02/11 13:10:44.37 yCL40qf3.net
>>132
なんか、選択公理を否定したら数学全否定になると思ってるのかな？
でも、否定されるのは非可算選択公理であって、
可算選択公理は認めるとすれば、通常の数学は
大概問題ないけどなあ
142:１３２人目の素数さん
20/02/11 13:12:29.38 yCL40qf3.net
>>133
順序統計について、両名とも一切語ってませんね
143:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 13:17:42.42 6xY3HAGO.net
>>123
＞ここでは標本は箱ではなく列とします
＞この場合、列の数は有限ですから無限はでてきません
だから、それがトリックでしょ
例えば、A国、B国、C国としましょうか
数学の試験をして、採点は１点刻みで、平均点は整数丸めとして、その国の代表を平均点を取った人から選ぶ
その国の受験者数が多ければ、平均点を取った人も多数います。だれになるか分からない
でも、代表は一人選ぶ、なんらかの方法で
A国aさん、B国bさん、C国cさん
でも、それがトリックでしょ
144:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 13:20:49.16 6xY3HAGO.net
>>124
>そのような人が存在し得る、というのが選択公理です
そのような人の能力が、
・非可算の集合族からでも選ぶことが可能というのが、フルパワー選択公理
・可算の集合族からでも選ぶことが可能というのが、可算選択公理
・有限の集合族からでも選ぶことが可能というのが、有限選択公理（公理の取り方によっては、他の公理から証明できる場合もある）
145:１３２人目の素数さん
20/02/11 13:23:20.81 pez17n4y.net
>>133
>そのためd_Xとd_Yがそもそも分布を持たない可能性すらあるのでP(d_X≧d_Y)≧1/2とはいえないだろう
はい、言えません
言えなくていいんですｗ
バカには分からないだけ（＾＾；
146:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 13:24:45.72 6xY3HAGO.net
>>125
そうそう、その考察いいですね
”・決定番号ｎ＋１以下の確率は
決定番号ｎ以下の確率の１０倍”
同意ですが
確率というより、場合の数でしょうね
”２列とる場合
・決定番号の最大値がｎ＋１以下の確率Ｐ［ｎ＋１］は
決定番号の最大値がｎ以下の確率Ｐ［ｎ］の１０＾２＝１００倍”
これ、合っていると思うが
細かい前提が不明です。２列だと決定番号はd1,d2とか二つ出ますよね
147:１３２人目の素数さん
20/02/11 13:33:46.00 pez17n4y.net
>>133
>よって時枝戦略で重要な意味を持つd(x)などの関数はこのままでは可測関数になるかどうかはわからない
はい、非可測です。
非可測でいいんですｗ
バカには分からないだけ（＾＾；
148:１３２人目の素数さん
20/02/11 13:37:10.90 pez17n4y.net
反例まだ～？
☆ ﾁﾝ ﾏﾁｸﾀﾋﾞﾚﾀ～
ﾏﾁｸﾀﾋﾞﾚﾀ～
☆ ﾁﾝ 〃 ∧＿∧
ヽ＿＿_＼(＼･∀･)
＼＿／ ⊂ ⊂＿)
／￣￣￣￣￣ ／|
|￣￣￣￣￣￣| |
| 愛媛みかん |／
￣￣￣￣￣￣
149:１３２人目の素数さん
20/02/11 13:37:27.40 pez17n4y.net
証明のギャップまだ～？
☆ ﾁﾝ ﾏﾁｸﾀﾋﾞﾚﾀ～
ﾏﾁｸﾀﾋﾞﾚﾀ～
☆ ﾁﾝ 〃 ∧＿∧
ヽ＿＿_＼(＼･∀･)
＼＿／ ⊂ ⊂＿)
／￣￣￣￣￣ ／|
|￣￣￣￣￣￣| |
| 愛媛みかん |／
￣￣￣￣￣￣
150:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 13:42:03.42 6xY3HAGO.net
>>126
＞決定番号の非可測性は時枝戦略を否定する材料にならない。
同意です
時枝さんの書いているヴィタリの話は、各同値類の代表全部から成る集合の非可測性で
実際に数当てパズルに使うのは、有限個ですから、代表全部に対する測度うんぬんは、無関係と考えています
＞自称確率論の専門家はそこを誤解している。
１．自称ではなく、確率論の専門家は私が勝手に付けた。かつ、「確率論の専門家さん」と”さん”を付けるのが、私の流儀です
２．「確率論の専門家さん」のいうのは、ジムさんと同じで、関数としての可測 or 非可測です。ヴィタリ類似の話とは微妙に異なる
ヴィタリでは０も∞も含めて、如何なる測度も与えられない
ですが、単に可測で良いなら、N（自然数全体）やR（実数全体）に、∞としての測度を与えることは可能です
ジムさんも書いているが、確率論として扱うには、P（Ω）＝１ かつ、A∈FでP（A）＝ｐ 0<=p<=1 でなければならない
３．確率理論としては、∞として測度を与えて、その上で、P（Ω）＝１ かつ、A∈FでP（A）＝ｐ 0<=p<=1 の確率論が構築できるか？
そういうことを、考えたのたが、コルモゴロフさんでしょ
151:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 13:44:51.39 6xY3HAGO.net
>>140
＞>よって時枝戦略で重要な意味を持つd(x)などの関数はこのままでは可測関数になるかどうかはわからない
＞はい、非可測です。
＞非可測でいいんですｗ
それは違うんじゃない？
ｗｗ（＾＾；
152:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 13:49:07.49 6xY3HAGO.net
>>134
(引用開始)
なんか、選択公理を否定したら数学全否定になると思ってるのかな？
でも、否定されるのは非可算選択公理であって、
可算選択公理は認めるとすれば、通常の数学は
大概問題ないけどなあ
(引用終り)
殆ど同意ですよ
選択公理は否定していません
使っていい
但し、時枝戦略に限れば、フルパワーを必要としていないというだけ
だから、”選択公理”を強調するのは、「いかにもパラドックスが起きるぞ」という、雰囲気づくりの意味でしかないよねと
153:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 13:53:17.58 6xY3HAGO.net
>>135
＞順序統計について、両名とも一切語ってませんね
順序統計について、ベースの順序集合が、有限でないと、理論的扱いは難しい
例えば、自然数全体Nを考えると、ある有限のn∈Nで、自然数全体Nの前半分（前半）に来る確率は？
確率０ですよね
これ、時枝のトリックの一つですね
154:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 13:55:26.20 6xY3HAGO.net
>>146 訂正
例えば、自然数全体Nを考えると、ある有限のn∈Nで、自然数全体Nの前半分（前半）に来る確率は？
確率０ですよね
↓
例えば、自然数全体Nを考えると、ある有限のn∈Nで、自然数全体Nの後ろ半分（後半）に来る確率は？
確率０ですよね
155:１３２人目の素数さん
20/02/11 13:55:40.11 pez17n4y.net
>>143
>実際に数当てパズルに使うのは、有限個ですから、代表全部に対する測度うんぬんは、無関係と考えています
いいえ、すべての代表を使います。
不定な代表からは情報をもらえませんから。
非可算選択公理は必須です。
156:１３２人目の素数さん
20/02/11 13:56:45.29 pez17n4y.net
>>144
なにが違うと？
157:１３２人目の素数さん
20/02/11 13:56:46.78 gdPWLy3I.net
>>145
>但し、時枝戦略に限れば、フルパワーを必要としていないというだけ
いやいや、出題者がR^Nの中から自由に出題できるなら、"必ず"解法が成立する
というためには、あなたの言うところの"フルパワー"の選択公理が必要ですよ。
そんなことも分からんの？
158:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 13:58:03.61 6xY3HAGO.net
>>147 補足
間違った
普通の順序
0<1<2・・・<n<n+1<・・・
を入れると
有限の数ｎは、自然数N全体の前半に来ますから
例えば、自然数全体Nを考えると、ある有限のn∈Nで、自然数全体Nの前半分（前半）に来る確率は？
確率１ですね
でも、こういう素朴な確率が、正当化できるかどうかは、大きな問題なのです（＾＾；
159:１３２人目の素数さん
20/02/11 13:59:36.42 pez17n4y.net
>>145
>但し、時枝戦略に限れば、フルパワーを必要としていないというだけ
いいえ、必須です
>だから、”選択公理”を強調するのは、「いかにもパラドックスが起きるぞ」という、雰囲気づくりの意味でしかないよねと
うわぁ 恥ずかしいこと言ってるなあ
あなた数学のすの字も分かってないですね（＾＾；
160:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 14:01:03.82 6xY3HAGO.net
>>150
>いやいや、出題者がR^Nの中から自由に出題できるなら、"必ず"解法が成立する
>というためには、あなたの言うところの"フルパワー"の選択公理が必要ですよ。
必要ないでしょ
２列なら、代表２つで済む
１００列なら、代表１００個で済む
代表を決めるタイミングは、後にずらすことは、理論上可能ですよ
161:１３２人目の素数さん
20/02/11 14:02:51.13 pez17n4y.net
>>146
>これ、時枝のトリックの一つですね
はぁ？ なにアホなこと言ってんの？
162:１３２人目の素数さん
20/02/11 14:05:23.99 gdPWLy3I.net
>>153
まだ言ってるバカ。学習しないバカ。
第3者が出題された後に「カンニング」して代表元を作ればねｗ
でも、時枝解法にそんな前提はありませんね。
163:１３２人目の素数さん
20/02/11 14:07:07.81 pez17n4y.net
>>151
>でも、こういう素朴な確率が、正当化できるかどうかは、大きな問題なのです（＾＾；
それ、時枝戦略とは関係ありません。
時枝戦略では100個の（重複を許す）自然数しか扱いませんので。
164:１３２人目の素数さん
20/02/11 14:08:14.95 pez17n4y.net
>>153
>代表を決めるタイミングは、後にずらすことは、理論上可能ですよ
不可能です
不定な代表から情報はもらえませんから
165:１３２人目の素数さん
20/02/11 14:12:22.07 pez17n4y.net
>>153
100列だけ代表を決めようとすれば、その100列が分かった後、つまり箱を開けた後でないと決められない。
しかし箱を開けたらそもそも数当てゲームにならないｗ
バカ過ぎｗ
166:１３２人目の素数さん
20/02/11 14:12:30.15 gdPWLy3I.net
だいたい、誰も開けてない箱の中身を当てるから驚きがあるんで
誰かがカンニングした後で情報もらって当てられるというなら
当たり前だな～ということにしかならない。
しかも◆e.a0E5TtKE の主張したい「当てられない」ということとは
真逆の結果になるだけｗ
167:１３２人目の素数さん
20/02/11 14:32:12.61 gdPWLy3I.net
第3者が代表元を作る際、すべての箱を開ける必要はない。
しかし、第3者が開封済の箱を解答者が再び開けてはならないという法はない。
第3者が代表元100列を作ったあとで時枝解法を実行すると
解答者は第3者が開封済で代表元と一致させた番号の箱を
99/100の確率で選ぶことになるだけですね。
168:１３２人目の素数さん
20/02/11 14:34:49.72 gdPWLy3I.net
>第3者が開封済の箱を解答者が再び開けてはならないという法はない。
第3者が開封済の箱を解答者が開けずに当てる箱として残してはならないという法はない。
169:１３２人目の素数さん
20/02/11 14:35:03.18 pez17n4y.net
>>153
s^kのD+1番目以降の箱を開けてはじめてr^kを決められるが、r^kのD以前の項はどうやって決めるの？
当てずっぽうで決めたらs^kのD項目も当てずっぽうでしか数当てできないよ？
バカ？
170:１３２人目の素数さん
20/02/11 14:37:33.44 pez17n4y.net
>>162の状況を「不定な代表からは情報をもらえない」と表現してるんだが、バカには理解できないみたいだねｗ
171:１３２人目の素数さん
20/02/11 14:44:27.68 pez17n4y.net
ていうかこんな簡単なことさえ理解せずに「選択公理不要」と言い続けてる時点で、時枝戦略をまったく理解してないと白状してるのと同じことｗ
しかしサイコパスだからスレ閉鎖の約束も守らない
ほんとクズだね
172:１３２人目の素数さん
20/02/11 14:50:08.18 pez17n4y.net
バカは許す
しかし嘘・捏造・詐欺・約束違反の類は許さない
これら悪質行為は徹底的に叩く
173:１３２人目の素数さん
20/02/11 15:14:48.75 Ft3PUJtH.net
おっちゃんです。
>>54
>>40-41のCase2、Case3の議論は間違っている。
それらを軌道修正して、訂正すれば問題ないとは思う。
Case3の議論は、Case2のような議論に帰着される。
174:１３２人目の素数さん
20/02/11 15:23:05.28 pez17n4y.net
こんな初歩の初歩も分らんバカが反例だの証明のギャップだのとｗ
バカ過ぎｗ
175:１３２人目の素数さん
20/02/11 15:27:47.01 Ft3PUJtH.net
或る3以上の整数nが存在して、何れも或る3つの正整数 x、y、z が存在して、x^n+y^n＝z^n が成り立つとする。
Euclid 平面 R^2 上の半径1の円周をCで表す。
仮定から、nは3以上の整数だから、仮定で成り立つとした等式 x^n+y^n＝z^n から、
3つの正整数 x、y、z の大小関係について、0＜x＜z、0＜y＜z が両方共に成り立つ。
仮定から x、y、z は何れも有理整数だから、x、y、z∈Z。また、有理数体Qは有理整数環Zの商体だから、Z⊂Q。
よって、z＞0 から、x/z、y/z∈Q。0＜x＜z だから、0＜x/z＜1。同様に、0＜y＜z だから、0＜y/z＜1。
平面 R^2 上で点 A(x/z,y/z) と原点 O(0,0) とを結ぶ線分と、x軸正方向とのなす角をθとする。
0＜x/z＜1、0＜y/z＜1 が両方共に成り立つから、0＜θ＜π/2 である。
平面 R^2 上の半径1の円周上には、a^2+b^2＝1、0≦|a|≦1、0≦|b|≦1 を何れも満たしているような有理点 (a,b) が稠密に分布する。
逆に、a^2+b^2＝1、0≦|a|≦1、0≦|b|≦1 を何れも満たしているような有理点 (a,b) は、すべて平面 R^2 上の半径1の円周上に存在する。
このことに注意して、有理点 A(x/z,y/z) が存在する位置について場合分けをする。
Case1)：平面 R^2 上の半径1の円周上に有理点 A(x/z,y/z) は存在するとき。
0＜x/z＜1、0＜y/z＜1 から、確かに平面 R^2 上の半径1の円周上に有理点 A(x/z,y/z) は存在し、(x/z)^2+(y/z)^2＝1 を満たすことになる。
θの定義と 0＜θ＜π/2、0＜x/z＜1 から、cos(θ)＝x/z。同様に、θの定義と 0＜θ＜π/2、0＜y/z＜1 から、sin(θ)＝y/z。
仮定において成り立つとした等式 x^n+y^n＝z^n から、(x/z)^n+(y/z)^n＝1。よって、cos^n(θ)＋sin^n(θ)＝1 となる。
しかし、仮定から n≧3 であり、0＜θ＜π/2 から 0＜cos(θ)＝x/z＜1、0＜sin(θ)＝y/z＜1 だから、
0＜cos^n(θ)＋sin^n(θ)＜1 から cos^n(θ)＋sin^n(θ)≠1 となって矛盾が生じる。
176:１３２人目の素数さん
20/02/11 15:30:14.52 Ft3PUJtH.net
(>>168の続き)
Case2)：平面 R^2 上の半径1の円周で囲まれた円の中に有理点 A(x/z,y/z) が存在するとき。
このとき、確かに平面 R^2 上の半径1の円周で囲まれた円の中に有理点 A(x/z,y/z) は存在して、(x/z)^2＋(y/z)^2＜1 を満たす。
3つの正整数x、y、zについて、0＜x＜z かつ 0＜y＜z なることと 0＜x/z＜1 かつ 0＜y/z＜1 こととは同値である。
また、確かに 0＜x/z＜1 かつ 0＜y/z＜1 である。よって、確かに平面 R^2 上の半径zの円周で囲まれた円の中に
有理点 B(x,y) は存在し、x^2+y^2＜z^2 を満たす。0＜x＜z、0＜y＜z から、平面 R^2 上において、
3点 O(0,0)、A(x/z,y/z)、B(x,y) はその順に一直線上に並んでいるから、
θの定義と 0＜θ＜π/2、0＜x/z＜1 から、或る1より大きい実数rが存在して、cos(θ)＝(rx)/z。
このとき、同様に考えると、θの定義と 0＜θ＜π/2、0＜y/z＜1 から、sin(θ) はrを用いて sin(θ)＝(ry)/z と表わされる。
よって、cos^2(θ)＋sin^2(θ)＝1 から、(x/z)^2＋(y/z)^2＝(1/r)^2 となる。
故に、r＞1 から (x/z)^2＋(y/z)^2＜1。仮定から n≧3 だから、(x/z)^n+(y/z)^n＜1。
しかし、これは仮定で等式 (x/z)^n+(y/z)^n＝1 が成り立つと仮定したことに反し矛盾が生じる。
177:１３２人目の素数さん
20/02/11 15:30:24.18 yCL40qf3.net
>>145
>順序統計について、ベースの順序集合が、有限でないと、理論的扱いは難しい
確率分布関数、累積分布関数が考えられるなら
順序集合（分布の範囲）は無限でも問題ない
＞例えば、自然数全体Nを考えると、ある有限のn∈Nで、
＞自然数全体Nの前半分（前半）に来る確率は？
「半分」？ 「ｎ以下の確率」の意味？
＞確率０ですよね
分布によるが、０でない場合は当然ある
URLﾘﾝｸ(ja.wikipedia.org)
178:１３２人目の素数さん
20/02/11 15:32:26.11 yCL40qf3.net
>>146-147
>順序統計について、ベースの順序集合が、有限でないと、理論的扱いは難しい
確率分布関数、累積分布関数が考えられるなら
順序集合（分布の範囲）は無限でも問題ない
＞例えば、自然数全体Nを考えると、ある有限のn∈Nで、
＞自然数全体Nの前半分（前半）に来る確率は？
「半分」？ 「ｎ以下の確率」の意味？
＞確率０ですよね
分布によるが、０でない場合は当然ある
URLﾘﾝｸ(ja.wikipedia.org)
179:１３２人目の素数さん
20/02/11 15:32:42.24 Ft3PUJtH.net
(>>169の続き)
Case3)：平面 R^2 上の半径1の円周で囲まれた円の外側に有理点 A(x/z,y/z) が存在するとき。
このとき、確かに平面 R^2 上の半径1の円周で囲まれた円の外側に有理点 A(x/z,y/z) は存在し、(x/z)^2+(y/z)^2＞1 を満たす。
よって、x^2＋y^2＞z^2 を得る。故に、平面 R^2 上の半径zの円周で囲まれた円の外側に有理点 B(x,y) は存在する。
3つの正整数x、y、zについて、0＜x＜z かつ 0＜y＜z なることと 0＜x/z＜1 かつ 0＜y/z＜1 こととは同値である。
また、確かに 0＜x＜z かつ 0＜y＜z だから、x^2＋y^2＜4z^2。よって、x^2+y^2＜(2z)^2 から ( x/(2z) )^2＋( y/(2z) )^2＜1 を得る。
zは正整数だから、2zは正整数である。よって、有理点 C(x/(2z),y/(2z)) は平面 R^2 上の半径1の円周で囲まれた円の中に存在する。
3つの正整数x、y、2zについて、0＜x＜2z かつ 0＜y＜2z なることと 0＜x/(2z)＜1 かつ 0＜y/(2z)＜1 なることとは同値である。
また、確かに 0＜x＜2z かつ 0＜y＜2z である。よって、確かに 0＜x/(2z)＜1 かつ 0＜y/(2z)＜1 である。
平面 R^2 上において、4つの有理点 O(0,0)、C(x/(2z),y/(2z))、A(x/z,y/z)、B(x,y) はその順に一直線上に並んでいるから、
(x/(2z))^2+(y/(2z))^2＜1 に注意すると、θの定義と 0＜θ＜π/2、0＜x/(2z)＜1 から、
或る2より大きい実数sが存在して、cos(θ)＝(sx)/(2z)。このとき、同様に考えると、θの定義と 0＜θ＜π/2、0＜y/(2z)＜1 から、
sin(θ) はsを用いて sin(θ)＝(sy)/(2z) と表わされる。よって、cos^2(θ)＋sin^2(θ)＝1 から、(x/z)^2＋(y/z)^2＝(2/s)^2 を得る。
故に、s＞2 から (x/z)^2＋(y/z)^2＜1。仮定から n≧3 だから、(x/z)^n+(y/z)^n＜1。
しかし、これは仮定で等式 (x/z)^n+(y/z)^n＝1 が成り立つと仮定したことに反し矛盾が生じる。
Case1)、Case2)、Case3)から、有理点 A(x/z,y/z) が存在し得る位置について、何れの場合においても矛盾が生じる。
背理法が適用出来るから、背理法を適用すれば、どんな3以上の整数nに対しても、x^n+y^n＝z^n を満たす3つの正整数x、y、zは存在しない。
180:１３２人目の素数さん
20/02/11 15:34:26.19 yCL40qf3.net
>>151
＞普通の順序
＞0<1<2・・・<n<n+1<・・・
＞を入れると
＞有限の数ｎは、自然数N全体の前半に来ます
前半、後半はどこで分かるんですか？
数学では、そういう言い方はしないですよ
181:１３２人目の素数さん
20/02/11 15:38:10.19 yCL40qf3.net
>>139
＞＞”２列とる場合
＞＞・決定番号の最大値がｎ＋１以下の確率Ｐ［ｎ＋１］は
＞＞ 決定番号の最大値がｎ以下の確率Ｐ［ｎ］の１０＾２＝１００倍”
＞細かい前提が不明です。２列だと決定番号はd1,d2とか二つ出ますよね
「決定番号の最大値」と書いてますから細かい前提まで明らかですね
ｄ１、ｄ２のうち大きい方が最大値
182:１３２人目の素数さん
20/02/11 15:45:09.31 yCL40qf3.net
離散確率分布あるいは離散的な関数で考える場合
積分・微分の代わりに和分・差分を使う必要がある
その場合、
最大値をとる変数が2つ以上になる確率が０より大きくなる場合があるので、
９９個中の最大値より最後の値が大きくなる確率が１／１００という
綺麗な結果にならない（１／１００より小さくなる）
積分の値が１でない場合も有限であれば
∫F_X(99)(x)f(x)dx
＝∫F(x)^99(dF(x)/dx)dx
＝∫F^99dF
＝1/100[F^100]
までは出ますね
183:１３２人目の素数さん
20/02/11 15:54:08.24 yCL40qf3.net
「箱入り無数目」の場合、
決定番号別の確率を考えることはできない
確率の代わりに頻度（全体が∞）を考えるとしても
積分値を∞としないために、上限Ｄをもうけて積分を打ち切る必要がある
逆に言うと∞を無理矢理１、有限値を無理矢理０とすると
「任意のｎ個についてｎ個の確率変数の最大値よりも
あらたな１個の確率変数の値が上回る確率は１」
とかいうおかしな結果がでるが、この場合、そもそも
可算加法性を有しないので、積分を考えることができない
184:１３２人目の素数さん
20/02/11 16:01:47.13 yCL40qf3.net
「箱入り無数目」で決定番号の分布を無理矢理考えると
「決定番号が自然数ｎをとる確率が０」
というようなおかしな結果がでる
上記がおかしな結果だというのは
決定番号が自然数の値をとることは
決定番号の定義から明らかだからである
つまりおかしな結果が出た理由は
確率分布が考えられないにも関わらず
無理やり確率分布を考えたからである
185:１３２人目の素数さん
20/02/11 16:01:50.65 pez17n4y.net
決定番号の分布なんて時枝戦略には一切不要ですけどね。
100列作れば100個の決定番号がある、それだけの条件で時枝戦略は成立しますから。
そしてその条件を保証するのが選択公理。
だから 選択公理 ⇒ 時枝定理
186:１３２人目の素数さん
20/02/11 16:05:06.51 yCL40qf3.net
>>178
＞決定番号の分布なんて時枝戦略には一切不要ですけどね。
もちろん必要ありません
また、任意の実数列１００列について成立する、
という主張ですから選択公理は必要です
187:１３２人目の素数さん
20/02/11 16:10:07.34 Ft3PUJtH.net
>>172の s＞2 はもしかしたら間違いかも知れない。
図を描いて見ないと分からない。
Case3の議論はもっと長くなるかもしれない。
188:１３２人目の素数さん
20/02/11 16:15:30.58 Ft3PUJtH.net
多分、0＜s＜2 か。
189:１３２人目の素数さん
20/02/11 16:28:53.44 yCL40qf3.net
箱の中身が{0,…n-1}のn種類だとした場合
計算の仕方によっては、2列の決定番号の一致確率が(n-1)/nになる
nが∞に近づくにつれ、(n-1)/nは1に近づく
注）「計算の仕方によっては」に注意
つまり確率の値が計算の仕方に依存する、という意味
190:１３２人目の素数さん
20/02/11 16:30:39.69 pez17n4y.net
>>180
>間違いかも�