スレタイ 箱入り無数目を語る部屋17

1 名前：１３２人目の素数さん [2024/03/05(火) 08:04:40.23 ID:FscjMFDQ.net] 前スレが1000近く又は1000超えになったので、新スレを立てる https://rio2016.5ch.net/test/read.cgi/math/1708680610/ 前スレ スレタイ 箱入り無数目を語る部屋16 (参考)時枝記事 https://imgur.com/a/8bqlb08 数学セミナー201511月号「箱入り無数目」 https://rio2016.5ch.net/test/read.cgi/math/1620904362/401-406 純粋・応用数学（含むガロア理論）8 より １．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。 「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる. どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい. もちろんでたらめだって構わない.そして箱をみな閉じる. 今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう. どの箱を閉じたまま残すかはあなたが決めうる. 勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け. 勝つ戦略はあるでしょうか?」 ２．続けて時枝はいう 　私たちのやろうとすることは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などは下付添え字 つづく 837 名前：１３２人目の素数さん [2024/03/16(土) 15:42:51.64 ID:vIT5CHVL.net] >>783 >時枝の二つの決定番号 da,db ∈N(可算無限集合)で >確率P(da>db)=1/2 と錯覚するが如し >（∵ N(可算無限集合)だから、∞/∞ で不定形で、1/2はいえない） >けれども、人はついつい 確率P(da>db)=1/2 と錯覚するのです そもそも確率P(da>db)を考えるのがニホンザルｗ da>db　かつ　da<db　ということはない つまり、成り立つのは2つの式たかだか1つである ここでda>dbとする（固定！） daを選ぶかdbを選ぶかは1/2ずつ これが真の確率事象である 決して無作為にda,dbを選んで da>dbとなる確率を求めるのではない！ 何が確率事象かを間違えるのはニホンザル 正しく理解するのが日本人！ 悔しいか？大学入れん数学ド素人ニホンザル ギャハハハハハハ！！！ 838 名前：１３２人目の素数さん [2024/03/16(土) 15:44:52.64 ID:/v13gW+O.net] >>783 >・「ドアの後ろに賞品がある」場合を、キチンと数え上げれば良い！ 1回の出題では１通りしかないから数え上げようが無い 君が言ってるのは出題が試行の場合　君は無意識に出題を試行としている だが出題を試行としてしまうと1回の出題における確率は定義されない 分かる？ wikipediaより引用 「確率論において、試行（しこう、英: trial, experiment）とは、起こりうる結果がいくつかあり、そのどれか1つだけが偶然で起こる流れのことである」 839 名前：１３２人目の素数さん [2024/03/16(土) 15:47:59.31 ID:vIT5CHVL.net] 【結論】 サルは脊髄反射で「問題が確率変数だ！」と考えるがそれが間違い 840 名前：１３２人目の素数さん [2024/03/16(土) 15:50:14.96 ID:vIT5CHVL.net] 【結論】 サルは無意識に「俺の選択は決定事項！確率変数じゃない」と考えるがそれも間違い 841 名前：１３２人目の素数さん [2024/03/16(土) 15:51:21.32 ID:vIT5CHVL.net] 【結論】 サルは回答者の視点でしか考えられない　出題者の視点で考えることができないから間違う 842 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 17:23:42.18 ID:mUoFzVnS.net] >>772 どこが？ 843 名前：１３２人目の素数さん [2024/03/16(土) 17:29:45.75 ID:vIT5CHVL.net] >>778 >>>∃yで放り出すと、yは自然数に限らないから 二つの式の意味は違う >>∀x∈ℕ.∃y∈ℕ.x<y　でないと考えねばならない理由があるか？全くない >>したがって却下 >そうかな？ そうだな （完） ところで、サルは全順序と整列順序の違いが 未だに分かってないと思われる 整列順序は全順序だが、 全順序なら整列順序、とはいえない 整列順序は以下が成立する順序 ∀ｘ．（（∃ｙ．ｘ＜ｙ）⇒（∃ｚ．ｘ＜ｚ∧∀ｗ．ｘ＜ｗ⇒ｚ＜＝ｗ）） 日本語で書けば 任意のｘについて、 ｘより大きい元ｙが存在するなら その中でもっとも小さい元ｚが存在する これｘの後者という 844 名前：１３２人目の素数さん [2024/03/16(土) 17:35:52.89 ID:vIT5CHVL.net] さて有限整列順序の場合、最大元が存在する　すなわち ∃ｘ∀ｙ．ｘ＞＝ｙ しかし、無限整列順序の場合、最大元が存在しない場合がある　すなわち ∀ｘ．（∃ｚ．ｘ＜ｚ∧∀ｗ．ｘ＜ｗ⇒ｚ＜＝ｗ） 845 名前：１３２人目の素数さん [2024/03/16(土) 19:03:19.17 ID:+LjGwmYz.net] >>792 >>・「ドアの後ろに賞品がある」場合を、キチンと数え上げれば良い！ >1回の出題では１通りしかないから数え上げようが無い >君が言ってるのは出題が試行の場合　君は無意識に出題を試行としている >だが出題を試行としてしまうと1回の出題における確率は定義されない ・”1回の出題では１通りしかないから数え上げようが無い”？ 　か、なんか笑えるな ｗｗｗ ・下記の”【中学数学】さいころ2個の確率問題をパターン別に解説！”を 　”百回”繰返し見てね ・全部 試行は 1回前提で、確率計算するよｗ 　まあ、君には理解が難しいんだな？ なんか笑えるな ｗｗｗ やれやれだな　；ｐ） https://study-line.com/kakuritsu-saikoro/ 数スタ 【中学数学】さいころ2個の確率問題をパターン別に解説！ 846 名前：１３２人目の素数さん [2024/03/16(土) 20:01:11.64 ID:/v13gW+O.net] >>796 >∀が先頭についてるんだから相手側に全公開してるだろ が 847 名前：１３２人目の素数さん [2024/03/16(土) 20:07:05.86 ID:/v13gW+O.net] >>799 ”1回の出題”の意味を誤解したんだね？ 未来に定まる予定の出題ではなく過去に定まった出題のことだよ 文脈で読み取ろうよ　小学生じゃないんだから 848 名前：１３２人目の素数さん [2024/03/16(土) 20:08:59.89 ID:+LjGwmYz.net] >>797-798 整列順序ねｗ ・院試で、あたま良すぎて落ちるやつ 　自分で定義を作るやつ ・整列順序についてなら、決まった定義があるのだから 　それをきっちり覚えておかないとね（下記） 　”S 上の全順序関係 "≤" であって、S の空でない任意の部分集合が必ず ≤ に関する最小元をもつものをいう” おっと、あたま悪すぎで 自分で定義を作ったのかな？ｗ (参考) https://ja.wikipedia.org/wiki/%E6%95%B4%E5%88%97%E9%9B%86%E5%90%88 整列集合 整列集合（せいれつしゅうごう、英: well­ordered set）、または整列順序付けられた集合（せいれつじゅんじょづけられたしゅうごう）とは、数学における概念の1つで、整列順序を備えた集合のことをいう。ここで、集合 S 上の整列順序関係 (well­order) とは、S 上の全順序関係 "≤" であって、S の空でない任意の部分集合が必ず ≤ に関する最小元をもつものをいう。あるいは同じことだが、整列順序とは整礎な全順序関係のことである。整列集合 (S, ≤) を慣例に従ってしばしば単純に S で表す。 導入 整列集合 X の任意の元 s は、それが X の最大元でない限り、ただ一つの後者（successor; 後継、次の元、直後の元）を持つ。これはつまり、s よりも大きな X の元全体の成す部分集合における最小元として s の後者が決まるということである。また、整列集合 X の中で上に有界な任意の部分集合は（その上界全体の成す X の部分集合に最小元がとれるから）必ず上限を持つ。あるいは整列集合 X には、前者（predecessor; 直前の元）を持たない元が必ず存在する（それはもちろん、X 全体における最小元である）。 集合に整列順序が与えられれば、そこでは集合の全ての元に対する命題の超限帰納法を用いた証明を考えることができる。 自然数全体の成す集合 N が通常の大小関係 "<" に関して整列集合となるという事実は、一般に整列原理と呼ばれる。 （選択公理に同値な）整列可能定理は、任意の集合が整列順序付け可能であることを主張するものである。整列可能定理はまたツォルンの補題とも同値である。 https://www.math.is.tohoku.ac.jp/~obata/student/subject/file/2018-13_WellOrdered.pdf GAIRON-book : 2018/6/21(19:23) 第13章 整列集合 東北大 尾畑研 849 名前：１３２人目の素数さん [2024/03/16(土) 20:15:49.64 ID:/v13gW+O.net] >>799 >・全部 試行は 1回前提で、確率計算するよｗ 「サイコロを一回投げる試行」は１回の試行ではない。 試行毎に結果は変化し、その集合が標本空間。そのひとつの元が1回の試行の結果。 君、根本的に分かってないようだね 850 名前：１３２人目の素数さん [2024/03/16(土) 20:21:58.49 ID:+LjGwmYz.net] >>801 >”1回の出題”の意味を誤解したんだね？ >未来に定まる予定の出題ではなく過去に定まった出題のことだよ >文脈で読み取ろうよ　小学生じゃないんだから 中学 確率 ・ 851 名前：サイコロ二つを振って、箱の中 　目は決まっている ・二つの和が12になる確率は？ 　二つとも6の場合で、1/36 さて、まだサイコロは振っていない ・サイコロ二つを振るが 　目はまだ決まっていない ・二つの和が12になる確率は？ 　二つとも6の場合で、1/36 幼稚園レベルだな [] [ここ壊れてます] 852 名前：１３２人目の素数さん [2024/03/16(土) 20:22:24.29 ID:/v13gW+O.net] >>799 ひとつのサイコロを一回投げる試行の結果は１〜６の６通り 1回の試行の結果はそのいずれかひとつの１通り 小学生かい？君は 853 名前：１３２人目の素数さん [2024/03/16(土) 20:26:56.64 ID:/v13gW+O.net] >>804 >中学 確率 >・サイコロ二つを振って、箱の中 >　目は決まっている >・二つの和が12になる確率は？ >　二つとも6の場合で、1/36 それは箱の中の目を決めることを試行とした場合の確率ね 君、試行が全然分かってないね　定義を読み直してごらん 854 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 20:27:24.80 ID:OP6n3otv.net] >>800 それ君の感想でしょ 855 名前：１３２人目の素数さん [2024/03/16(土) 20:34:01.42 ID:/v13gW+O.net] >>804 なんかおかしいと思って https://study-line.com/kakuritsu-saikoro/ を見てみたが、 >中学 確率 >・サイコロ二つを振って、箱の中 >　目は決まっている >・二つの和が12になる確率は？ >　二つとも6の場合で、1/36 なんて書かれてないじゃんｗ 捏造すんなよサル 856 名前：１３２人目の素数さん [2024/03/16(土) 20:34:53.30 ID:/v13gW+O.net] >>807 それが君の感想 857 名前：１３２人目の素数さん [2024/03/16(土) 20:39:32.28 ID:/v13gW+O.net] サルはサイコパスか？ 平気で捏造するのはサイコパスだからなんだろうな 違うというならどこに >・サイコロ二つを振って、箱の中 >　目は決まっている >・二つの和が12になる確率は？ >　二つとも6の場合で、1/36 と書かれてるか示してごらん 858 名前：１３２人目の素数さん [2024/03/16(土) 20:43:19.00 ID:/v13gW+O.net] 馬鹿は仕方ないが捏造は人間として終わってるだろ まあサルは最初から人間じゃないがｗ 859 名前：１３２人目の素数さん [2024/03/16(土) 20:45:08.05 ID:+LjGwmYz.net] >>783 補足 >時枝の二つの決定番号 da,db ∈N(可算無限集合)で >確率P(da>db)=1/2 と錯覚するが如し >（∵ N(可算無限集合)だから、∞/∞ で不定形で、1/2はいえない） >けれども、人はついつい 確率P(da>db)=1/2 と錯覚するのです 二つ例を挙げよう ・ケースA 　n∈N(可算無限集合) で、nは奇数か偶数だ 　奇数か偶数かは、半々だが 　確率P（nは奇数）＝1/2 ？ 　しかし、Ω＝Nだと 全体が発散しているので、確率計算1/2は正当化できない ・ケースB 　冒頭の場合だが、補足しよう 　Ω＝{1,2,・・n}の有限集合で、一様分布とする 　この場合、nが十分大きいと、上記 確率P(da>db)=1/2は正しい 　補足すると 　daを横軸（x軸）、dbを縦軸（y軸）にとると、 　一辺nの正方形の格子が描ける 　da＝db は 対角線（直線y＝x）上にある 　da>db の領域は、対角線 より下側の直角三角形を成す 　だから、全体の正方形に対し 下側の直角三角形の部分は1/2だ 　ところが、これは有限の場合だ 　Ω＝Nで 全体が発散していると 有限の場合の全体の正方形が無限大に発散し 　下側の直角三角形の部分も無限大に発散する 　よって、∞/∞ で不定形で、1/2はいえない 860 名前：１３２人目の素数さん [2024/03/16(土) 20:50:36.40 ID:/v13gW+O.net] >>812 >確率P(da>db)=1/2 と錯覚 それ君だけね 時枝先生はそんな阿呆な錯覚していない 861 名前：１３２人目の素数さん [2024/03/16(土) 20:55:28.45 ID:+LjGwmYz.net] >>808 >>810 >https://study-line.com/kakuritsu-saikoro/ >を見てみたが、 >>・サイコロ二つを振って、箱の中 >>　目は決まっている >>・二つの和が12になる確率は？ >>　二つとも6の場合で、1/36 >と書かれてるか示してごらん 本気で聞いているのかな？ｗ 上記のサイト中で 冒頭に ”今回の内容をサクッと理解したい方はこちらの動画がおススメです” とあって、動画のリンク貼ってあるよ。そこにあるよ 本気で聞いていたのか！ｗ やれやれ　；ｐ） 862 名前：１３２人目の素数さん [2024/03/16(土) 21:01:11.07 ID:/v13gW+O.net] >>814 動画の何分何秒から？ 863 名前：１３２人目の素数さん [2024/03/16(土) 21:04:19.38 ID:/v13gW+O.net] >>814 >そこにあるよ 嘘でないなら答えられるよな？　何分何秒から？ 864 名前：１３２人目の素数さん [2024/03/16(土) 21:05:05.53 ID:/v13gW+O.net] 嘘に嘘を重ねて破綻する 完全にサイコパスだわこいつ 865 名前：１３２人目の素数さん [2024/03/16(土) 21:16:45.98 ID:/v13gW+O.net] >>814 おかしいなあ、俺が見た限り 「〇〇のサイコロを投げる。〇〇になる確率を求めなさい。」 という出題パターンしか無いんだが どこにも >・サイコロ二つを振って、箱の中 >　目は決まっている なんて無いんだが もしかして君の捏造？　いったいどういう了見なんだ？　何のために捏造するんだ？ 数学どうこう以前の人間性がぶっ壊れてるよ君 866 名前：１３２人目の素数さん [2024/03/16(土) 21:28:21.91 ID:/v13gW+O.net] 他人にマウント取るためなら捏造なんて屁とも思わない 動画を特定したらすぐバレることは火を見るより明らかなのにそれでもやらずにいられない 狂ってる　完全に狂ってる　ここまでの異常人格者見たこと無い 867 名前：１３２人目の素数さん [2024/03/16(土) 21:38:04.47 ID:/v13gW+O.net] サイコパスの特徴 ・窃盗などの違法行為を繰り返すことがある ・自信にあふれ、魅力的に見える ・他人に対して共感する気持ちが持てない ・人を支配する ・平然とうそをつく ・衝動的に行動する ・他人を責める ・無責任である 魅力的に見える以外全部当てはまってて草 868 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 21:42:01.00 ID:REZvRVWI.net] >>809 開けてない箱の∀を後ろに持っていけないのが非公開の情報を使ってるなによりの証拠じゃん 869 名前：１３２人目の素数さん [2024/03/16(土) 21:59:09.03 ID:/v13gW+O.net] >>821 非公開の情報とは？ 870 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 22:01:57.69 ID:REZvRVWI.net] >>822 開けてない箱の中身以外にあるかよ 871 名前：１３２人目の素数さん [2024/03/16(土) 22:04:02.72 ID:/v13gW+O.net] >>823 証拠になる理由は？ 872 名前：１３２人目の素数さん [2024/03/16(土) 22:05:26.27 ID:/v13gW+O.net] 言っておくが、君の好きな問題において証拠になるは理由にならないぞ？ 問題が違えば証拠になるならないも違ってくる 873 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 22:07:54.16 ID:REZvRVWI.net] >>824 使ってなければ後ろに持ってけるだろ 874 名前：１３２人目の素数さん [2024/03/16(土) 22:13:42.24 ID:/v13gW+O.net] >>824 それ待遇を言ってるに過ぎないじゃんｗ 君の持論の正しさを示せと言ってるのに待遇を持ち出すって、君、もしかして馬鹿？ 875 名前：１３２人目の素数さん [2024/03/16(土) 22:14:22.55 ID:/v13gW+O.net] アンカミス　>>826な 876 名前：１３２人目の素数さん [2024/03/16(土) 22:17:14.66 ID:/v13gW+O.net] 命題Aが真であることとその対偶が真であることは同値 よって対偶を持ち出してもAが真である理由には１�_もならない 高校で習わんかった？ 877 名前：１３２人目の素数さん [2024/03/16(土) 22:26:15.94 ID:/v13gW+O.net] 正しい理由を聞かれてつい対偶を持ち出してしまったってことは、正しいと妄想してるだけってことさ 違うと言うなら箱入り無数目においても正しいことを示してみて 878 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 22:35:00.88 ID:REZvRVWI.net] >>827 使ってなければ後ろに持っていけるは定理として簡単に証明できるだろ 879 名前：１３２人目の素数さん [2024/03/16(土) 22:46:13.79 ID:/v13gW+O.net] >>831 じゃ証明して 880 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 22:51:40.95 ID:REZvRVWI.net] >>832 ∃(x+1)とか言ってるやつにこんなメタな定理が理解できるわけないだろ 881 名前：１３２人目の素数さん [2024/03/16(土) 22:55:50.48 ID:/v13gW+O.net] >>833 はい、また逃げました〜 その逃亡芸もう秋田 882 名前：１３２人目の素数さん [2024/03/16(土) 22:58:16.85 ID:/v13gW+O.net] できもしないことを簡単にできるとか言っちゃう君もサイコパスザルと同類やね 不成立派はこんなんばっかやなｗ 883 名前：１３２人目の素数さん [2024/03/16(土) 22:59:48.78 ID:/v13gW+O.net] 動画に出てる←嘘 簡単にできる←嘘 サイコパスしかおらんのかい、不成立派はｗ 884 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 23:02:13.92 ID:REZvRVWI.net] >>834 やっぱり∃(x+1).と同一人物だったのか こんな頭のおかしい論理式書くやつの相手なんて誰がするかよ 885 名前：１３２人目の素数さん [2024/03/16(土) 23:03:57.43 ID:+LjGwmYz.net] >>818 サイコパスのおサル>>8 詭弁のデパートだな 次のスレでテンプレに入れておくぜ！ｗ （>>814より再録） >>808 >>810 >https://study-line.com/kakuritsu-saikoro/ >を見てみたが、 >>・サイコロ二つを振って、箱の中 >>　目は決まっている >>・二つの和が12になる確率は？ >>　二つとも6の場合で、1/36 >と書かれてるか示してごらん 本気で聞いているのかな？ｗ 上記のサイト中で 冒頭に ”今回の内容をサクッと理解したい方はこちらの動画がおススメです” とあって、動画のリンク貼ってあるよ。そこにあるよ (引用終り) （>>818より再録） >>814 おかしいなあ、俺が見た限り 「〇〇のサイコロを投げる。〇〇になる確率を求めなさい。」 という出題パターンしか無いんだが どこにも >・サイコロ二つを振って、箱の中 >　目は決まっている なんて無いんだが (引用終り) １）サイコロ二つを振って 二つの和が12になる確率は？ 二つとも6の場合で、1/36 　これが分からないと聞いてきた ２）動画にあると示したら、「サイコロ二つを振って、箱の中 目は決まっている なんて無いんだが」 　ときたもんだ。笑える 886 名前：１３２人目の素数さん [2024/03/16(土) 23:06:45.95 ID:+LjGwmYz.net] 中学レベルの確率論でつまずいているんだ アホのきわみだね 887 名前：１３２人目の素数さん [2024/03/16(土) 23:07:39.62 ID:/v13gW+O.net] >>837 言い訳になってないよｗ 888 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 23:12:43.81 ID:REZvRVWI.net] ∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、これこれが証明可能であるなんて、∃(x ÷1)野� 889 名前：Yに分かるわけないじゃん [] [ここ壊れてます] 890 名前：１３２人目の素数さん [2024/03/16(土) 23:18:18.29 ID:/v13gW+O.net] >>838 >１）サイコロ二つを振って 二つの和が12になる確率は？ 二つとも6の場合で、1/36 どこにも >・サイコロ二つを振って、箱の中 >　目は決まっている なんて書かれてないじゃんｗ >２）動画にあると示したら、「サイコロ二つを振って、箱の中 目は決まっている なんて無いんだが」 >　ときたもんだ。笑える いや、動画のどこにも >・サイコロ二つを振って、箱の中 >　目は決まっている なんて無いよね 君、嘘ついてるよね 笑える？　君、病院行った方がいいよ 891 名前：１３２人目の素数さん [2024/03/16(土) 23:23:34.82 ID:/v13gW+O.net] >>841 >これこれが証明可能である ってなに？ｗ >∃(x÷1)野郎に分かるわけないじゃん じゃあ数学者に分かる証明を書いて 知り合いの数学者に見てもらうから 892 名前：１３２人目の素数さん [2024/03/16(土) 23:32:51.63 ID:/v13gW+O.net] >>838 君さあ これからサイコロを振ることと、サイコロを振った結果は違うことは理解できる？ 前者の標本空間={1,2,3,4,5,6} 後者の標本空間={出た目}　←１元しかないので確率を考えてもナンセンス 893 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 23:33:50.33 ID:REZvRVWI.net] >>843 ∃y.∀x.P(x,y)に決まってるだろ お前はどうせわかんないんだろ、伝言ゲームするぐらいのらそいつここによんでくれぱいいじゃん 894 名前：１３２人目の素数さん [2024/03/16(土) 23:34:44.04 ID:/v13gW+O.net] 動画に出てる←嘘 簡単にできる←嘘 サイコパスしかおらんのかい、不成立派はｗ 895 名前：１３２人目の素数さん [2024/03/16(土) 23:39:17.12 ID:/v13gW+O.net] >>845 書かれてないのに呼ぶ意味は？ 君、乱心してんの？落ち着けよ 896 名前：１３２人目の素数さん [2024/03/16(土) 23:42:00.72 ID:/v13gW+O.net] >>845 簡単なんでしょ？ じゃさっさと書いてよ 書かれてもないのに呼ばないよｗ　なんで呼んだ？ってなっちゃうだろーがｗ 897 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 23:43:34.20 ID:REZvRVWI.net] >>847 呼んでくれぱ書くよ どうせ君には読めないじゃん 898 名前：１３２人目の素数さん [2024/03/16(土) 23:45:16.11 ID:/v13gW+O.net] >>849 だーかーらー 呼ばれた人はどうすんだよｗ　なんで呼ばれたんだ？ってなるだろ？　分からんのか？　阿呆なの？馬鹿なの？ 899 名前：１３２人目の素数さん [2024/03/16(土) 23:46:57.63 ID:/v13gW+O.net] てかつべこべ言わずさっさと書けや またいつものハッタリか？ 900 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 23:48:56.82 ID:REZvRVWI.net] ∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、ex t (λx.f(x,t))は∃y.∀x.P(x,t)の証明である。終わり 901 名前：１３２人目の素数さん [2024/03/16(土) 23:49:46.07 ID:/v13gW+O.net] 君さ、会社でもそんななん？ レビューアを呼び出してから資料書くん？ 資料書くのが先じゃないん？ だいじょうぶか？君 902 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 23:50:39.70 ID:REZvRVWI.net] で、これは結局放置するわけ？ x+1が仮に変数だとして ＞∀x∈ℕ.∃(x+1).x<x+1 これをα変換したら ∀x∈ℕ.∃y.x<x+1 なのか ∀x∈ℕ.∃y.x<y なのかすら不明瞭 903 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 23:51:13.39 ID:REZvRVWI.net] >>853 ほら書いてやったぞさっさと呼んで来いよ 904 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 23:53:18.84 ID:REZvRVWI.net] >>853 呼んで来たらついでに、>>854がどっちなのかも聞いていて 905 名前：１３２人目の素数さん [2024/03/16(土) 23:55:14.40 ID:/v13gW+O.net] >>852 箱入り無数目におけるx、y、P(x,y)がそれぞれ何か述べよ 906 名前：１３２人目の素数さん [2024/03/16(土) 23:58:01.45 ID:/v13gW+O.net] >>852 ∀x.∃y.P(x,y)なる命題が箱入り無数目のそれと一致してなければ>>852は完全にナンセンスなので心して答えるように 907 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 00:03:41.90 ID:egixwGA8.net] >>858 >>370,395,396 これお前が書いたんじゃないの？ 908 名前：１３２人目の素数さん [2024/03/17(日) 00:16:23.47 ID:VAa6dkvQ.net] >>859 違うけど、 x=先手の手、y=後手の手、P(x,y)=後手の勝率は99/100以上 という理解で合ってる？ まずはここまで 909 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 00:27:17.53 ID:egixwGA8.net] >>860 じゃあこっちは上のアンカーみたいな定式化に対して∀∃の形にすんなって言ってるんだから、関係ないなら来ないでくれる 910 名前：１３２人目の素数さん [2024/03/17(日) 00:40:01.46 ID:VAa6dkvQ.net] >>859 >∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、ex t (λx.f(x,t))は∃y.∀x.P(x,t)の証明である。 ex t (λx.f(x,t))　が　∃y.∀x.P(x,t)　の証明であるとなぜ君の主張「∀が先頭についてるんだから相手側に全公開してるだろ」が正当化されるの？ 911 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 00:49:14.99 ID:egixwGA8.net] >>862 なんでそれが関係あるの？ 912 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 00:53:55.64 ID:egixwGA8.net] そもそも、ゲームの攻略法を∀と∃の組み合わせで定式化したら前についてる量化子はすべて公開されてる状態で次の量化子の手番に進むに決まってんじゃん これになんの 913 名前：疑問の余地があるのかさっぱりわからんのだが [] [ここ壊れてます] 914 名前：１３２人目の素数さん [2024/03/17(日) 00:54:26.72 ID:VAa6dkvQ.net] >>863 >∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、ex t (λx.f(x,t))は∃y.∀x.P(x,t)の証明である。 は >∀が先頭についてるんだから相手側に全公開してるだろ の証明になってないって言ってるんだけど 的確に反論しないとｗ 915 名前：１３２人目の素数さん [2024/03/17(日) 00:55:56.21 ID:VAa6dkvQ.net] >>864 >決まってんじゃん はい、決まってないです あなたの妄想です 916 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 00:56:10.12 ID:egixwGA8.net] >>865 なんでそれが相手側に全公開してることの証明だと思ったの？関係ないよね？ 917 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 00:57:24.92 ID:egixwGA8.net] >>866 そう思うなら無視すりゃいいじゃん こっちは∃(x+1)とか書き始める人間に何言われても気にしないから 918 名前：１３２人目の素数さん [2024/03/17(日) 00:58:15.47 ID:VAa6dkvQ.net] >>867 じゃ何の証明だよｗ こっちは最初から>>260が間違いであることは理解したの？って言ってるんだけどｗ それに対する反論じゃなかったんか？　馬鹿かよｗ 919 名前：１３２人目の素数さん [2024/03/17(日) 00:59:52.45 ID:VAa6dkvQ.net] >>867 おまえ頭オカシイのか？ さっさと>>260の正当性を示せよｗ 920 名前：１３２人目の素数さん [2024/03/17(日) 01:02:08.61 ID:VAa6dkvQ.net] >>868 おまえ都合悪くなるといつも逃げるのな 921 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:02:45.83 ID:egixwGA8.net] >>869 ∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、∃y.∀x.P(x,t)が証明できることの証明だろ お前が>>832でこれを証明しろっていったんじゃねーかよ 記憶力ダチョウ並かよ 922 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:05:59.86 ID:egixwGA8.net] >>870 ゲームの定式化をそうやるって話だよ これが嫌いなら勝手にすればいいじゃん 定式化が変われば結果が変わるのは当たり前なんだからさ 923 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:08:42.91 ID:egixwGA8.net] そもそも箱の中身を確率変数にして定式化すれば、∀の順序とか悩まずに定式化できるのに、こんな入口で躓いててこの先どーすんの 924 名前：１３２人目の素数さん [2024/03/17(日) 01:09:04.96 ID:VAa6dkvQ.net] >>872 >∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、∃y.∀x.P(x,t)が証明できることの証明だろ え？？？ λx.ex t f(x,t)　⇒　ex t (λx.f(x,t))　の証明は？ それ無いと∃y.∀x.P(x,t)が証明できることの証明になってないぞ 925 名前：１３２人目の素数さん [2024/03/17(日) 01:10:22.07 ID:VAa6dkvQ.net] >>874 そもそも箱の中身を確率変数にできないのにこんな入口で躓いててこの先どーすんの 926 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:14:33.92 ID:egixwGA8.net] >>875 ＞λx.ex t f(x,t)　⇒　ex t (λx.f(x,t)) ⇒ってなに？ならば？ 927 名前：１３２人目の素数さん [2024/03/17(日) 01:16:14.72 ID:VAa6dkvQ.net] >>877 そうだよ P⇒Q　は　Pが真ならQが真という命題 928 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:16:22.80 ID:egixwGA8.net] >>876 できないってなんだよ 定式化なんだから好きにやりゃいいんだよ そもそも記事でやってる説明だって確率変数で書いたときの特別な場合だろ 929 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:17:37.88 ID:egixwGA8.net] >>878 なんでそこにならばをつけたの？ お前はπ⇒eとかみたいな感じでならばを使うんか？ 930 名前：１３２人目の素数さん [2024/03/17(日) 01:22:54.32 ID:VAa6dkvQ.net] >>880 「∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れない」から「ex t (λx.f(x,t))は∃y.∀x.P(x,t)の証明である」へギャップがある ギャップを埋めよ 931 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:23:20.56 ID:egixwGA8.net] 1ならば2とか sin 60°ならばtan 30°とか お前はそういう風にならばを使うの？ 932 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:24:11.41 ID:egixwGA8.net] >>881 ならばは？ 933 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:29:32.73 ID:egixwGA8.net] >>881 ねえ、ならばはどこに行ったの！ 934 名前：１３２人目の素数さん [2024/03/17(日) 01:30:15.41 ID:VAa6dkvQ.net] >>879 >定式化なんだから好きにやりゃいいんだよ 大間違い 問題設定に沿ってなければダメ ある一つの固定された出題に対し回答者の勝率が定義できるためには出題が試行であってはダメ 箱の中身を確率変数にするということは出題が試行ということ なぜなら箱の中身が変化するのは出題毎だから >そもそも記事でやってる説明だって確率変数で書いたときの特別な場合だろ 意味不明 935 名前：１３２人目の素数さん [2024/03/17(日) 01:31:06.42 ID:VAa6dkvQ.net] >>884 ねえ、ギャップは？ いつ埋まるの？ 936 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:32:59.45 ID:egixwGA8.net] >>885 じゃあ君がコロナに感染してるかどうかも確率変数にしちゃだめだね 医者どもはそれを確率変数だと思って診断してるから、お前はもうPCR検査行くなよ 937 名前：１３２人目の素数さん [2024/03/17(日) 01:33:33.37 ID:VAa6dkvQ.net] >>882 おまえ馬鹿？　そういう風にも使えるよ 命題「x=π ⇒ x=e」は偽 はい、使った

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef