[過去ログ]
スレタイ 箱入り無数目を語る部屋19 (1002レス)
スレタイ 箱入り無数目を語る部屋19 http://rio2016.5ch.net/test/read.cgi/math/1717503315/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
489: 132人目の素数さん [sage] 2024/06/19(水) 06:52:52.73 ID:nEr7nNy+ ∃f.(∀s∈R^N.s~f(s)&∀s1,s2∈R^N.s1~s2⇒f(s1)=f(s2))&∀s1,s2,...,s100∈R^N.∃D1,D2,...,D100∈N.∃k∈{1,2,...,100}.∀i∈{1,2,...,100}.i≠k⇒si(Di)=f(si)(Di) これで文句ないね? 🦌君 君の完敗 君はいまここで死んだ・・・ http://rio2016.5ch.net/test/read.cgi/math/1717503315/489
490: 132人目の素数さん [sage] 2024/06/19(水) 09:30:39.11 ID:fW9ze4T/ >>466 ならそのことを論理式にきちんと入れろよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/490
491: 132人目の素数さん [] 2024/06/19(水) 13:43:13.02 ID:Amj20DQT >>490 あれ? まだ完敗認めてないの?女々しいね http://rio2016.5ch.net/test/read.cgi/math/1717503315/491
492: 132人目の素数さん [sage] 2024/06/19(水) 14:04:59.01 ID:p6GaXCmQ >>491 誰かと同一視してんの? 必要な情報書けば下らないツッコミなくなるだけなのに、なんで情報不足の論理式を頑なに使うの? 無意味な論理式だけ書くから恒等関数も満たす論理式になってるんだろwww http://rio2016.5ch.net/test/read.cgi/math/1717503315/492
493: 132人目の素数さん [] 2024/06/19(水) 14:50:52.42 ID:Amj20DQT カンニングくんは完敗したんだよ 認めなよ 女々しいよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/493
494: 132人目の素数さん [sage] 2024/06/19(水) 16:50:32.56 ID:LFY7arJo >>480 お前の頭の中にしかないものをどうやったらこっちが書けるんだよエスパーじゃねーんだぞ http://rio2016.5ch.net/test/read.cgi/math/1717503315/494
495: 132人目の素数さん [sage] 2024/06/19(水) 16:52:36.18 ID:LFY7arJo >>489 99/100はどこに消えたの? http://rio2016.5ch.net/test/read.cgi/math/1717503315/495
496: 132人目の素数さん [] 2024/06/19(水) 16:53:04.56 ID:Amj20DQT またそれか http://rio2016.5ch.net/test/read.cgi/math/1717503315/496
497: 132人目の素数さん [] 2024/06/19(水) 17:56:24.94 ID:Amj20DQT 100個中99個だからランダム選択すれば確率99/100 バカですか? http://rio2016.5ch.net/test/read.cgi/math/1717503315/497
498: 132人目の素数さん [] 2024/06/19(水) 17:57:12.61 ID:Amj20DQT 頑なに負けを認めないカンニングくん http://rio2016.5ch.net/test/read.cgi/math/1717503315/498
499: 132人目の素数さん [sage] 2024/06/19(水) 18:07:34.34 ID:nEr7nNy+ まあ∀x∃yx=yとか言った瞬間 🦌君🦁に食われて骨になっちゃったけど http://rio2016.5ch.net/test/read.cgi/math/1717503315/499
500: 132人目の素数さん [sage] 2024/06/19(水) 18:07:55.35 ID:nEr7nNy+ 南無阿弥陀佛 http://rio2016.5ch.net/test/read.cgi/math/1717503315/500
501: 132人目の素数さん [sage] 2024/06/19(水) 18:09:34.14 ID:LFY7arJo >>497 その結論を論理式にいれろよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/501
502: 132人目の素数さん [] 2024/06/19(水) 19:00:44.20 ID:Amj20DQT おまえ論理式すっきやなあ じゃあおまえがやれ http://rio2016.5ch.net/test/read.cgi/math/1717503315/502
503: 132人目の素数さん [sage] 2024/06/19(水) 19:08:38.91 ID:LFY7arJo ∀∃の順序以外でカンニングを定義できるならそれを披露すればいいじゃん http://rio2016.5ch.net/test/read.cgi/math/1717503315/503
504: 132人目の素数さん [] 2024/06/19(水) 19:30:43.29 ID:Amj20DQT なんで∀∃の順序とカンニングが関係すると思ったのか 独善妄想全開のバカ http://rio2016.5ch.net/test/read.cgi/math/1717503315/504
505: 132人目の素数さん [sage] 2024/06/19(水) 19:55:58.51 ID:LFY7arJo >>504 お前が考えてるカンニングしてないことの定義はなんなの? http://rio2016.5ch.net/test/read.cgi/math/1717503315/505
506: 132人目の素数さん [] 2024/06/19(水) 20:19:17.17 ID:Amj20DQT もう書いただろ おまえの頭はダチョウか? http://rio2016.5ch.net/test/read.cgi/math/1717503315/506
507: 132人目の素数さん [sage] 2024/06/19(水) 20:26:54.42 ID:LFY7arJo >>506 どこにあるの? まったく見た記憶ねーぞ http://rio2016.5ch.net/test/read.cgi/math/1717503315/507
508: 132人目の素数さん [] 2024/06/19(水) 20:34:38.81 ID:Amj20DQT やはりダチョウだった http://rio2016.5ch.net/test/read.cgi/math/1717503315/508
509: 132人目の素数さん [] 2024/06/19(水) 21:12:23.42 ID:nEr7nNy+ ∃f.(∀s∈R^N.s~f(s)&∀s1,s2∈R^N.s1~s2⇒f(s1)=f(s2)) これはカンニングではなくテレパシーという ESP(Extra Sensory Perception 超感覚的知覚) の技である・・・ http://rio2016.5ch.net/test/read.cgi/math/1717503315/509
510: 132人目の素数さん [] 2024/06/19(水) 21:14:41.41 ID:nEr7nNy+ いかなる無限列もその尻尾同値類の代表によって その無限列の決定番号から先の尻尾を復元できる http://rio2016.5ch.net/test/read.cgi/math/1717503315/510
511: 132人目の素数さん [sage] 2024/06/19(水) 21:24:08.33 ID:LFY7arJo 結局無いってことね 見た記憶まったくねーし http://rio2016.5ch.net/test/read.cgi/math/1717503315/511
512: 132人目の素数さん [sage] 2024/06/20(木) 21:12:38.65 ID:mv/oHk0/ というわけで、彼はカンニングとは何かも全く分かってないのに、∀の位置とカンニングは関係ないとか妄想を振りまいてたってこと http://rio2016.5ch.net/test/read.cgi/math/1717503315/512
513: 132人目の素数さん [sage] 2024/06/21(金) 22:30:44.64 ID:01HpcK9j これも本当にひどい 誰が読んでも記事の主張はなんらかの確率が99/100以上なのは自明なのに こいつのはsi(Di)=f(si)(Di) ほんと意味不明すぎ ∀と∃が色々並んでP(なんか)≧99/100 になるに決まってるだろ > 459 132人目の素数さん 2024/06/19(水) 01:57:39.13 ID:Amj20DQT > [箱入り無数目の主張] > ∃f.∀s1,s2,...,s100∈R^N.∃D1,D2,...,D100∈N.∃k∈{1,2,...,100}.∀i∈{1,2,...,100}.i≠k⇒si(Di)=f(si)(Di) > > i∈{1,2,...,100}をランダム選択したとき、P(i≠k)=99/100であり、i≠kならば「si(Di)はf(si)(Di)」と回答すれば正解となる。つまり勝率は99/100以上。 > ここで、Diはsiとは独立。si(1)~si(Di)が不明でもf(si)を特定できる。 > よってsi(Di)が不明でも上記回答は可能。よってカンニング不要。 > > はい、カンニング厨は完全敗北しました http://rio2016.5ch.net/test/read.cgi/math/1717503315/513
514: 132人目の素数さん [sage] 2024/06/22(土) 16:31:14.69 ID:yplR88Rp >>513 >∀と∃が色々並んでP(なんか)≧99/100 >になるに決まってるだろ 思考能力零の白知 http://rio2016.5ch.net/test/read.cgi/math/1717503315/514
515: 132人目の素数さん [sage] 2024/06/22(土) 23:54:28.43 ID:UJhE3etI な、こいつ真面目に考察する気がハナからないだろ http://rio2016.5ch.net/test/read.cgi/math/1717503315/515
516: 132人目の素数さん [] 2024/06/25(火) 08:31:23.29 ID:3+oYoQpe >>515 >∀と∃が色々並んでP(なんか)≧99/100 >になるに決まってるだろ 真面目に考察する気がある奴の書き込みには見えない http://rio2016.5ch.net/test/read.cgi/math/1717503315/516
517: 132人目の素数さん [] 2024/06/25(火) 08:39:59.09 ID:Fmds1mGh >>516 真面目かどうかはともかく 自己完結しているつもりなのだから 放っておくしかないのでは http://rio2016.5ch.net/test/read.cgi/math/1717503315/517
518: 132人目の素数さん [sage] 2024/06/25(火) 08:40:06.87 ID:DOyxQXr2 不思議なのは 「100列中決定番号が他の列のそれより大きい列はたかだか1列」 という発言に対して何もいわずスルーする点 99/100じゃない、というなら、そこを全力で否定するしかないんだが 否定できないなら、99/100って受け入れる以外ないんだが http://rio2016.5ch.net/test/read.cgi/math/1717503315/518
519: 132人目の素数さん [] 2024/06/25(火) 09:34:11.94 ID:Fmds1mGh 無矛盾なモデルの存在を誰が否定しているのか知らない http://rio2016.5ch.net/test/read.cgi/math/1717503315/519
520: 132人目の素数さん [] 2024/06/25(火) 10:44:26.26 ID:3+oYoQpe >>518 決定番号が分かってないからスルーするしかないのだろう http://rio2016.5ch.net/test/read.cgi/math/1717503315/520
521: 132人目の素数さん [] 2024/06/25(火) 11:08:21.23 ID:o6oqUU3B 選択公理が分かってないから同値類の代表をとる関数が分からず 代表との一致箇所の先頭をとる決定番号も分からん感じ? 関数の構成が分からんと全然理解できないって正真正銘の🐎🦌なのか? http://rio2016.5ch.net/test/read.cgi/math/1717503315/521
522: 132人目の素数さん [] 2024/06/25(火) 11:29:55.81 ID:3+oYoQpe どこで躓いてるか、あるいはハナから分かってないかは不明だけど ∀∃の話しかしないとこ見ると分かってないのは確か ∀x.∃y.・・・において、yはxに依存してよいが、mustではない だから∀が先頭にあるからといって必ずしもカンニングしているとは言えない (実際、箱入り無数目ではsi(Di)の値を一切使わずにsi(Di)の予想値を回答する手順が示されている) 独善的思い込みが正しいと信じて疑わない真正バカとしか言い様が無い http://rio2016.5ch.net/test/read.cgi/math/1717503315/522
523: 132人目の素数さん [sage] 2024/06/25(火) 11:33:47.55 ID:7erPYaRo >>522 まあ、分かってないでしょうね 彼は >実際、箱入り無数目ではsi(Di)の値を一切使わずにsi(Di)の予想値を回答する手順が示されている そこが分かってないというのは、尻尾同値類の代表の意味が分かってないんでしょうなぁ http://rio2016.5ch.net/test/read.cgi/math/1717503315/523
524: 132人目の素数さん [] 2024/06/25(火) 11:35:15.52 ID:Fmds1mGh 矛盾しないことを認めるということと 分かっていることは別 http://rio2016.5ch.net/test/read.cgi/math/1717503315/524
525: 132人目の素数さん [sage] 2024/06/25(火) 12:35:29.60 ID:x516CtEx 矛盾しないことを認められない奴は分かってない http://rio2016.5ch.net/test/read.cgi/math/1717503315/525
526: 132人目の素数さん [sage] 2024/06/25(火) 16:50:31.37 ID:L/OKht87 >>518 そう思うなら、正確に式変形で確率計算してみせろよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/526
527: 132人目の素数さん [] 2024/06/25(火) 16:57:50.51 ID:3+oYoQpe >>526 人に教えてもらおうって態度じゃないな http://rio2016.5ch.net/test/read.cgi/math/1717503315/527
528: 132人目の素数さん [] 2024/06/25(火) 16:58:48.64 ID:3+oYoQpe >>526 >そう思うなら おまえはそう思わないでおk? http://rio2016.5ch.net/test/read.cgi/math/1717503315/528
529: 132人目の素数さん [sage] 2024/06/25(火) 17:09:10.32 ID:L/OKht87 >>528 カンニングなしではならないだろ http://rio2016.5ch.net/test/read.cgi/math/1717503315/529
530: 132人目の素数さん [sage] 2024/06/25(火) 17:11:04.93 ID:L/OKht87 結局のところ、これを無視した計算なんて無意味なんだよ 157 132人目の素数さん sage 2024/06/11(火) 19:38:07.14 ID:+82XMG1Z 先頭に∀を置く←カンニングを容認した論理 先頭の∀を後ろに移動できない←カンニングしている証拠 後ろに∀を置く←カンニングを禁止する論理 なんでこれがわからないんだ? 意味がわからん http://rio2016.5ch.net/test/read.cgi/math/1717503315/530
531: 132人目の素数さん [] 2024/06/25(火) 18:02:56.91 ID:3+oYoQpe >>530 なんで先頭に∀を置くとカンニングを容認したことになるかを説明できないんだ? 意味がわからん http://rio2016.5ch.net/test/read.cgi/math/1717503315/531
532: 132人目の素数さん [] 2024/06/25(火) 18:04:34.61 ID:3+oYoQpe >>530 なぜかを説明できないことを力説されてもバカなのか?としか言い様が無い バカなのか? http://rio2016.5ch.net/test/read.cgi/math/1717503315/532
533: 132人目の素数さん [] 2024/06/25(火) 18:06:51.41 ID:3+oYoQpe >>530 なぜ説明できないか教えてやろうか 正しくないからだよ 正しくないことは正しいと説明し様が無い http://rio2016.5ch.net/test/read.cgi/math/1717503315/533
534: 132人目の素数さん [] 2024/06/25(火) 18:56:43.29 ID:O23ucaix >>525 矛盾しないことが理解できても それだけでは分かったことにならない http://rio2016.5ch.net/test/read.cgi/math/1717503315/534
535: 132人目の素数さん [sage] 2024/06/25(火) 19:52:14.67 ID:L/OKht87 >>531 一様連続と連続の違いを考えれば分かるだろ 他にももっと単純なゲームの定式化で練習してみろよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/535
536: 132人目の素数さん [] 2024/06/25(火) 20:04:29.21 ID:3+oYoQpe >>535 それでなんか説明したつもり? やはりバカか http://rio2016.5ch.net/test/read.cgi/math/1717503315/536
537: 132人目の素数さん [sage] 2024/06/25(火) 20:22:25.80 ID:L/OKht87 >>536 定式化に説明なんてあるかよ 現実に合ってるかどうかだろ http://rio2016.5ch.net/test/read.cgi/math/1717503315/537
538: 132人目の素数さん [] 2024/06/25(火) 20:28:11.19 ID:L90B29li ∀s∈S^N.∃r∈S^N.・・・ となってるからといって sの全ての項が必要(つまり、ある1つの項を変えたら、rが変わる) とはいえない 実際、sの尻尾同値類の代表rを取るのだから sの任意有限個の項が違っていてもrは同じである ここが分かってないと 「はじめに∀s∈S^Nと書いてあるからsの全部の項の情報が必要」 と馬鹿な誤解をして恥をかく http://rio2016.5ch.net/test/read.cgi/math/1717503315/538
539: 132人目の素数さん [sage] 2024/06/25(火) 20:38:15.51 ID:L/OKht87 >>538 使ってない箱の∀は後ろに移動できるだろ。なんでやらないの? その状態で論理式の末尾をどうやって99/100以上にするつもりなんだよって言ってるんだよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/539
540: 132人目の素数さん [] 2024/06/25(火) 20:55:09.87 ID:3+oYoQpe >>539 任意の出題列に対し成立する命題だから やはりバカだなおまえ http://rio2016.5ch.net/test/read.cgi/math/1717503315/540
541: 132人目の素数さん [] 2024/06/25(火) 20:57:02.49 ID:3+oYoQpe >>537 なぜ先頭に∀を置くとカンニングを容認したことになるかを説明しろって言ってんだよ とっとと説明しろバカ http://rio2016.5ch.net/test/read.cgi/math/1717503315/541
542: 132人目の素数さん [sage] 2024/06/25(火) 21:08:01.93 ID:L/OKht87 >>541 こっちはそれをカンニングの定義にしてるんだよ お前のカンニングの定義が違うだけだろ カンニングとはなんなのか説明してみろよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/542
543: 132人目の素数さん [sage] 2024/06/25(火) 21:11:15.52 ID:L/OKht87 >>541 その理由で先頭に∀を置くのが許されるなら、箱1個の場合でも攻略できることになるだろ ∀x.∃y. x=y は示せるんだから http://rio2016.5ch.net/test/read.cgi/math/1717503315/543
544: 132人目の素数さん [] 2024/06/25(火) 21:14:40.70 ID:3+oYoQpe >>542 なんだ ただのクソ定義か アホくさ http://rio2016.5ch.net/test/read.cgi/math/1717503315/544
545: 132人目の素数さん [] 2024/06/25(火) 21:16:43.56 ID:3+oYoQpe >>542 おまえのクソ定義興味無いからどっか行けよ スレが臭くなる シッシ http://rio2016.5ch.net/test/read.cgi/math/1717503315/545
546: 132人目の素数さん [sage] 2024/06/25(火) 21:28:59.60 ID:L/OKht87 >>544 君はカンニングの定義もないのに攻略法だとのたまってるの? http://rio2016.5ch.net/test/read.cgi/math/1717503315/546
547: 132人目の素数さん [] 2024/06/25(火) 21:43:42.82 ID:3+oYoQpe 聞こえんのか? 臭いからどっか行け http://rio2016.5ch.net/test/read.cgi/math/1717503315/547
548: 132人目の素数さん [sage] 2024/06/25(火) 22:02:13.07 ID:L/OKht87 攻略法(カンニング)w http://rio2016.5ch.net/test/read.cgi/math/1717503315/548
549: 132人目の素数さん [] 2024/06/25(火) 22:06:55.93 ID:3+oYoQpe カンニングが攻略法になると思ってるバカに箱入り無数目は理解できんよ いいからどっか行け くせーんだよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/549
550: 132人目の素数さん [sage] 2024/06/25(火) 22:12:32.79 ID:L/OKht87 >>549 攻略法にならないからカンニングしてもいいって言ってるの? http://rio2016.5ch.net/test/read.cgi/math/1717503315/550
551: 132人目の素数さん [] 2024/06/25(火) 22:14:59.79 ID:3+oYoQpe カンニングが良い訳無いだろアホ カンニング常習犯のおまえと一緒にすんな http://rio2016.5ch.net/test/read.cgi/math/1717503315/551
552: 132人目の素数さん [sage] 2024/06/25(火) 22:16:18.31 ID:L/OKht87 カンニングって何? 分からないから説明してよ 定義は? http://rio2016.5ch.net/test/read.cgi/math/1717503315/552
553: 132人目の素数さん [] 2024/06/25(火) 23:03:51.49 ID:3+oYoQpe 分からないなら辞書引け http://rio2016.5ch.net/test/read.cgi/math/1717503315/553
554: 132人目の素数さん [sage] 2024/06/25(火) 23:08:52.84 ID:L/OKht87 定義を聞いてるんですけど? http://rio2016.5ch.net/test/read.cgi/math/1717503315/554
555: 132人目の素数さん [] 2024/06/25(火) 23:21:45.82 ID:3+oYoQpe 聞こえんのか? 臭いからどっか行け http://rio2016.5ch.net/test/read.cgi/math/1717503315/555
556: 132人目の素数さん [sage] 2024/06/26(水) 00:02:56.52 ID:tkh8e6AK え、定義を答えられないのにカンニングがどーとか言ってたの? http://rio2016.5ch.net/test/read.cgi/math/1717503315/556
557: 132人目の素数さん [] 2024/06/26(水) 00:39:28.06 ID:Eq6apaXC 聞こえんのか? 臭いからどっか行け http://rio2016.5ch.net/test/read.cgi/math/1717503315/557
558: 132人目の素数さん [sage] 2024/06/26(水) 00:58:38.32 ID:tkh8e6AK え、定義を答えられないのにカンニングがどーとか言ってたの? http://rio2016.5ch.net/test/read.cgi/math/1717503315/558
559: 132人目の素数さん [] 2024/06/26(水) 01:53:17.45 ID:Eq6apaXC 聞こえんのか? 臭いからどっか行け http://rio2016.5ch.net/test/read.cgi/math/1717503315/559
560: 132人目の素数さん [sage] 2024/06/26(水) 02:06:38.90 ID:tkh8e6AK 頭大丈夫? セミナーの準備のしかたちゃんと摂取してる? http://rio2016.5ch.net/test/read.cgi/math/1717503315/560
561: 132人目の素数さん [sage] 2024/06/26(水) 05:57:14.33 ID:cZJplG6L >>539 >使ってない箱の∀は後ろに移動できるだろ。なんでやらないの? どの箱も後ろに移動できるが、全部を移動することができないから 無限個の箱の任意有限個は移動できる どの箱も任意有限個の中に含めることができるから、その箱を移動させることはできる 箱全部は無限個、だから移動できない >>541 >こっちはそれをカンニングの定義にしてるんだよ その定義が間違ってる カンニングの定義は「中身を見ること」 ∀x∈R^Nと書いたからといって、xのどの項も見なければならない、といえない だから L/OKht87 君のカンニングの定義は間違ってる 述語論理の初歩もわからんただの馬鹿だったな 君 http://rio2016.5ch.net/test/read.cgi/math/1717503315/561
562: 132人目の素数さん [sage] 2024/06/26(水) 06:38:57.08 ID:cZJplG6L >セミナーの準備のしかたちゃんと摂取してる? カンニング野郎が大学のセミナー務まってるとはおもえんな 教授にまっさきにつっこまれて炎上する馬鹿の役どころだろ http://rio2016.5ch.net/test/read.cgi/math/1717503315/562
563: 132人目の素数さん [sage] 2024/06/26(水) 07:04:31.52 ID:tkh8e6AK >>561 > カンニングの定義は「中身を見ること」 言葉を言い換えて未定義語を増やしてるだけ 「中身を見ること」の定義は何? http://rio2016.5ch.net/test/read.cgi/math/1717503315/563
564: 132人目の素数さん [] 2024/06/26(水) 07:11:47.91 ID:Eq6apaXC 聞こえんのか? 臭いからどっか行け http://rio2016.5ch.net/test/read.cgi/math/1717503315/564
565: 132人目の素数さん [] 2024/06/26(水) 07:19:25.39 ID:Eq6apaXC 「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる. どんな実数を入れるかはまったく自由,例えばn番目の箱にe^nを入れてもよいし,すべての箱にnを入れてもよい. もちろんでたらめだって構わない.そして箱をみな閉じる. 今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが,一つの箱は開けずに閉じたまま残さねばならぬとしよう. どの箱を閉じたまま残すかはあなたが決めうる. 勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら,あなたの勝ち. さもなくば負け. 勝つ戦略はあるでしょうか?」 問題文の中に「箱を開けて中を覗く」とある おまえの屁理屈によると「箱を開けて中を覗く」は未定義なので、そもそも問題自体が未定義ということになる じゃあなんでこのスレに来んだよ くせーからどっか行けよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/565
566: 132人目の素数さん [] 2024/06/26(水) 07:21:02.31 ID:Eq6apaXC 必ずいるよね 数学でかなわないと定義は?定義は?と屁理屈捏ねるアホw http://rio2016.5ch.net/test/read.cgi/math/1717503315/566
567: 132人目の素数さん [sage] 2024/06/26(水) 08:03:32.16 ID:54wgC/GB >>563 >「中身を見ること」の定義は何? ∀x∃y・・・で、xが違えば、yに違いが生じる場合、yを求めるのにxの中身を見る必要がある ここでx∈S^Nとする場合、S^Nに属する無限列は無限個の項を持つが そのうち任意有限個の項が違ったとしても、xが属する尻尾同値類の代表yに変化は生じない 当てるべき箱1つを開けまいが、yは求まるので、xをカンニングする必要が全くない だからといって、∃y∀xとできるかと言えば、それは無理 あくまでx∈S^Nの中の任意有限個の項に依存しないのであって、 x∈S^Nに全く依存しないわけではない したがってxの尻尾(任意有限長の頭を切った残り)を知る必要がある 当てるべき箱は切り落とした頭のほうにあるから、知る必要はない そして運が良ければ代表から、切り落とした頭のいくらかは「復元」できる ここでいう運が良い場合は、元の無限列の決定番号が、尻尾の先頭位置より小さい場合 http://rio2016.5ch.net/test/read.cgi/math/1717503315/567
568: 132人目の素数さん [] 2024/06/26(水) 08:58:09.84 ID:Eq6apaXC ∀x.∃y.xy=1 証明:y=1/x とすればよい(yはxに依存) ∀x.∃y.xy=0 証明:y=0 とすればよい(yはxに非依存) このようにyはxに依存してもしなくてもよい よって∀が先頭だからといって必ずしもカンニングしてるとは言えない http://rio2016.5ch.net/test/read.cgi/math/1717503315/568
569: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2024/06/26(水) 09:44:20.20 ID:0phFSFoI <繰り返す> https://rio2016.5ch.net/test/read.cgi/math/1710632805/887 (スレ18) ・箱が一つ、サイコロの出目の数字を入れる。これを、確率変数Xとして扱う ・箱が二つ、サイコロの出目の数字を入れる。これを、確率変数X1,X2として扱う ・箱がn個、サイコロの出目の数字を入れる。これを、確率変数X1,X2,・・,Xnとして扱う ・箱が可算個、サイコロの出目の数字を入れる。これを、確率変数X1,X2,・・,Xn・・として扱う 大学学部確率論の範囲だろう。ちゃんと勉強して単位を取った者なら分かる iid(独立同分布)として扱える。どの箱の的中確率も1/6 ちゃんと勉強して単位を取った者なら分かる このスタートラインに立てない 数学科オチコボレさんを相手にしても、しかたないw ;p) http://rio2016.5ch.net/test/read.cgi/math/1717503315/569
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 433 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.022s