19/01/10 08:33:55.69 STlk6BwF.net
>>544
＞さて、
＞命題：仮定A＋B＋C→結論D
＞対偶：￢D→￢（A＋B＋C）
＞A：選択公理
＞B：ある無限集合から代表が取れる
＞C：確率計算可能
＞D：時枝記事が成立
＞とする
時枝記事を全く読めてないね
582:１３２人目の素数さん
19/01/10 08:34:45.61 STlk6BwF.net
>>544
で？時枝解法が実行できない決定番号の値は何？
583:１３２人目の素数さん
19/01/10 08:40:37.50 STlk6BwF.net
>>544
＞ ”￢C”をまじめに議論してないでしょ？
代表系が存在するなら、100個の数列から100個の決定番号（自然数）が得られる。
そ�
584:ｱから無作為に選んだ1個が最大値でない確率を求めるのにどんな議論が必要だと 主張したいの？
585:１３２人目の素数さん
19/01/10 08:42:07.71 STlk6BwF.net
>>544
＞私の主張：選択公理は免罪符か？
言いがかりである。スレ主は数学がわかっていない。
586:１３２人目の素数さん
19/01/10 09:00:20.53 STlk6BwF.net
>>544
＞ ”￢C”をまじめに議論してないでしょ？と
「100個の自然数から無作為に1個選び、それが最大値である確率」
を計算できない場合ってどんな場合？どんな100個自然なら計算できないと主張するの？
587:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 09:59:56.60 siIhzGLM.net
>>551
ピエロちゃん、おは（＾＾
平日の朝は忙しいの？
小学生を教えに行っているだって？
小細工しているヒマがないんだね？（＾＾；
588:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 10:26:03.74 siIhzGLM.net
>>549
さて
(引用開始)
>>544
＞ ”￢C”をまじめに議論してないでしょ？
代表系が存在するなら、100個の数列から100個の決定番号（自然数）が得られる。
そこから無作為に選んだ1個が最大値でない確率を求めるのにどんな議論が必要だと
主張したいの？
(引用終わり)
うん、大体反応は予想通りだよ～
まあ、サイコパス性格だから、認めないよね、”絶対に”！（＾＾
そして、次の議論も、認めないよね、”絶対に”！ｗ （＾＾；
＜あなたの述べた時枝記事の手順＞
１）代表系が存在する
２）100個の数列から100個の決定番号（自然数）が得られる
３）そこから無作為に選んだ1個が最大値でない確率を求める
＜あなたの述べた時枝記事の手順終わり＞
この１）～３）の手順（論法）は、箱が有限個でも成立します
ですが、この時枝記事の反例が、>>209に示した有限モデルです
（（ >>209より）有限モデルの場合は、標本空間Ωは有限で、全ての事象Fも有限になるので、必ず場合の数として確率計算ができることを強調しておきます）
で、これ、時枝記事では、「確率99/100」です
ところで、>>209に示した Sergiu Hart氏のPDFに記載のRemark定理により
（>>202より、Sergiu Hart氏のPDF URLﾘﾝｸ(www.ma.huji.ac.il) ）
{1,2,・・・,q}とq個の数を入る場合
任意のk番目の箱（1 <= k < m）で、的中確率は1/qです。（確率99/100にならない）
繰り返すが、これ反例です
そして、反例は一つで良い！！
さらに付言すれば、この{1,2,・・・,q}とq個の数を入る場合に、
”的中確率は1/q”となるのは、
だれが考えても、これ至極妥当だろうと
逆に、入れる数qに依存しない確率99/100になるとしたら、
（例えば、コイントスだろうが、サイコロだろうが、ルーレットだろうが・・・）
それって、どっか間違っていませんか？と（＾＾；
589:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 10:58:40.98 siIhzGLM.net
蛇足だが
ある命題とその証明に対して
反例が一つ示された
そして、その反例が正しいとしよう
その場合、その命題と証明について語る必要は、全く無い！
もし、語るとすれば、「その反例を除いた形で、命題と証明を再構築できるか？」ということだけだろう
つまらん質問に答える必要性を全く感じないｗ （＾＾；
590:１３２人目の素数さん
19/01/10 11:15:26.49 jvbSBBul.net
つまりスレ主は、Sergiu HartのTheorem 1とTheorem 2 は間違ってるが
Remarkは正しいと思うのか。都合のいいつまみ食いだねw
591:１３２人目の素数さん
19/01/10 11:18:12.23 jvbSBBul.net
TheoremとRemarkが矛盾するものなら、Sergiu Hartは
そんなことに気づかなかったと思うのかい？
そういうバカなところがおっちゃんと一緒だねっw
592:１３２人目の素数さん
19/01/10 11:28:04.80 d0sov1uq.net
>>556
>そういうバカなところがおっちゃんと一緒だねっw
私とスレ主を一緒にするな。
こう見えても、私は或る対象の統一的な区別に主眼を置いて研究している。
593:１３２人目の素数さん
19/01/10 11:36:57.73 d0sov1uq.net
あと、>>515は
>変数と定数の違いを近所の中学生に教われとアドバイスしても聞く耳持たないからなあ
>>482にレスしているが、中学でその違いを認識して証明する問題を解いた記憶はない。
その部分の意図するところを説明してほしい。
594:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 11:36:57.92 siIhzGLM.net
モーデル予想（ファルティングスの定理）（下記）は、「ある有限個の有理点の例外を除いて、すべて無理点だ」と
そういう命題もありですよね～～ （＾＾
つまらん質問を繰り返すヒマがあったら、
時枝記事を反例を除くように、再構築しろよ！！
（まあ、不可能と思うがね～（＾＾； ）
URLﾘﾝｸ(ja.wikipedia.org)
ファルティングスの定理
(抜粋)
数論では、モーデル予想(Mordell conjecture)は、Mordell (1922) で提出された予想で、有理数体 Q 上に定義された 1 よりも大きな種数を持つ曲線は、有限個の有理点しか持たないであろうという予想である。後日、この予想は Q を任意の数体へ置き換えた予想へ一般化された。この予想は Gerd Faltings (1983) により証明されたので、ファルティングスの定理(Faltings' theorem)として知られている。
背景
C を Q 上の種数 g の非特異代数曲線とすると、C の有理点の集合は次のように決定することができる。
・g = 0 の場合：全く点が存在しないか、もしくは無限個： C は円錐の断面（英語版）である。
・g = 1 の場合：全く点が存在しないか、もしくは C が楕円曲線で、有理点が有限生成アーベル群である。（モーデル定理 (Mordell's Theorem)は、後日、モーデル・ヴェイユの定理(Mordell?Weil theorem)へ一般化された。さらにメイザーの捩れ定理[1]は捩れ部分群の構造を制限している。）
・g > 1 の場合：モーデル予想、現在はファルティングスの定理である。C は有限個の有理点しか持たない。
証明
ファルティングスの元々の証明は、テイト予想の既知の場合へ帰着させることと、ネロンモデルの理論を含む代数幾何学の多くのツールを使う方法であった。ディオファントス近似を基礎とする全く異なる証明は、ポール・ヴォイタ（英語版）(Paul Vojta)により得られている。さらにヴォイタの証明の初等的な証明はエンリコ・ボンビエリ(Enrico Bombieri)が与えた。
(引用終わり)
595:１３２人目の素数さん
19/01/10 11:37:46.70 jvbSBBul.net
昨日おっちゃんについて書いてたひとの論が成程と思った。
おっちゃんが数学書を必要とする理由
→証明をパクるため
それはいいとして、おかしいのは
パクった証明で著者も世界中の誰も
証明できないことを「証明」できてしまうが
「何かおかしくないか？」と省みることができない点。
596:１３２人目の素数さん
19/01/10 11:42:44.46 d0sov1uq.net
>>560
>おっちゃんが数学書を必要とする理由
>→証明をパクるため
全く違うん。見当外れでした。
597:１３２人目の素数さん
19/01/10 11:46:07.91 d0sov1uq.net
>>560の訂正：
全く違うん。 → 全く違う。
598:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 11:47:25.10 siIhzGLM.net
>>555-556
ピエロちゃん、平日はお忙しいのに、ありがとう
>>554と>>559な（＾＾；
599:１３２人目の素数さん
19/01/10 11:50:32.83 jvbSBBul.net
成程と思ったのは、おっちゃんのやってることが「猿真似」だということ。
だが、適切に真似するなら学習と言えるが、肝心なところで
誤解しているために、少し改変して誰も証明できない
すごいことが「証明」できてしまう（できたと思い込む）
600:１３２人目の素数さん
19/01/10 11:52:43.07 jvbSBBul.net
>>559
理解してもいないファルティングスの定理を引用しても無駄。
スレ主にとってコピペは自分のバカさを粉飾するためのモノw
601:１３２人目の素数さん
19/01/10 11:57:24.61 d0sov1uq.net
>>564
具体例に取り掛かるのは抽象論を気付いた後。
具体的手法で証明出来る一定の条件を満たす対象には限界がある。精々可算個だ。
具体的に取り掛かる手法の証明では、非可算個のその対象についてはムリ。
602:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 12:03:43.43 siIhzGLM.net
>>555-556
>TheoremとRemarkが矛盾するものなら、Sergiu Hartは
>そんなことに気づかなかったと思うのかい？
もちろん、彼は、気付いているよ
で、Sergiu Hart氏のPDF URLﾘﾝｸ(www.ma.huji.ac.il)
このURL中で、”/puzzle/”にご注目
Sergiu Hart氏のサイト中で
URLﾘﾝｸ(www.ma.huji.ac.il)
Some nice puzzles:
603: とあって ここに ・Choice Games で、リンクがあって、これが上記のPDFです。 まあ、”Some nice puzzles”です 日本語で言えば、なぞなぞですね（下記） これ、読んで笑えってことですよｗ （＾＾； http://nazo-nazo.com/sp/cat395/post-5.html 面白いなぞなぞ問題（オススメ）－006 ボールはボールでも、四角いボールってどんなボール？
604:１３２人目の素数さん
19/01/10 12:04:59.18 jvbSBBul.net
>>566
おっちゃんの抽象論は、正しいときは自明な命題を無駄な計算で粉飾して悦に入ってるだけ
自明じゃないことを言ってるときは100％間違ってる。
そして、間違いを指摘されても本当には分かっていないため
また間違う。スレ主と一緒。
605:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 12:06:11.21 siIhzGLM.net
>>565
まあ、平日はお忙しいのに、ピエロちゃん
必死だね～
サイコパスさん、ご苦労さんｗ （＾＾；
606:１３２人目の素数さん
19/01/10 12:08:46.12 jvbSBBul.net
>>567
>もちろん、彼は、気付いているよ
>これ、読んで笑えってことですよｗ （＾＾；
すごい解釈だなw
みんなが笑ってるぅ～♪
笑われてるのはスレ主w
607:１３２人目の素数さん
19/01/10 12:13:50.89 jvbSBBul.net
たとえ冗談めかした要素が入ってるとしても
研究者が「定理」と書いて、自分が誤りだと思ってる主張を
載せることはないだろう。研究者として終わりだから。
「藁をもすがる」と言うけど、スレ主はもう正気じゃない
何でも自分に都合よくしか考えられなくなってる。
608:１３２人目の素数さん
19/01/10 12:57:50.91 jvbSBBul.net
「成り立たないパズル」は"nice puzzle"にはならない
という当たり前の事実さえ曲解するスレ主
609:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 13:13:17.57 siIhzGLM.net
>>570-572
まあ、平日はお忙しいのに、ピエロちゃん
必死だね～
サイコパスさん、ご苦労さんｗ （＾＾
( オマエモナー という突っ込みは、無しね （＾＾； )
>たとえ冗談めかした要素が入ってるとしても
>研究者が「定理」と書いて、自分が誤りだと思ってる主張を
>載せることはないだろう。研究者として終わりだから。
彼は、学会で発表（例えば、パワーポイントのスライドなどを含む）をしたわけじゃないよね
（あるいは、望月先生のように、又はペレリマン先生のようにarxivに、まっとうな数学論文として投稿発表したわけじゃない）
単に、自分のサイトの”Some nice puzzles:”として掲載している
まあ、Hart氏のサイトから、関連を全文を引用すれば下記で、
７つの項目を掲載している中の一つが、上記”Choice Games”のPDFってわけさ（＾＾
Some nice puzzles:
・Grade-C Rector
・21
・Pyramids
・Why Are Average People Overweight
・100 Cards
・Choice Games
・Pursuing to the Limit
Highly recommended books:
Peter Winkler, Mathematical Puzzles, A Connoisseur's Collection (A K Peters Publishers 2003)
Peter Winkler, Mathematical Mind-Benders (A K Peters Publishers 2007)
(引用終わり)
で、これのどこをどう読んだら、これらが、まともな数学のPDFたちになるのかね～？（＾＾
ついでに、
その後に、”Now for the fun ...”とあって、100近くの同様の項目とリンクがあって
最後に
”For Jokes about Economists and Economics, go to JokEc
For Mathematical Humor, read this recent article in the Notices of the AMS 52 (2005), 1, 24-34 and/or go to URLﾘﾝｸ(www.math.utah.edu)”
とあるんですけどね～（＾＾
以上
610:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 13:30:23.80 siIhzGLM.net
>>573 補足
最初からネタバレしたら
”Some nice puzzles:”や、”Jokes”や、”・・mathjokes.html”
にならんでしょ？
「これ定理です～」と、その証明
611:読ませて、納得したころに・・、 「どっきりカメラです」と看板を見せて、びっくりさせる そのピエロちゃんの おどろく表情が面白いんですよ～ｗ （＾＾
612:１３２人目の素数さん
19/01/10 13:30:34.42 jvbSBBul.net
Sergiu Hartが「冗談」として"Choice Games"を文書として公開した
そして、"Theorem"は誤りだが、"Remark"の方は正しい
それがスレ主の読み方らしいが、恣意的で勝手読みすぎる
何の客観性もないね
Sergiu Hartの主張をつまみ食いして自分の主張に沿わせたい
だけの卑怯者の解釈
613:１３２人目の素数さん
19/01/10 13:32:48.33 d0sov1uq.net
>>568
>おっちゃんの抽象論は、正しいときは自明な命題を無駄な計算で粉飾して悦に入ってるだけ
計算は余りしないんだがね。またまた見当違いでした。
614:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 13:34:38.51 siIhzGLM.net
>>574 補足
だから、Hart氏はいいよ
それ、自分のサイトで、”Some nice puzzles:”で看板出しているんだからね
だけど、時枝先生よ
天下の数学セミナーで、みんな真面目に読んでいるのに、「どっきりカメラ」やっちゃいかんぜよ（＾＾
615:１３２人目の素数さん
19/01/10 13:35:17.57 jvbSBBul.net
「実はSergiu Hartも間違ったんだよ」「俺だけが正しい」
と堂々と主張すればいいのに、「Sergiu Hartは冗談を言った」
「そんなことにも気づかないの？」と何の根拠もないことを
言うアホで卑怯者のスレ主
616:１３２人目の素数さん
19/01/10 13:40:56.48 jvbSBBul.net
>>576
あんたにできるのは冗長な計算しかないんだから、書かないはずないだろw
前に添削してやった覚えがあるよ
617:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 13:41:08.59 siIhzGLM.net
>>577 補足
まあ、数学セミナーの記事なら
ちゃんとネタバレまで書いて
オチの解説まで書かないとね、いけないよね （＾＾
618:１３２人目の素数さん
19/01/10 13:46:35.41 d0sov1uq.net
>>579
>あんたにできるのは冗長な計算しかないんだから、書かないはずないだろw
どちらかというと、最初は抽象代数の手法になるんだが。見当違い。
619:１３２人目の素数さん
19/01/10 13:55:39.57 jvbSBBul.net
>>581
おれの見たところでは、あんたに使いこなせているのは中高生でもできるような初等的な計算のみ
一般的なトンデモと全く同じ。大学数学の断片的な知識はあっても実際は無駄。
そして核心的なのは、正しいのは自明な主張のみで
自明じゃないことを言ってるときは、100%間違ってるということ。
620:１３２人目の素数さん
19/01/10 14:03:42.26 d0sov1uq.net
>>582
まあ、人を批評する前に、自分なりの理論でも構築して見るんだな。
以前、「戯け者」と書いていた記憶があることからすると、東海地方にでもいたんだろうかね。
「タワケ」はそのあたりの方言のようだしな。
621:１３２人目の素数さん
19/01/10 14:07:52.52 jvbSBBul.net
>以前、「戯け者」と書いていた記憶があることからすると
人違いだな。
自分を批判してるのが同一だと思うのもスレ主と似てるw
622:１３２人目の素数さん
19/01/10 14:12:28.05 d0sov1uq.net
>>582
まあ、経験からすると、そういうことを書くのは教師に多い気がするんだがな。
教師は、よく高校数学が出来ないと大学数学は出来ない、
とかいう、それこそバカげたことをいっていたんだがな。
623:１３２人目の素数さん
19/01/10 14:14:58.63 d0sov1uq.net
>>584
スレ主が「ピエロ」といっている人物とは別人か。
624:１３２人目の素数さん
19/01/10 14:43:26.95 jvbSBBul.net
スレ主の住む世界では、無限≒巨大な有限らしいから
Sergiu Hart のTheoremとRemarkでは主張が違うじゃないか！
「そうかドッキリ企画だな」とか訳の分からない解釈をするw
無限と有限では異なる帰結になるという
数学的に普通の主張であることが受け入れられない
625:１３２人目の素数さん
19/01/10 14:51:20.85 d0sov1uq.net
それじゃ、おっちゃんもう寝る。
626:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 17:06:33.82 siIhzGLM.net
>>587
>無限と有限では異なる帰結になるという
>数学的に普通の主張であることが受け入れられない
それ、数学
627:的に無意味な主張だね 「無限と有限では異なる帰結になる」場合と、 「無限と有限で同じ帰結になる」場合と 両方あるから どちらになるかは、個別具体的に決定していく必要があるよ（以下に示す通り） なので、「選択公理は免罪符にならない！」（＝”選択公理を使ったから良いのだ～！”とは言えないってこと ） ＜選択公理の補足＞ 人は、有限集合と同じ操作が、無限集合にもできるようにと、そういう公理が必要だと思った だが、選択公理では、無限集合との組み合わせで、人の直感通りの場合と、一見直感に反するパラドキシカルな場合と両方ありえる（下記ご参照） 「無限と有限で同じ帰結になる」（あるいは、人の直感通りの場合）場合： 整列可能定理、ツォルンの補題、比較可能定理、直積定理、右逆写像の存在、ケーニッヒ（Julius Konig）の定理、ベクトル空間における基底の存在、チコノフの定理、クルルの定理 （英文版にはもっとあったね） あるいは、人の直感と整合する下記定理など ・可算集合の可算個の和は可算である ・任意の無限集合は可算集合を含む ・任意のフィルターは極大フィルターに拡大できる ・全ての体には代数的閉包が存在する しかし、パラドキシカルな定理も導かれる 「無限と有限では異なる帰結になる」（あるいは、一見直感に反するパラドキシカルな）場合： ・ハウスドルフのパラドックス ・バナッハ＝タルスキーの定理 ・ルベーグ非可測集合の存在 （参考） https://ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86 選択公理 (抜粋) 選択公理と等価な命題 整列可能定理 任意の集合は整列可能である。 ツォルンの補題 順序集合において、任意の全順序部分集合が有界ならば、極大元が存在する。（実際の数学では、この形で選択公理が使われることも多い。） テューキーの補題 有限性（英語版）を満たす空でない任意の集合族は包含関係に関する極大元を持つ。 比較可能定理 任意の集合の濃度は比較可能である。 つづく
628:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 17:10:06.25 siIhzGLM.net
>>589
つづき
直積定理
無限個の空集合でない集合の直積は空集合ではない。
右逆写像の存在
全射は右逆写像を有する。
ケーニッヒ（Julius Konig）の定理
濃度の小さい集合の直和より、濃度の大きい集合の直積のほうが濃度が大きい。
ベクトル空間における基底の存在
全てのベクトル空間は基底を持つ（1984年にen:Andreas Blassによって選択公理と同値であることが証明された。ただし、正則性公理が必要になる）。
チコノフの定理
コンパクト空間の任意個の積空間はコンパクトになる。
クルルの定理
単位元をもつ環は極大イデアルを持つ。
応用
選択公理、もしくはそれと同値な命題を適用することで、以下を示すことができる。
・可算集合の可算個の和は可算である
・任意の無限集合は可算集合を含む
・任意のフィルターは極大フィルターに拡大できる
・全ての体には代数的閉包が存在する。
・ハウスドルフのパラドックス
・バナッハ＝タルスキーの定理
・ルベーグ非可測集合の存在
(引用終わり)
以上
629:１３２人目の素数さん
19/01/10 19:09:19.22 +VSLcfs/.net
>>544
>全く同意なんだけど（＾＾
つまりスレ主、貴様が間違ってたと認めたわけだな（＾＾
>前スレ覚えてる？
今更貴様の便所の落書き持ち出すな
>・選択公理の有限版 ⊂ 可算選択公理 ⊂ 選択公理（フルバージョン）
まず、これが意味不明な便所の落書き
（ついでにいうと「選択公理の有限版」は定理）
で、いったいこれで何が言いたい？
時枝記事で使うのは、
箱の中身の種類が有限でも
「非可算選択公理」だぞ
（同値類の数が非可算だから）
630:１３２人目の素数さん
19/01/10 19:17:49.78 +VSLcfs/.net
>>544
>さて、
>命題：仮定A＋B＋C→結論D
>対偶：￢D→￢（A＋B＋C）
>A：選択公理
>B：ある無限集合から代表が取れる
>C：確率計算可能
>D：時枝記事が成立
>とする
いきなり間違ってるな
まず、B(代表元の取得)は
A(選択公理)から導かれる命題
A→B
ついでにいうと
「ある無限集合から代表が取れる」
といういい方は見当違い
「無限個の(有限でも無限でも構わない)集合から
それぞれ代表元がとれる」
が正しい
次に、B（代表元の取得）だけでは
時枝記事の戦略が必ず実行できるとはいえない
（有限列の場合、列の終端があるから）
したがって必ず時枝記事の戦略が実行できるとして
その成功確率を予測の成功確率と主張するには
列が無限列である必要がある。
O＆B→C
O:ペアノの公理
最後にC(予測成功確率計算可能）から
D(時枝記事が成立)は自明である
C→D
したがって全体を通して見れば以下の通り
O＆A→D
￢D→(￢O OR ￢A）
631:１３２人目の素数さん
19/01/10 19:22:18.72 +VSLcfs/.net
>>544
>で、 ピエロちゃんの主張：￢D→￢A OR ￢B だ～～！と
>（これ、初期に何度も繰り返し主張してたでしょ？（＾＾； ）
それ、スレ主の勝手な誤解
正しくは
￢D→￢O∨￢A
つまり、スレ主の「エセ極限」論法で時枝記事が成立しない場合、
ペアノの公理を否定するか、選択公理を否定するしかない
>私の主張：選択公理は免罪符か？ ”￢C”をまじめに議論してないでしょ？と
いや、スレ主一匹が時枝記事を読解できてないだけ
O＆A→C
だから
￢C→￢O OR ￢A
がいえる
スレ主の「エセ極限」論法の結論は
「B(代表元の取得)が成り立っても、
決定番号が∞なら無限列の終端しか一致しないから
その先の箱を開けられず時枝記事の戦略が実行できない」
だろ？
しかし、無限列に終端は存在しない
それを保証するのがペアノの公理
632:１３２人目の素数さん
19/01/10 19:29:05.06 +VSLcfs/.net
>>553
>＜時枝記事の手順＞
>１）代表系が存在する
>２）100個の数列から100個の決定番号（自然数）が得られる
>３）そこから無作為に選んだ1個が最大値でない確率を求める
>＜時枝記事の手順終わり＞
>この１）～３）の手順（論法）は、箱が有限個でも成立します
>ですが、この時枝記事の反例が、>>209に示した有限モデルです
残念だが、箱が有限個の場合
「任意の決定番号に対して必ず次の箱が存在する」
とはいえないね なぜなら
「有限個の場合、終端の箱が存在するから」
そして、有限個の場合の
「任意のk番目の箱（1 <= k < m）で、的中確率は1/q」
という結果は、根本的に
「決定番号が列の終端の場合、次の箱が存在せず
予測に必要な情報が得られない」
という点に依存している。
スレ主が
「箱が無限個でも時枝論法は成立しない」
と主張したいなら、その理由は
「無限列でも終端が存在して、予測が失敗する」
の一点に尽きるが、ペアノの公理により
「無限列には終端が存在しない」
から、スレ主の主張は間違ってるわけだ。
>繰り返すが、これ反例です
>そして、反例は一つで良い！！
繰り返すが、有限個の場合の結果なんて
時枝記事の反例にもなんにもなりゃしない
>入れる数qに依存しない確率99/100になるとしたら、
>（例えば、コイントスだろうが、サイコロだろうが、ルーレットだろうが・・・）
>それって、どっか間違っていませんか？と（＾＾；
スレ主の「有限列も無限列も終端がある」と思う直感が間違ってるｗ
スレ主が何を言おうが
自然数論におけるペアノの公理
と矛盾するトンデモな結論に落ち着くだけ
これじゃスレ主はおっちゃんを笑えないなｗ
633:１３２人目の素数さん
19/01/10 19:31:30.31 +VSLcfs/.net
>>554
>蛇足だが
蛇足だな
>ある命題とその証明に対して
>反例が一つ示された
無限列について成立する命題に対して
有限列では成り立たない
と示したところで反例にはならない
>そして、その反例が正しいとしよう
反例になってないからそもそも意味がない
「無限列でも成り立たない」
と示せてはじめて反例になる
>その場合、その命題と証明について語る必要は、全く無い！
>もし、語るとすれば、
>「その反例を除いた形で、命題と証明を再構築できるか？」
>ということだけだろう
>つまらん質問に答える必要性を全く感じないｗ （＾＾；
有限列と全く同様に無限列でも反例になる、と主張するなら
「無限列の終端(=共通の尻尾）は存在するのか？
無限列と代表元が終端でのみ一致する場合
の決定番号はいくつか？
上記の決定番号は、ペアノの公理と矛盾するが
君はペアノの公理が間違ってると主張するのか？」
という質問は、スレ主にとって重要であり答える必要がある
もしつまらんとすれば、それは
スレ主が「ペアノの公理」という
初歩的レベルで間違ってるからだろう
634:１３２人目の素数さん
19/01/10 19:33:04.93 +VSLcfs/.net
>>559
>つまらん質問を繰り返すヒマがあったら、
>時枝記事を反例を除くように、再構築しろよ！！
>（まあ、不可能と思うがね～（＾＾； ）
そもそも時枝記事は無限列が対象だから
「有限列での”反例”」は
はじめから除かれている
何を今更寝言いってんだ？スレ主は
逆に
「有限列での反例が無限列でも反例になる」
と言い張るなら、反例のポイントである
「無限列の終端の存在およびその桁番号」
について回答する必要がスレ主にはある
（まあ、スレ主には答えられまい（＾＾
終端がある、といえば、ペアノの公理に反する。
終端がないが、自然数の決定番号が存在しない
無限列がある、といえば、同値関係の定義に反する。
終端がなく、どの無限列も自然数の決定番号がある
と認めれば、反例でもなんでもなくなる。
つまりどう答えてもスレ主の負け）
スレ主はもう詰んでるんだよ
635:１３２人目の素数さん
19/01/10 19:34:02.63 +VSLcfs/.net
>>577
>時枝先生よ 天下の数学セミナーで、
>みんな真面目に読んでいるのに、
>「どっきりカメラ」やっちゃいかんぜよ（＾＾
どっきりカメラじゃないけどな
>>580
>数学セミナーの記事なら
>ちゃんとネタバレまで書いて
>オチの解説まで書かないとね、
>�
636:｢けないよね （＾＾ 残念ながらスレ主が期待するネタバレもオチもないよ
637:１３２人目の素数さん
19/01/10 19:40:05.23 +VSLcfs/.net
>>589
>>「無限と有限では異なる帰結になる」
>それ、数学的に無意味な主張だね
>「無限と有限では異なる帰結になる」場合と、
>「無限と有限で同じ帰結になる」場合と
>両方あるから どちらになるかは、
>個別具体的に決定していく必要があるよ
時枝戦略の実行可能性に関していえば
列の終端がある→終端の場合、実行できない
列の終端がない→どこでも実行可能
という性質があるから
有限列→終端で実行できない
無限列→どこでも実行可能
となり、明らかに異なる帰結になる
これ、選択公理とは無関係
したがって、>>589でこの後
スレ主がグダグダと選択公理について
述べてる箇所は全部無意味
残念だったな
わけもわからずコピペした苦労が水の泡ｗ
638:１３２人目の素数さん
19/01/10 19:48:50.38 +VSLcfs/.net
スレ主は>>591-598をよく読んで反論すべし
無限モデルの反例が示せるか？
反例となる無限モデルの列には終端があるか？
終端があるとしてペアノの公理との矛盾はどう解決するのか？
まさかペアノの公理から矛盾が導けるとでもいうのか？
４行目はもし可能ならゲーデルの不完全性定理をはるかにしのぐ大成果だなｗ
639:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 20:31:02.41 vW1xEmFq.net
>>591-599
ピエロちゃん、お帰りなさい
朝な夕なに、カキコご苦労さん（＾＾
必死だね～
サイコパスさん、えらいね～ｗ （＾＾
640:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 20:34:13.22 vW1xEmFq.net
なんか、おっちゃんに似てきたな～（＾＾
（って、お互い、「おっちゃんは、そちらの側の人だー」って、言い合いしてんだね～？ （＾＾； ）
641:１３２人目の素数さん
19/01/10 20:47:06.69 +VSLcfs/.net
>>600
貴様 反論できないと「ご苦労さん」で誤魔化すな
それ悪いクセだぞ 貴様がバカなのはその悪弊のせい
642:１３２人目の素数さん
19/01/10 20:51:55.91 +VSLcfs/.net
>>601
スレ主はおっちゃんほどの集中力もないからな
ヘラヘラと軽薄にコピペするだけのサル
643:１３２人目の素数さん
19/01/10 20:55:22.72 +VSLcfs/.net
スレ主よ、貴様本当に>>591-598読んだのか？
あれ読んでも自分の誤りに気づけないほど
貴様は甘ったれの弱虫野郎なのか？
マジで見損なったよ 人間じゃねえんだな
644:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 21:07:22.12 vW1xEmFq.net
>>602-604
（>>544で）変更 ：ムービング・ゴールポスト（後述）（＾＾；
（変更前）
命題：仮定A＋B＋C→結論D
対偶：￢D→￢（A＋B＋C）
A：選択公理
B：ある無限集合から代表が取れる
C：確率計算可能
D：時枝記事が成立
↓
（変更後）
命題：仮定A＋B＋C＋C'→結論D
対偶：￢D→￢（A＋B＋C＋C'）
A：選択公理
B：ある無限集合から代表が取れる
C：確率計算可能
C'：確率99/100（例えば100列で）
D：時枝記事が成立
（変更終了）
ピエロちゃん、悪いね（＾＾
問題点を分りやすくするために
上記のように、変更するよ
ところで、だれが考えても、数学的に一番怪しいのは、下記の
「C'：確率99/100（例えば100列で）」でしょ？
これ、ピエロちゃんが一人で、気合いで主張しているだけ（数学になってない）
証明らしい証明なし。言えてないよね、これ
二番目に怪しいのが、「C：確率計算可能」の部分
これきちんと、確率空間 ( Ω , F , P ) を与えて、
測度論を使うコルモゴロフ流確率計算の定義がきちんと出来ているのかどうか？
出来てないよね、それが。で、コルモゴロフ流以外でも良いが、数学として定義はきちんと出来てないといけない
そうでないと、それは数学じゃ無いよね（＾＾；
以上
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
ムービング・ゴールポスト
(抜粋)
約束・宣言・合意・条約などを勝手に変更または無視して決定事項を履行せずに、追加要求をする状況を意味する時に使われる
645:１３２人目の素数さん
19/01/10 23:00:06.02 STlk6BwF.net
>>552
＞小学生を教えに行っているだって？
それが本当ならスレ主も教わりに行った方がいいと思うよ
646:１３２人目の素数さん
19/01/10 23:14:36.17 STlk6BwF.net
>>553
＞繰り返すが、これ反例です
ごくごく単純に、ごくごく当たり前に考えて
無限モデルの反例は無限モデルでないとｗ
なんで有限モデルが無限モデルの反例になると思ったんだろうか？ どんな腐った脳ならそんなうんこ思考が生まれるの？
おっちゃんの間違いが微笑ましく見えてくるｗ
647:１３２人目の素数さん
19/01/10 23:16:08.47 STlk6BwF.net
>>554
＞そして、その反例が正しいとしよう
前提が大間違いｗ
648:１３２人目の素数さん
19/01/10 23:21:07.18 STlk6BwF.net
>>559
＞時枝記事を反例を除くように、再構築しろよ！！
反例が存在するという前提が大間違い
なぜ間違いなのか既出
スレ主とかいう腐った脳の持ち主が理解できないだけの話
649:１３２人目の素数さん
19/01/10 23:24:06.02 STlk6BwF.net
>>560
朝鮮人が日本のパクリしかできないのにノーベル賞がもらえないと騒いでるのといっしょだねｗ
650:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 23:27:36.51 vW1xEmFq.net
>>606-610
なんだよ
ピエロちゃん、それしか言えなくなったのか？
もうちょっと、数学的にましなこと言えないのか？
651:１３２人目の素数さん
19/01/10 23:31:31.81 STlk6BwF.net
>>567
スレ主は英語もダメだね
arbitrarily large を可能無限って訳してたから薄々感付いてたけど
652:１３２人目の素数さん
19/01/10 23:34:41.79 STlk6BwF.net
>>570
スレ主は何でもかんでも独善解釈するからね
世界はスレ主を中心に廻っていると勘違いしているらしい
653:１３２人目の素数さん
19/01/10 23:39:25.83 STlk6BwF.net
スレ主は上から目線が三度の飯より好き
だからおっちゃんのような餌が撒かれると水を得た魚のように飛び付く
しかし自分が見下したおっちゃんから「スレ主といっしょにしないでくれ」と言われてしまうのが現実ｗ
654:１３２人目の素数さん
19/01/10 23:39:41.02 FO/lAWLA.net
これはひどい
655:１３２人目の素数さん
19/01/10 23:42:56.10 FO/lAWLA.net
「一石」というのはID:STlk6BwFと同一人物なのか？
656:１３２人目の素数さん
19/01/10 23:49:59.32 STlk6BwF.net
>>574
どっきりなのか否かはともかく（実際はどっきりではないがスレ主には理解できない）
スレ主がどっきりだと認定する理由が馬鹿過ぎなことが問題
「有限モデルで無限モデルの反例を示した」とドヤ顔って馬鹿にもほどがあるだろｗ
657:１３２人目の素数さん
19/01/10 23:54:38.52 STlk6BwF.net
>>577
＞天下の数学セミナーで、みんな真面目に読んでいるのに、「どっきりカメラ」やっちゃいかんぜよ（＾＾
スレ主の3年間の成果：時枝記事はどっきりカメラ
↑
死んだ方がいいレベル、いや冗談抜きに
658:１３２人目の素数さん
19/01/10 23:56:44.81 STlk6BwF.net
>>580
そう思うなら出版社に抗議文送ったら？
鼻で笑われるだけだろうけどｗ
659:１３２人目の素数さん
19/01/10 23:58:53.80 STlk6BwF.net
>>584
＞自分を批判してるのが同一だと思うのもスレ主と似てるw
ほんとそれｗ
660:１３２人目の素数さん
19/01/11 00:02:59.32 1wT/mStY.net
>>589
＞「無限と有限では異なる帰結になる」場合と、
＞「無限と有限で同じ帰結になる」場合と
＞両方あるから
じゃあ何故スレ主の有限モデルが時枝解法の反例になると言えるのか説明よろ
あ、いいや、どうせ間違ってるからｗ
661:１３２人目の素数さん
19/01/11 00:09:38.71 /MXRdj4S.net
>>589
＞なので、「選択公理は免罪符にならない！」（＝”選択公理を使ったから良いのだ～！”とは言えないってこと ）
選択公理を仮定することで行っている主張は「代表系が存在する」だけだぞ？ｗ
脳みそ腐ってんのか？ｗ
662:１３２人目の素数さん
19/01/11 00:20:55.81 /MXRdj4S.net
結局スレ主は無限と有限の区別がついていないんだな
だから↓のような間違いを平気で犯す
・数列の連結
・無限に近い大きな数
・有限モデルが無限モデルの反例になる
・arbitrarily large＝可能無限
・決定番号＝∞
663:１３２人目の素数さん
19/01/11 00:26:39.16 /MXRdj4S.net
>>605
＞（変更後）
＞命題：仮定A＋B＋C＋C'→結論D
変更後の1行目から間違えてるｗ
馬鹿丸出しｗ
おっちゃんだって1行目からは間違えないぞｗ
664:１３２人目の素数さん
19/01/11 00:29:28.49 /MXRdj4S.net
>>605
＞ところで、だれが考えても、数学的に一番怪しいのは、下記の
＞「C'：確率99/100（例えば100列で）」でしょ？
怪しいと言ってるのはスレ主一人なのになんで「だれが考えても」になっちゃうの？ｗ
馬鹿丸出しｗ
665:１３２人目の素数さん
19/01/11 01:13:43.37 /MXRdj4S.net
>>605
重複を許す100個の自然数から無作為に一つ選んだものが唯一の最大値でない確率は99/100以上
（最大値が複数ある場合は確率１で唯一の最大でない）
これが間違いだと言うなら、スレ主は確率いくつだと思うの？
666:１３２人目の素数さん
19/01/11 01:41:19.47 /MXRdj4S.net
そっか、スレ主は自然数がわかってないんだっけか
そりゃ確率うんぬん以前だわな
667:１３２人目の素数さん
19/01/11 01:4
668:5:44.97 ID:/MXRdj4S.net
669:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 06:54:41.44 pJoAjWCL.net
>>616
どもありがとう
>「一石」というのはID:STlk6BwFと同一人物なのか？
Yes
私は、そう思っています（＾＾
670:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 06:57:52.42 pJoAjWCL.net
>>617-628
数学的な内容がスカスカなんだけど
まあ、今日もがんばってくれ
671:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 07:07:40.02 pJoAjWCL.net
URLﾘﾝｸ(president.jp)
プレジデントオンライン > 政治・社会 > 職場に増殖中"サイコパス"タイプ別対処法
こんな社員がいたら要注意
2018.1.4 ライター＆エディター 長山 清子
PRESIDENT 2017年7月31日号
(抜粋)
「サイコパスとは、近年は反社会性人格障害と呼ばれる、人格障害の1種。他人の権利を無視し、侵害するのが大きな特徴です」
説明するのは矢幡心理カウンセリング研究所所長の矢幡洋氏である。ほかにも「非常に利己的で他人の痛みを意に介さない」「道徳心や倫理観が希薄で、ウソをつくのも平気」「目的のためには手段を選ばない」などの特徴がある。
男性の3％、女性の1％がサイコパスに該当する、というアメリカの研究もある。日本の総人口で単純計算すれば、男性は約185万人。女性は約65万人。決して少ない数字ではない。
672:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 07:19:37.15 pJoAjWCL.net
これ（下記）、
・「Ωは{1,･･･,100}でOKなんで、N^100とか考える必要はない」
・「わざわざ決定番号の分布に基づく確率計算を実施する必要はない」
証明がないんですけど？
（実際、時枝先生の記事には、この通りの記述ないよね（＾＾； ）
”数学は気合いだ～！”かな（＾＾
(引用開始)
前スレ56 ｽﾚﾘﾝｸ(math板:503番) より
503 名前：１３２人目の素数さん[] 投稿日：2018/12/28(金) 06:23:03.55 ID:fkehK+Gv [2/25]
>>476
>> 100個の相異なる決定番号からなる有限集合をΩとする。Ωの濃度は card(Ω)＝100。
>これで話が済むなら、時枝先生が書いている 非可測集合の話とか
>現代確率論が、測度論に基づいているが、それがカノニカルという保証はないのだとか
>可算無限個の確率変数の話とか そんなことを、グダグダ書く必要は無かったんだよ！！！
実際、蛇足としてしか書いてないけどな
Ωは{1,･･･,100}でOKなんで、N^100とか考える必要はない
時枝記事の戦略の成功確率が
「有限事象の確率の計算」
に帰着されるのは
a. 1～100のいずれかkをランダムに選ぶ
b. 選ばれた列s~kの決定番号d(s~k)が
他の列の決定番号どれよりも大きい
場合はたかだか1つ
の２点に基づいているから
わざわざ決定番号の分布に基づく
確率計算を実施する必要はない
(引用終り)
673:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 07:22:54.26 pJoAjWCL.net
URLﾘﾝｸ(ja.uncyclopedia.info)
アニマル浜口
「気合だー！！」
674:１３２人目の素数さん
19/01/11 08:34:11.47 /MXRdj4S.net
>>630
>>628
675:１３２人目の素数さん
19/01/11 08:39:06.99 /MXRdj4S.net
>>630
>>626のような純粋に数学的問いから
＞数学的な内容がスカスカなんだけど
の一言で逃亡するスレ主の脳がスカスカだと思います
676:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 08:44:24.33 pJoAjWCL.net
どもありがとう
だけど、それだけ
もっと書いてくれよ
677:（＾＾
678:１３２人目の素数さん
19/01/11 08:45:34.22 /MXRdj4S.net
すごいよね
都合の悪い問いには相手を罵倒して問い自体が無かったことにしちゃうんだから
サイコパスと言われるわけだわ
679:１３２人目の素数さん
19/01/11 08:47:40.37 /MXRdj4S.net
>>636
＞それだけ
は答えた後に言うセリフだろｗ 逃亡しといて何言ってるの？ｗ
680:１３２人目の素数さん
19/01/11 08:51:55.68 /MXRdj4S.net
>>630
>>622も無視か？
お前都合の悪いレスは全部無視だなｗ
＞数学的な内容がスカスカなんだけど
って便利な言葉だなｗ
681:１３２人目の素数さん
19/01/11 09:07:32.24 nNamvzws.net
こいつは単に相手にしてもらいだけの老人ですよ
プロ固定って言うひとがいたけど、プロ暇つぶし
お金かからない暇つぶしできれば年金老人にとってはプラスだからね
682:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 09:46:58.14 sNu+oq3U.net
>>640
ありがとう
>こいつは単に相手にしてもらいだけの
別に相手はいらんけどね（＾＾
もっとも、居てもいいけど（＾＾；
>暇つぶし
半分当り
スレのテンプレにあるよ（下記）
（>>8 "個人的には、下記のように、”知恵袋の人>>> ５ＣＨ（旧２ＣＨ）の人”と思う（＾＾ "
>>7 "大学新入生もいると思うが、間違っても５ＣＨ（旧２ＣＨ）で数学の勉強なんて思わないことだ
このスレは、趣味と遊びのスレと思ってくれ（＾＾；" )
なお、
残りの半分は、ここはおれのメモ帳だな
次のテンプレに入れるかな（＾＾
683:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 09:49:39.15 sNu+oq3U.net
>>639
いや、単に、スレの賑やかしと
小学生がどこで躓いているか
みんなに分かるように
もっと書いたらどうかと
684:１３２人目の素数さん
19/01/11 10:25:55.80 1LzkJaeF.net
URLﾘﾝｸ(blogs.yahoo.co.jp)
日本では地検特捜部や裁判所は安倍内閣の使い走り犬コロである、と当の安倍内閣が世界に向かって喚き散らしているのだ。
安倍日本政府は完全に狂っている、国家の体をなしていない。
↓
●安倍日本は韓国に対して詩織さん事件を自慢して文大統領も同じに「裁判検察を揉み消し」にしろと言っているのだ。
URLﾘﾝｸ(blogs.yahoo.co.jp)
文大統領と詩織さん↑↓
URLﾘﾝｸ(blogs.yahoo.co.jp)
685:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 11:01:21.59 sNu+oq3U.net
>>643
賑やかし
ありがとう（＾＾
686:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 11:02:46.44 sNu+oq3U.net
>>632
>・「Ωは{1,･･･,100}でOKなんで、N^100とか考える必要はない」
>・「わざわざ決定番号の分布に基づく確率計算を実施する必要はない」
>
>証明がないんですけど？
で、
これ小学生が躓いているところを推察すると
（小学生証明）
自然数の集合をNとする
代表が、100個
これは、ある自然数の100個で
d1,d2,・・・,d99,d100 と書ける
これを並び替えて
d'1 < d'2 < ・・・ < d'99 < d'100
（等号成立は、頻度が少ないので確率として無視できるとする）
単なる並び替えなので、集合として、等しい。つまり
{d1,d2,・・・,d99,d100}＝{d'1,d'2,・・・,d'99,d'100}
さて
{d'1,d'2,・・・,d'99,d'100}
↓
{1,･･･,100}
は、全単射だと（＾＾
{d1,d2,・・・,d99,d100}の最大値
max {d1,d2,・・・,d99,d100}＝d'100
任意のd_k (1<=k<100)で
d_k < d'100
が成立する確率は、99/100
これで、時枝の確率99/100と合うのだ（＾＾；
QED
つづく
687:１３２人目の素数さん
19/01/11 11:04:25.18 1EUqlQd9.net
おっちゃんです。
「戯け者」と書いていた人(スレ主がいう元祖「ピエロ」)は昨日の ID:STlk6BwF と見ていいのか。
688:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 11:05:27.90 sNu+oq3U.net
>>645
つづき
＜反例説明＞
ある有限の自然数の集合を定義する
N_m＝{1,･･･,m}
とする
m＝d'100＋１とする
そうすると、
{d1,d2,・・・,d99,d100}＝{d'1,d'2,・・・,d'99,d'100} ⊂ N_m とできる
こうすると、上記の証明のロジックがそのまま使え
確かに、
「任意のd_k (1<=k<100)で
d_k < d'100
が成立する確率は、99/100」
が言える
しかし、時枝記事の類似で、
数列の長さｍの有限モデルが構築できる
（>>129ご参照）
この場合、Sergiu Hart氏のPDFに記載のRemark定理 （>>553 ご参照）
により、箱の数の的中確率は、
q個の数で{1,2,・・・,q}をランダムに入れるとき、1/qになるので
99/100は言えない
では、どこがおかしいかというと
（>>605で）
数学的に一番怪しいのは、「C'：確率99/100（例えば100列で）」
次、二番目に怪しいのが、「C：確率計算可能」の部分、
きちんと、確率空間 ( Ω , F , P ) を与えて、
測度論を使うコルモゴロフ流確率計算の定義がきちんと出来ているのかどうか？
コルモゴロフ流以外でも良いが、それは数学として定義はきちんと出来てないといけない
反例説明は、以上です
まあ、これ小学生が理解するには、難しだろうね
689:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 11:09:05.75 sNu+oq3U.net
>>646
＞「戯け者」と書いていた人(スレ主がいう元祖「ピエロ」)は昨日の ID:STlk6BwF と見ていいのか。
おっちゃん、どうも、スレ主です。
「戯け者」と書いていた人というのが、いつのどの人か記憶にない
それに、その人を特定しようという気は無いが
昨日の ID:STlk6BwFを含め
いま、小学生レベルのカキコをしているのは
ピエロちゃんですよ
さすがに、これだけサイコパスで、小学生レベルのカキコを続けられるのは、
ピエロちゃん以外おらんだろう
690:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 11:17:26.94 sNu+oq3U.net
>>645 訂正
代表が、100個
↓
決定番号が、100個
（決定番号については、>>22ご参照）
注：
時枝記事を熟知している人には、これでも分かるだろうが、あまり知らない人には不親切だな
691:１３２人目の素数さん
19/01/11 11:23:51.83 1EUqlQd9.net
>>649
まとめて「ピエロ」と呼ぶのは止めてくれ。ややこしい。
>「戯け者」と書いていた人というのが、いつのどの人か記憶にない
このスレにいたね。それが昨日の ID:STlk6BwF なんだろう。
「戯け者」と書いた余り見ない表現が記憶にある。
692:１３２人目の素数さん
19/01/11 11:30:35.91 1EUqlQd9.net
>>648
>>650は、>>649ではなく、>>648宛て。
まあ、age て緑のレスで「戯け者」と書いていた。
それじゃ、あとは午後。
693:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 13:03:10.29 sNu+oq3U.net
>>650
>まとめて「ピエロ」と呼ぶのは止めてくれ。ややこしい。
おっちゃん、どうも、スレ主です。
おっちゃんらしいな
基本認識が大きくずれているが、そのことに気付かないのか？
ここでは、複数IDを使う成りすましは、2019年現在では普通に可能でね
だが、注意してみていれば、”なりすまし”はある程度見分けがつくよ
で、ピエロちゃんは、「哀れな素人」さんが居たころ登場した人物だよ
694:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 13:07:10.32 sNu+oq3U.net
>>651
>まあ、age て緑のレスで「戯け者」と書いていた。
それ、多分よそのスレだろうね
このスレと、前56スレで、”戯け者”でキーワード検索かけたが、それらしい発言はヒットせず
それ以上、深堀する気が無いし、十分だろ
>それじゃ、あとは午後。
はいはい
但し証明書くなよ
証明ごっこお断りだよ（＾＾
概要を書いてくれればいいんだよ
695:１３２人目の素数さん
19/01/11 15:01:45.37 1EUqlQd9.net
>>652
>基本認識が大きくずれているが、そのことに気付かないのか？
>ここでは、複数IDを使う成りすましは、2019年現在では普通に可能でね
そういうことは、知らんな。
ネットにつながる機器は、パソコン1台しかない。スマホは持っていない。
>>653
>それ以上、深堀する気が無いし、十分だろ
まあ、私もそこまで詮索する気はない。
>概要を書いてくれればいいんだよ
何の概要を書けばいいんだ？
まあ、人間が十年間の間に使える鉛筆の本数は知りたい。
但し、鉛筆の芯は削らないとする。肥後守で鉛筆の木の部分は削って取り除けると�
696:ｷる。 これは興味がある。 人体実験してみて、紙に書いても書いても尚一向に減らないことは既に体験している。
697:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 15:43:09.23 sNu+oq3U.net
>>654
おっちゃん、どうも、スレ主です。
>>概要を書いてくれればいいんだよ
>何の概要を書けばいいんだ？
おれの持論だが
この数学バカ板では、本格的な数式や記号が書けないから
（テンプレ>>7ご参照）
証明ごっこはやめろと
で
１．既に定理となっている証明なら、出典を明示するか、ネット検索で関連URLを提示すれば済む
ここに書くのは、検索に必要なキーワードを含んだ文だよと
２．新規の証明なら、ここに書かずに、プロの学会へ発表するのが筋でしょ
３．まあ、本当に簡単な証明とか、証明の簡単な概要とか、会話のついでにやるのは可だが
おっちゃん、みたいに、ぐだぐだ長文証明書いても、上記のように無益と思うから
>まあ、人間が十年間の間に使える鉛筆の本数は知りたい。
>但し、鉛筆の芯は削らないとする。肥後守で鉛筆の木の部分は削って取り除けるとする。
>これは興味がある。
>人体実験してみて、紙に書いても書いても尚一向に減らないことは既に体験している。
ほんと石器時代やね
「シャーペン」きらいなんやね
先輩で、そういう人いた
Bの鉛筆でね。直筆が味があるとか豪語してね
おっちゃん、Bの鉛筆使え
698:１３２人目の素数さん
19/01/11 16:10:36.48 1EUqlQd9.net
>>655
>「シャーペン」きらいなんやね
>先輩で、そういう人いた
>Bの鉛筆でね。直筆が味があるとか豪語してね
>おっちゃん、Bの鉛筆使え
シャーペンもあるけど、シャーペンは余り使わないね。
シャーペンは、書いていると芯の減りがはやい。あと、芯が折れることがある。
シャーペンやボールペンは、書いたモノの痕跡を記録として残すときに使うね。
普段、私は芯ホルダーに鉛筆の芯を入れて使っているね。そうすれば、ムダなく鉛筆使えるだろ。
短くなった鉛筆の芯を使い切るのはかなり大変だ。1ヶ月は持つんじゃないかね。
おっちゃん的には、鉛筆の芯の濃さはBよりHBだね。
HBの鉛筆は使い易いね。紙に滑らかに書けるというか何というか。
699:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 16:39:38.81 sNu+oq3U.net
>>656
＞普段、私は芯ホルダーに鉛筆の芯を入れて使っているね。そうすれば、ムダなく鉛筆使えるだろ。
うん、古代、そういう道具があったね
なるほどね～（＾＾
>おっちゃん的には、鉛筆の芯の濃さはBよりHBだね。
>HBの鉛筆は使い易いね。紙に滑らかに書けるというか何というか。
HBが標準とよく言われる
数式ならHBか
ところで、エクセルは使わないの？（＾＾
700:１３２人目の素数さん
19/01/11 16:59:18.72 1EUqlQd9.net
>>657
>HBが標準とよく言われる
>数式ならHBか
芯の標準的な濃さはB、HB、Hのどれかだけど、数学なら、HBかHだね。HBより硬いHの芯もあり。
Hには、2Bより濃い芯のように書いた痕跡が途中で見えにくくなり易い訳ではない、という利点もある。
>ところで、エクセルは使わないの？（＾＾
使っていない。
701:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 17:04:20.47 sNu+oq3U.net
>>647
>まあ、これ小学生が理解するには、難しだろうね
どうせ、
また小学生が、わけわからんことを
ぐだぐだ、書くんだろうな（＾＾；
702:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 17:13:38.97 sNu+oq3U.net
>>658
>>ところで、エクセルは使わないの？（＾＾
>使っていない。
ぷっ ｗ （＾＾
シャンクスの世界やね
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
円周率の歴史
(抜粋)
1681年
[値] 暦の作成にあたって円周率の近似値が必要になったため、関孝和が正 131,072 角形を使って小数第 16 位まで算出した。関が最終的に採用した近似値は「3.14159 26535 9微弱」というものだった[58]が、エイトケン補外を用いた途中計算では小数第 16 位まで正確に求めている[59]。
1722年
[値] 建部賢弘が『綴術算経』（てつじゅつさんけい）を著し、正 1024 角形を用いて小数第 42 位まで求めた[65]。「累遍増約術」（Richardson補外）を適用し、関孝和の計算に比べて遥かに少ない計算で精度を大いに改善している。なお、ルイス・フライ・リチャードソンによる同手法の提案は1910年頃である。
18世紀中頃
[法] オイラーによって、多くの π に関する式が発見される。
オイラーは
π/4 =5arctan 1/7+2arctan 3/79
を用いて、 たった1時間で円周率を小数第 20 位まで計算した[67]。
1850年頃 ? 1873年
[値] (527) イギリスのウィリアム・ラザフォードとその弟子のウィリアム・シャンクスがマチンの公式を用いて桁数の記録を塗り替えた。
シャンクスの計算で正しかったのは、小数第 527 位までであった。その後、シャンクスは1872年に小数第 707 位まで達したが、この誤りが最後までつきまとった[71]。
703:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 17:21:17.25 sNu+oq3U.net
>>478
>私がする専ら手による計算が出来る人がいると思う。開平法とかもそういうのに含まれる。
遠隔レスやけど
流石に、開平法を手で計算する人（遊びじゃなく仕事でだが）は、居なかったな～（＾＾
三乗根とか五乗根とか、どうするの？
まあ、開平法類似の手法があるかもしらんけどね（確か三乗根はなんとなく記憶がある）
そこまで行けば、級数展開使って、積和に直して、電卓叩いた方が早そう（＾＾
まあ、おれなら、小数点の精度をチェックしながら、エクセルだな
そのエクセルの結果を電卓で検算するとかね（＾＾；
704:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 17:24:17.41 sNu+oq3U.net
まあ、小数点以下数十桁になるなら
プログラム作成にチャレンジするけどね
いまどき、大概の関数は、既存のプログラムありそう（＾＾
705:１３２人目の素数さん
19/01/11 17:33:46.93 1EUqlQd9.net
>>647
時枝記事についてはもう議論する気がなくなったけど、
>コルモゴロフ流以外でも良いが、それは数学として定義はきちんと出来てないといけない
古典的な確率論については、しっかりと定義出来なくはないけど、特に定義する必要はないな。
高校までの数学が特別に苦手でなければ、古典的な確率論には慣れているといっていいだろう。
>>661
>三乗根とか五乗根とか、どうするの？
簡易電卓にもそういうのの数値を求める機能はないから、求める必要は余りないだろう。
エクセルは、統計で多く使われるソフトではないかね。そんな話を聞いたことはある。
今日は文房具について語ったけど、それじゃ、おっちゃんもう寝る。
706:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 18:08:50.79 sNu+oq3U.net
>>663
>時枝記事についてはもう議論する気がなくなったけど、
本格的に議論に参加しようというならば、原論文には一度は目を通さないと
かつ、コピーくらいは手元に持たないとね
>>コルモゴロフ流以外でも良いが、それは数学として定義はきちんと出来てないといけない
>古典的な確率論については、しっかりと定義出来なくはないけど、特に定義する必要はないな。
標本空間Ωが有限集合なら、高校の範囲でしょ
ガウス分布は、－∞から＋∞まで積分するけど、シッポのところは急減少するから、結局無視できて、ほぼ有限集合の範囲だよね
時枝はそうはいかんぜよ（＾＾
>エクセルは、統計で多く使われるソフトではないかね。そんな話を聞いたことはある。
エクセル触ったことないのか？（＾＾
おっちゃん、石器時代というよりも、数学仙人やね。完全に浮世離れしているわ（＾＾
707:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 18:18:15.69 sNu+oq3U.net
>>663
>簡易電卓にもそういうのの数値を求める機能はないから、求める必要は余りないだろう。
関数電卓でも、いまどき数千円で、結構高機能のが買えるだろう
カシオとかシャープとか
（参考）
URLﾘﾝｸ(www.kagua.biz)
カグア！
関数電卓おすすめ8機種と人気メーカーが使いやすい
（本まとめは、2017年4月12日時点での国内Am
708:azonにおけるレビュー内容と、レビュー投稿数を基準に選出しています。） (抜粋) こんにちは、数学大好きカグア！です。関数電卓は大学の研究室でさんざん使っていましたが、今はほんと進化していますね。 この記事の目次 おすすめの関数電卓とは 関数電卓の主な機能 関数電卓が持ち込みOKな試験 関数電卓のおすすめメーカー おすすめの根拠 関数電卓で評価が高い7機種 カシオ関数電卓の名機 土地家屋調査士の試験に対応 安い値段で人気・数学自然表示 スリムでスタイリッシュ プログラム可能な関数電卓 測量の計算に関数電卓 関連情報リンク まとめ
709:１３２人目の素数さん
19/01/11 19:04:25.55 WpJxchDl.net
はじめてボードゲームを作ってはじめてゲームマーケットに出店した ので、ひとり反省会をしてみる。
URLﾘﾝｸ(datecocco.hatenablog.com)
はじめて作ったボードゲームを売った話
URLﾘﾝｸ(nrmgoraku.hateblo.jp)
ボードゲームイベント「ゲームマーケット」から業界が見えた！
URLﾘﾝｸ(entertainmentstation.jp)
ゲームマーケットに挑む人向けガイド
URLﾘﾝｸ(spa-game.com)
ボードゲームはどう作るのか、自分なりに考えた
URLﾘﾝｸ(roy.hatenablog.com)
オトナも遊べるボードゲーム！自作するといくらになるのか
URLﾘﾝｸ(www.d-laboweb.jp)
自作ボードゲーム販売への道・販売場所編
URLﾘﾝｸ(kdsn.xyz)
はじめての同人ボードゲーム作り
URLﾘﾝｸ(ameblo.jp)
アナログゲーム市場が「クラウドファンディング」で盛り上がるワケ
URLﾘﾝｸ(www.sbbit.jp)
710:１３２人目の素数さん
19/01/11 19:11:43.30 ejTB5Q2T.net
>>605
>（変更後）
>命題：仮定A＋B＋C＋C'→結論D
>対偶：￢D→￢（A＋B＋C＋C'）
>A：選択公理
>B：ある無限集合から代表が取れる
>C：確率計算可能
>C'：確率99/100（例えば100列で）
>D：時枝記事が成立
>（変更終了）
>ピエロちゃん、悪いね（＾＾
>問題点を分りやすくするために
>上記のように、変更するよ
スレ主、>>592読んでないだろ
>>592読めよ
Cの代わりにC'とするのは結構だが
あとは全然だめ
まず、B(代表元の取得)は
A(選択公理)から導かれる命題
A→B
次に、B（代表元の取得）だけでは
時枝記事の戦略が必ず実行できるとはいえない
（有限列の場合、列の終端があるから）
したがって必ず時枝記事の戦略が実行できるとして
その成功確率を予測の成功確率と主張するには
列が無限列である必要がある。
O＆B→C'
O:ペアノの公理
最後にC'(確率99/100）から
D(時枝記事が成立)は自明である
C→D
したがって全体を通して見れば以下の通り
O＆A→D
￢D→(￢O OR ￢A）
スレ主の「有限モデル」では
O（ペアノの公理）を否定してる
（最大限ｍについて、次の元ｍ＋１が存在しない）
だから時枝記事の否定にはならない
ザ・ン・ネ・ン・デ・シ・タ
711:１３２人目の素数さん
19/01/11 19:12:57.43 ejTB5Q2T.net
>>605
>だれが考えても、数学的に一番怪しいのは、下記の
>「C'：確率99/100（例えば100列で）」でしょ？
いや、C'は全然怪しくない
こんなの疑ってるのはスレ主のみ
>証明らしい証明なし。言えてないよね、これ
100個のうち、単独最大元はたかだか1/100
それさえ選ばなければ成功だから確率は99/100以上
これ証明
ついでにいえば、時枝戦略の実行には
「選んだ決定番号が終端でないこと」
が不可欠だが、無限列ではペアノの公理により
「いかなる決定番号も終端でない」
といえるから、問題ない
これまた証明
>二番目に怪しいのが、「C：確率計算可能」の部分
>これきちんと、確率空間 ( Ω , F , P ) を与えて、
>測度論を使うコルモゴロフ流確率計算の定義が
>きちんと出来ているのかどうか？
>出来てないよね、それが。
C'の確率99/100の計算では
確率空間 ( Ω , F , P ) による
測度論を使うコルモゴロフ流確率計算
の定義ができてますよ
ただΩが{1,・・・,100}であってN^100ではない
というだけのこと
したがって数学としてきちんと定義できてます
ザ・ン・ネ・ン・デ・シ・タ
712:１３２人目の素数さん
19/01/11 19:13:40.95 ejTB5Q2T.net
>>632
>・「Ωは{1,･･･,100}でOKなんで、N^100とか考える必要はない」
>・「わざわざ決定番号の分布に基づく確率計算を実施する必要はない」
>証明がないんですけど？
>（実際、時枝先生の記事には、この通りの記述ないよね（＾＾； ）
非可測といってる時点でN^100を考えるのが無意味とわかる
100個の列から1個選ぶのだから、Ωが{1,･･･,100}なのは自明
a. 1～100のいずれかkをランダムに選ぶ
b. 選ばれた列s~kの決定番号d(s~k)が
他の列の決定番号どれよりも大きい
場合はたかだか1つ
a,b とも時枝記事にほぼ同一の記載がある
スレ主も否定できない
ザ・ン・ネ・ン・デ・シ・タ
713:１３２人目の素数さん
19/01/11 19:15:10.66 ejTB5Q2T.net
>>647
>時枝記事の類似で、
>数列の長さｍの有限モデルが構築できる
Sergiu Hart氏のRemark定理のモデルのことなら
全然構築できてない
決定番号ｍの場合、次の箱がない
で、上記のモデルを変更して、
決定番号ｍの列を排除して
決定番号ｍ－１以下の列のみを対象にするなら
時枝記事の通り９９／１００以上になる
（さらにいえば、実は確率１で成功する）
>どこがおかしいかというと･･･
列の終端が存在する「有限モデル」を考えること
>きちんと、確率空間 ( Ω , F , P ) を与えて、
>測度論を使うコルモゴロフ流確率計算の定義が
>きちんと出来ているのかどうか？
Ω＝N^100の場合しか考えないスレ主の頭が固い
非可測である時点で、その方向は諦めるしかない
しかし別の方法（Ω={1,…,100}）で計算できるし
別の方法を否定する理由は何もない
>反例説明は、以上です
反例でないものを反例だと言い張る
スレ主のサイコパスぶりにはあきれ返る
>まあ、これ小学生が理解するには、難しだろうね
時枝記事の前提（ペアノの公理と選択公理）を認めれば
小学生でもわかることだが、スレ主に理解できないのなら
スレ主は小学生未満の幼稚園児ということだなｗ
714:１３２人目の素数さん
19/01/11 19:21:35.72 ejTB5Q2T.net
>>659
>また小学生が、わけわからんことを
>ぐだぐだ、書くんだろうな（＾＾
幼稚園児のスレ主は
無限列の決定番号の分布という
非可測関数の積分なんて
どんな数学者にも不可能な方法
にこだわって
「だから時枝記事の成功確率は計算できないっ！」
と発狂しつづるんだろうな（嘲
無限列には終端がないから時枝記事の戦略は常に実行可能
有限列は全く反例にならない
時枝記事の戦略の成功確率は
１００個のなかからたかだか１個のハズレを選ばない
という小学生でもわかる初等的事実から計算できる
ザ・ン・ネ・ン・デ・シ・タ
715:１３２人目の素数さん
19/01/11 19:27:42.62 ejTB5Q2T.net
>>664
>本格的に議論に参加しようというならば、
>原論文には一度は目を通さないと
>かつ、コピーくらいは手元に持たないとね
スレ主は日本語が読めないから
何度目を通しても無駄
コピー？紙のムダｗ
>ガウス分布は、－∞から＋∞まで積分するけど、
>シッポのところは急減少するから、
>結局無視できて、ほぼ有限集合の範囲だよね
>時枝はそうはいかんぜよ（＾＾
バカ丸出し
∞を考えればOKと思ってる時点で、
スレ主は正真正銘の白痴
∞は自然数じゃないから
積分領域内に存在しない
どの自然数が決定番号になる確率が
どんなε＞０よりも小さくても
決定番号が自然数となる確率は１
だから非可測
スレ主は非可測とはどういうことか
全然分かってない
716:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 20:26:52.39 pJoAjWCL.net
>>666
ども
賑やかし
ありがとう（＾＾；
717:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 20:27:49.42 pJoAjWCL.net
>>672
ピエロちゃん、ご苦労さま
まあ、予想通りだが（＾＾；
718:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 20:29:11.08 pJoAjWCL.net
えらいねー
サイコパスのど根性（＾＾
ぐだぐだ、よくそれだけ、愚にも付かない
屁理屈を並べられるものだね～
ほんと尊敬するわ（＾＾；
719:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 20:31:54.46 pJoAjWCL.net
まあ、Sergiu Hart氏のPDFに記載のRemark定理 （>>553 ご参照）
これの証明と、これを使った有限モデルの反例を提示してから
ピエロちゃんにチョウチンを付ける人が、激減した
今日、おっちゃんも、時枝から降りると言ったから
まあ、サイコパス一人頑張っているんだね
がんばれ、ピエロ！！（＾＾；
720:１３２人目の素数さん
19/01/11 20:32:13.89 ejTB5Q2T.net
>>6
721:75 反論できないなら黙れ 白痴野郎が
722:１３２人目の素数さん
19/01/11 20:33:44.36 ejTB5Q2T.net
>>676
白痴か？有限モデルは反例になり得ない
無限モデルの反例だしてごらん 白痴野郎
723:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 20:34:01.45 pJoAjWCL.net
まあ、皆さんには
サイコパスとはどういうものかの実例が、ここにあると（＾＾
それを見て貰えるだけでも、このスレの価値があるということだな（＾＾；
724:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 20:36:04.59 pJoAjWCL.net
>>677-678
まあ、そうあせるな,ピエロちゃん（＾＾
じっくり相手してやるからよ～（＾＾；
725:１３２人目の素数さん
19/01/11 20:36:20.50 ejTB5Q2T.net
>>679
白痴は反論できないと
相手をサイコパスとかいって発狂する
白痴だから仕方ないがね
726:１３２人目の素数さん
19/01/11 20:37:53.97 ejTB5Q2T.net
>>680
白痴がなに余裕かましてんだ？
貴様はな もう死んだんだよｗ
有限モデルで自爆死
ホント白痴そのものｗｗｗｗｗｗｗ
727:１３２人目の素数さん
19/01/11 20:40:33.18 ejTB5Q2T.net
白痴は無限モデルが理解できない
列に終端がないと発狂する それが白痴
時枝記事では有限列は決して扱わない
無限列には終端がないからこそ
時枝記事の戦略が常に実行可能
理解できないヤツは白痴
728:１３２人目の素数さん
19/01/11 20:42:21.93 ejTB5Q2T.net
白痴は数学板に書き込むんじゃねえ！
729:１３２人目の素数さん
19/01/11 20:45:22.30 3f3VcT0b.net
ID:ejTB5Q2T はそれほどの才能があるのに、なんでスレ主なんかの相手するの？
スレ主は5chで暇がつぶせればいい終わった人間なんだよ...
730:１３２人目の素数さん
19/01/11 20:48:04.72 ejTB5Q2T.net
>>685
才能？残念だがそんなものないな
白痴が嫌いだから抹殺したいだけだ
731:１３２人目の素数さん
19/01/11 20:51:38.07 nNamvzws.net
>ピエロちゃんにチョウチンを付ける人が、激減した
みんな呆れたか「まだやってるのかw」と思うか
飽きた・バカバカしいかで去るが結論は出ている。
おっちゃんとスレ主の間に阿吽の繋がりがあるように
数学科出身者同士にも見えない繋がりがあるんだよ
敵は一人と思ってるスレ主には見えてないだけ。
732:１３２人目の素数さん
19/01/11 20:53:08.11 ejTB5Q2T.net
時枝氏の「箱入り無数目」の記事は大して難しいものではない
数学科の学生なら難なく理解できる程度のものだ
ただ結果がナイーブな直感を裏切るってだけのことだ
こんな記事で発狂するのは直感に固執するナイーブな白痴（idiot)だけだ
733:１３２人目の素数さん
19/01/11 20:56:20.00 nNamvzws.net
>>686
あんた認知症のひとに会ったことあるか？
頭のキレるひとでも、そうなったら見る影もない。
認知症じゃなくても年取れば多かれ少なかれ衰えるもんだろ。
10年20年あとのことを考えれば、自分だってどうなるか分からんだろ。
その能力がある間に、もっと有意義に使った方がいいと思う。
734:１３２人目の素数さん
19/01/11 20:57:24.72 ejTB5Q2T.net
>>687
＞数学科出身者同士にも見えない繋がりがあるんだよ
数学科出身者なら、自然数で各項が番号づけされている無限列で
ペアノの公理に真っ向から反する終端∞の存在なんか、
決して認めたりしないからな
∞番目とか平気でほざくヤツは数学のスの字も知らない白痴！
735:１３２人目の素数さん
19/01/11 21:00:22.48 ejTB5Q2T.net
>>689
自分にも認知症の家族がいる
歳をとればそうなるのも仕方がない
しかしここの白痴はそういうのとは違う
人間の理性を真っ向から否定する敵
焼き殺すべき対象
736:１３２人目の素数さん
19/01/11 21:02:40.39 ejTB5Q2T.net
マイケル・アティヤがリーマン予想を証明したとか宣言したとき
ああ、人間、齢には勝てないな、と思ったものだ
それでも、人生で何もなし得なかった奴よりははるかにマシだろう
737:１３２人目の素数さん
19/01/11 21:04:41.01 ejTB5Q2T.net
>>689
>能力がある間に、もっと有意義に使った方がいい
残念ながら大した能力はないから
せいぜい白痴を焼き殺すくらいしか
できそうもない
738:１３２人目の素数さん
19/01/11 21:21:02.55 nNamvzws.net
何か使い道はあると思う。また何
739:処かでね。
740:１３２人目の素数さん
19/01/11 22:04:07.82 kswSoRX/.net
スレ主はバカでどうしようもないなあ
他人を罵倒するか
コピペするか
自分が理解できてもない話で間違った説を唱えるか
白痴のピエロちゃんはどうしようもない
741:１３２人目の素数さん
19/01/11 22:43:03.10 /MXRdj4S.net
>>641
暇つぶしとメモ帳ならチラシの裏でやれ
公衆の面前で赤っ恥晒して楽しいのか？
742:１３２人目の素数さん
19/01/11 23:13:09.90 /MXRdj4S.net
>>647
馬鹿丸出しｗ
743:１３２人目の素数さん
19/01/11 23:18:42.07 /MXRdj4S.net
>>647
＞しかし、時枝記事の類似で、
＞数列の長さｍの有限モデルが構築できる
類似でもなんでもない
まったく別のまったくつまらないモデル
理由はさんざん語られてきた、スレ主が理解できないだけの話
スレ主は独善主張を溺愛し、人の話をまったく理解しない池沼
744:１３２人目の素数さん
19/01/11 23:30:47.17 /MXRdj4S.net
＞スレ主、>>592読んでないだろ
＞>>592読めよ
無理だと思う
スレ主は人の話を聞く耳持たない池沼だから
745:１３２人目の素数さん
19/01/11 23:44:29.87 /MXRdj4S.net
スレ主は「非可測集合」＝「確率という道具で扱えない」の馬鹿の一つ覚えで思考停止している。
しかし時枝解法における確率という道具の対象は只の100個の自然数なので、まったく的外れである。
・・・と説明してもこの頑固爺は聞く耳持たないんだろうなあ（遠い目）
746:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 23:49:17.03 pJoAjWCL.net
>>687 >>690
＞数学科出身者同士にも見えない繋がりがあるんだよ
＞敵は一人と思ってるスレ主には見えてないだけ。
笑える
じゃ、>>31
その見えない数学科出身者同士の繋がりってやつ、>>31を即実現して、証明してください。簡単でしょ？
直ちに、この数学板への書き込みを止めますからｗ （＾＾
数学科出身者でも、時枝記事を支持していない人いるんじゃないの？ （＾＾；
笑える
747:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 23:49:36.12 pJoAjWCL.net
>>693
>残念ながら大した能力はないから
あるある
サイコパスとしての能力が（＾＾
それだけ、バカ踊りできれば十分だよね（＾＾；
ピエロちゃんのバカ踊りのお陰でスレがススム
748:１３２人目の素数さん
19/01/12 00:06:43.12 /RBQU6zJ.net
スレ主の自称反例が反例になってないことも、時枝解法が成立する理由も、すべてきちんと示されている
のに聞く耳持たない頑固爺スレ主
なぜそれほどまでに己の馬鹿を守り抜きたいのだろうか？
749:１３２人目の素数さん
19/01/12 00:14:27.33 /RBQU6zJ.net
>>675
＞ぐだぐだ、よくそれだけ、愚にも付かない
＞屁理屈を並べられるものだね～
ぐだぐだと屁理屈並べてるのは誰が見てもスレ主なんだがｗ
さすが類まれな無自覚力の持ち主ｗ
750:１３２人目の素数さん
19/01/12 00:16:19.18 /RBQU6zJ.net
>>676
＞これの証明と、これを使った有限モデルの反例を提示してから
頼むから教えてくれ
何に対する反例を示した気になってるの？
751:１３２人目の素数さん
19/01/12 00:23:06.60 /RBQU6zJ.net
>>680
＞じっくり相手してやるからよ～（＾＾；
お前その台詞大好きだなｗ
しかしいくら待ってもスレ主からまともなレスが出ることは只の一度も無かったｗ
3年間の馬鹿発言の数々、自分でもう一回読み返してごらん？
あ、そっか、こいつは馬鹿発言を馬鹿発言と認識できないんだっけｗ
ホント困った白痴野郎だね
752:１３２人目の素数さん
19/01/12 00:29:57.77 /RBQU6zJ.net
>>685
公開掲示板に嘘八百書かれたら誰かが間違ってると言わざるを得ないだろ
まあスレ主が明日にでも死んでくれればみんなハッピーなんだけど
753:１３２人目の素数さん
19/01/12 00:32:20.22 /RBQU6zJ.net
＞おっちゃんとスレ主の間に阿吽の繋がりがあるように
わろたｗ 類は友を呼ぶｗ トンデモ同士阿吽の繋がりｗ
754:１３２人目の素数さん
19/01/12 00:35:48.42 RkwZeUl6.net
コピペとでたらめを延々と書いて相手が嫌気さして去るのを待つだけのスレ主
スレが伸びる＝スレ主がアホ ということなのにな
755:１３２人目の素数さん
19/01/12 00:36:47.65 /RBQU6zJ.net
>>701
＞数学科出身者でも、時枝記事を支持していない人いるんじゃないの？ （＾＾；
たとえば？
あ、白痴野郎の妄想でしたか、こりゃ失敬
756:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/12 08:33:30.50 bEkkM7c0.net
>>687 追加レス
>おっちゃんとスレ主の間に阿吽の繋がりがあるように
”阿吽の繋がり”か
おっちゃんのボ�
757:Pに対して、私スレ主のツッコミの漫才かい？（＾＾； >数学科出身者同士にも見えない繋がりがあるんだよ >敵は一人と思ってるスレ主には見えてないだけ。 それ、是非実現願います（＾＾； （>>701より再録）じゃ、>>31 その見えない数学科出身者同士の繋がりってやつ、>>31を即実現して、証明してください。簡単でしょ？ 直ちに、この数学板への書き込みを止めますからｗ （＾＾ 来週１週間で、週明けの月曜には、実現できますよね～>>31を まあ、遅れても１月中にはね！（＾＾ なので、これからは、ピエロちゃんには、直接レスを付けずに、”ピエロほいほい”で、踊らせることにします どうぞ、サイコパスのピエロを救ってやろうという方は、>>31の実現をお願いします（＾＾
758:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/12 08:33:59.99 bEkkM7c0.net
>>693
>せいぜい白痴を焼き殺すくらいしか
>できそうもない
出ました！ サイコパスの本性が（＾＾
でも、妄想でしょ？ ”白痴を焼き殺す”か・・、百回くらい類似のことを聞いた気がする（＾＾
まあ、上記の通りで、これからは、ピエロちゃんには、直接レスを付けずに、”ピエロほいほい”で、踊らせることにします
がんばってね～、ピエロちゃん（＾＾；
759:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/12 08:36:21.93 bEkkM7c0.net
>>710
ピエロちゃん、応援を受けて、勇気百倍かい？（＾＾；
>>711-712に書いた通りなので
これからは、しっかりピエロ踊りを頼みますよ！（＾＾
では！
760:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/12 08:37:48.22 bEkkM7c0.net
そろそろ、次のスレ準備しとくわ（＾＾；
761:１３２人目の素数さん
19/01/12 09:48:08.05 EgDrd5kK.net
>>711
>これからは、直接レスを付けずに、踊らせることにします
これまでも、ろくな反論がつけられず、サンドバッグ状態でしたが
これからも、反論をあきらめて、サンドバック状態のまま嘲笑される
ってことですね
１．時枝記事は無限列が対象なんで、有限列持ち出しても無意味ですよ
２．時枝記事の無限列の決定番号の分布は非可測なんて、
決定番号の分布に基づいた確率計算は不可能ですよ
３．時枝記事の予測成功確率は、決定番号の分布と全く無関係に計算できますよ
以上三点、まったく反論できずに受け入れる、ってことですね
762:１３２人目の素数さん
19/01/12 09:50:49.14 EgDrd5kK.net
>>712
＞これからは、直接レスを付けずに、踊らせることにします
二度繰り返すって、反論できないことがよっぽど悔しいんだね
でも、全部、自分の軽率さのせいだから仕方ないね
工学馬鹿の素朴な直感なんて、数学では何の意味もないんだよ
わかったかな？
763:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/12 09:52:32.76 bEkkM7c0.net
下記ID:f9oaWn8Aさんは、私が確率論の専門家さんと呼ぶ人なんだけど
彼は、数学科で、おそらく教員レベルだろうと推測しているが
下記の彼の発言は、いま見返すと、>>605に記載した（変更後）の疑問点
だれが考えても、数学的に一番怪しいのは、「C'：確率99/100（例えば100列で）」
二番目に怪しいのが、「C：確率計算可能」の部分
と対応しているよね
過去スレ20 ｽﾚﾘﾝｸ(math板:519-522番)
519 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 22:27:11.14 ID:f9oaWn8A [4/13]
>>518
X=(X_1,X_2,…)をR値の独立な確率変数とする．
時枝さんのやっていることは
無限列x=(x_1,x_2,…)から定められた方法によって一つの実数f(x)を求める．
無限列x=(x_1,x_2,…）から定められた方法によって一つの自然数g(x)を求める．
P(f(X)=X_{g(X)})=99/100
ということだが，それの証明ってあるかな？
100個中99個だから99/100としか言ってるようにしか見えないけど．
521 名前：１３２人目の素数さん[sage] 投稿日：2016/07/03(日) 22:36:32.49 ID:/kjhINs/ [10/15]
>>519
記事のどこが疑問なのか明確にしてもらえますか？
説明不足でよく分からない
522 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 22:40:29.88 ID:f9oaWn8A [5/13]
面倒だから二列で考えると
Y=(X_1,X_3,X_5,…）とZ=(X_2,X_4,X_6,…)独立同分布
実数列x=(x_1,x_2,…)から最大番号を与える関数をh(x)とすると
P(h(Y)>h(Z))=1/2であれば嬉しい．
hが可測関数�