21/05/24 13:29:10.84 c5+UcT3Y.net
>>364
自作自演（嘲）
401:現代数学の系譜 雑談
21/05/24 13:44:37.04 kBKpn43F.net
>>362
>そもそも「箱入り無数目の戦略」の確率計算が測度論で正当化できないなら
>「あたりっこない」という主張も正当化できない
そんなことはない
本来の確率論では、IID（独立同分布）を使う
箱がIIDだとすれば、
どの箱も、本来の確率論の通り
コイントスなら1/2
サイコロなら1/6
任意の実数なら0（任意の１点の測度は零集合なので0）
402:１３２人目の素数さん
21/05/24 13:49:54.58 c5+UcT3Y.net
>>366
IIDは使えないよ
毎回箱が違うから
┐(´∀｀)┌ﾔﾚﾔﾚ
確率論のイロハのイの字も知らん🐎🦌が
「ボクのかんがえる本来」とか
トンデモ変態数学をでっちあげるのは
毎度のことだが実に滑稽
チョソン君はピョンヤンに帰ってねｗ
403:１３２人目の素数さん
21/05/24 13:52:47.57 c5+UcT3Y.net
小学校の算数のみならず、中学・高校の数学ですら、只の計算訓練
404:１３２人目の素数さん
21/05/24 13:53:33.09 c5+UcT3Y.net
だから文字列処理のアルゴリズムさえ分かってしまえばサルでもできる
405:１３２人目の素数さん
21/05/24 13:54:26.77 c5+UcT3Y.net
したがって国立大学でも「計算しかできないサル」が理工系に大量に入ってくる
406:１３２人目の素数さん
21/05/24 13:54:34.72 kBKpn43F.net
>>361
>時枝戦略の何が測度論的に正当化できないと？
時枝記事で使う「決定番号」は、下記の非正則分布と同様
積分が無限大に発散するので、コルモゴロフの確率の公理
「全事象の確率は1」を満たさない
よって、測度論的に正当化できない
（参考）
URLﾘﾝｸ(ai-trend.jp)
AVILEN
2017/10/06
2020/04/14
非正則事前分布とは？〜完全なる無情報事前分布〜
ベイズ統計
ライター：masa
(抜粋)
非正則な分布とは？一様分布との比較
URLﾘﾝｸ(file.to-kei.net)
非正則な分布とは、一様分布の範囲を無限に広げた分布のことです。
非正則分布は確率分布ではない！？
よく見てみてください。確率の和が1ではありませんよね。
積分値が無限大に発散してしまいます。これは、全事象の確率は1であるというコルモゴロフの確率の公理に反しています。
よって、厳密には、非正則な分布は確率密度関数ではありません。なぜなら、確率の公理を満たしていないからです。
(引用終り)
以上
407:１３２人目の素数さん
21/05/24 13:55:34.94 c5+UcT3Y.net
そんな計算しかできないサルが大学１年の４月の数学の講義で挫折する
408:１３２人目の素数さん
21/05/24 13:57:21.80 VCWi2QyD.net
●数学の先生、これをどう思いますか？
URLﾘﾝｸ(itest.5ch.net)
409:１３２人目の素数さん
21/05/24 13:57:30.75 c5+UcT3Y.net
ヒトとしての思考力がゼロだから当然だが、大学にいても無駄だから即刻退学してほしい
410:現代数学の系譜 雑談
21/05/24 13:58:21.27 kBKpn43F.net
>>367
>IIDは使えないよ
>毎回箱が違うから
IIDの定義を読んでみなｗ（＾＾；
”毎回箱が違う”とか関係ないよ
定義に「箱の違い」なんて
出てきませんからｗｗｗ（＾＾
411:１３２人目の素数さん
21/05/24 14:00:27.33 c5+UcT3Y.net
>>375
412: ＞”毎回箱が違う”とか関係ないよ チョソン君が🐎🦌だから理解できないだけ（嘲） もうピョンヤンに帰りなよ 日本は君が来るところじゃない
413:現代数学の系譜 雑談
21/05/24 14:13:09.53 kBKpn43F.net
>>373
ありがとう
見た
けど、麻生さんが間違っているのは
将棋とかゴルフとか、そういう、まあ吉本の芸人もそうかもだが
そういうプロ芸的なのは、健全な社会があって、健全な人々が居て
で。そういう健全な社会の健全な人々は大衆なんですよ
一般大衆で、プロ芸的なものでは稼げないけど
一般大衆が協力し合って、社会を支えているんです
一般大衆が協力し合って、社会を支えるためには、社会常識がないとね
そして、会話が成り立って、お互いを理解して、協力し合えないとね
サインコサインタンゼント、「使ったことないけど、習いました」ってのが
会話と理解と協力を成り立たせ、社会を支えていると思うよ
理系だけれど、法律や政治（政府のお役人、例 文科省）が、ある程度知っていないと
いまどきは、大学や研究機関の長には成れないだろうね（＾＾；
414:１３２人目の素数さん
21/05/24 14:47:11.10 kBKpn43F.net
>>366
補足
下記「どんな実数を入れるかはまったく自由，
もちろんでたらめだって構わない」だから
IID（独立同分布）だって、構わないよ（＾＾
（>>255より参考）
箱入り無数目を語る部屋
ｽﾚﾘﾝｸ(math板:1番)-
箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，
もちろんでたらめだって構わない
(引用終り)
以上
415:１３２人目の素数さん
21/05/24 15:02:35.83 5kEmElyn.net
>>365
おサル、実はランダムの定義が乱数を用いて情報科学によって出来てしまうようだよ （＾＾
おサルが舐めている阪大にそういうことやっている人がいるよ（＾＾
内容的には情報科学を学習している方が理解し易いよ（＾＾
416:１３２人目の素数さん
21/05/24 15:12:19.92 5kEmElyn.net
>>365
おサルは妄想がひどいな（＾＾
417:現代数学の系譜 雑談
21/05/24 15:20:39.94 kBKpn43F.net
>>379-380
どうも
スレ主です
レスありがとう
完全同意です（＾＾；
418:１３２人目の素数さん
21/05/24 16:33:06.92 c5+UcT3Y.net
>>379
＞・・・ようだよ
自分が理解できないこと書く、君のあだ名を考えたよ
「おサル２号」
いい名前だろうｗｗｗｗｗｗｗ
419:１３２人目の素数さん
21/05/24 16:34:04.22 c5+UcT3Y.net
>>380
「おサル２号」も「おサル１号」（＝チョソン君）そっくりだなｗｗｗｗｗｗｗ
420:１３２人目の素数さん
21/05/24 16:35:12.86 c5+UcT3Y.net
>>381
🐎🦌2匹、なかよくピョンヤンとソウルに帰りなｗｗｗｗｗｗｗ
421:１３２人目の素数さん
21/05/24 16:37:27.09 c5+UcT3Y.net
おサル１号＝チョソン
おサル２号＝ハングク
おサル３号が出てきたら？
おいおい、カンベンしてくれよｗｗｗｗｗｗｗ
422:１３２人目の素数さん
21/05/24 16:39:43.34 c5+UcT3Y.net
>>377
＞タンゼント
でたぁ チョソン訛り
ｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
423:１３２人目の素数さん
21/05/24 16:42:32.08 c5+UcT3Y.net
>>378
＞下記「どんな実数を入れるかはまったく自由，
＞もちろんでたらめだって構わない」だから
＞IID（独立同分布）だって、構わないよ
はい、🐎🦌ｗｗｗ
毎回、選ぶ箱が違うのだから
IIDはまったくつかえません
君、毎回同じ箱選ぶの？ どうやって？
できもしないこと前提しないでね
パクチーのチョソン君ｗｗｗｗｗｗｗ
424:１３２人目の素数さん
21/05/24 16:51:34.30 kBKpn43F.net
>>386
＞＞タンゼント
麻生流をまねたから
九州なまりじゃね？（＾＾
>毎回、選ぶ箱が違うのだから
意味わからん
時枝記事（>>255）には
「毎回」という単語は出てこないよ（＾＾；
425:１３２人目の素数さん
21/05/24 16:56:40.27 c5+UcT3Y.net
>>388
>>毎回、選ぶ箱が違うのだから
>意味わからん
それはチョソン君が確率分布を理解してないからです
毎回同じ箱を選ぶのでなければ分布は意味ないですよ
箱の選び方によっては、それぞれの箱の確率分布が一様分布でも
かならず箱の中身が1の箱を選べます
例えば箱がスケルトンだったらｗｗｗ
（確率分布は箱の素材とは無関係です）
426:１３２人目の素数さん
21/05/24 16:58:19.64 c5+UcT3Y.net
427:>>389 かならず同じ箱を選ぶのであれば 箱がスケルトンでも、 必ず１を選ぶなんてことはできませんねｗ
428:１３２人目の素数さん
21/05/24 17:34:30.12 kBKpn43F.net
>>389-390
>毎回同じ箱を選ぶ・・
意味わからん
下記、IID 独立同分布の説明ご参照
何かを、選ぶ必要なし（全部でも良い）
Definition for two random variables
Definition for more than two random variables
全部、確率変数が１つの場合と同じように扱えるよ
（たとえ、確率変数が可算無限個になってもね）
どの確率変数も、コイントスなら確率1/2、サイコロなら確率1/6、任意の実数なら確率0（１点の的中は0（１点は零集合で測度0））だよ
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
独立同分布（どくりつどうぶんぷ、英: independent and identically distributed; IID, i.i.d., iid）や独立同一分布（どくりつどういつぶんぷ）とは、確率論と統計学において、確率変数の列やその他の系が、それぞれの確率変数が他の確率変数と同じ確率分布を持ち、かつ、それぞれ互いに独立している場合をいう[1]。
URLﾘﾝｸ(en.wikipedia.org)
Independent and identically distributed random variables
This property is usually abbreviated as i.i.d. or iid or IID. Herein, i.i.d. is used, because it is the most prevalent.
Contents
1 Introduction
2 Definition
2.1 Definition for two random variables
2.2 Definition for more than two random variables
3 Examples
4 Generalizations
(引用終り)
以上
429:１３２人目の素数さん
21/05/24 17:48:59.04 5kEmElyn.net
>>382
コルモゴロフの複雑性の理論とか聞いたことないのか？
アルゴリズムの理論に関する内容で、むしろ情報科学になるだろ。
430:１３２人目の素数さん
21/05/24 18:10:07.95 c5+UcT3Y.net
>>391
>>毎回同じ箱を選ぶ・・
>意味わからん
意味わからん時点で自分が間違ってると思えｗ
431:１３２人目の素数さん
21/05/24 18:11:26.44 c5+UcT3Y.net
>>394
今その話してないから おサル２号こそハングク君
君もソウルに帰っていいよｗ
432:１３２人目の素数さん
21/05/24 18:23:00.68 T9k4w7jP.net
>おサル１号＝チョソン
>おサル２号＝ハングク
>
>おサル３号が出てきたら？
トンイル（統一）くん
433:現代数学の系譜 雑談
21/05/24 18:33:51.84 kBKpn43F.net
>>392
>コルモゴロフの複雑性
これか（＾＾
あんまり詳しくないけど、なんとなく下記の記事が言いたいこと分かる
しかし、あなたのレベルの高さだと、時枝記事（>>255）の不成立くらいは、一目なんだろうね
わたしゃ、直感的には不成立だと思ったけど、数日考えたよ（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
コルモゴロフ複雑性
(抜粋)
コルモゴロフ複雑性（コルモゴロフふくざつせい、英語: Kolmogorov complexity）とは、計算機科学において有限長のデータ列の複雑さを表す指標のひとつで、出力結果がそのデータに一致するプログラムの長さの最小値として定義される。コルモゴロフ複雑度、コルモゴロフ＝チャイティン複雑性 (Kolmogorov-Chaitin complexity) とも呼ばれる。
コルモゴロフ複雑性の概念は一見すると単純なものであるが、チューリングの停止問題やゲーデルの不完全性定理と関連する深遠な内容をもつ。コルモゴロフ複雑性やその他の文字列やデータ構造の複雑性の計量を研究する計算機科学の分野はアルゴリズム情報理論と呼ばれており、1960 年代末にアンドレイ・コルモゴロフ、レイ・ソロモノフ、グレゴリー・チャイティンによって創始された。
(引用終り)
434:現代数学の系譜 雑談
21/05/24 18:39:28.16 kBKpn43F.net
>>396 追加
チャイティンは、以前聞いたことがあるな。どこだったか思い出せないが（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
グレゴリー・チャイティン
グレゴリー・チャイティン（Greg
435:ory "Greg" J. Chaitin, 1947年 - ）は、アルゼンチン出身、アメリカ在住の数学者、コンピュータ科学者。 1960年代に情報理論の分野に、ゲーデルの不完全性定理とよく似た現象を見いだす。つまり、その分野上での決定不可能な命題を発見し別種の不完全性定理を得た。チャイティンの定理によると、十分な算術を表現可能などのような理論においても、いかなる数であろうともcよりも大きなコルモゴロフ複雑性を有することがその理論上では証明できないような、上限 c が存在する。ゲーデルの定理が嘘つきのパラドックスと関係しているのに対し、チャイティンの結果はベリーのパラドックスに関係している。 1995年に、メイン大学から博士号を授与される。 著作 The Limits of Mathematics, (Springer-Verlag 1998) 邦訳「数学の限界」 黒川利明(訳) エスアイビーアクセス 2001年 ISBN 4434011189 The Unknowable, (Springer-Verlag 1999) 邦訳「知の限界」 黒川利明(訳) エスアイビーアクセス 2001年 ISBN 443401238X Exploring Randomness, (Springer-Verlag 2001) Conversations with a Mathematician, (Springer-Verlag 2002) 邦訳「セクシーな数学」 黒川利明(訳) 岩波書店 2003年 ISBN 4000062727 From Philosophy to Program Size, (Tallinn Cybernetics Institute 2003) Meta Math!: The Quest for Omega, (Pantheon Books 2005) 邦訳「メタマス!」 黒川利明(訳) 白揚社 2007年 ISBN 4826901380 Thinking about Gödel & Turing, (World Scientific, 2007) Proving Darwin: Making Biology Mathematical, (Pantheon Books, 2012) 邦訳『ダーウィンを数学で証明する』水谷淳(訳) 早川書房 2014 ISBN 4152094478
436:１３２人目の素数さん
21/05/24 18:47:42.17 kBKpn43F.net
>>391 補足
(引用開始)
下記、IID 独立同分布の説明ご参照
何かを、選ぶ必要なし（全部でも良い）
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
独立同分布（どくりつどうぶんぷ、英: independent and identically distributed; IID, i.i.d., iid）
URLﾘﾝｸ(en.wikipedia.org)
Independent and identically distributed random variables
This property is usually abbreviated as i.i.d. or iid or IID. Herein, i.i.d. is used, because it is the most prevalent.
(引用終り)
IID 独立同分布は、確率論で頻出するけど
数学的定義は上記にある通りだが
日常語での説明は
「ある確率変数Xiが、他の確率変数の影響を受けず、かつ、どの確率変数も同じ確率分布に従う」ってこと
つまり、確率変数Xiが、ｎ個あっても、可算無限個あっても
ただ一つと同じように扱えるってことです
箱の中に数を入れる
コイントスなら確率1/2、サイコロなら確率1/6、任意の実数なら確率0（１点の的中は0（１点は零集合で測度0））
それで説明は尽くされている
何かを選ぶ？
そんな必要は全くない！
だって、どの確率変数も、同一だからね（＾＾
以上
437:１３２人目の素数さん
21/05/24 20:09:25.45 c5+UcT3Y.net
>>399
>何かを選ぶ？
>そんな必要は全くない！
>だって、どの確率変数も、同一だからね
ああ、馬鹿 ホント馬鹿ｗ
おサル１号はピョンヤンに帰れよｗ
438:１３２人目の素数さん
21/05/24 20:14:24.48 c5+UcT3Y.net
>>396
＞あなたのレベルの高さだと、時枝記事の不成立くらいは、一目なんだろうね
なんだよ2号も、1号と同レベルのどん底の🐎🦌かｗ
それじゃ修羅どころか畜生・餓鬼以下の地獄の亡者だろｗｗｗ
439:現代数学の系譜 雑談
21/05/24 20:33:13.27 q0Et9dwF.net
>>396
>しかし、あなたのレベルの高さだと、時枝記事（>>255）の不成立くらいは、一目なんだろうね
>わたしゃ、直感的には不成立だと思ったけど、数日考えたよ（＾＾；
ご参考に時枝記事を下記に貼っておく
読んでみて（＾＾
旧ガロアスレ35 ｽﾚﾘﾝｸ(math板:12-18番) 時枝問題（数学セミナー201511月号の記事）
（以下時枝記事をもう一度貼り直す。上記の時枝記事引用は、スキャナーで読み込んでOCR変換のとき誤変換が存在するので、誤記修正も含めて訂正版を再掲する。）
過去スレ20 再録 ｽﾚﾘﾝｸ(math板:2-7番)
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱�
440:ﾉe^πを入れてもよいし，すべての箱にπを入れてもよい. もちろんでたらめだって構わない.そして箱をみな閉じる. 今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう. どの箱を閉じたまま残すかはあなたが決めうる. 勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け. 勝つ戦略はあるでしょうか?」 つづく
441:現代数学の系譜 雑談
21/05/24 20:33:44.14 q0Et9dwF.net
>>401
つづき
２．続けて時枝はいう
私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s ～ s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.
～は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/～の切断を選んだことになる.
任意の実数列s に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す.
つまりsd，sd+1，sd+2,・・・を知ればsの類の代表r は決められる.
更に，何らかの事情によりdが知らされていなくても，あるD>=d についてsD+1， sD+2，sD+3，・・・
が知らされたとするならば，それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう.
(補足)
sD+1， sD+2，sD+3，・・・：ここでD+1などは下付添え字
つづく
442:現代数学の系譜 雑談
21/05/24 20:34:08.05 q0Et9dwF.net
>>402
つづき
３．
問題に戻り，閉じた箱を100列に並べる.
箱の中身は私たちに知らされていないが， とにかく第l列の箱たち，第2列の箱たち第100 列の箱たちは100本の実数列s^1,s^2，・・・，s^100を成す(肩に乗せたのは指数ではなく添字).
これらの列はおのおの決定番号をもつ.
さて， 1～100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
第1列～第(k-1) 列，第(k+1)列～第100列の箱を全部開ける.
第k列の箱たちはまだ閉じたままにしておく.
開けた箱に入った実数を見て，代表の袋をさぐり， s^1～s^(k-l),s^(k+l)～s^100の決定番号のうちの最大値Dを書き下す.
いよいよ第k列 の(D+1) 番目から先の箱だけを開ける：s^k(D+l)， s^k(D+2)，s^k(D+3)，・・・.いま
D >= d(s^k)
を仮定しよう.この仮定が正しい確率は99/100，そして仮定が正しいばあい，上の注意によってs^k(d)が決められるのであった.
おさらいすると，仮定のもと， s^k(D+1)，s^k(D+2)，s^k(D+3)，・・・を見て代表r＝r(s^k) が取り出せるので
列
443:r のD番目の実数r(D)を見て， 「第k列のD番目の箱に入った実数はs^k(D)＝rDと賭ければ，めでたく確率99/100で勝てる. 確率1-ε で勝てることも明らかであろう. (補足) s^k(D+l)， s^k(D+2)，s^k(D+3)，・・・, rD：ここで^kは上付き添え字、(D+l), Dなどは下付添え字 つづく
444:現代数学の系譜 雑談
21/05/24 20:34:21.59 q0Et9dwF.net
>>403
つづき
さらに、数学セミナー201511月号P37 時枝記事に、次の一文がある
「R^N/～ の代表系を選んだ箇所で選択公理を使っている.
その結果R^N →R^N/～ の切断は非可測になる.
ここは有名なヴィタリのルベーグ非可測集合の例(Q/Zを「差が有理数」で類別した代表系， 1905年)にそっくりである.」
さらに、過去スレでは引用しなかったが、続いて下記も引用する
「逆に非可測な集合をこさえるには選択公理が要る(ソロヴェイ， 1970年)から，この戦略はふしぎどころか標準的とさえいえるかもしれない.
しかし，選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う.
現代数学の形式内では確率は測度論によって解釈されるゆえ，測度論は確率の基礎， と数学者は信じがちだ.
だが，測度論的解釈がカノニカル， という証拠はないのだし，そもそも形式すなわち基礎， というのも早計だろう.
確率は数学を越えて広がる生き物なのである(数学に飼いならされた部分が最も御しやすいけれど).」
つづく
445:現代数学の系譜 雑談
21/05/24 20:34:43.70 q0Et9dwF.net
>>404
つづき
数学セミナー201511月号P37 時枝記事より
「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
いったい無限を扱うには，
(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
二つの方針が可能である.
確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
(独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.)
しかし，素朴に，無限族を直接扱えないのか?
扱えるとすると私たちの戦略は頓挫してしまう.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか－－他の箱から情報は一切もらえないのだから.
勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる.
ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる， といってもよい.」
つづく
446:現代数学の系譜 雑談
21/05/24 20:35:16.70 q0Et9dwF.net
>>405
つづき
まず、数学セミナー201511月号の記事で、引用していなかった部分を、以下に引用する（＾＾；
”ばかばかしい，当てられる筈があるものか，と感じられるだろう.
何か条件が抜け落ちているのではないか，と疑う読者もあろう.問題を読み直していただきたい.
条件はほんとうに上記のとおり.無限個の実数が与えられ，一個を除いてそれらを見た上で，除いた一個を当てよ，というのだ.
ところがところが--本記事の目的は，確率99%で勝てそうな戦略を供することにある.
この問題はPeter Winkler氏との茶のみ話がてら耳にした.氏は原型をルーマニアあたりから仕入れたらしい.”
(引用終り)
この部分を掘り下げておくと
１．時枝氏は、この記事を、数学の定理の紹介とはしていないことに気付く
２．”Peter Winkler氏との茶のみ話がてら耳にした.氏は原型をルーマニアあたりから仕入れたらしい.”と
３．まあ、お気楽な、おとぎ話とまでは�
447:ｾってないとしても、その類いの話として紹介しているのだった ついでに”コルモゴロフの拡張定理”について、時枝記事は上記に引用の通りだが １．”確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.(独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.)”と そして、”しかし，素朴に，無限族を直接扱えないのか? 扱えるとすると私たちの戦略は頓挫してしまう.”とも 記事の結論として、”勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる. ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる， といってもよい”と締めくくっているのだった ２．言いたいことは、”コルモゴロフの拡張定理”を使えば、この時枝解法が成り立つという主張にはなってないってこと ３．そして、”コルモゴロフの拡張定理”を使ってブラウン運動を記述できるなら、ブラウン運動こそ、”他から情報は一切もらえない”を実現しているように思えるのだが (引用終り) 以上
448:１３２人目の素数さん
21/05/24 20:42:14.18 Ub/vcOIa.net
>>392は、数学ワカランチンのくせして、高度なことを語りたがる
おっちゃんの特徴があらわれてるね。
449:１３２人目の素数さん
21/05/24 20:45:40.07 c5+UcT3Y.net
>>407
なるほど、あのウリナラマンセー感は･･･
www.nicovideo.jp/watch/sm15308759
450:１３２人目の素数さん
21/05/24 20:45:43.24 Ub/vcOIa.net
セタが時枝を理解できないのは、「無限個の箱」が理解できないから。
「無限」を「無限に近い巨大数」で近似できると思ってるバカ野郎だからｗｗ
451:１３２人目の素数さん
21/05/24 20:48:01.16 c5+UcT3Y.net
>>409
確かにチャット（雑談）＝チョソン君＝おサル１号は
ωが後続順序数だと思ってる時点でアウトだねｗｗｗ
452:１３２人目の素数さん
21/05/24 20:49:43.48 c5+UcT3Y.net
で、乙＝ハングク君＝おサル２号 とｗ
453:１３２人目の素数さん
21/05/24 20:51:30.05 c5+UcT3Y.net
おサル１号と２号は、コリョが産んだ二大変態ｗｗｗ
454:１３２人目の素数さん
21/05/24 20:55:07.21 c5+UcT3Y.net
終わったな 二匹とも
455:１３２人目の素数さん
21/05/24 20:55:26.94 c5+UcT3Y.net
というか、始まってすらいないかｗ
456:１３２人目の素数さん
21/05/24 20:55:54.65 c5+UcT3Y.net
長文コピペには一行レス
457:１３２人目の素数さん
21/05/24 20:56:46.98 c5+UcT3Y.net
理解してない文章をコピぺするのは正真正銘の🐎🦌ｗｗｗ
458:現代数学の系譜 雑談
21/05/24 21:14:23.66 q0Et9dwF.net
>>403
悪いが、結論を先に書いてしまうと
1．時枝記事でやろうとしていることは
可算無限長の数列で、数列のしっぽの同値類（ある先から箱の数が一致する）を使って、
同値類の決定番号（同値類の代表列と問題の列とが、ｄから先がずっと一致する番号）
を使う
2．簡単に2列ｘ列、ｙ列で考えると
ｘ列の決定番号dx、ｙ列の決定番号dyとして
「dx＜dyになる確率は1/2」・・(1)
3．ｙ列の箱を開けて、代表を知り、dyが分かる
ｘ列において、dy+1より先のしっぽを開けて、
ｘ列の代表を知り、
ｘ列の代表のｄy番目の数ｘdｙを知る
いま、「dx＜dyになる確率は1/2」・・(1)だったから
ｘdyが的中する確率は1/2である
4．100列作れば、99列を開けて、問題の列ｘでdxが、100列の最大値である確率は99/100
だから、ｘdm が的中する確率は99/100である
（ここに、dmは、99列の代表の最大値）
5．任意のｎ（>100）列を作れば、的中する確率を1-1/ｎ＝1-εと出来ると時枝記事はいう
さて、すぐおかしいと気付くのは
1）的中確率 99/100とか、まして、確率1-εとか、確率論では尋常ではない。
というか、すぐウソっぽいと気付く
2）そもそも、任意の実数の的中なんて、これも尋常ではない。0以外になるとおかしい
（任意の実数の1点的中に、0以外の確率を与えると、測度論的には矛盾（零集合に有限値を与える矛盾））
3）その根本原因が、代表番号が非正則分布同様に、積分（総和）が無限大に発散してしまうこと
代表番号のように、青天井の範囲の分布（1～∞）では、
本来分布の裾が減衰しないと積分が発散する
（例えば、∫(1/x)dx では、1～x→∞ で無限大に発散することは良く知られている
-1乗よりも早く
459:減衰しないと（例えば1/x^2 なら減衰が早い） 積分は収束しない このような正当化できない 発散する分布を使って、確率の誤魔化しをしているのです ってことです おサルさんには、理解が難しいらしいけどね（＾＾；
460:１３２人目の素数さん
21/05/24 21:20:24.00 IGDHr0Dw.net
>>351
>よくそれだけ
>アホ面できるね
と、ωの前者が答えられず逃げ続けてるサルが申しております。
461:１３２人目の素数さん
21/05/24 21:22:53.97 IGDHr0Dw.net
>>352
>結局、数学科でε-δ法の記号丸暗記に流れてしまって、”無限”の真の理解が疎かになったんだろうね
と、無限列にも最後の項があると妄想するサルが申しております。
462:１３２人目の素数さん
21/05/25 00:47:56.07 5xzE+8bZ.net
>>364
>どなたか知らないが、レスありがとう！
知らないことないでしょ
あなたですよ
463:１３２人目の素数さん
21/05/25 01:10:31.49 5xzE+8bZ.net
>>366
>本来の確率論では、IID（独立同分布）を使う
本来の確率論とは？
誰が本来と決めたの？
サルの妄想でないなら文献の提示よろしく。
>箱がIIDだとすれば、
>どの箱も、本来の確率論の通り
>コイントスなら1/2
>サイコロなら1/6
>任意の実数なら0（任意の１点の測度は零集合なので0）
当てずっぽうで当たらないのは当たり前で、勝つ戦略の存在性とは何の関係も無い。
実際、時枝戦略という勝つ戦略の存在が証明されている。Prussでさえ証明の正しさを認めた。
未だに認められないのはサル一匹だけ。
464:１３２人目の素数さん
21/05/25 01:32:54.18 5xzE+8bZ.net
>>371
>時枝記事で使う「決定番号」は、下記の非正則分布と同様
時枝戦略は決定番号が自然数でありさえすれば分布に関係無く成立します。
決定番号が自然数であることはその定義により保証されています。
>積分が無限大に発散するので、コルモゴロフの確率の公理
>「全事象の確率は1」を満たさない
いいえ、全事象の確率は１です。
時枝戦略では100列のいずれかをランダムに選択します。
時枝戦略における事象は、列1が選択された、列2が選択された、・・・、列100が選択された の100個。
どの事象も確率1/100だから、全事象の確率は1/100×100=1。
あなたは算数ができないのですか？サルには難しいですかね？
465:１３２人目の素数さん
21/05/25 01:39:26.78 5xzE+8bZ.net
>>378
>下記「どんな実数を入れるかはまったく自由，
>もちろんでたらめだって構わない」だから
>IID（独立同分布）だって、構わないよ（＾＾
「可算無限個の箱に実数を入れ蓋をする」とは「実数列をひとつ固定する」ということ。
IIDは実数列ではない。
サルはIIDが分かってない。当然か、サルだもんね。
466:１３２人目の素数さん
21/05/25 01:41:22.79 5xzE+8bZ.net
>>380
サルは自演が下手だな
467:１３２人目の素数さん
21/05/25 01:42:25.79 5xzE+8bZ.net
>>381
自分に感謝したり同意したり、気でもふれたの？
468:１３２人目の素数さん
21/05/25 01:50:25.07 5xzE+8bZ.net
>>398
>何かを選ぶ？
>そんな必要は全くない！
だから当てずっぽうというおバカな戦略にしかならないんだよ。
時枝戦略は違う。100列のいずれかをランダムに選ぶ。この選択行為が勝つ確率の源。
サルはなーんにも分かってない。
469:１３２人目の素数さん
21/05/25 01:58:56.41 5xzE+8bZ.net
>>406
>３．まあ、お気楽な、おとぎ話とまでは言ってないとしても、その類いの話として紹介しているのだった
サルの妄想ですね。
実際、時枝戦略が成立することはPrussでさえ認めました。大学教授のSergiu Hartも認めています。
いまだに認められないのはサル一匹（自演ザルは名寄せさせて頂きました）。
470:１３２人目の素数さん
21/05/25 02:08:20.47 5xzE+8bZ.net
>>417
> 「dx＜dyになる確率は1/2」・・(1)
大間違い。
時枝先生はそんなアホなこと言ってません。
dx,dyのいずれかをランダムに選択したものをa、他方をbとしたとき、a＜bになる確率は1/2
と言ってます。（正確にはdx=dyの場合もあるので少し修正が要る。）
そしてこれはランダムの定義から自明に正しい。
このことは何10回と説明してるのにサルはまったく理解できない。ま、サルだからね。
471:１３２人目の素数さん
21/05/25 02:11:38.11 5xzE+8bZ.net
>>417
>2）そもそも、任意の実数の的中なんて、これも尋常ではない。0以外になるとおかしい
という直観に反するから数学雑誌の記事になるんだよｗ
人間の知性を持たない直感ザルに数学は無理なので諦めて下さい。
472:１３２人目の素数さん
21/05/25 07:05:41.88 g37cfrz0.net
>>417
前半と後半がかみ合ってないね
オカシイのは、チョソン君、君だよキ・ミ
473:１３２人目の素数さん
21/05/25 07:10:18.73 g37cfrz0.net
>>366
>箱がIIDだとすれば、どの箱も、本来の確率論の通り
毎回選ぶ箱が違うなら、ある一つの箱の確率分布だけで考えるのは誤り
毎回予測値が違うなら、ある一つの箱の確率分布だけで考えるのは誤り
ある一つの箱の確率分布だけで考えていいのは
・毎回選ぶ箱が同じ
・毎回予測値が同じ
の２条件を満たす場合
箱がスケルトンなら、箱が一定でも、分布に関係なくあてられる
答えが丸見えだからｗｗｗｗｗｗｗ
474:１３２人目の素数さん
21/05/25 07:13:11.14 g37cfrz0.net
>>371
チョソン君は何が不可能だといってるのかわからんが
そもそも、決定番号なんてものが存在することが不可能だといってるのか？
つまり、代表元を取ることが不可能だといってるのか？
それは、選択公理が間違ってるといってるのか？
なんかチョソンも安達弘志みたいなこといいだしたな
安達弘志は「無限公理は間違ってる！」といってるわけだが
475:１３２人目の素数さん
21/05/25 07:15:42.14 g37cfrz0.net
>>378
IID自体は否定してない
IIDだけを根拠に
「箱の中身の確率分布において、
箱の中身がある値のときの確率が
的中確率だ これが確率論による答えだ」
とドヤ顔で語るチョソンが🐎🦌だといってるｗ
476:１３２人目の素数さん
21/05/25 07:17:27.75 g37cfrz0.net
>>424-425
おサル１号と２号は別人かもしれんがオツムの程度は同レベルだろう
要するに人間失格の🐒 二匹とも半島に帰れｗｗｗ
477:１３２人目の素数さん
21/05/25 07:19:41.95 g37cfrz0.net
>>398
チョソンのシロウト考えの誤りは
>>431および>>433で指摘したから
分からん？🐎🦌だねぇｗｗｗｗｗｗｗ
478:１３２人目の素数さん
21/05/25 07:23:42.12 g37cfrz0.net
>>427
＞実際、時枝戦略が成立することはPrussでさえ認めました。
箱の中身を入れ替えない、という前提でね
毎回、箱の中身を入れ替えるなら、当然Prussの指摘が当てはまる
時枝が「箱の中身を入れ替えても同じことが成り立つ」と思ってるなら
Prussの指摘する通り誤解である
一方、Prussの主張を認めるなら、
チョソンの「あたりっこない」という主張も退けられる
なぜならチョソンの主張が正当化できるのは
・毎回、選ぶ箱が同じ
・毎回、予測値が同じ
という場合に限られるから
これは、そもそも時枝戦略とは相容れないから無意味であるｗ
479:１３２人目の素数さん
21/05/25 07:28:57.58 g37cfrz0.net
ま、チョソンは時枝記事に逃げたりせずに
「いかなる順序数も∈降下列の長さは有限」
という定理の正しさを理解しようね
ω∋･･･∋n∋･･･∋1∈0
とかいうイカサマ反例の誤りに気づこうねｗｗｗｗｗｗｗ
480:１３２人目の素数さん
21/05/25 11:37:35.11 oq3pxi1r.net
時枝先生ほど高名な方が、引っかかったんだ
サル二匹には、理解が難しいだろうね
実際何年も理解できずに来たんだ
もう一人の方が、サルたちにもわかる説明をしてくれると、ありがたい（＾＾
481:１３２人目の素数さん
21/05/25 11:45:42.80 g37cfrz0.net
>>438
＞サル二匹には、理解が難しいだろうね
ああ、１号と２号がねｗ
＞実際何年も理解できずに来たんだ
ああ、大学１年以来ずっとねｗ
＞もう一人の方が、サルたちにもわかる説明をしてくれると、ありがたい
考えない君に、どんな説明しても、理解できない
あきらめなさい、チョソン君
（＾＾）（＾＾）（＾＾）（＾＾）（＾＾）（＾＾）（＾＾）
482:１３２人目の素数さん
21/05/25 12:49:15.93 y+00S4aR.net
>>439
おサル一号は検索出来ないようだね （＾＾
モンテカルロ法や乱数、疑似乱数でググってみるといいよ（＾＾
おサル一号にピッタリの記事がみつかるよ（＾＾
483:１３２人目の素数さん
21/05/25 15:57:36.41 5xzE+8bZ.net
>>438
>もう一人の方が、サルたちにもわかる説明をしてくれると、ありがたい（＾＾
サルの説明って「当てずっぽうでは当たらない」ってだけなんですけどｗ
そんなの人間なら誰でも分ってますよ？ｗ
484:１３２人目の素数さん
21/05/25 16:03:31.58 5xzE+8bZ.net
>>438
>時枝先生ほど高名な方が、引っかかったんだ
いや、時枝成立を明言しているハイレベルピープルは何人かいるよ。
時枝教授、Hart教授、Pruss博士
逆に時枝不成立を明言しているのは落ちこぼれザルくらいだね。
別にだから成立と言ってる訳じゃないけどね。
時枝先生の証明に非の打ちどころが無いと自分で判断してるからだよ。
サルは明後日の話ばかりしてないで時枝先生の証明のどこが間違いなのか言ってごらんよ。まあサルに言っても無理か。
485:１３２人目の素数さん
21/05/25 16:09:15.12 5xzE+8bZ.net
>>440
そんな話はまったく関係無いよ。
「一様分布で選ぶ」と言えばいいだけ、数学ではね。
それが現実世界で実装できるか、どう実装するかは全然別の問題。
486:１３２人目の素数さん
21/05/25 19:12:55.98 TlLFvj6B.net
>>440はセタの自演だな。
乙はセタレベルのバカで時枝を理解してるとは到底思えないが
空気を読んでか、なぜか成立派。
「ランダムな実数を入れたら当てられない」
というのはセタのかねてからの主張。
だから、それは箱が有限個の場合の話なんだよ。
Hartの論文にも書いてある。しかしセタは
無限個の箱（解法成立）はドッキリまたはジョーク
有限個の箱（解法不成立）が本心
とありえない勝手解釈をして数学者を侮辱していた。
セタが無限と有限の違いを理解できてないだけだよと。
487:１３２人目の素数さん
21/05/25 19:26:12.82 TlLFvj6B.net
セタは大学一年で落ちこぼれたときからずっと
「無限を有限でシミュレートする」
という理解でやってきたんだろうね。
収束級数とか、工学部で必要な計算は
大抵それでも大きな問題は生じなかったんだろう。
それがセタの無限理解の限界。
488:１３２人目の素数さん
21/05/25 19:45:08.78 TlLFvj6B.net
収束級数でも、一様収束でない場合
無限級数を有限個の項で切ったとき
いくら項を増やしてもノイズが消えないことがある（ギブズの現象）
URLﾘﾝｸ(ja.wikipedia.org)
があることをこの工学部は知ってるのだろうか？
（いや、知ってるはずがないｗ）
489:現代数学の系譜 雑談
21/05/25 20:35:50.53 s43rMVig.net
かの人はどうしたのかな？
おサルの調教を、してくれると思ったが（＾＾；
ところで
>>442
>いや、時枝成立を明言しているハイレベルピープルは何人かいるよ。
>時枝教授、Hart教授、Pruss博士
こらこら逆だろう
欧米では、あくまでゲームや、なぞなぞ扱いだよ
東大京大など、海外と交流のある人は、気をつけようね（＾＾
「こんなこと知っている？」と時枝を数学として説くと、アホなおサルになりますぜ
時枝先生もいまごろは
反省していると思うよ
時枝先生の黒歴史ですからね（＾＾；
490:現代数学の系譜 雑談
21/05/25 20:57:27.83 s43rMVig.net
>>417 補足
> このような正当化できない 発散する分布を使って、確率の誤魔化しをしているのです
一様分布のような減衰しない分布で、
その範囲が＋∞まで広がると
非正則分布ですが（>>371）
宝くじに例えると、一等一億円の当たりくじ1枚
1万枚に1枚なら、確率1/1万ですが
宝くじの発行枚数が∞なら、当りの確率は0です
宝くじが当たったら「○○しよう」って話は
前者（確率1/1万）ならまだ可能性ありの話ですが
後者なら可能性は0（ゼロ）の話です
あと、似た理屈で、
一様分布のような減衰しない分布で、その範囲が＋∞まで広がると
有限の1～ｎの範囲は全体に対する比率は、0です
つまり、全体が1～Ｎとして、
有限の1～ｎの範囲の比率は、ｎ/Ｎですが
Ｎ→∞で、ｎ/Ｎ→0です
この話は、上記の非正則分布類似です
宝くじの当選番号が有限の自然数ｎとして
発行枚数Ｎ→∞なら、ｎ/Ｎ→0です
つまり、時枝記事の可算無限個の箱に対する
有限の決定番号は、上記同様
確率0のおとぎ話です
話は面白いが、現実の確率計算としては、使えない（＾＾；
以上
491:１３２人目の素数さん
21/05/25 22:28:46.38 5xzE+8bZ.net
>>448
>一様分布のような減衰しない分布で、
>その範囲が＋∞まで広がると
>非正則分布ですが（>>371）
サルは何の話をしてるの？
時枝戦略を否定したいなら時枝戦略を語って下さいね。
時枝戦略で使われる一様分布とは {1,2,…,100} 上の離散一様分布であって、＋∞だの非正則分布だのまったく当てはまりません。
492:１３２人目の素数さん
21/05/25 22:31:35.68 5xzE+8bZ.net
こちらがそのエビデンス
妄想を数学板で語るのは遠慮してもらえませんか？
>さて， 1～100 のいずれかをランダムに選ぶ.
>例えばkが選ばれたとせよ.
>s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない. <
493:現代数学の系譜 雑談
21/05/26 00:09:06.63 VMEh8nPz.net
>>448 補足
決定番号のトリックについて補足
（決定番号については>>402ご参照）
1）まず、有限長を考える
つまり、実数列の集合 R^nを考える.
s = (s1，s2，s3 ，・・・，sn-1，sn )
2）今の場合、同値類は、最後のsnが一致すれば良い
3）数列には、整数 1～P を一様分布で、数を入れたとする
決定番号ｄ＝ｎに対し、決定番号がn-1以上になるためには
sn-1が一致しなければ成らない。その一致する確率は1/p
4）もし、整数でなく、区間[0,1]の実数の一様分布ならば、決定番号がn-1以上になる確率は0
（なお同様に、区間[0,1]の有理数の一様分布でも、確率0で、1/可算無限。実数では、1/非可算無限）
つまり、決定番号ｄは確率1で、ｄ＝nであり
ｄ＝n-1なども考えられるが、その存在確率は0。
5）ここで、ｎ→∞の極限として、無限長の列にすると
決定番号ｄ＝ｎ→∞になる
そして”ｄ＝n→∞”以外、つまり、ｄ＝ｎ→∞の場合に対する”ｄは有限”も考えられなくはないが
その存在確率は0であり、真っ当な確率計算ができる数学対象ではない！（＾＾
以上
494:１３２人目の素数さん
21/05/26 00:41:09.43 rP5+L5xQ.net
出た！ 決定番号∞ サル阿呆過ぎｗ
495:現代数学の系譜 雑談
21/05/26 07:33:44.96 VMEh8nPz.net
>>451 補足
頭が悪いのは、サル二匹の方だろ？
1）自然数の有限列 1,2,・・・n がある
2）自然数の集合N全体を尽くすことができる
自然数による無限列 1,2,・・・ ・・・ ができる
3）自然数による無限列は、有限列の極限ｎ→∞と考えることができる（下記の超限順序数ωご参照）
4）同様に、有限長の実数列 s = (s1，s2，s3 ，・・・，sn-1，sn )のｎ→∞の極限として
s = (s1，s2，s3 ，・・・)∈R^N は、上記3）項の順序数としての自然数の考え方の通りです
QED（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
順序数
順序数（じゅんじょすう、英: ordinal number）とは、整列集合同士の"長さ"を比較するために、自然数[1]を拡張させた概念である。
脚注
[1]^ 本項目では、各自然数が自分自身より小さな自然数全体の集合と等しくなるような仕方で自然数が定義されているものとする。例えば、0 = Φ , 1 = { 0 } , 2 = { 0, 1 } である。
順序数の大小関係
順序数の要素はまた順序数であるという性質から、すべての順序数は自分自身より小さな順序数全体の集合と等しいと言うことができる。ω より小さな順序数（すなわち自然数）を有限順序数と呼び、ω 以上の（すなわち ω と等しいか ω より大きい）順序数を超限順序数と呼ぶ。
順序数の並び方を次のように図示することができる：
0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω))), ............, ω + ω, S(ω + ω), S(S(ω + ω)), S(S(S(ω + ω))), ..............................
まず、0 が最小の順序数である。その後に S(0) = 1, S(S(0)) = 2, S(S(S(0))) = 3, ... と有限順序数（自然数）が通常の順序で並んでいる。そして、すべての自然数が並び終えると、次に来るのが最小の超限順序数 ω である。
(引用終り)
以上
496:現代数学の系譜 雑談
21/05/26 07:49:43.17 VMEh8nPz.net
>>453 補足の補足
1）ここらは、無限小数 0.999・・と同じ構造だよ
2）有限小数を経由して、考えると
小数第1位まで：0.9
小数第2位まで：0.99
・
・
小数第n位まで：1-1/10^n
・
・
無限小数：0.999・・
3）無限小数 0.999・・は、小数第n位の極限ｎ→∞と考えることができる
その収束先は1だ
4）これをどう考えるのか？
二つの立場がある
a)無限小数 0.999・・＝1
b)無限小数 0.999・・は、1に無限に近い数（テレンス・タオ）
5）21世紀の数学では、この二つの考えを採用することができるよ（この二つは矛盾していない）
それが正しい立場。時枝記事に同じだよ（＾＾
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
0.999...
超実数
テレンス・タオが超極限 (ultralimit) と呼ぶ数列 0.9, 0.99, 0.999, … の超冪構成（英語版）に関する同値類 [(0.9, 0.99, 0.999, …)] は 1 より無限小だけ小さい。より一般に、階数 H の無限大超自然数の位置に最後の 9 がくる超実数 uH = 0.999…;…999000…, はより厳密な不等式 uH < 1 を満足する。
略
と理解することができる。このように解釈した "0.999…" は 1 に「無限に近い」。
イアン・スチュアートはこの解釈を、「0.999… は 1 よりも『ほんの少しだけ小さい』」という直観を厳密に正当化する「全く合理的な」方法として特徴づけた[23]。
(引用終り)
以上
497:１３２人目の素数さん
21/05/26 09:12:59.32 rP5+L5xQ.net
>>453
>3）自然数による無限列は、有限列の極限ｎ→∞と考えることができる（下記の超限順序数ωご参照）
できません。
有限列列(s0), (s0,s1), (s0,s1,s2), … はコーシー列ではないので極限を持ちません。
極限の定義を書いてごらんなさい。あなたそこから分かってないでしょ。サルには無理？
498:１３２人目の素数さん
21/05/26 09:15:38.50 rP5+L5xQ.net
>>454
>1）ここらは、無限小数 0.999・・と同じ構造だよ
まったく違います。
一桁ずつ増える有限小数列 0.9, 0.99, 0.999, … はコーシー列なので極限を持ちます。
やはり極限の定義から分かってない。阿呆晒すの楽しい？
499:１３２人目の素数さん
21/05/26 09:56:18.42 +9R/Dp4l.net
>>444
＞>>440はセタの自演だな。
おっちゃんです。
＞乙はセタレベルのバカで時枝を理解してるとは到底思えないが
＞空気を読んでか、なぜか成立派。
なぜか成立派じゃなくて、おサルに他の件でバカといわれて内容を否定されたからだ。
瀬田君が工学部卒でないことは判明している。
500:現代数学の系譜 雑談
21/05/26 10:53:27.27 O4eZsu7n.net
>>457
おっちゃんだったか（＾＾
どうも、スレ主です
お久しぶりです
>おサルに他の件でバカといわれて内容を否定されたからだ。
「オイラー定数γが有理数」という証明の件だね
悪かった、謝るよ。ごめん
ところで、研究は進んでいるかい？
>工学部卒でないことは判明している。
ただの工学部卒ではないってことね
工学部卒は、なんでも勉強なんだよ
数学、物理、化学、法律・・なんでもね
501:１３２人目の素数さん
21/05/26 10:57:02.07 +9R/Dp4l.net
>>458
>「オイラー定数γが有理数」という証明の件だね
その件ではない。
502:現代数学の系譜 雑談
21/05/26 11:07:22.26 O4eZsu7n.net
>>455
>有限列列(s0), (s0,s1), (s0,s1,s2), … はコーシー列ではないので極限を持ちません。
こらこら、おサル（＾＾
極限は、コーシー列に限らないよ
バカなおサルだねｗ（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
極限
数学においては、数列など、ある種の数学的対象をひとまとまりに並べて考えたものについての極限（きょくげん、英: limit）がしばしば考察される。直感的には、数の列がある値に限りなく近づくとき、その値のことを数列の極限あるいは極限値といい、この数列は収束するという。収束せず正の無限大、負の無限大、振動することを発散するという。
極限を表す記号として、lim (英語：limit, リミット、ラテン語：limes)という記号が一般的に用いられる。
位相空間
点列の収束の概念は、一般の位相空間においても収束先の近傍系をもちいて定式化される。しかし、一般的な位相空間の位相構造は、どんな点列が収束しているかという条件によって特徴付けできるとは限らない。そこで、ネットやフィルターといった、点列を拡張した構成とその収束の概念が必要になる。
つづく
503:現代数学の系譜 雑談
21/05/26 11:08:43.39 O4eZsu7n.net
つづき
圏論
詳細は「極限 (圏論)」を参照
圏 C における図式を「添字圏」 J から C への関手と見なすことにする。特定の図式に対応する関手が与えられたとき、C の対象 X と射の族 (φi: X → Fi)i∈Obj(J) に対して次のような条件を考えることができる：
略
このような条件を満たす X（と族 φi）のことを F が表す図式の極限（あるいは射影極限、逆極限）と呼ぶ。極限の満たす普遍
504:性により、それぞれの図式に対する極限は（あったとして）自然な同型をのぞき一意に定まる。 この双対概念は余極限（あるいは帰納極限や順極限）と呼ばれる。 https://math.wikia.org/ja/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0%E3%81%AE%E5%9F%BA%E6%9C%AC%E5%88%97 数学 Wiki 順序数の基本列 順序数の基本列 (Fundamental sequence) （あるいは収束列）とは、共終数が ω である極限順序数 α に対して定義され、 α に収束するような順序数の単調増加数列である。 (引用終り) 以上
505:現代数学の系譜 雑談
21/05/26 11:11:50.28 O4eZsu7n.net
>>459
>>「オイラー定数γが有理数」という証明の件だね
>その件ではない。
おっちゃん、どうも
スレ主です
おや？ どの件だっけ？
ともかく、失礼があったなら
謝るよ、ごめん
ところで、お元気そうでなによりです
数学研究、頑張ってください（＾＾
506:１３２人目の素数さん
21/05/26 11:20:33.32 +9R/Dp4l.net
>>458
＞>工学部卒でないことは判明している。
＞
＞ただの工学部卒ではないってことね
＞工学部卒は、なんでも勉強なんだよ
＞数学、物理、化学、法律・・なんでもね
ただの工学部卒とはどういう意味だ？
コンピュータ内での処理は有限の世界で行われ、工学や物理などでは無限を扱うから、
工学のシミュレーションをするには、有限と無限の区別が付かないとシミュレーションは出来ない。
1/3 の紙面上での10進表示は無限桁で 0.333…… と表記されるが、
1/3 の電卓での10進表示は有限桁で 0.333…3 と表示されるのと同じ。
507:１３２人目の素数さん
21/05/26 11:54:48.89 rP5+L5xQ.net
>>460
サルの妄想を聞いてもしかたないので、有限列列(s0), (s0,s1), (s0,s1,s2), … が収束することを証明せよ
508:１３２人目の素数さん
21/05/26 12:18:14.80 rP5+L5xQ.net
決定番号=∞は決定番号の定義と矛盾。
人間の知能を持たないサルに数学は無理。
509:１３２人目の素数さん
21/05/26 14:57:55.27 O4eZsu7n.net
>>460 補足
>>有限列列(s0), (s0,s1), (s0,s1,s2), … はコーシー列ではないので極限を持ちません。
1．まず、極限 URLﾘﾝｸ(ja.wikipedia.org)
「収束せず正の無限大、負の無限大、振動することを発散するという。」
２．なので、
極限は、時枝の（>>402より）「s = (s1，s2，s3 ，・・・)∈R^N だな」
３．つまり下記だな
1；(s1)∈R^1
2；(s1,s2)∈R^2
3；(s1,s2,s3)∈R^3
・
・
n；(s1,s2,s3・・sn)∈R^n
・
・
↓
極限；(s1，s2，s3 ，・・・)∈R^N
QED（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
極限
圏論
圏 C における図式を「添字圏」 J から C への関手と見なすことにする。特定の図式に対応する関手が与えられたとき、C の対象 X と射の族 (φi: X → Fi)i∈Obj(J) に対して次のような条件を考えることができる：
略
このような条件を満たす X（と族 φi）のことを F が表す図式の極限（あるいは射影極限、逆極限）と呼ぶ。極限の満たす普遍性により、それぞれの図式に対する極限は（あったとして）自然な同型をのぞき一意に定まる。
URLﾘﾝｸ(ja.wikipedia.org)(%E5%9C%8F%E8%AB%96)
極限 (圏論)
定義
圏Cにおける極限と余極限はC上の図式に関して定義される。形式的には、形がJであるCにおける図式はJからCへの関手
F : J → C
のことである。圏Jは添字圏であるとみなし、図式FはCの対象と射をJの形に並べたものとみなす。Jの実際の対象や射は特に意味はなく―それらの繋がり方だけが意味を持っている。
圏Jとして使われるものは、多くの場合、小さい圏であり、有限であることもある。図式が小さい、有限であるなどは圏Jがそうであることをいう。
(引用終り)
以上
510:１３２人目の素数さん
21/05/26 15:49:00.88 O4eZsu7n.net
>>466
> URLﾘﾝｸ(ja.wikipedia.org)(%E5%9C%8F%E8%AB%96)
>極限 (圏論)
和文より下記の原英文を読む方が
分かり易いな
（参考）
URLﾘﾝｸ(en.wikipedia.org)(category_theory)
Limit (category theory)
Definition
Limits and colimits in a category C are defined by means of diagrams in C. Formally, a diagram of shape J in C is a functor from J to C:
F:J→ C.
The category J is thought of as an index category, and the diagram F is thought of as indexing a collection of objects and morphisms in C patterned on J.
One is most often interested in the case where the category J is a small or even finite category. A diagram is said to be small or finite whenever J is.
Limits
略
(引用終り)
以上
511:１３２人目の素数さん
21/05/26 16:29:36.53 xPs0RSD9.net
>>466
＞つまり下記だな
＞ 1；(s1)∈R^1
＞ 2；(s1,s2)∈R^2
＞ 3；(s1,s2,s3)∈R^3
＞ ・
＞ ・
＞
512:n；(s1,s2,s3・・sn)∈R^n ＞ ・ ＞ ・ ＞ ↓ ＞ 極限；(s1，s2，s3 ，・・・)∈R^N ＞QED（＾＾； ┐(´∀｀)┌ﾔﾚﾔﾚ チョソンは正真正銘の🐎🦌だな （＾_＾）（＾_＾）（＾_＾）（＾_＾）（＾_＾）
513:１３２人目の素数さん
21/05/26 16:32:17.45 xPs0RSD9.net
>>467
>和文より下記の原英文を読む方が分かり易いな
日本語も読めんチョソンが英語読んでも誤解するだけ
●違い野郎は迷惑ｗｗｗｗｗｗｗ
514:１３２人目の素数さん
21/05/26 16:34:34.03 xPs0RSD9.net
>>458
>ただの工学部卒ではないってことね
>工学部卒は、なんでも勉強なんだよ
>数学、物理、化学、法律・・なんでもね
チョソンはどれ一つものにならず
そもそも大学入れない朝鮮高級学校卒
もうピョンヤンに帰れよｗｗｗｗｗｗｗ
515:１３２人目の素数さん
21/05/26 16:36:10.23 xPs0RSD9.net
チョソンは、数学ダメ、英語ダメ、日本語ダメ
さすが大阪朝鮮高級学校卒のヤンキーｗｗｗｗｗｗｗ
516:１３２人目の素数さん
21/05/26 16:37:51.04 xPs0RSD9.net
>>457
＞瀬田君が工学部卒でないことは判明している。
そもそもチョソンは大卒じゃねえし
大阪朝鮮高級学校卒ｗｗｗｗｗｗｗ
517:１３２人目の素数さん
21/05/26 16:39:09.11 xPs0RSD9.net
チョソンは群も誤解した🐎🦌だから
圏は全く無理ｗｗｗｗｗｗｗ
518:１３２人目の素数さん
21/05/26 16:41:27.13 xPs0RSD9.net
チョソンは学歴詐称の犯罪者
高射砲で処刑なｗｗｗｗｗｗｗ
519:１３２人目の素数さん
21/05/26 16:44:55.02 xPs0RSD9.net
>>465
＞決定番号=∞は決定番号の定義と矛盾。
しかし🐎🦌のチョソンには
その矛盾が全く理解できないｗｗｗ
520:１３２人目の素数さん
21/05/26 16:46:49.80 xPs0RSD9.net
チョソンは安達以下、乙以下ｗｗｗ
521:１３２人目の素数さん
21/05/26 16:47:34.88 xPs0RSD9.net
チョソンよ、安らかに眠れ
R.I.P.
522:１３２人目の素数さん
21/05/26 16:55:13.60 O4eZsu7n.net
>>467
＜追加参考＞
圏論の極限と位相の極限の関係（下記）
（これ読むと、ε-δはもう古いというのが、よく分かるね（＾＾
ε-δの一般化が、ε近傍系（可算）で、さらに一般化が”filter”（可算に限らない）で、さらなる一般化が”Limit (category theory)”ですね
”filter”が分からないと、下記の”Example”が分からんわけですね（＾＾； ）
URLﾘﾝｸ(en.wikipedia.org)(category_theory)
Limit (category theory)
Examples
Topological limits.
Limits of functions are a special case of limits of filters, which are related to categorical limits as follows.
Given a topological space X, denote by F the set of filters on X, x ∈ X a point, V(x) ∈ F the neighborhood filter of x, A ∈ F a particular filter and F_{x,A}={G∈ F｜ V(x)∪A ⊂ G}the set of filters finer than A and that converge to x.
The filters F are given a small and thin category structure by adding an arrow A → B if and only if A ⊆ B.
The injection I_{x,A}:F_{x,A}→ F becomes a functor and the following equivalence holds :
x is a topological limit of A if and only if A is a categorical limit of I_{x,A}
(引用終り)
以上
523:１３２人目の素数さん
21/05/26 17:24:56.20 O4eZsu7n.net
>>478
>これ読むと、ε-δはもう古いというのが、よく分かるね
追加
「ε-δはもう古い」のもう一つの例が、超準解析の視点
下記の渕野先生のPDFが面白い
（下記の2018年9月 数学セミナー記事に追加してある部分が特にｗ（＾＾； ）
URLﾘﾝｸ(researchmap.jp)
渕野 昌
フチノ サカエ (Sakaé FUCHINO)
MISC
URLﾘﾝｸ(researchmap.jp)
2018年9月 数学セミナー
間違いと真理: 解析学と集合論の場合
ダウウンロード
URLﾘﾝｸ(researchmap.jp)
目 次
1.ライプニッツは間違っていたのか? . . . . . . . 1
2.初等埋め込みと超準解析 . . . . . . . . 4
3.完全性定理の超冪での置き換え . . . . . . 16
4.初等埋め込みと巨大基数 . . . . . . . 19
5.ラインハートは間違っていたのか? . . . . . . 21
P8
本節のここから後の部分は，数学セミナー掲載のヴァージョンには含まれていません．特
に，以下の定理 5 と定理 6 の証明は，次の節で議論している超準解析の(instrument)道具としての重要性
の可能性を示唆する良い例となっているので，これは数学セミナー用のヴァージョンにも含
めたかったのですが，紙数の制限で泣く泣く割愛したものです．
P10
以上の用意をすると，ε-δ-論法では，きちんと書くのがそれほど簡単でない微分に関する
証明の多くが，非常に簡単に23) 得られるようになります．
以下はそのような例になっています:
定理 5. f, g : R → R を a ∈ R で微分可能な関数とするとき，fg も a で微分可能で，
(fg)′(a) = f′(a)g(a) = f(a)g′(a) が成り立つ．
証明． δ を任意の無限小とする．このとき，定理 4,(1) により，f(a+δ) = f(a)+f′(a)δ+δδ∗
略
注23) 少なくとも私は以下の定理の ε-δ-論法での証明は，講義前に証明を一度書き出してみておかないと講義中に
つっかえてしまう可能性があります．これに対し，以下の証明なら，準備なしで再現できる自信があります
(実際これを書くにあたってつっかえずに，じかに LATEX で直接版組みできています．
(引用終り)
以上
524:１３２人目の素数さん
21/05/26 17:42:52.89 xPs0RSD9.net
>>478-479
🐎🦌がまた圏を誤解してウソ８００の変態数学を語ってますねｗｗｗ
朝鮮高等学校卒のヤンキーに数学は無理
さっさとピョンヤンに帰れってｗｗｗ
525:１３２人目の素数さん
21/05/26 18:01:08.48 rP5+L5xQ.net
>>466
何の証明にもなってなくて草
やはりサルに数学は無理
526:１３２人目の素数さん
21/05/26 18:14:59.07 xPs0RSD9.net
>>482
チョソンは論理が分かってないからな
所詮、朝鮮高級学校卒のヤンキーｗｗｗ
527:１３２人目の素数さん
21/05/26 18:17:20.97 xPs0RSD9.net
チョソンは学歴詐称、国籍詐称の犯罪者
さっさとピョンヤンに帰れｗｗｗｗｗｗｗ
528:現代数学の系譜 雑談
21/05/26 19:09:45.41 VMEh8nPz.net
言っちゃ悪いが
力の差が、
歴然かな
ｗｗｗ（＾＾
529:現代数学の系譜 雑談
21/05/26 20:25:48.00 VMEh8nPz.net
>>478
余談ですが
足立先生『ガロア理論講義』（下記）
無限次ガロア拡大で、射有限なガロア群があったね
（離散有限群の成す射影系（逆系）の射影極限（逆極限））
（参考）
URLﾘﾝｸ(tosuu.web.fc2.com)
都内数学科学生集合 2018年度 ゼミ情報
足立恒雄『ガロア理論講義』ゼミ
教科書 足立恒雄『ガロア理論講義』
内容・目標 新入生ゼミの延長でガロア理論を学びます。7章の無限次ガロア拡大が面白いと聞いたので
URLﾘﾝｸ(ja.wikipedia.org)
射有限群（英語: pro-finite group）あるいは副有限群は、有限群の射影系の極限になっているような位相群である。ガロア群やp-進整数を係数とする代数群など、数論的に興味深い様々な群が射有限群の構造を持つ。
射有限群は完全不連結でコンパクトなハウスドルフ位相群として定義される。同値な定義として、離散有限群の成す射影系（逆系）の射影極限（逆極限）として得られる位相群に同型であるような群を射有限群と定めるいうこともできる。
例
・体の無限次拡大のガロア理論では、射有限なガロア群が自然に現れる。具体的に、L/K を（無限次元の）ガロア拡大とし、K の元を動かさない L 上の体自己同型全体の成す群 G = Gal(L/K) を考える。この無限ガロア群は、F が F/K が有限次ガロア拡大であるような L/K の中間体すべてを亘るとき、有限ガロア群 Gal(F/K) が成す射影系の逆極限である。この射影系における射は、F2 ⊆ F1 なるとき、制限準同型 Gal(F1/K) →
530:Gal(F2/K) で与えられる。得られる Gal(L/K) の位相はヴォルフガンク・クルルに因んでクルル位相 (Krull topology) として知られる。 多くの体 K で、どのような有限群が体 K 上のガロア群として得られるかということは一般にははっきりしない。このような問題は体 K に対するガロアの逆問題と呼ばれる（複素一変数の有理函数体のように、ガロアの逆問題が解決されている体もある）。 ・代数幾何学において考察される基本群もまた射有限である。これは大雑把に言って、代数的には代数多様体の有限被覆だけしか「見る」ことができないということを反映するものであり、代数的位相幾何学における基本群は一般には射有限ではない。 (引用終り) 以上
531:現代数学の系譜 雑談
21/05/26 20:29:05.91 VMEh8nPz.net
>>485
ついでに、双対の帰納極限（順極限（余極限））（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
帰納極限
順極限（じゅんきょくげん）または直極限（ちょくきょくげん、英: direct limit）もしくは帰納極限（きのうきょくげん、英: inductive limit）は、「対象の向き付けられた族」の余極限である。本項ではまず群や加群などの代数系に対する帰納極限の定義から始めて、あらためて任意の圏において通用する一般的な定義を与える。
厳密な定義
代数系の帰納極限
本節では、対象はある決まった代数的構造（例えば群や環あるいは適当に固定された環上の加群や多元環など）をもつ集合とする。このとき準同型は、考えている代数系におけるものを考えることにする。
まず、対象と射（準同型）のなす直系または順系 (direct system) あるいは帰納系 (inductive system) と呼ばれるものの定義から始める。?I, ≦? を有向集合とし、{Ai | i ∈ I} を I で添字付けられた対象の族、fij: Ai → Aj (i ≦ j) を準同型の族として、以下の条件
fii は Ai の恒等写像であり、
任意の i ≦ j ≦ k に対して fik = fjk ・ fij が成立する。
が満たされるとき、対、?Ai, fij? は I 上の帰納系と呼ばれる。
帰納系 ?Ai, fij? の帰納極限 A の台集合は、Ai の直和集合の適当な同値関係 ～ による商集合
略
として与えられる。
圏における直系の直極限
直極限は任意の圏 C において特定の普遍性を満たすものとして定義することができる。?Xi, fij? を圏 C における対象と射からなる直系とする（直系の定義は前節と同じ）。
つづく
532:現代数学の系譜 雑談
21/05/26 20:29:39.70 VMEh8nPz.net
>>486
つづき
一般の定義
I と C を圏とする。C の固定された対象 X に対して cX: I → C を定値函手とする。任意の函手 F: I → C に対して、函手
略
例
F を位相空間 X 上の C-値層とする。X の点 x を固定して、x の開近傍の全体は包含関係を逆にする順序によって（つまり U ≦ V ⇔ U ⊇ V とおいて）有向半順序集合を成す。このとき、r を制限写像とする直系 (F(U), rU,V) が得られ、この系の直極限は x における F の茎 Fx と呼ばれる。x の各近傍 U に対して標準射 F(U) → Fx は F の U 上の切断 s を茎 Fx の元 sx へ対応させる。元 sx は切断 s の x における芽と呼ばれる。
関連概念と一般化
順極限の圏論的双対は逆極限（射影極限）であり、より一般の概念として圏論における極限と余極限が定義される。用語法が少々紛らわしいが、順極限は余極限であって（圏論的）極限は逆極限である。
URLﾘﾝｸ(www.slideshare.net)
位相空間の開集合の成す圏 2016 august 30
HanpenRobot
8. Top(x)上の反変関手Fを前層とよぶ. Top(x)上の可換環を係数とする前層F: o ∋ U → F U , (ただし，F U は可換環) U ? V F U ρ UV F(V)
9. u xは有向集合なので前層Fの茎(Stalk) Fx が定義できる. Fx = lim→ U∈u x F(U) (u xに関する帰納極限) メモ: 帰納極限とは，集合の和集合の演算 i∈I Miの一般化. lim→ U∈u x F(U)の場合，U ∈ u xがi ∈ Iの添字に相当する. 可換環の圏 Ring で帰納極限が存在する事が知られている.
(引用終り)
以上
533:１３２人目の素数さん
21/05/26 20:54:35.60 IquxWPzU.net
無限列の場合の時枝解法は、有限列の場合の極限としては得られないのだから
まったく無意味ですね。用語を弄んでも数学の内容が分かってないセタ。
工学部以下。
534:１３２人目の素数さん
21/05/26 20:57:06.53 xPs0RSD9.net
>>485-487
劣等感をまぎらわすためにわかりもしない文章をコピペする
哀れなチョソンｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
535:１３２人目の素数さん
21/05/26 21:00:09.08 xPs0RSD9.net
>>485
＞・・・が面白い
わかりもしないのにわかったふうなウソついて
面白い！とムキになって絶叫する哀れなチョソン
ｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
全然わからないのが面白いとかマゾか？変態か？
ｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
536:１３２人目の素数さん
21/05/26 21:01:42.33 xPs0RSD9.net
>>484
いわずもがなだが
力の無さが明らかだな
朝鮮高級学校卒のチョソン君
ｗｗｗｗｗｗｗｗｗｗ
537:１３２人目の素数さん
21/05/26 21:02:14.17 xPs0RSD9.net
チョソンのコピペはイタイタシイ
一字も理解できないからｗｗｗ
538:１３２人目の素数さん
21/05/26 21:02:56.89 xPs0RSD9.net
チョソンには数学は一切教えない
教えたって理解できないから
ｗｗｗｗｗｗｗｗｗｗｗｗｗ
539:１３２人目の素数さん
21/05/26 21:03:36.79 xPs0RSD9.net
チョソンの💩コピペは流すに限る
ｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
540:１３２人目の素数さん
21/05/26 21:04:21.99 xPs0RSD9.net
チョソンには数学の話は一切しない
しても理解できないから無駄
ｗｗｗｗｗｗｗｗｗｗｗｗｗ
541:１３２人目の素数さん
21/05/26 21:04:45.54 IquxWPzU.net
>>457
>>440はおっちゃんか。
モンテカルロ法や乱数、疑似乱数を形式的に持ち出せば
自論を正当化できると思ってる発想がセタと似すぎてて笑った
おサルと言ったり、（＾＾を多用してセタ感を出すとか、前より性格悪くなったなｗ
>>392は間違いなくおっちゃんだろ？
難しいこと語ろうとするとワカランチンが馬脚を現して
頭おかしい文章になるから、すぐ分かるんだよｗｗ
542:１３２人目の素数さん
21/05/26 21:05:46.43 xPs0RSD9.net
チョソンはピョンヤンに帰れ！
ｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
543:１３２人目の素数さん
21/05/26 21:06:56.60 xPs0RSD9.net
>>496
乙ことハングクもソウルに帰れ
ｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
544:１３２人目の素数さん
21/05/26 21:08:01.56 xPs0RSD9.net
チョソンとハングクは数学が分かってない点で全く同類
同じ半島人同士なかよくしろよなｗｗｗｗｗｗｗ
545:１３２人目の素数さん
21/05/26 21:09:06.81 xPs0RSD9.net
さて🐎🦌を焼く時間はおしまいだｗ
546:１３２人目の素数さん
21/05/26 21:11:55.79 IquxWPzU.net
「ただの工学部じゃない」てどういう意味だ？
数学とは縁の薄い材料工学じゃなかったっけ？
「ただの工学部じゃない」
→「卒業してから数学を勉強してきた」
という意味なら、その勉強身になってないからｗ
547:１３２人目の素数さん
21/05/26 21:23:54.95 xPs0RSD9.net
>>501
「ただの工学部じゃない」
→底抜けに🐎🦌な工学部卒ｗｗｗ
大阪●●大学卒らしいｗｗｗ
548:１３２人目の素数さん
21/05/26 23:06:18.28 rP5+L5xQ.net
そもそも決定番号は無限列に対し定義されたものなのに有限列を持ち出すこと自体ナンセンス
サルに数学は無理
549:１３２人目の素数さん
21/05/26 23:13:43.10 rP5+L5xQ.net
代表列 0,0,… が属す同値類の列 1,0,0,… の決定番号は1。
はい、決定番号＝∞の反例。
550:１３２人目の素数さん
21/05/26 23:32:44.87 rP5+L5xQ.net
同値類が理解できないサルに時枝記事は理解できない。
だからIIDだの有限列だのまったく的外れな話に終始する。
551:１３２人目の素数さん
21/05/27 04:43:17.26 QMqHVgx9.net
>>496
＞>>440はおっちゃんか。
＞モンテカルロ法や乱数、疑似乱数を形式的に持ち出せば
＞自論を正当化できると思ってる発想がセタと似すぎてて笑った
＞おサルと言ったり、（＾＾を多用してセタ感を出すとか、前より性格悪くなったなｗ
＞>>392は間違いなくおっちゃんだろ？
まあそうだが、ここに来たのは、>>457に書いたように瀬田君がおサルという人物(多分 ID:xPs0RSD9)に
私が他の件でバカといわれて(畜生！！！と罵られて)内容を否定されたからであり、
時枝記事の正否を議論するためにここに来た訳ではない。
瀬田君のマネをすることで、誰だかわからないように、
瀬田君�
552:ｪおサルという人物(多分 ID:xPs0RSD9)にそのことへの反撃をするためである。 私はかなり前に瀬田君向けに時枝記事の証明をここに書いた。 今更時枝記事を否定する気はない。 まあ、私の瀬田君のマネについて笑ってくれて何よりだ。
553:１３２人目の素数さん
21/05/27 06:23:52.38 yz85L3Je.net
>>506
>瀬田君がおサルという人物(多分 ID:xPs0RSD9)に
>私が他の件でバカといわれて(畜生！！！と罵られて)内容を否定された
文章が実に読みづらい
さすが日本語が不自由なハングク人ｗ
上記の文章では
「瀬田君がおサルという人物(多分 ID:xPs0RSD9)に内容を否定された」とも
「私が他の件でバカといわれて(畜生！！！と罵られて)内容を否定された」とも読める
「私」（＝おつ）がここに来た理由を説明しているので
後者が正しいようだが、その場合
「瀬田君がおサルと”呼んでいる”人物(多分 ID:xPs0RSD9)」
と書けばいいのであって、「おつ」ことハングク人の
日本語の語彙が致命的に乏しいことがよくわかる
554:１３２人目の素数さん
21/05/27 06:26:58.03 yz85L3Je.net
>>506
>時枝記事の正否を議論するためにここに来た訳ではない。
γは有理数だ！とかいうトンデモ証明を臆面もなく披露し
他人から誤りを指摘されても理解できない🐎🦌に
箱入り無数目の正否などわかりようもないｗ
やはり理科大は
一流の東大はもとより
二流の早慶にも受からん
三流の🐎🦌ばかりいる
正真正銘の地獄だなｗｗｗ
555:１３２人目の素数さん
21/05/27 06:30:33.21 yz85L3Je.net
>>506
>瀬田君のマネをすることで、誰だかわからないように、
>瀬田君がおサルと”呼ぶ”人物(多分 ID:xPs0RSD9)に
>そのことへの反撃をするためである。
「おつ」＝ハングクは、セタ＝チャット＝チョソン同様
🐎🦌のくせに自分が賢いと自惚れる●違いのようだｗ
自分が🐎🦌にされると三歳児のごとく発●する
実に見苦しくミットモナイｗｗｗ
キサマのような人間失格の畜生、いや、虫ケラなど
さっさと駆除されてしまえｗｗｗｗｗｗｗ
556:１３２人目の素数さん
21/05/27 06:33:17.19 yz85L3Je.net
>>506
>私はかなり前に瀬田君向けに時枝記事の証明をここに書いた。
>今更時枝記事を否定する気はない。
おつ＝ハングクもセタ＝チョソン同様、論理が全然わからん🐎🦌である
証明とかいいつつ、●違いみたいなクソ文章しか書けない
どうせ統合失調症で幻聴に悩まされてるんだろう
こんな人間失格の虫ケラは山奥の病院で一生隔離されてればいい
なんなら今すぐ焼いてもいい 🐖のエサくらいにはなるだろうｗ
557:１３２人目の素数さん
21/05/27 06:35:11.06 yz85L3Je.net
>>506
>まあ、私の瀬田君のマネについて笑ってくれて何よりだ。
そのキモチワルイコメントの後ろにこれつけたほうがいいぞ
「ニチャア」
URLﾘﾝｸ(leisurego.jp)
558:１３２人目の素数さん
21/05/27 06:36:45.91 QMqHVgx9.net
>>507-508
＞>時枝記事の正否を議論するためにここに来た訳ではない。
＞
＞γは有理数だ！とかいうトンデモ証明を臆面もなく披露し
＞他人から誤りを指摘されても理解できない🐎🦌に
＞箱入り無数目の正否などわかりようもないｗ
γの有理性の件ではない。
学歴ばかりこだわっていることがよく分かる。
理科大は確かにマトモな大学ではないが、今の東大が一流と思っていたら大間違い。
今の東大は世界全体で見たら一流とはいえない。
時代錯誤もいい御仁だw
559:１３２人目の素数さん
21/05/27 06:38:54.13 yz85L3Je.net
おつのコメントは、日本に恨み事をいうハングク人のそれと同じ
いわゆる「人類みな平等」の社会公正に基づくものではなく
「幼稚な自己本位」によるもの だから🐎🦌にされる
日本は正義でもなんでもなく全くの悪徳だが
ハングク人も全く同レベルの悪徳野郎だから
目糞が鼻糞を笑う醜態でしかない
東アジアは地球上から無くなったほうがいいだろう
おぞましい
560:１３２人目の素数さん
21/05/27 06:40:39.22 yz85L3Je.net
>>512
＞γの有理性の件ではない。
なんだかしらんが、ハングクはソウルに帰れｗｗｗｗｗｗｗ
561:１３２人目の素数さん
21/05/27 06:41:46.39 yz85L3Je.net
>>512
＞理科大は確かにマトモな大学ではないが、
だったらあきらめろ
おつは人間失格のカスｗｗｗ
562:１３２人目の素数さん
21/05/27 06:43:15.77 yz85L3Je.net
>>512
＞今の東大が一流と思っていたら大間違い。
＞今の東大は世界全体で見たら一流とはいえない。
その東大にもうからんおつは三流どころが五流、七流ｗｗｗｗｗｗｗ
563:１３２人目の素数さん
21/05/27 06:52:15.79 QMqHVgx9.net
>>513 歴史的には太平洋戦争中に日本が朝鮮半島を占領したとき、韓国や朝鮮に当時の日本人が定住した。 だから、現在の朝鮮民族の一部は当時の日本人の子孫にあたる。 逆に、現在の日本人はその昔朝鮮半島から来て朝鮮民族の遺伝子を受け継いでいる。 だから、現在の日本人は朝鮮民族の子孫でもある。 遺伝子的には、日本人の遺伝子と朝鮮人の遺伝子には共通する部分が多い。 日本史をかじったことがある人はその位のことはすぐ分かる。
565:１３２人目の素数さん
21/05/27 06:56:29.20 QMqHVgx9.net
>>516
私は試験や受験には興味が御座いませんのでw
東大は中高一貫校出身の人間が多く合格している。
566:現代数学の系譜 雑談
21/05/27 07:07:09.10 dKVKdotp.net
>>506
おっちゃん、どうも
スレ主です
私は、名前の議論には参加しない
第三者に迷惑をかける可能性があるからね
だが、正しいのは私であって
（それは、いま多くの人が認めるところだろうね、サル二匹を除いてね。おっちゃんも、それは分かってきたようだが）
だから、実名が分かっても
なんの痛痒も感じないよ
（おサルは、形勢が不利になると、実名の議論にすり替えようとする。見え見えだけどね。アホざる丸出しでね）
だから、つまらん、実名の議論を持ち出さないように
おサルに同調すると、アホがうつるよ
頼むよ（＾＾
567:現代数学の系譜 雑談
21/05/27 07:11:57.95 dKVKdotp.net
>>519 追加
ついでに書いておくが
サル二匹
形勢が不利になると
ヘイトスピーチを始める
朝鮮および朝鮮人をバカにするヘイトスピーチを始める
人間としてどうなんかね？
いくらサルでも、日本人として恥ずかしいね
数学の議論で勝てないと見て
朝鮮および朝鮮人をバカにするヘイトスピーチを始めるなんて
どうしようもない
サル二匹だね
568:現代数学の系譜 雑談
21/05/27 07:15:55.61 dKVKdotp.net
メモ：21世紀の数学は”hol”（高階論理）ですね（＾＾
（旧ガロアすれにも貼った気がするが）
（参考）
URLﾘﾝｸ(staff.fnwi.uva.nl)
Taichi Uemura
Introduction
PhD candidate at Institute for Logic, Language and Computation, University of Amsterdam.
For contact, see my ILLC page.
URLﾘﾝｸ(staff.fnwi.uva.nl)
トポスと高階論理
Taichi Uemura
2018 年 12 月 9 日
この文書は Category Theory Advent Calendar 2018 (URLﾘﾝｸ(adventar.org)) の 9 日目の記事です。前
は 7 日目の@mod poppo さんの「アプリカティブ関手ってなに？モノイド圏との関係は？調べてみました！」でした。次は 11 日
目の@yf0fyf さんの「直観主義線型論理の圏論的意味論について」です。
概要
トポスの内部言語とその応用を紹介します。
目次
0 はじめに 1
1 高階論理 2
2 トポス 5
3 高階論理のモデル 6
4 内部言語 8
5 トポスの性質 10
6 おわりに 11
0 はじめに
トポス (topos) とは、有限極限と部分対象分類子と羃対象 (power object) を持つ圏である。簡潔な定義な
がら、トポスは驚くほど豊かな構造が持つことが知られている [MLM92, Joh02a]。
例えば、
・ トポスはデカルト閉である (定理 31);
・ トポスのスライスはまたトポスである (定理 32)。よって、トポスは局所デカルト閉 (locally cartesian
closed) である;
・ トポスは有限余極限を持つ;
・ トポスにおいて同値関係は effective である
などが言える。これらの事実は純粋に圏論的に示すこともできるが、この文書では別のアプローチとして、高
階論理 (higher-order logic) を使った証明を与える。この文書の目的はトポスの圏論的性質を見る前に高階論
理との関連を与え、いくつかの性質を高階論理を使って簡潔に示そうというものである。
(引用終り)
以上
569:現代数学の系譜 雑談
21/05/27 07:24:54.88 dKVKdotp.net
>>503
>そもそも決定番号は無限列に対し定義されたものなのに有限列を持ち出すこと自体ナンセンス
そもそも、可算無限列は、有限列の極限と考えるべきものだろ？
有限列の極限と考えて何が悪い？
というか、有限列の極限と考えて何か悪いこと（矛盾）が出てくれば、
それは真剣に考慮すべきことだろ？ｗ（＾＾
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
順序数
順序数の並び方を次のように図示することができる：
0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω))), ............, ω + ω, S(ω + ω), S(S(ω + ω)), S(S(S(ω + ω))), ..............................
まず、0 が最小の順序数である。その後に S(0) = 1, S(S(0)) = 2, S(S(S(0))) = 3, ... と有限順序数（自然数）が通常の順序で並んでいる。そして、すべての自然数が並び終えると、次に来るのが最小の超限順序数 ω である。
(引用終り)
以上
570:現代数学の系譜 雑談
21/05/27 07:42:34.96 dKVKdotp.net
>>520 追加
朝鮮および朝鮮人をバカにするヘイトスピーチを繰り返すサル二匹は
数学板を永久追放で良いんじゃない？
”東アジアは地球上から無くなったほうがいいだろう
おぞましい”（>>513より）
なんて、狂気としか思えない
数学やれる頭じゃないし、ヘイトスピーチを繰り返すのは日本人の恥、数学板の恥だ
571:現代数学の系譜 雑談
21/05/27 07:44:45.77 dKVKdotp.net
>>517
(引用開始)
遺伝子的には、日本人の遺伝子と朝鮮人の遺伝子には共通する部分が多い。
日本史をかじったことがある人はその位のことはすぐ分かる。
(引用終り)
おっちゃん、どうも
スレ主です
全面同意です！
572:現代数学の系譜 雑談
21/05/27 11:42:06.33 sAkN/2DQ.net
>>401 追加
旧ガロアスレで、確率論の専門家さんが来訪したときの記録を下記に引用する
彼は、二つの指摘をしていった
１）下記の519と522で、「それの証明ってあるかな？ 100個中99個だから99/100としか言ってるようにしか見えないけど」
「二列で考えると、P(h(Y)>h(Z))=1/2であれば嬉しい．hが可測関数ならばこの主張は正しいが，hが可測かどうか分からないのでこの部分が非自明」
と指摘している。つまり、時枝記事を成り立たせている一番重要な部分に証明が無いってこと
ここを補足すると、>>451に書いたように、数列が有限長ならば、同値類は最後の箱ｎのみで殆ど決定されてしまうので、時枝氏の論法は使えない
では、数列が無限長ならば？ その証明が無いという指摘だ （なお、有限長数列同様に、ダメ（証明できない）だろう（下記２）））
２）次に下記の>>528と>>523で、「hに可測性が保証されないので，d_Xとd_Yの可測性が保証されない そのためd_Xとd_Yがそもそも分布を持たない可能性すらあるのでP(d_X≧d_Y)≧1/2とはいえないだろう」
と指摘している
ここを補足すると、「可測性が保証されない」は、ビタリ集合のような非可測ではなく、
全体（全事象）の積分（和）が無限大になるため
コルモゴロフの確率の公理、つまり全体に確率1を与えて、
個別事象に有限確率値を与えるような測度の定義が、不可ってこと（個別事象に確率0を割り当てることはできるのだが）
>>451に書いたように、決定番号ｄは必ずしもある有限値に収まらないので、
>>371の非正則分布のようになってしまうってことです（本当は、>>371の非正則分布よりひどいことになるのだが）
2016年に確率論の専門家さんが来訪して、上記の指摘をしていったが
これを消化するのに、私は１年以上かかったな（＾＾；
つづく
573:現代数学の系譜 雑談
21/05/27 11:42:42.30 sAkN/2DQ.net
>>525
つづき
（参考）
旧ガロアスレ20 （512 2016/07/03 確率論の専門家さん来訪 ID:f9oaWn8A と ID:1JE/S25W ）
ｽﾚﾘﾝｸ(math板:512-番)
1）
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としか言ってるようにしか見えないけど．
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が可測関数ならばこの主張は正しいが，hが可測かどうか分からないのでこの部分が非自明
２）
528 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:03:57.29 ID:f9oaWn8A [8/13]
おれが問題視してるのはの可測性
正確にかくために確率空間(Ω,F,P)を設定しよう
Y,Zはそれぞれ(Ω,F)から(R,B(R))の可測関数である．
もしhが(R,B(R))から(N,2^N)への可測関数ならば
h(Y),h(Z)はそれぞれ可測関数となって{ω|h(Y(ω))>h(Z(ω)}∈FとなりP({ω|h(Y(ω))>h(Z(ω)})=1/2となるけど
hが(R,B(R))から(N,2^N)への可測関数とは正直思えない
532 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:15:17.47 ID:f9oaWn8A [11/13]
>>530
> 2個の自然数から1個を選ぶとき、それが唯一の最大元でない確率は1/2以上だ
残念だけどこれが非自明．
hに可測性が保証されないので，d_Xとd_Yの可測性が保証されない
そのためd_Xとd_Yがそもそも分布を持たない可能性すらあるのでP(d_X≧d_Y)≧1/2とはいえないだろう
(引用終り)
以上