[過去ﾛｸﾞ] Inter-universal geometryとABC予想(シン応援スレ) 89 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
742(1): 04/13(月)11:49 ID:j+zGAV5d(2/2) AAS
>>737
>単に「成立しなさそうに見える」ことを強調したかったがゆえの勇み足
自分は勇み足ではなくて
「成立しなさそうに見える」理由を書くことで
警鐘を鳴らしたのかなと捉えました
時枝さんは自分の書いたことをしっかり認識はしているように思います
743: 04/13(月)11:52 ID:TREZGcKJ(12/19) AAS
理由になってないから勇み足
744: 04/13(月)12:04 ID:/KgFf/Yq(6/7) AAS
気温が下がる見込み
水曜日
745: 04/13(月)12:08 ID:/KgFf/Yq(7/7) AAS
２１℃
くもり
746: 04/13(月)12:45 ID:MdInGQLc(8/9) AAS
>自分は勇み足ではなくて
>「成立しなさそうに見える」理由を書くことで
>警鐘を鳴らしたのかなと捉えました
>時枝さんは自分の書いたことを
>しっかり認識はしているように思います
数学者の権威に漫然と屈服すると馬鹿になるよ
747: 04/13(月)12:46 ID:MdInGQLc(9/9) AAS
時枝正は１同様、問題を取り違えてる
だから非可測とか独立性とか
まったく見当違いなこと言っちゃう
748: 04/13(月)13:20 ID:FtlTJ1PE(1) AAS
jin は頭の病気
749(2): 04/13(月)20:29 ID:y0Pix7Qj(5/7) AAS
>>742
>自分は勇み足ではなくて
>「成立しなさそうに見える」理由を書くことで
>警鐘を鳴らしたのかなと捉えました
>時枝さんは自分の書いたことをしっかり認識はしているように思います
ありがとう
かなり同意
時枝さんは自分の書いたことを、完全に正しいとは思っていない
疑念を持ってみているよね
750(3): 04/13(月)20:49 ID:y0Pix7Qj(6/7) AAS
>>731
>>”無限族は，任意の有限部分族が独立のとき，独立”の記述は
>>コンパクト性定理に裏付けられたもの
>高卒素人の無意味な連想ゲーム
違うよ
数学でしばしば、よく使われる表現がある
”無限の対象で，任意の有限部分族がｘｘのとき，（全体でも）ｘｘ”という言い回しは覚えておくべき
コンパクト性定理は、レーベンハイムスコーレムの定理の証明でも使われたという 由緒正しい言い回し（下記）
たとえ話で、無限の対象があって ”全体全てが黒←→任意有限部分が黒”みたいなことだ
”全体全てが黒→任意有限部分が黒”は当然
省16
751: 04/13(月)20:58 ID:TREZGcKJ(13/19) AAS
>>749
ヒト語を解さぬサル畜生がなんか言ってますね
752: 04/13(月)21:14 ID:Lf+aN4KA(5/5) AAS
>>749
>時枝さんは自分の書いたことを、完全に正しいとは思っていない
>>1はどうしてそう曲解するかな
＞−−本記事の目的は、確率99％で勝てそうな戦略を供することにある。
完全に正しいと考えてます
また
＞この不思議な戦略を反省してみよう
から以降は
なぜこの戦略が成立することに納得しにくいのかという説明
自分は時枝さんは「この戦略」は正しく理解していて
省3
753(1): 04/13(月)21:33 ID:TREZGcKJ(14/19) AAS
>>750
>違うよ
違わないよ。
理性も知性も持たぬ畜生は脊髄反射しかできない。
>コンパクト性定理は、レーベンハイムスコーレムの定理の証明でも使われたという 由緒正しい言い回し
定理は言い回しとな？ それヒト語を解さぬ畜生の妄想。
>無限の対象があって ”全体全てが黒←→任意有限部分が黒”みたいなことだ
極めて自明な反例：自然数の全体は無限集合だがその任意有限部分集合は有限集合。
そもそも確率変数の無限族の独立性も理論の無矛盾性も個々の対象の性質ではなく族や集合の性質。一方”対象が黒”は個々の対象の性質だからたとえ話になってない。さすが知性を持たぬ畜生だけのことはある。
>”全体全てが黒→任意有限部分が黒”は当然
省6
754: 04/13(月)21:40 ID:TREZGcKJ(15/19) AAS
>>750
畜生がむやみにコンパクト性定理だのレーヴェンハイムスコーレムの定理だの口にしない方が良い
ぜんぜん分かってないことを知ったかするほど愚かな行為は無いことを知れ まあ知るだけの知性も理性も持ち合わせないから畜生なのだが
755: 04/13(月)21:51 ID:TREZGcKJ(16/19) AAS
論理のろの字も解ってない畜生がコンパクト性定理だのレーヴェンハイムスコーレムの定理だの100年早い
畜生は自分がどれほど恥ずかしいことやってるか自覚が無いんだろう まあそれが畜生というものだからね
756(1): 04/13(月)21:56 ID:GkKYZzYF(1) AAS
１５℃
くもり時々晴れ
757: 04/13(月)23:45 ID:y0Pix7Qj(7/7) AAS
>>753
>>無限の対象があって ”全体全てが黒←→任意有限部分が黒”みたいなことだ
>極めて自明な反例：自然数の全体は無限集合だがその任意有限部分集合は有限集合。
最初から矛盾を含む反例を、正当な反例だと？ ワラエル
それ意味不明だろ？ 「その任意有限部分集合は有限集合」？？ なんだ これ？
「有限部分が有限」って数学か？ 馬から落ちると落馬となｗｗ
「無限集合」を論じるために、『任意有限部分集合は有限集合』など意味不明の同義反復で 何を言いたいのｗ
>そもそも確率変数の無限族の独立性も理論の無矛盾性も個々の対象の性質ではなく族や集合の性質。一方”対象が黒”は個々の対象の性質だからたとえ話になってない。さすが知性を持たぬ畜生だけのことはある。
それは ある意味ではセイロン紅茶だ
物事の性質によって、出来ない場合もあり
省17
758: 04/13(月)23:49 ID:TREZGcKJ(17/19) AAS
サル、反例出されて発狂ｗ
759: 04/13(月)23:51 ID:TREZGcKJ(18/19) AAS
>だが、任意有限の族の性質をもって、無限族の性質の定義とするできる場合もある
>（それがコンパクト性定理）
はい、大間違い。
コンパクト性定理のコの字も解ってない。サルが解ってるフリしても無駄。
760: 04/13(月)23:53 ID:TREZGcKJ(19/19) AAS
>だが、任意有限の族の性質をもって、無限族の性質の定義とするできる場合もある
自分で定義と言ってて
>（それがコンパクト性定理）
自分で定理と言ってる
サルは定義＝定理と思ってる 数学を根本から分かってない 所詮は畜生
761: 04/14(火)00:04 ID:Ee9g4NnH(1/13) AAS
>で？
>箱入り無数目は、「無限しっぽ vs しっぽの先の箱」で独立の定義が破れると？ 時枝さん？？
>どっこい、時枝さんも、そこまでは言い切っていない
>だから、ガンバレ！ きちんと証明書けば、大論文だぞ
>100年近く信じられていた確率変数の独立に、例外が発生！
>んなわけないよねｗ （＾＾
何言ってんだ？このサル
762: 04/14(火)00:20 ID:Ee9g4NnH(2/13) AAS
なんでサルは分かってないことを分かってるフリして語るかねえ
人は騙せても自分は騙せないのに バカだねえ
763(3): 04/14(火)00:20 ID:rfERy4rx(1/2) AAS
>>693 補足
>その有限の決定番号自然数は上限がなく増加し続ける
>数学では、これを発散という。つまり、個々の元は有限でも 全体として発散
ここをもう少し補足するよ
いま、有限だが大きいM∈Nをとって
箱入り無数目の実数列
s = (s1，s2，s3 ，・・・)
を考えてみよう
一般性を失わず Mを100の倍数とする（100で割り切れないとき 余りを切り捨てる）
s = (s1，s2，s3 ，・・,sM/100,sM/100+1,sM/100+2,・・・,sM)と書ける
省22
764: 04/14(火)00:33 ID:Ee9g4NnH(3/13) AAS
>>763
>零事象なので、零(0)が掛けられて 結局確率0の話にしかなりえない
>>681
ストローマン論法であることを説明してやったのにヒト語が通じないサル
765: 04/14(火)00:50 ID:Ee9g4NnH(4/13) AAS
サルはヒト語の学習から 数学は100年早い
766: 04/14(火)04:26 ID:Ajf2Cv7C(1/4) AAS
>>763
>M→∞ で起こりうることは
>1列目で決定番号n1を得て、2列目のしっぽを開けると
誤り
箱入り無数目では、必ず2列目をとるのではなく、
１列目か２列目のどちらかを同じ確率１／２で選ぶ
>代表との一致はとっくに終わっていてそのままでは役立たずで改めて代表を取り直す。
選択関数により既に同値類の代表はすべて決まっているので
１列目の決定番号n1、２列目の決定番号n2は決まっている
選択関数があるので、自分勝手に代表をとる必要はない
省29
767: 04/14(火)04:30 ID:Ajf2Cv7C(2/4) AAS
その都度勝手に代表を選ぶ＝選択関数が存在しない ということ
つまり、選択公理を否定していることになる
スレ主１の反論が
「選んだ列の決定番号が必ず最大番号になるようにしか代表をとれない」
ということであれば、それは
「尻尾同値類の代表選択を実行する選択関数が存在しない」
という意味であるから、選択公理の否定である。
768: 04/14(火)06:26 ID:14j++g5o(1/4) AAS
>>1はまだ有限数列にこだわって誤解しているのか
有限数列ならそもそも箱入り無数目の戦略は機能しない
また
有限数列での同値類は無限酢列での同値類とは全く異なる
そして
無限数列での決定番号が本質的に発散しているとは本質的に無意味な発言
完全にストローマン論法の使い手であり
憐れ
769(1): 04/14(火)08:05 ID:rfERy4rx(2/2) AAS
>>756
御大か
巡回とお天気日誌ありがとうございます （＾＾
770(1): 04/14(火)08:25 ID:c+mKtGbe(1/2) AAS
気温が下がる見込み
明日
771: 04/14(火)09:11 ID:Ee9g4NnH(5/13) AAS
>>769-770
このやりとりシュールで草
772(4): 04/14(火)10:30 ID:NA5Ij/2A(1/6) AAS
>>763 補足追加
１）「有限部分 s1，s2，s3 ，・・,は、M→∞ となるとき
無限列の 先頭の無限小部分にすぎない
箱入り無数目なり 吉田大学第76話 札付きの定理 とも」
これが重要ポイントで、「有限決定番号の数当てとは、無限列の 先頭の無限小部分を論じているにすぎない
それは、全体としては確率の零事象」
２）有限の決定番号Dうんぬんは、零事象の中で確率を論じている
零事象は存在するが、確率は0で 零事象の中で確率99/100を得ても 99/100 x0 =0
３）別の角度から説明すると
決定番号dとは 二つの可算無限数列で dから先の可算無限の二つの列の項の一致をいう
省24
773: 04/14(火)10:32 ID:XQpdbPiA(1/6) AAS
気温が上がります
日曜日
774: 04/14(火)10:32 ID:NA5Ij/2A(2/6) AAS
>>772 タイポ訂正
箱入り無数目なり 吉田大学第76話 札付きの定理 とも」
↓
箱入り無数目なり 吉田大学第76話 札付きの定理 とも
775(1): 04/14(火)10:46 ID:NA5Ij/2A(3/6) AAS
>>750 補足
>数学でしばしば、よく使われる表現がある
>”無限の対象で，任意の有限部分族がｘｘのとき，（全体でも）ｘｘ”という言い回しは覚えておくべき
>コンパクト性定理は、レーベンハイムスコーレムの定理の証明でも使われたという 由緒正しい言い回し
いい子は、下記の en.wikipedia Compactness theorem を見ておこうね
常に成り立つわけではないが、それなりに役に立つ
なお、こんなところに 「コンパクト空間の積はコンパクトであるというチホノフの定理[ 1 ]をコンパクトストーン空間に適用した結果である」と来ました
へへー、すごいね チホノフさん （＾＾
まあ、少なくとも 時枝さんの >>729 "(2)有限の極限として間接に扱う"は、完全に言いがかりにすぎない
（多分、時枝さんは 単純に 「有限の独立→無限の独立」を思い描いたのだろうけど ）
省12
776: 04/14(火)10:51 ID:Ee9g4NnH(6/13) AAS
>>772
>補足追加
ストローマン論法をいくら補足してもストローマン論法。
>>681で説明した通り零事象うんぬんはストローマン論法。サルがヒト語を解さないだけの話。
777: 04/14(火)10:57 ID:XQpdbPiA(2/6) AAS
２１℃
晴れ
778: 04/14(火)11:14 ID:Ee9g4NnH(7/13) AAS
>>775
>それなりに役に立つ
コンパクト性定理＝言い回しという妄想が役に立つ訳無いやろ。頭だいじょうぶか？
>常に成り立つわけではないが
常に成り立つわけでないものが定理のはず無いやろ。頭だいじょうぶか？
独立事象の定義は定理ではない。サルは定義と定理の違いすら分かってない。数学を根本から分かってない。ヒト語を解さぬサルが分らないのも無理は無い。サルはヒト語の学習から。数学は100年早い。
>いい子は、下記の en.wikipedia Compactness theorem を見ておこうね
サルは見なくてよい。どうせ分らないから。
それより分かってるフリするのは愚かで恥ずかしい行為と知るべし。それこそが畜生界から抜け出す最初の一歩だよおサルさん。
779: 04/14(火)11:20 ID:Ee9g4NnH(8/13) AAS
>>いい子は、下記の en.wikipedia Compactness theorem を見ておこうね
>サルは見なくてよい。どうせ分らないから。
いや、wikipediaなんて見ると分かった気になるからむしろ見ない方が良い。字面だけ眺めて分かった気になるのはサルの悪癖。
780: 04/14(火)11:22 ID:06UmTH9/(1) AAS
>”無限の対象で，任意の有限部分族がｘｘのとき，
>（全体でも）ｘｘ”という言い回しは覚えておくべき
箱入り無数目では全く無意味
781: 04/14(火)11:25 ID:zKRhvBby(1) AAS
自称スレ主１の「名言」
>>626
「選択公理でなく人の意思で選ぶ」
「選択公理は存在のみなので 使えないので無視して、人の意思で代表をえらぶ」
具体的に構成できない関数は
実質的に存在せず使えないとする
選択公理全面否定論者の高卒素人
782: 04/14(火)11:27 ID:Ee9g4NnH(9/13) AAS
論理のろの字も分らないサルが完全性定理を分る訳が無い。従ってコンパクト性定理を分る訳が無い。従ってレーヴェンハイムスコーレムの定理を分る訳が無い。
サルは山でバナナでも集めてればよい。無理して分からない数学に関わる必要は無い。
783: 04/14(火)11:28 ID:XQpdbPiA(3/6) AAS
身につく シュレーディンガー方程式 (ファーストブックSTEP)
量子力学の肝、「シュレーディンガー方程式」がしっかり身につく!
量子力学のやさしい概説はもちろんのこと、 数式をていねいに追いながら、
シュレーディンガー方程式の意味を理解でき、
解き方が身につけられるようになるまで、しっかりと解説します。
【本書の内容】 第1章 光や電子は粒子か波か?
第2章 ミクロな物質とシュレーディンガー方程式
第3章 電子や光子の波の正体 第4章 身近な波と波の方程式
第5章 シュレーディンガー方程式とミクロ
784: 04/14(火)11:30 ID:XQpdbPiA(4/6) AAS
２２℃
晴れ
785(1): 04/14(火)11:39 ID:Ee9g4NnH(10/13) AAS
具体的に構成できるものしか理解できないサルはヴィタリ集合を理解できない
786: 04/14(火)11:40 ID:XQpdbPiA(5/6) AAS
２２℃
晴れ
787: 04/14(火)11:45 ID:Ee9g4NnH(11/13) AAS
実数全体を好きなように整列できるとか言っちゃうサルに数学を理解できるはずが無いので諦めるがよろしい。
788(1): 04/14(火)11:49 ID:XQpdbPiA(6/6) AAS
２２℃
晴れ
789: [SAGE] 04/14(火)12:17 ID:+aOzJ4DO(1) AAS
>>785
高卒素人スレ主１の考え方だと、
ヴィタリ集合は構成できないから存在しないことになる
790: 04/14(火)15:33 ID:CTjAON3x(1) AAS
全てが発覚した後
「日本のおお数学界を救うためにいい仕方なくううう」
とか言いそうだよなw
791: 04/14(火)16:38 ID:Vruvz20I(1/5) AAS
ニュース速報
金融政策言及の…
792(7): 04/14(火)16:46 ID:NA5Ij/2A(4/6) AAS
>>711
>確率変数の誤解の複雑骨折だよ
>いままでは、ダウングレードして 用語「確率変数」を説明してきたが
>やはり、正式の数学の定義を示すしかないみたいだね
>まあ、あの頭の程度では、用語「確率変数」の定義は理解できないと思うけど・・
戻る ”ダウングレードして 用語「確率変数」の説明” みなに分かるようには、説明できなかった 力不足だった
”>>1は恥を知るべきでしょうね”>>717
それ同意。お恥ずかしい限りよ。下記の ＜確率変数抜粋＞P8 確率論基礎 重川 みてちょ
多分、ニコ君なら やさしく＆わかりやすく 説明できるだろうが 彼はいまはいない（彼は位相空間論の免許皆伝だ）
この重川 ＜確率変数抜粋＞P8を、百回音読してくれたまえ
省8
793(1): 04/14(火)16:50 ID:XwmoeLJ5(1) AAS
>>792
ズットミテマスヨ。
ガンバッテクダサイネ。
794: 04/14(火)17:07 ID:NA5Ij/2A(5/6) AAS
>>788
御大か
巡回とお天気日誌ありがとうございます （＾＾
795(2): 04/14(火)17:11 ID:NA5Ij/2A(6/6) AAS
>>793
おお、お元気そうでなによりだ
応援ありがとう
位相空間論特訓のおかげで >>792 重川 ＜確率変数＞P8 が読めるようになった （＾＾
796: 04/14(火)17:14 ID:G6eR1qvg(1) AAS
>>795
ズットミマモッテイマスノデ、ノビノビトヤッテクダサイ。
797: 04/14(火)17:22 ID:Vruvz20I(2/5) AAS
２１℃
くもりのち晴れ
798: 04/14(火)18:39 ID:Ee9g4NnH(12/13) AAS
>>792
ヒト語の通じぬサルが大勘違いしとる
>戻る ”ダウングレードして 用語「確率変数」の説明” みなに分かるようには、説明できなかった 力不足だった
>”>>1は恥を知るべきでしょうね”>>717
>それ同意。お恥ずかしい限りよ。下記の ＜確率変数抜粋＞P8 確率論基礎 重川 みてちょ
「恥を知るべき」はストローマン論法してることに対する指摘だよバカ
799(1): 04/14(火)18:40 ID:Ajf2Cv7C(3/4) AAS
>>795
＞位相空間論特訓のおかげで 重川 ＜確率変数＞P8 が読めるようになった
無駄だけどな
ニコは「箱入り無数目」の何が確率変数か理解できない？
800: 04/14(火)18:42 ID:Ajf2Cv7C(4/4) AAS
重川 ＜確率変数＞ をいくら読んでも
箱入り無数目の箱の中身が確率変数になるわけではない
確率変数でないものを確率変数だと妄想するのは異常
801: 04/14(火)18:45 ID:Vruvz20I(3/5) AAS
２?の雨
水曜日
802: 04/14(火)18:50 ID:yJhuo0FN(1/2) AAS
>>799
スマンネ。
ワタシハムスウメニカンシテハ、モンガイカンナンダ。
ダカラワタシハ、ホカノスレデカツドウスル。
ヨカッタラ、シュツダイスレノモンダイデモトイテイッテクレ。
803: 04/14(火)18:56 ID:yJhuo0FN(2/2) AAS
コウコウスウガクノモンダイモワタシガカイタカラ、ヨカッタラドウゾ。
804: 04/14(火)18:57 ID:Vruvz20I(4/5) AAS
21℃
くもり時々晴れ
805: 04/14(火)19:00 ID:Ee9g4NnH(13/13) AAS
>>792
>確率論基礎 重川
いきなりモンティホール問題から始まってて、しかもわざわざ呼称を改変してて草
806: 04/14(火)19:03 ID:Vruvz20I(5/5) AAS
２１℃
くもり時々晴れ
807(1): 04/14(火)19:46 ID:7v7asoCV(1) AAS
jinは頭の病気
808: 04/14(火)20:09 ID:14j++g5o(2/4) AAS
>>807
ですね
809: 04/14(火)20:14 ID:14j++g5o(3/4) AAS
n∈Nを一つ選んで箱に入れる
箱の中の「自然数」をXとしたとき
Xの確率分布は
P(X=n)=1
である退化分布(N,2^N,μ)
これを
nは確率変数ではないから
X=nである確率は考えられないとするのが「札付きの定理」
あいや確率変数だと言ってきたのは間違いで
そこは他人の書いたものを読めと逃げ出すのが>>1
810: 04/14(火)21:22 ID:c+mKtGbe(2/2) AAS
気温が下がる見込み
明日
811: 04/14(火)22:35 ID:14j++g5o(4/4) AAS
μ∈Rとσ∈R+を自由に選ぶとき
N(μ,σ)に従う確率変数Xについて
P(X≧μ)=1/2
しかし
μとσは確率変数でないからP(X≧0)は考えられないとするのが「札付きの定理」
μとσの選び方には制限がないからサイコロを振って決めても良いのだと言い出すのが>>1
812: 04/15(水)05:05 ID:A4p+RiWe(1/2) AAS
17℃
くもり
813: 04/15(水)10:40 ID:qHL9htwz(1/3) AAS
箱入り無数目は任意の列の決定番号が『何らかの自然数』となることを仮定している。（この仮定は選択公理から帰結されるから真に必要な仮定は選択公理のみ。）
ところがサルは『ある特定の自然数』にすり替えたうえで零事象だと主張している。明らかにストローマン論法である。
サルはストローマン論法しかできない。だから恥を知れと言われてしまう。恥を知ることが畜生界から抜け出す第一歩だろう。
814: 04/15(水)12:05 ID:7LTBotE9(1) AAS
２ｍｍの雨
今日
815(6): 04/15(水)15:06 ID:WuFhi3nj(1/3) AAS
>>792 補足
(引用開始)
それ同意。お恥ずかしい限りよ。下記の ＜確率変数抜粋＞P8 確率論基礎 重川 みてちょ
多分、ニコ君なら やさしく＆わかりやすく 説明できるだろうが 彼はいまはいない（彼は位相空間論の免許皆伝だ）
この重川 ＜確率変数抜粋＞P8を、百回音読してくれたまえ
そして、自得してくれたまえｗ （＾＾
外部ﾘﾝｸ:imgur.com
＜確率変数抜粋＞P8 確率論基礎 2013年度前期 京大 重川一郎260414
(引用終り)
下記動画最後のアクチュアリーで 講師がいう
省52
816: 04/15(水)15:21 ID:qHL9htwz(2/3) AAS
箱入り無数目になんのイレギュラーさも無い
サルが勝手に勘違いしてるだけの話
817: 04/15(水)16:30 ID:6dpINdgD(1/2) AAS
札付きの定理は、箱入り無数目とは違う問題
否定するために、わざと2か所設定を変えた
１．箱の中身の確率分布と独立性を規定 （箱入り無数目では全く言及なし）
２．列の選択を否定して必ず２列目を選択（箱入り無数目では列は回答者がランダム選択）
上記２か所の設定変更にとり
箱入り無数目では、列の選択だけが確率変数
札付きの定理では、箱の中身とそれに伴う諸々が確率変数
札付きの定理の
「n1,n2は（非可測だから）確率変数になっていない」
「どちらかが大きくなる確率を求めるのは成り立たない」
省11
818: 04/15(水)16:32 ID:6dpINdgD(2/2) AAS
誤 上記２か所の設定変更にとり
正 上記２か所の設定変更により
819(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 04/15(水)17:36 ID:WuFhi3nj(2/3) AAS
>>815 追加
ホイヨ
KOLMOGOROVの元論文 1933 (英訳1956）下記
P22
12. Definision of Raodom Verisblce and of Distrlhation Fuactins
見てね （＾＾
(参考)
外部ﾘﾝｸ:www.york.ac.uk
Materials for the History of Statistics
外部ﾘﾝｸ[htm]:www.york.ac.uk
省11
820(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 04/15(水)17:41 ID:WuFhi3nj(3/3) AAS
>>819 タイポ訂正
12. Definision of Raodom Veriable and of Distrlbution Fuctions
↓
12. Definision of Raodom Veriable and of Distribution Fuctions
(OCRがバグっている。なので、本文コピーは略す)
821: 04/15(水)17:44 ID:qHL9htwz(3/3) AAS
イレギュラーという言いがかりがまったくトンチンカンだから無意味
>12. Definision of Raodom Verisblce and of Distrlhation Fuactins
コピペすらまともにできんのかこのサルは
822: 04/15(水)18:14 ID:nxoFaFxJ(1) AAS
jinは頭の病気
823: 04/15(水)19:11 ID:A4p+RiWe(2/2) AAS
気温が下がる見込み
金曜日
824(2): 04/16(木)07:01 ID:X+gyRxN3(1) AAS
2chｽﾚ:math
Interuniversal geometry とABC 予想60
128１３２人目の素数さん
垢版 | 大砲
2026/04/14(火) 23:22:01.96ID:BnKBX3hW
外部ﾘﾝｸ:note.com
なんかLANAの内部事情知ってる風だけど本物かね？
とりあえず3.11までは完全に正しいらしい。
(引用終り)
追加参考
省6
825(1): 04/16(木)09:18 ID:Xm9fofzp(1) AAS
>>824
3.11まではただの部品がバラバラ書いてあるパート
3.12からさあなんかやるぞってところでいきなりアウト
ばかかこいつ
826(1): 04/16(木)10:09 ID:UE4mPsz6(1/3) AAS
ばかだよ
他スレのレスのコピペというまったく無駄なことをやる発想からして大ばかだよ
827(1): 04/16(木)10:17 ID:BPvubZyx(1) AAS
ABC conjecture/IUTT new reaction
外部ﾘﾝｸ:www.youtube.com
828(1): [SAGE] 04/16(木)10:28 ID:k3nimocW(1) AAS
3.11から3.11+Remark3.9.5までの間が鬼門
829: 04/16(木)14:37 ID:c2o4y7S1(1/6) AAS
>>825-828
へいへいへい
x.com/ math_jin/
4/9のAIと形式化の研究集会における望月新一氏の講演動画
#IUTABC
Shinichi Mochizuki: On the Formalization of IUT: a preliminary progress report
youtube.com
Shinichi Mochizuki: On the Formalization of IUT: a preliminary...
In this talk, we survey preliminary work conducted by my research group at RIMS, Kyoto University, since the fall of 2025 on the long-term project of formali...
午前5:36 · 2026年4月16日
省4
830(1): 04/16(木)14:38 ID:c2o4y7S1(2/6) AAS
つづき
動画ﾘﾝｸ[YouTube]
(参考)
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
望月新一
2026年04月08日
・（過去と現在の研究）研究集会「Workshop on AI and Theorem Provers in
Mathematics」での講演のスライドを公開。
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
§ Skeletal Lean code for 3.11.5 => 3.12
省14
831: 04/16(木)15:12 ID:c2o4y7S1(3/6) AAS
>>830
>鬼門ってほどでないかもよ
>当たり前だが、3.11と3.11+Remark3.9.5の差分は、Remark3.9.5になる
>Remark3.9.5を、なんらかの形で形式的に導けばいいだけのこと
>・・・ Remark3.9.5 が 長いぜよ おい （＾＾
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
[3] Inter-universal Teichmuller Theory III: Canonical Splittings of the Log-theta-lattice. PDF NEW !! (2020-05-18)
P115
Proposition 3.9. (Log-volume for Packets and Processions)
(i) (Local Holomorphic Packets)
省15
832(1): 04/16(木)15:33 ID:F9JJwhwW(1) AAS
もっちー大勝利!!!!!
動画ﾘﾝｸ[YouTube]
833: 04/16(木)15:41 ID:c2o4y7S1(4/6) AAS
>>832
ありがと
834: 04/16(木)15:54 ID:UE4mPsz6(2/3) AAS
すべて「自明だ」の無敵の人だからね
835: 04/16(木)15:58 ID:c2o4y7S1(5/6) AAS
>>824
>外部ﾘﾝｸ:note.com
>なんかLANAの内部事情知ってる風だけど本物かね？
>とりあえず3.11までは完全に正しいらしい。
>れいだー卿
これ 完全にフェイク
１）”3.11までは完全に正しい”ならば、
Remark3.9.5とProposition 3.9.も正しいから
3.11.5 => 3.12 ｜ 3.11.5＝3.11+Remark3.9.5
が言えたら 終わっている
省6
836: 04/16(木)16:12 ID:lI+2xjpx(1) AAS
jinは頭の病気
837: 04/16(木)16:24 ID:c2o4y7S1(6/6) AAS
>>815 >>819-820 もどる
>>819 タイポ訂正追加
12. Definision of Raodom Veriable and of Distrlbution Fuctions
↓
12. Definision of Raodom Veriable and of Distribution Fuctions
(OCRがバグっている。なので、本文コピーは略す)
↓
12. Definition of Random Variable and of Distribution Functions
（ワードのスペルチェック。古典的テクニックだが OCRのあとスペルチェック必須ｗ）
さて本題
省26
838: 04/16(木)16:39 ID:UE4mPsz6(3/3) AAS
箱入り無数目の確率事象が何かさっぱり理解できないサルが何か言っとる
839: 04/16(木)17:52 ID:uSUqjI55(1) AAS
ニュース速報
日経平均終値が史…
840: 04/16(木)19:00 ID:FGRIWLfw(1) AAS
3.11をブラックボックスにするつもりなら
プロジェクトとしてダメダメ
841: [SAGE] 04/17(金)10:12 ID:XxOU4b/p(1/4) AAS
箱入り無数目では箱の中身は確率変数ではない
１．可算無限個の箱の中身に対して有限個の箱だけ中身が違う同値関係を入れられる
２．選択公理によって、上記の同値類から代表を選出する選択関数が存在する
３．上記の選択関数を１つ決めることで、上記同値類の代表が１つに決まる
４．可算無限個の箱を有限個（例えば１００個）の無限列に並び直せる
５．各列において、同値類の代表元の不一致の箇所は有限個
６．各列の中の最大の番号の項が存在するので、それに１を足したものを決定番号とする
７．１列を除いた、全ての列を開ければ各列の決定番号が分かる
８．上記の決定番号のうち最大値を求めれば、残った１列の決定番号が残り列の決定番号より大きい確率は１／列の総数
ここまでで箱の中身の範囲や中身そのものについては全く言及してないことに注意
省3
上下前次1-新書関写板覧索設栞歴
あと 161 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.518s*