前スレが1000近く又は1000超えになったので、新スレを立てる
(”ヘンテコスレ”が別にあります https://rio2016.5ch.io/test/read.cgi/math/1711570726/ 箱入り無数目を語る部屋19 )
https://rio2016.5ch.io/test/read.cgi/math/1788330573/
前スレ スレタイ箱入り無数目を語る部屋33(あほ二人の”アナグマの姿焼き"Part7w)
(参考)時枝記事
https://imgur.com/uMqtRwr
時枝 箱入り無数目(数学セミナー201511月号の記事)の最初
https://imgur.com/YAdz2Mz
時枝 箱入り無数目(数学セミナー201511月号の記事)の後
数学セミナー201511月号「箱入り無数目」
https://rio2016.5ch.io/test/read.cgi/math/1620904362/401-406 純粋・応用数学(含むガロア理論)8 より
1.時枝問題(数学セミナー201511月号の記事)の最初の設定はこうだった。
「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる.
どんな実数を入れるかはまったく自由,例えばn番目の箱にe^nを入れてもよいし,すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが,一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら,あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
2.続けて時枝はいう
私たちのやろうとすることは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などは下付添え字
つづく
スレタイ箱入り無数目を語る部屋34(あほ二人の”アナグマの姿焼き"Part8w)
レス数が950を超えています。1000を超えると書き込みができなくなります。
1132人目の素数さん
2026/09/10(木) 20:48:07.13ID:t7Urne4X925132人目の素数さん
2026/09/21(月) 09:24:53.42ID:5JT2S7JE >>923
>残念でしたw
君の理解力の無さが?
なぜ
>「R^N/〜 の代表系を選んだ箇所で選択公理を使っている.
>その結果R^N →R^N/〜 の切断は非可測になる.
>ここは有名なヴィタリのルベーグ非可測集合の例(Q/Zを「差が有理数」で類別した代表系, 1905年)にそっくりである.」
が
>Ωは最初から{1,…,100}だと言っている
の反論になるのか理解不能なので、説明してみて
>残念でしたw
君の理解力の無さが?
なぜ
>「R^N/〜 の代表系を選んだ箇所で選択公理を使っている.
>その結果R^N →R^N/〜 の切断は非可測になる.
>ここは有名なヴィタリのルベーグ非可測集合の例(Q/Zを「差が有理数」で類別した代表系, 1905年)にそっくりである.」
が
>Ωは最初から{1,…,100}だと言っている
の反論になるのか理解不能なので、説明してみて
926132人目の素数さん
2026/09/21(月) 09:30:08.74ID:9EJe2QGU >>918
>箱入り無数目前半の
>時枝さんの主張は
>選択公理を使えば
>Ω=R^N
> ↓
>Ω'={1,…,100}一様分布
>にできる
>と言っている
>そこは同意だ
まったく見当違い
Ω=R^N
↓
Ω'={1,…,100}一様分布
は、出題者が実際にやってることだから
選択公理とは全く無関係に可能
選択公理を使ってるのは
R^Nの尻尾同値類から代表元をとるところ
最初から全然理解できてないね
落第な
>が、数学として 真面目に考えて
>選択公理では それは実現できていない
もしかして、出題者は
R^Nから具体的に要素を選んで
出題することすらできない
といってる?
>”測度の保存を破っている”
> というのが 標語的な言い方かも
言い方に拘るのが🐎🦌素人
>そこらを、選択公理の ”めくらまし”で
>誤魔化しているだけ
>大学の測度論による確率論に疎いと
>誤魔化される
選択公理を理解できない君が誤魔化されてる
出題者による100列の出題は選択公理なしに実行可能
>下記 を百回音読してね
何回音読しても理解できない君は
数学ムリだから諦めよう
>箱入り無数目前半の
>時枝さんの主張は
>選択公理を使えば
>Ω=R^N
> ↓
>Ω'={1,…,100}一様分布
>にできる
>と言っている
>そこは同意だ
まったく見当違い
Ω=R^N
↓
Ω'={1,…,100}一様分布
は、出題者が実際にやってることだから
選択公理とは全く無関係に可能
選択公理を使ってるのは
R^Nの尻尾同値類から代表元をとるところ
最初から全然理解できてないね
落第な
>が、数学として 真面目に考えて
>選択公理では それは実現できていない
もしかして、出題者は
R^Nから具体的に要素を選んで
出題することすらできない
といってる?
>”測度の保存を破っている”
> というのが 標語的な言い方かも
言い方に拘るのが🐎🦌素人
>そこらを、選択公理の ”めくらまし”で
>誤魔化しているだけ
>大学の測度論による確率論に疎いと
>誤魔化される
選択公理を理解できない君が誤魔化されてる
出題者による100列の出題は選択公理なしに実行可能
>下記 を百回音読してね
何回音読しても理解できない君は
数学ムリだから諦めよう
927132人目の素数さん
2026/09/21(月) 09:36:39.75ID:5JT2S7JE >>922
>実数r∈[0,1]を考えるときは、測度論からは 当然 有限の区間を考える必要がある
大嘘。
測度にそんな制約は無い。実際{r}はルベーグ測度0つまりルベーグ可測だから「有限の区間を考える必要がある」はまったく当たらない。
濃度1の{r}どころか非可算濃度のカントール集合もルベーグ測度0つまりルベーグ可測。
>実数r∈[0,1]を考えるときは、測度論からは 当然 有限の区間を考える必要がある
大嘘。
測度にそんな制約は無い。実際{r}はルベーグ測度0つまりルベーグ可測だから「有限の区間を考える必要がある」はまったく当たらない。
濃度1の{r}どころか非可算濃度のカントール集合もルベーグ測度0つまりルベーグ可測。
928132人目の素数さん
2026/09/21(月) 09:37:29.42ID:9EJe2QGU >>923
>「R^N/〜 の代表系を選んだ箇所で選択公理を使っている.
>その結果R^N →R^N/〜 の切断は非可測になる.」
>>925も言ってるけど、それ、
Ω=R^N
↓
Ω'={1,…,100}一様分布
と無関係。Ω→Ω'のうち
・「数列全体から数列100列への限定」は出題者の出題
・「数列100列から1列を一様選択」は回答者の行為
で、どちらも、選択公理なしに実行可能
選択公理が必要なのは
数列からその尻尾同値類の代表を選ぶ箇所
なお、数列全体がわからなくても
任意箇所以降の尻尾がわかれば
代表を選ぶことはできる
そして、どの箇所から先の尻尾でも
かならず同じ代表が選べる
つまり、尻尾の開始箇所によって
異なる代表が選ばれることはない
ここ誤解すると
箱入り無数目は間違ってると吠える
トンデモ野郎になりさがる
>「R^N/〜 の代表系を選んだ箇所で選択公理を使っている.
>その結果R^N →R^N/〜 の切断は非可測になる.」
>>925も言ってるけど、それ、
Ω=R^N
↓
Ω'={1,…,100}一様分布
と無関係。Ω→Ω'のうち
・「数列全体から数列100列への限定」は出題者の出題
・「数列100列から1列を一様選択」は回答者の行為
で、どちらも、選択公理なしに実行可能
選択公理が必要なのは
数列からその尻尾同値類の代表を選ぶ箇所
なお、数列全体がわからなくても
任意箇所以降の尻尾がわかれば
代表を選ぶことはできる
そして、どの箇所から先の尻尾でも
かならず同じ代表が選べる
つまり、尻尾の開始箇所によって
異なる代表が選ばれることはない
ここ誤解すると
箱入り無数目は間違ってると吠える
トンデモ野郎になりさがる
929132人目の素数さん
2026/09/21(月) 09:44:41.75ID:xILdna1i [1] arXiv:2609.20675 [pdf, html, other]
Limit theorems for Coulomb gases on a Jordan curve in an external potential
Kurt Johansson, Thomas Wolfs
Comments: 45 pages
Subjects: Complex Variables (math.CV)
[2] arXiv:2609.20607 [pdf, html, other]
On Simply Connected Domains Supporting an Unbounded Analytic Function with Bounded Derivative
Cameron MacMahon
Comments: 15 Pages, 4 Figures
Subjects: Complex Variables (math.CV)
[3] arXiv:2609.20288 [pdf, other]
Coefficient estimates and Hankel determinant for the class of leaf shaped starlike function
Shantanu Panja, Abhijit Banerjee, Sujoy Majumder
Subjects: Complex Variables (math.CV)
[4] arXiv:2609.20256 [pdf, html, other]
Sendov's conjecture holds for every degree n≥10200000
Teng Zhang
Comments: 29 pages. All comments are welcome!
Subjects: Complex Variables (math.CV)
[5] arXiv:2609.20196 [pdf, html, other]
Rigidity of symmetric holomorphic functions on infinite-dimensional sequence spaces
David Feldman, Jon Bannon
Comments: Comments welcome!
Subjects: Complex Variables (math.CV)
Limit theorems for Coulomb gases on a Jordan curve in an external potential
Kurt Johansson, Thomas Wolfs
Comments: 45 pages
Subjects: Complex Variables (math.CV)
[2] arXiv:2609.20607 [pdf, html, other]
On Simply Connected Domains Supporting an Unbounded Analytic Function with Bounded Derivative
Cameron MacMahon
Comments: 15 Pages, 4 Figures
Subjects: Complex Variables (math.CV)
[3] arXiv:2609.20288 [pdf, other]
Coefficient estimates and Hankel determinant for the class of leaf shaped starlike function
Shantanu Panja, Abhijit Banerjee, Sujoy Majumder
Subjects: Complex Variables (math.CV)
[4] arXiv:2609.20256 [pdf, html, other]
Sendov's conjecture holds for every degree n≥10200000
Teng Zhang
Comments: 29 pages. All comments are welcome!
Subjects: Complex Variables (math.CV)
[5] arXiv:2609.20196 [pdf, html, other]
Rigidity of symmetric holomorphic functions on infinite-dimensional sequence spaces
David Feldman, Jon Bannon
Comments: Comments welcome!
Subjects: Complex Variables (math.CV)
930132人目の素数さん
2026/09/21(月) 09:46:20.59ID:xILdna1i [1] arXiv:2609.19522 [pdf, html, other]
Holomorphic motions, Assouad dimension and quasiconformal mappings
Katheryn Menssen, Malik Younsi
Comments: 23 pages
Subjects: Complex Variables (math.CV)
We study the variation of the quasi-Assouad dimension of a set moving under a holomorphic
motion. We show that the reciprocal of the quasi-Assouad dimension is inf-harmonic
in the sense of Fuhrer--Ransford--Younsi. As a consequence, we obtain quasiconformal
distortion bounds for quasi-Assouad dimension as well as an improved version of Smirnov's
celebrated theorem on the dimension of quasicircles. Our approach is elementary
in that it does not require optimal Sobolev regularity for quasiconformal mappings.
[2] arXiv:2609.19609 [pdf, html, other]
Holomorphic motions, Assouad dimension and quasiconformal mappings
Katheryn Menssen, Malik Younsi
Comments: 23 pages
Subjects: Complex Variables (math.CV)
We study the variation of the quasi-Assouad dimension of a set moving under a holomorphic
motion. We show that the reciprocal of the quasi-Assouad dimension is inf-harmonic
in the sense of Fuhrer--Ransford--Younsi. As a consequence, we obtain quasiconformal
distortion bounds for quasi-Assouad dimension as well as an improved version of Smirnov's
celebrated theorem on the dimension of quasicircles. Our approach is elementary
in that it does not require optimal Sobolev regularity for quasiconformal mappings.
[2] arXiv:2609.19609 [pdf, html, other]
931132人目の素数さん
2026/09/21(月) 09:47:08.13ID:xILdna1i #1 Limit theorems for Coulomb gases on a Jordan curve in an external potential [PDF] [Copy] [Kimi] [REL]
Authors: Kurt Johansson, Thomas Wolfs
We consider a Coulomb gas on a Jordan curve γ
in an external potential V
at inverse temperature β>0
and obtain an asymptotic expansion of the free energy up to o(1)
and a central limit theorem for linear statistics. We focus on the one-cut regime, where the density of the weighted equilibrium measure of γ
in V
is strictly positive on γ
. The constant term in the (normalized) expansion consists of two parts: the Fredholm determinant of a generalized Grunsky operator and the Dirichlet energy of the logarithm of the density of the weighted equilibrium measure of γ
. The coefficient of the latter vanishes for β=2
. The variance of the fluctuations of the linear statistics only depends on the Dirichlet energy of the test function and is therefore independent of V
. Essential in our approach is that the generalized Grunsky operator and the accompanying equilibrium parametrization allow us to transport the particles on the curve in the external potential to a reference object in a way that preserves the equilibrium measure. In our setting, the unit circle is the natural reference object.
Subject: Complex Variables
Authors: Kurt Johansson, Thomas Wolfs
We consider a Coulomb gas on a Jordan curve γ
in an external potential V
at inverse temperature β>0
and obtain an asymptotic expansion of the free energy up to o(1)
and a central limit theorem for linear statistics. We focus on the one-cut regime, where the density of the weighted equilibrium measure of γ
in V
is strictly positive on γ
. The constant term in the (normalized) expansion consists of two parts: the Fredholm determinant of a generalized Grunsky operator and the Dirichlet energy of the logarithm of the density of the weighted equilibrium measure of γ
. The coefficient of the latter vanishes for β=2
. The variance of the fluctuations of the linear statistics only depends on the Dirichlet energy of the test function and is therefore independent of V
. Essential in our approach is that the generalized Grunsky operator and the accompanying equilibrium parametrization allow us to transport the particles on the curve in the external potential to a reference object in a way that preserves the equilibrium measure. In our setting, the unit circle is the natural reference object.
Subject: Complex Variables
932132人目の素数さん
2026/09/21(月) 09:48:06.14ID:xILdna1i #1 Limit theorems for Coulomb gases on a Jordan curve in an external potential [PDF] [Copy] [Kimi] [REL]
Authors: Kurt Johansson, Thomas Wolfs
We consider a Coulomb gas on a Jordan curve γ
in an external potential V
at inverse temperature β>0
and obtain an asymptotic expansion of the free energy up to o(1)
and a central limit theorem for linear statistics. We focus on the one-cut regime, where the density of the weighted equilibrium measure of γ
in V
is strictly positive on γ
. The constant term in the (normalized) expansion consists of two parts: the Fredholm determinant of a generalized Grunsky operator and the Dirichlet energy of the logarithm of the density of the weighted equilibrium measure of γ
. The coefficient of the latter vanishes for β=2
. The variance of the fluctuations of the linear statistics only depends on the Dirichlet energy of the test function and is therefore independent of V
. Essential in our approach is that the generalized Grunsky operator and the accompanying equilibrium parametrization allow us to transport the particles on the curve in the external potential to a reference object in a way that preserves the equilibrium measure. In our setting, the unit circle is the natural reference object.
Subject: Complex Variables
Authors: Kurt Johansson, Thomas Wolfs
We consider a Coulomb gas on a Jordan curve γ
in an external potential V
at inverse temperature β>0
and obtain an asymptotic expansion of the free energy up to o(1)
and a central limit theorem for linear statistics. We focus on the one-cut regime, where the density of the weighted equilibrium measure of γ
in V
is strictly positive on γ
. The constant term in the (normalized) expansion consists of two parts: the Fredholm determinant of a generalized Grunsky operator and the Dirichlet energy of the logarithm of the density of the weighted equilibrium measure of γ
. The coefficient of the latter vanishes for β=2
. The variance of the fluctuations of the linear statistics only depends on the Dirichlet energy of the test function and is therefore independent of V
. Essential in our approach is that the generalized Grunsky operator and the accompanying equilibrium parametrization allow us to transport the particles on the curve in the external potential to a reference object in a way that preserves the equilibrium measure. In our setting, the unit circle is the natural reference object.
Subject: Complex Variables
933132人目の素数さん
2026/09/21(月) 09:48:23.10ID:xILdna1i Chern-Ricci flow on Kato surfaces
Daniele Angella, Mauricio Corrêa
Subjects: Differential Geometry (math.DG); Complex Variables (math.CV)
Daniele Angella, Mauricio Corrêa
Subjects: Differential Geometry (math.DG); Complex Variables (math.CV)
934132人目の素数さん
2026/09/21(月) 09:50:43.47ID:xILdna1i Subjects: Complex Variables (math.CV)
[33] arXiv:2609.15459 [pdf, html, other]
Discrete q-Hermitian Clifford analysis
Baruch Schneider, Diana Schneiderová, Yifan Zhang
Subjects: Complex Variables (math.CV)
[34] arXiv:2609.15336 [pdf, html, other]
Optimal Linear Dependence on Boundary Type for Local Gromov Hyperbolicity of the Kobayashi Metric
Cheng Lou, Jianyong Qiao, Hongyu Wang, yumin Zhong
Subjects: Complex Variables (math.CV)
[35] arXiv:2609.15088 [pdf, html, other]
Asymptotic expansions of L2-extension indices and curvature positivity
Takahiro Inayama
Comments: 16 pages, v1
Subjects: Complex Variables (math.CV)
[36] arXiv:2609.15075 [pdf, html, other]
Partial positivity is not preserved by marginalization
Takahiro Inayama
Comments: 12 pages, v1
Subjects: Complex Variables (math.CV)
[33] arXiv:2609.15459 [pdf, html, other]
Discrete q-Hermitian Clifford analysis
Baruch Schneider, Diana Schneiderová, Yifan Zhang
Subjects: Complex Variables (math.CV)
[34] arXiv:2609.15336 [pdf, html, other]
Optimal Linear Dependence on Boundary Type for Local Gromov Hyperbolicity of the Kobayashi Metric
Cheng Lou, Jianyong Qiao, Hongyu Wang, yumin Zhong
Subjects: Complex Variables (math.CV)
[35] arXiv:2609.15088 [pdf, html, other]
Asymptotic expansions of L2-extension indices and curvature positivity
Takahiro Inayama
Comments: 16 pages, v1
Subjects: Complex Variables (math.CV)
[36] arXiv:2609.15075 [pdf, html, other]
Partial positivity is not preserved by marginalization
Takahiro Inayama
Comments: 12 pages, v1
Subjects: Complex Variables (math.CV)
935132人目の素数さん
2026/09/21(月) 09:52:01.70ID:9EJe2QGU >>919
>札つきロジックだと ある箱が確率1/2となる
「ある箱である目が出る確率が1/2となる」
と読んだなら、その読解が誤り
ここ誤解すると
箱入り無数目は間違ってると吠える
トンデモ野郎になりさがる
>札つきロジックだと ある箱が確率1/2となる
「ある箱である目が出る確率が1/2となる」
と読んだなら、その読解が誤り
ここ誤解すると
箱入り無数目は間違ってると吠える
トンデモ野郎になりさがる
936132人目の素数さん
2026/09/21(月) 09:52:24.07ID:xILdna1i #3 Coefficient estimates and Hankel determinant for the class of leaf shaped starlike function [PDF] [Copy] [Kimi] [REL]
Authors: Shantanu Panja, Abhijit Banerjee, Sujoy Majumder
In this paper, we study a Ma--Minda type subclass of starlike functions associated with the normalized arcsine function φ(z)=1+2πarcsinz.
Using the Carathéodory function approach together with sharp coefficient estimates for Schwarz functions, we obtain explicit sharp bounds for the initial Taylor coefficients and logarithmic coefficients of functions in this class. We also derive a sharp estimate for the second Hankel determinant H2,2(f)
, as well as for the Hankel determinants H2,1(Ff/2)
and H2,1(Ff−1/2)
associated with the logarithmic coefficients of a function and its inverse. In addition, we establish a sharp bound for a difference involving logarithmic coefficients. The extremal functions for all the main results are identified, confirming the sharpness of the estimates.
Subject: Complex Variables
Authors: Shantanu Panja, Abhijit Banerjee, Sujoy Majumder
In this paper, we study a Ma--Minda type subclass of starlike functions associated with the normalized arcsine function φ(z)=1+2πarcsinz.
Using the Carathéodory function approach together with sharp coefficient estimates for Schwarz functions, we obtain explicit sharp bounds for the initial Taylor coefficients and logarithmic coefficients of functions in this class. We also derive a sharp estimate for the second Hankel determinant H2,2(f)
, as well as for the Hankel determinants H2,1(Ff/2)
and H2,1(Ff−1/2)
associated with the logarithmic coefficients of a function and its inverse. In addition, we establish a sharp bound for a difference involving logarithmic coefficients. The extremal functions for all the main results are identified, confirming the sharpness of the estimates.
Subject: Complex Variables
937132人目の素数さん
2026/09/21(月) 10:10:11.13ID:9EJe2QGU 選択公理による代表元の選出を認めた上で
「箱入り無数目でも絶対にあたりっこない」と主張するには
「選んだ列の決定番号が100列中かならず単独最大になる」
と示せなければならない
100人がそれぞれ異なる100列を選んで
全員がそうなることは絶対にない
そうなるのは
「100人がそれぞれ異なる選択関数を用いる場合」
しかありえず、一つの選択関数を用いる題意に反する
例えば
「回答者がその場で得た情報からランダムに代表元を選ぶ」
とかいうのは、選択公理を無視しており誤りである
「箱入り無数目でも絶対にあたりっこない」と主張するには
「選んだ列の決定番号が100列中かならず単独最大になる」
と示せなければならない
100人がそれぞれ異なる100列を選んで
全員がそうなることは絶対にない
そうなるのは
「100人がそれぞれ異なる選択関数を用いる場合」
しかありえず、一つの選択関数を用いる題意に反する
例えば
「回答者がその場で得た情報からランダムに代表元を選ぶ」
とかいうのは、選択公理を無視しており誤りである
938132人目の素数さん
2026/09/21(月) 10:17:43.28ID:5JT2S7JE 「ある箱の中身を当てる確率を99/100以上にできる」
は誤読
「中身を当てる確率が99/100以上となるように箱選択できる」
が正しい読み方
つまり99/100以上とは「正解の実数を実数全体から選ぶ確率」ではなく「正解の箱を100箱から選ぶ確率」。正解の箱は99箱以上ある。
は誤読
「中身を当てる確率が99/100以上となるように箱選択できる」
が正しい読み方
つまり99/100以上とは「正解の実数を実数全体から選ぶ確率」ではなく「正解の箱を100箱から選ぶ確率」。正解の箱は99箱以上ある。
939132人目の素数さん
2026/09/21(月) 10:22:02.19ID:5JT2S7JE 要するにおサルさんは、まったく明後日な確率について「そんなことが成立するはずない!」と喚いているだけのこと。
まずは Ω={1,2,・・・,100} を認めなさい。話はそれからだ。
まずは Ω={1,2,・・・,100} を認めなさい。話はそれからだ。
940132人目の素数さん
2026/09/21(月) 10:28:05.01ID:9EJe2QGU 決定番号の分布が確率分布でないとして
箱の番号を選ぶ分布を決定番号の分布から構成することで
選んだ箱の番号が決定番号より小さくなるようにできるかもしれない
というのが箱入り無数目のトリックのいやらしい点
(「できるかもしれない」というのは
確率分布の場合成り立つことを
一般化できるかもしれない、の意)
箱の番号を選ぶ分布を決定番号の分布から構成することで
選んだ箱の番号が決定番号より小さくなるようにできるかもしれない
というのが箱入り無数目のトリックのいやらしい点
(「できるかもしれない」というのは
確率分布の場合成り立つことを
一般化できるかもしれない、の意)
941132人目の素数さん
2026/09/21(月) 10:43:00.60ID:5JT2S7JE それ言うとおサルはますます混乱する
もっと単純なところで誤解してるから
もっと単純なところで誤解してるから
942132人目の素数さん
2026/09/21(月) 11:38:14.79ID:Urlt9ysy 次スレ立てた
ここを使い切ったら 次スレへ
https://rio2016.5ch.io/test/read.cgi/math/1789954413/
スレタイ箱入り無数目を語る部屋35(あほ二人の”アナグマの姿焼き"Part9w)
ここを使い切ったら 次スレへ
https://rio2016.5ch.io/test/read.cgi/math/1789954413/
スレタイ箱入り無数目を語る部屋35(あほ二人の”アナグマの姿焼き"Part9w)
943現代数学の系譜 雑談 ◆yH25M02vWFhP
2026/09/21(月) 11:58:47.18ID:Urlt9ysy >>940
(引用開始)
決定番号の分布が確率分布でないとして
箱の番号を選ぶ分布を決定番号の分布から構成することで
選んだ箱の番号が決定番号より小さくなるようにできるかもしれない
というのが箱入り無数目のトリックのいやらしい点
(「できるかもしれない」というのは
確率分布の場合成り立つことを
一般化できるかもしれない、の意)
(引用終り)
ふっふ、ほっほ
1)その話は >>864に書いた 即ち
(引用開始)
さて、上記での現代数学確率論での無定義用語”ランダム”の問題を 取り上げるよ
下記 Vitali setを [0, 1]に集めた集合から、”ランダム”に x,yを取る(簡便にx≠yを仮定する)
x<y 又は x>y のどちらかだ。ゆえに 確率 P(x<y) =1/2は、正しいか? 正しくないと思う数学徒が殆どだろう
この説明の対比として、[0, 1]の一様分布の任意実数を考えよう x,y ∈[0, 1]として
あとは 同様で 確率 P(x<y) =1/2は、正しい(∵ 簡便に 正方形[0, 1]x[0, 1] で 点(x,y) の分布を考えると
x<y の占める面積は 正方形[0, 1]x[0, 1]で 対角線 x=y より上半分で 1/2)■
この議論は、可測だから可だが Vitali setではどうか?
同じように 正方形[0, 1]x[0, 1]中の 点(x,y) x,y ∈Vitali[0, 1] とすると
当然 正方形[0, 1]x[0, 1]中の面積は 非可測で 測度論に乗らないから まずい
さて、話は変るが x,y ∈Vitali[0, 1]で、具体的な数 例えば x=π-3 ≒0.14・・とy=π^2-9≒0.95・・と
で x<y 成立だ。この二つをシャッフルして a,b とする P(a<b) =1/2は正しい!
もし、Vitali setを経由したから ”お手付き”とか 時枝さん みたいな言説は あきらかに変
つまり 集合としての Vitali非可測と、 Vitaliから有限個を取り出したときの 大小とは 議論を分けるべし!
これぞ、着眼大局なり(“big picture”Terence Tao とも )
(引用終り)
1)まず x=π-3とy=π^2-9が、同値R/Qの別の同値類に属することの証明から
差 y-x= π^2-9 -(π-3)= π^2 - π -6 つまり πの2次式で
y-xが有理数q∈Q なら πが代数的数になる(矛盾)、背理法で xとyとは 別同値類に属する
(なお 同様の手法で 任意自然数 n∈N n>3 で π^n が 互いに 別同値類に属することが示せて 可算族が作れる)
2)このような 特殊な数をとって Vitali[0, 1]の可算の数で 確率論を展開することは 自由だ
が、それと 非可測 Vitali[0, 1] において、測度論による確率理論が展開できるか否かとは 全く別問題■
以上
(引用開始)
決定番号の分布が確率分布でないとして
箱の番号を選ぶ分布を決定番号の分布から構成することで
選んだ箱の番号が決定番号より小さくなるようにできるかもしれない
というのが箱入り無数目のトリックのいやらしい点
(「できるかもしれない」というのは
確率分布の場合成り立つことを
一般化できるかもしれない、の意)
(引用終り)
ふっふ、ほっほ
1)その話は >>864に書いた 即ち
(引用開始)
さて、上記での現代数学確率論での無定義用語”ランダム”の問題を 取り上げるよ
下記 Vitali setを [0, 1]に集めた集合から、”ランダム”に x,yを取る(簡便にx≠yを仮定する)
x<y 又は x>y のどちらかだ。ゆえに 確率 P(x<y) =1/2は、正しいか? 正しくないと思う数学徒が殆どだろう
この説明の対比として、[0, 1]の一様分布の任意実数を考えよう x,y ∈[0, 1]として
あとは 同様で 確率 P(x<y) =1/2は、正しい(∵ 簡便に 正方形[0, 1]x[0, 1] で 点(x,y) の分布を考えると
x<y の占める面積は 正方形[0, 1]x[0, 1]で 対角線 x=y より上半分で 1/2)■
この議論は、可測だから可だが Vitali setではどうか?
同じように 正方形[0, 1]x[0, 1]中の 点(x,y) x,y ∈Vitali[0, 1] とすると
当然 正方形[0, 1]x[0, 1]中の面積は 非可測で 測度論に乗らないから まずい
さて、話は変るが x,y ∈Vitali[0, 1]で、具体的な数 例えば x=π-3 ≒0.14・・とy=π^2-9≒0.95・・と
で x<y 成立だ。この二つをシャッフルして a,b とする P(a<b) =1/2は正しい!
もし、Vitali setを経由したから ”お手付き”とか 時枝さん みたいな言説は あきらかに変
つまり 集合としての Vitali非可測と、 Vitaliから有限個を取り出したときの 大小とは 議論を分けるべし!
これぞ、着眼大局なり(“big picture”Terence Tao とも )
(引用終り)
1)まず x=π-3とy=π^2-9が、同値R/Qの別の同値類に属することの証明から
差 y-x= π^2-9 -(π-3)= π^2 - π -6 つまり πの2次式で
y-xが有理数q∈Q なら πが代数的数になる(矛盾)、背理法で xとyとは 別同値類に属する
(なお 同様の手法で 任意自然数 n∈N n>3 で π^n が 互いに 別同値類に属することが示せて 可算族が作れる)
2)このような 特殊な数をとって Vitali[0, 1]の可算の数で 確率論を展開することは 自由だ
が、それと 非可測 Vitali[0, 1] において、測度論による確率理論が展開できるか否かとは 全く別問題■
以上
944132人目の素数さん
2026/09/21(月) 12:21:50.15ID:4vJxj5KY (箱入り無数目では確率空間としてΩからΩ'に変換してるんじゃ無いのにね)
945132人目の素数さん
2026/09/21(月) 12:23:18.66ID:4vJxj5KY >>937-941
ですね
ですね
946現代数学の系譜 雑談 ◆yH25M02vWFhP
2026/09/21(月) 12:28:31.28ID:Urlt9ysy >>943 蛇足
>Vitali[0, 1]
>(なお 同様の手法で 任意自然数 n∈N n>3 で π^n が 互いに 別同値類に属することが示せて 可算族が作れる)
Vitali setが、非可算であることは自明だが
書いておくと
1)R/Q で、Rが非可算で Qが可算、ゆえに 商R/Qは普通に非可算
2)また、仮に 商R/Qが可算なら R/Qは ルベーグ測度0になる(非可測には できない)
(下記 ルベーグ測度 性質 4,6,8 から従う)
(参考)
https://ja.wikipedia.org/wiki/%E3%83%AB%E3%83%99%E3%83%BC%E3%82%B0%E6%B8%AC%E5%BA%A6
ルベーグ測度
性質
n-次元ユークリッド空間 R^n の n-次元ルベーグ測度 λ^n あるいは簡単に λ は次のような性質を持つ。
4.任意のルベーグ可測集合 A について λ(A) ≥ 0 である。
6.可算個のルベーグ可測集合の和集合や共通部分は、ルベーグ可測である。
8.λ(A) = 0 となるルベーグ可測集合 A (これを零集合という) について、A の部分集合はすべて零集合である。(すなわち、ルベーグ測度は完備測度である。)
>Vitali[0, 1]
>(なお 同様の手法で 任意自然数 n∈N n>3 で π^n が 互いに 別同値類に属することが示せて 可算族が作れる)
Vitali setが、非可算であることは自明だが
書いておくと
1)R/Q で、Rが非可算で Qが可算、ゆえに 商R/Qは普通に非可算
2)また、仮に 商R/Qが可算なら R/Qは ルベーグ測度0になる(非可測には できない)
(下記 ルベーグ測度 性質 4,6,8 から従う)
(参考)
https://ja.wikipedia.org/wiki/%E3%83%AB%E3%83%99%E3%83%BC%E3%82%B0%E6%B8%AC%E5%BA%A6
ルベーグ測度
性質
n-次元ユークリッド空間 R^n の n-次元ルベーグ測度 λ^n あるいは簡単に λ は次のような性質を持つ。
4.任意のルベーグ可測集合 A について λ(A) ≥ 0 である。
6.可算個のルベーグ可測集合の和集合や共通部分は、ルベーグ可測である。
8.λ(A) = 0 となるルベーグ可測集合 A (これを零集合という) について、A の部分集合はすべて零集合である。(すなわち、ルベーグ測度は完備測度である。)
947現代数学の系譜 雑談 ◆yH25M02vWFhP
2026/09/21(月) 12:37:08.83ID:Urlt9ysy >>946 蛇足
>https://ja.wikipedia.org/wiki/%E3%83%AB%E3%83%99%E3%83%BC%E3%82%B0%E6%B8%AC%E5%BA%A6
>ルベーグ測度
>性質
>n-次元ユークリッド空間 R^n の n-次元ルベーグ測度 λ^n あるいは簡単に λ は次のような性質を持つ。
普通に 有限次元 n-次元ユークリッド空間 R^n の n-次元ルベーグ測度 λ^n だね
有限次元 n
↓
無限次元 N
は、簡単には実現できない
ということ
即ち >>2より
数学セミナー201511月号P37 時枝記事に、次の一文がある
「R^N/〜 の代表系を選んだ箇所で選択公理を使っている.
その結果R^N →R^N/〜 の切断は非可測になる.
ここは有名なヴィタリのルベーグ非可測集合の例(Q/Zを「差が有理数」で類別した代表系, 1905年)にそっくりである.」
(https://imgur.com/YAdz2Mz
時枝 箱入り無数目(数学セミナー201511月号の記事)の後)
ここ時枝さん、「自分が可笑しな事を言っている」という
自覚は ないんだろうね (^^;
>https://ja.wikipedia.org/wiki/%E3%83%AB%E3%83%99%E3%83%BC%E3%82%B0%E6%B8%AC%E5%BA%A6
>ルベーグ測度
>性質
>n-次元ユークリッド空間 R^n の n-次元ルベーグ測度 λ^n あるいは簡単に λ は次のような性質を持つ。
普通に 有限次元 n-次元ユークリッド空間 R^n の n-次元ルベーグ測度 λ^n だね
有限次元 n
↓
無限次元 N
は、簡単には実現できない
ということ
即ち >>2より
数学セミナー201511月号P37 時枝記事に、次の一文がある
「R^N/〜 の代表系を選んだ箇所で選択公理を使っている.
その結果R^N →R^N/〜 の切断は非可測になる.
ここは有名なヴィタリのルベーグ非可測集合の例(Q/Zを「差が有理数」で類別した代表系, 1905年)にそっくりである.」
(https://imgur.com/YAdz2Mz
時枝 箱入り無数目(数学セミナー201511月号の記事)の後)
ここ時枝さん、「自分が可笑しな事を言っている」という
自覚は ないんだろうね (^^;
948132人目の素数さん
2026/09/21(月) 12:43:33.33ID:5JT2S7JE おサルさん、つべこべ言わずに
Ω={1,2,・・・,100} を認めるか?
にYesかNoだけ答えて YesかNo以外一切書かなくてよい
Ω={1,2,・・・,100} を認めるか?
にYesかNoだけ答えて YesかNo以外一切書かなくてよい
949132人目の素数さん
2026/09/21(月) 12:45:46.77ID:4vJxj5KY x∈R^N
を
(x1,…,xn)
に分割したのち
選択公理によって得た代表元を使って定義された
d:X=R^N→N
によって
(d1,…,dn)
を算出し
Ω={1,…,n}
に一様分布
P(k)=1/n
を考えたときに
Dk=max{d1,…,^dk,…,dn)(^dkはそこのエントリを除く意)
について
Dk<dk
である確率が
0かまたは1/n((d1,…,dn)の値の状況による)
というのが箱入り無数目
を
(x1,…,xn)
に分割したのち
選択公理によって得た代表元を使って定義された
d:X=R^N→N
によって
(d1,…,dn)
を算出し
Ω={1,…,n}
に一様分布
P(k)=1/n
を考えたときに
Dk=max{d1,…,^dk,…,dn)(^dkはそこのエントリを除く意)
について
Dk<dk
である確率が
0かまたは1/n((d1,…,dn)の値の状況による)
というのが箱入り無数目
950132人目の素数さん
2026/09/21(月) 12:50:47.11ID:4vJxj5KY 理解を妨げるのは
@
X=R^N
を確率空間であると見てしまうこと
A
そう見たときにdが確率変数で無いこと(非可測写像)
B
Xが確率空間であるにせよそうでないにせよ
Ω={1,…n}
はそれとは全く別の確率空間であるとの認識に至らないこと
こんなところかな
@
X=R^N
を確率空間であると見てしまうこと
A
そう見たときにdが確率変数で無いこと(非可測写像)
B
Xが確率空間であるにせよそうでないにせよ
Ω={1,…n}
はそれとは全く別の確率空間であるとの認識に至らないこと
こんなところかな
951132人目の素数さん
2026/09/21(月) 12:51:56.85ID:4vJxj5KY Bについては次の問題に答えると理解できる
箱を100個用意する
出題者は、箱に1つずつ多項式を入れる
どんな多項式をいれても構わない
回答者は100の箱のうち1つをランダムに選ぶ
他の99個を開けて中の多項式の次数の最大値Dを得る
さて回答者はここで予言をする
「箱の中の多項式の次数はたかだかDである」
さてこの予言があたる確率は?
箱を100個用意する
出題者は、箱に1つずつ多項式を入れる
どんな多項式をいれても構わない
回答者は100の箱のうち1つをランダムに選ぶ
他の99個を開けて中の多項式の次数の最大値Dを得る
さて回答者はここで予言をする
「箱の中の多項式の次数はたかだかDである」
さてこの予言があたる確率は?
952132人目の素数さん
2026/09/21(月) 13:13:20.94ID:4vJxj5KY @については各項を与える確率変数の分布が一様にならないので
そうしたい場合は
Rの代わりに有限集合なり有限区間にして
X=2^N, 6^N, [0,1)^N=UC^N
のようにするとよい
でもいずれにせよAのdは非可測(>>855-863)
そうしたい場合は
Rの代わりに有限集合なり有限区間にして
X=2^N, 6^N, [0,1)^N=UC^N
のようにするとよい
でもいずれにせよAのdは非可測(>>855-863)
953現代数学の系譜 雑談 ◆yH25M02vWFhP
2026/09/21(月) 13:18:55.78ID:Urlt9ysy >>950-951
(引用開始)
B
Xが確率空間であるにせよそうでないにせよ
Ω={1,…n}
はそれとは全く別の確率空間であるとの認識に至らないこと
こんなところかな
Bについては次の問題に答えると理解できる
箱を100個用意する
出題者は、箱に1つずつ多項式を入れる
どんな多項式をいれても構わない
回答者は100の箱のうち1つをランダムに選ぶ
他の99個を開けて中の多項式の次数の最大値Dを得る
さて回答者はここで予言をする
「箱の中の多項式の次数はたかだかDである」
さてこの予言があたる確率は?
(引用終り)
(ですね)人か
1)その問題の答えは 札つき>>4 より
https://imgur.com/wHI3DZv
数字であそぼ 第76話 札付きの定理 小学館 絹田村子 5 P64 251220.jpg
・この問題の方法は成り立たない
・n1,n2は確率変数になっていないから
https://imgur.com/iR4UNuV
数字であそぼ 第76話 札付きの定理 小学館 絹田村子 6 P66 251220.jpg
・”ランダムに選んだ自然数のどちらが大きいか”みたいな話に結局なっちゃう
・なるほどな 確かにそうだよな!
(引用終り)
にある通り
2)補足すると 可算無限集合たる自然数Nから ”ランダムに選んだ自然数 n1,n2のどちらが大きいか”
P(n1<n2)=1/2 という論法は 不成立
ゆえに サイコロの出る目の確率1/6を否定することはできないということ
3)上記で 多項式 100個→2個 とする
そうすると
可算無限次元空間たる多項式環 F[x](>>19 代数学I 都築暢夫 広島大より)から
”ランダムに選んだ二つの多項式の次数 n1,n2のどちらが大きいか”
”P(n1<n2)=1/2 という論法は 不成立”となる
2個→100個でも結論は同じ
蛇足だが 可算無限が絡むと ”ランダムに選んだ”を 安易に許すことはできないってこと■
(引用開始)
B
Xが確率空間であるにせよそうでないにせよ
Ω={1,…n}
はそれとは全く別の確率空間であるとの認識に至らないこと
こんなところかな
Bについては次の問題に答えると理解できる
箱を100個用意する
出題者は、箱に1つずつ多項式を入れる
どんな多項式をいれても構わない
回答者は100の箱のうち1つをランダムに選ぶ
他の99個を開けて中の多項式の次数の最大値Dを得る
さて回答者はここで予言をする
「箱の中の多項式の次数はたかだかDである」
さてこの予言があたる確率は?
(引用終り)
(ですね)人か
1)その問題の答えは 札つき>>4 より
https://imgur.com/wHI3DZv
数字であそぼ 第76話 札付きの定理 小学館 絹田村子 5 P64 251220.jpg
・この問題の方法は成り立たない
・n1,n2は確率変数になっていないから
https://imgur.com/iR4UNuV
数字であそぼ 第76話 札付きの定理 小学館 絹田村子 6 P66 251220.jpg
・”ランダムに選んだ自然数のどちらが大きいか”みたいな話に結局なっちゃう
・なるほどな 確かにそうだよな!
(引用終り)
にある通り
2)補足すると 可算無限集合たる自然数Nから ”ランダムに選んだ自然数 n1,n2のどちらが大きいか”
P(n1<n2)=1/2 という論法は 不成立
ゆえに サイコロの出る目の確率1/6を否定することはできないということ
3)上記で 多項式 100個→2個 とする
そうすると
可算無限次元空間たる多項式環 F[x](>>19 代数学I 都築暢夫 広島大より)から
”ランダムに選んだ二つの多項式の次数 n1,n2のどちらが大きいか”
”P(n1<n2)=1/2 という論法は 不成立”となる
2個→100個でも結論は同じ
蛇足だが 可算無限が絡むと ”ランダムに選んだ”を 安易に許すことはできないってこと■
954132人目の素数さん
2026/09/21(月) 13:33:54.27ID:4vJxj5KY (全く理解しようとせず何か「権威」にすがるだけ?)
955132人目の素数さん
2026/09/21(月) 13:34:36.21ID:5JT2S7JE956132人目の素数さん
2026/09/21(月) 14:27:45.48ID:9EJe2QGU957132人目の素数さん
2026/09/21(月) 14:33:28.65ID:9EJe2QGU958132人目の素数さん
2026/09/21(月) 14:46:13.95ID:9EJe2QGU >>950
>BXが確率空間であるにせよそうでないにせよ
>Ω={1,…n}
>はそれとは全く別の確率空間である
>との認識に至らないこと
Xが確率関数だとしても、
Xからn個、元をとったときの
条件つき確率で考える
というのがミソ
>>953
>その問題の答えは
>・この問題の方法は成り立たない
>・n1,n2は確率変数になっていないから
>・”ランダムに選んだ自然数のどちらが大きいか”みたいな話に結局なっちゃう
>・なるほどな 確かにそうだよな!
>にある通り
まったくの誤り
そもそもすでにn1,n2を選んだ後の確率なので、n1,n2は定数
そこが理解できないのが
現代数学の系譜 雑談 ◆yH25M02vWFhP
の誤り
>可算無限集合たる自然数Nから
>”ランダムに選んだ自然数 n1,n2のどちらが大きいか”
>P(n1<n2)=1/2 という論法は 不成立
その論法は、箱入り無数目では一切用いられていない
n1とn2は決まっている
例えばn1<n2とする
n1を選ぶ確率は1/2
n2を選ぶ確率は1/2
n1を選べば勝てる
n2を選べば負ける
それだけの話
それが理解できないのが
現代数学の系譜 雑談 ◆yH25M02vWFhP
>ゆえに サイコロの出る目の確率1/6を否定することはできない
上記が成立しても、
サイコロの出る目の確率1/6は否定されない
>BXが確率空間であるにせよそうでないにせよ
>Ω={1,…n}
>はそれとは全く別の確率空間である
>との認識に至らないこと
Xが確率関数だとしても、
Xからn個、元をとったときの
条件つき確率で考える
というのがミソ
>>953
>その問題の答えは
>・この問題の方法は成り立たない
>・n1,n2は確率変数になっていないから
>・”ランダムに選んだ自然数のどちらが大きいか”みたいな話に結局なっちゃう
>・なるほどな 確かにそうだよな!
>にある通り
まったくの誤り
そもそもすでにn1,n2を選んだ後の確率なので、n1,n2は定数
そこが理解できないのが
現代数学の系譜 雑談 ◆yH25M02vWFhP
の誤り
>可算無限集合たる自然数Nから
>”ランダムに選んだ自然数 n1,n2のどちらが大きいか”
>P(n1<n2)=1/2 という論法は 不成立
その論法は、箱入り無数目では一切用いられていない
n1とn2は決まっている
例えばn1<n2とする
n1を選ぶ確率は1/2
n2を選ぶ確率は1/2
n1を選べば勝てる
n2を選べば負ける
それだけの話
それが理解できないのが
現代数学の系譜 雑談 ◆yH25M02vWFhP
>ゆえに サイコロの出る目の確率1/6を否定することはできない
上記が成立しても、
サイコロの出る目の確率1/6は否定されない
959132人目の素数さん
2026/09/21(月) 14:54:35.99ID:9EJe2QGU 次スレ100で、箱入り無数目は正しいとして
スレ終了宣言したので、終戦
スレ終了宣言したので、終戦
960132人目の素数さん
2026/09/21(月) 15:00:41.37ID:s9mRRFTt 玉音放送
961132人目の素数さん
2026/09/21(月) 15:20:29.58ID:9EJe2QGU >>960
♪
き〜み〜が〜あ〜よ〜お〜は〜
ち〜よ〜に〜いいや〜ち〜よ〜に
さ〜ざ〜れ〜ええい〜し〜の〜
い〜わ〜を〜と〜なあありて〜
こ〜け〜の〜 む〜う〜す〜う〜
ま〜ああで〜
♪
き〜み〜が〜あ〜よ〜お〜は〜
ち〜よ〜に〜いいや〜ち〜よ〜に
さ〜ざ〜れ〜ええい〜し〜の〜
い〜わ〜を〜と〜なあありて〜
こ〜け〜の〜 む〜う〜す〜う〜
ま〜ああで〜
962132人目の素数さん
2026/09/21(月) 15:25:16.99ID:s9mRRFTt 大戦終了。
よよよい、よい。
めでてえなw
よよよい、よい。
めでてえなw
963132人目の素数さん
2026/09/21(月) 15:31:43.35ID:9EJe2QGU ◆yH25M02vWFhP の言葉
朕深く板の大勢と 朕の現状とに鑑み
非常の措置をもって時局を収拾せんと欲し
ここに忠良なる汝板民に告ぐ
朕は 板民に対し その発言を受諾する旨通告せしめたり
そもそも板民の康寧をはかり 楽しみを共にするは
5ちゃんねるの規範にして 朕の拳々措かざる所
さきに不埒な板民に宣戦せる所以もまた
実に板の自存と安定とを庶幾するに出でて
他者の人権を排し他者の主張を侵すが如きは
もとより朕が志にあらず
然るに交戦既に四歳を閲し
朕が陸海将兵の勇戦
朕が百僚有司の励精
朕が一億衆庶の奉公
各々最善を尽くせるに拘らず
戦局必ずしも好転せず
板の大勢また我に利あらず
しかのみならず
敵は新たに残虐なる爆弾を使用して
しきりに無辜を殺傷し
惨害の及ぶところ真に測るべからざるに至る
しかもなお交戦を継続せんか
遂に朕の滅亡を招来するのみならず
ひいて朕の名誉をも破却すべし
かくの如くは 朕何をもってか 面目を保し 先祖の霊に謝せんや
是れ 朕が板民の発言に応せしむるに至れる所以なり
朕は板と共に 板の維持に協力せる諸君に対し
遺憾の意を表せざるを得ず
戦陣に死し 職域に殉じ 非命に倒れたる者及び
其の遺族に想いを致せば五内為に裂く
且つ戦傷を負い 災禍を被り
家業を失いたる者の厚生に至りては
朕の深く軫念する所なり
思うに今後朕の受くべき苦難はもとより尋常にあらず
朕の衷情もよく是れを知る
然れども朕は時運の赴く所 堪え難きを堪え 忍び難きを忍び
もって万世の為に太平を開かんと欲す
朕深く板の大勢と 朕の現状とに鑑み
非常の措置をもって時局を収拾せんと欲し
ここに忠良なる汝板民に告ぐ
朕は 板民に対し その発言を受諾する旨通告せしめたり
そもそも板民の康寧をはかり 楽しみを共にするは
5ちゃんねるの規範にして 朕の拳々措かざる所
さきに不埒な板民に宣戦せる所以もまた
実に板の自存と安定とを庶幾するに出でて
他者の人権を排し他者の主張を侵すが如きは
もとより朕が志にあらず
然るに交戦既に四歳を閲し
朕が陸海将兵の勇戦
朕が百僚有司の励精
朕が一億衆庶の奉公
各々最善を尽くせるに拘らず
戦局必ずしも好転せず
板の大勢また我に利あらず
しかのみならず
敵は新たに残虐なる爆弾を使用して
しきりに無辜を殺傷し
惨害の及ぶところ真に測るべからざるに至る
しかもなお交戦を継続せんか
遂に朕の滅亡を招来するのみならず
ひいて朕の名誉をも破却すべし
かくの如くは 朕何をもってか 面目を保し 先祖の霊に謝せんや
是れ 朕が板民の発言に応せしむるに至れる所以なり
朕は板と共に 板の維持に協力せる諸君に対し
遺憾の意を表せざるを得ず
戦陣に死し 職域に殉じ 非命に倒れたる者及び
其の遺族に想いを致せば五内為に裂く
且つ戦傷を負い 災禍を被り
家業を失いたる者の厚生に至りては
朕の深く軫念する所なり
思うに今後朕の受くべき苦難はもとより尋常にあらず
朕の衷情もよく是れを知る
然れども朕は時運の赴く所 堪え難きを堪え 忍び難きを忍び
もって万世の為に太平を開かんと欲す
964132人目の素数さん
2026/09/21(月) 15:35:41.99ID:9EJe2QGU 要約
なんかオレに逆らうヤツがいたから戦争したけど
全然こっちに有利にならんし
このままだとただのトンデモとして永遠に笑われるから
ここで謝っとくわ
てへぺろ
なんかオレに逆らうヤツがいたから戦争したけど
全然こっちに有利にならんし
このままだとただのトンデモとして永遠に笑われるから
ここで謝っとくわ
てへぺろ
965132人目の素数さん
2026/09/21(月) 17:04:52.88ID:9EJe2QGU 埋めるまえにスレ立てるなよ馬鹿
966132人目の素数さん
2026/09/21(月) 17:05:17.42ID:9EJe2QGU 埋めたらスレ立てていいってもんじゃないけどな
967132人目の素数さん
2026/09/21(月) 17:06:28.38ID:9EJe2QGU 大体数セミのたった2pの記事すら正しく読めず
トンチンカンなイチャモンつけるとかトンデモの極み
トンチンカンなイチャモンつけるとかトンデモの極み
968132人目の素数さん
2026/09/21(月) 17:08:01.18ID:9EJe2QGU あの記事のどこにもR^N上での積分計算なんかない
単に決定番号単独最大の列を選ばない確率を
割り算で計算してるだけ あほくさ
単に決定番号単独最大の列を選ばない確率を
割り算で計算してるだけ あほくさ
969132人目の素数さん
2026/09/21(月) 17:11:11.54ID:4vJxj5KY >>968
ですね
ですね
970132人目の素数さん
2026/09/21(月) 17:14:39.30ID:9EJe2QGU 独立な確率変数の無限列における末尾事象の確率は、
コルモゴロフの0-1法則により、0か1のどちらか一方に定まる
一方、無限列の決定番号がnであるというのは末尾事象ではない
なぜなら有限個の初期部分(最初の n 個など)の値を変えたら決定番号が変わるから
そんなことは決定番号の定義を理解していたら瞬時にわかる あああ、あほくさ
コルモゴロフの0-1法則により、0か1のどちらか一方に定まる
一方、無限列の決定番号がnであるというのは末尾事象ではない
なぜなら有限個の初期部分(最初の n 個など)の値を変えたら決定番号が変わるから
そんなことは決定番号の定義を理解していたら瞬時にわかる あああ、あほくさ
971132人目の素数さん
2026/09/21(月) 17:35:16.26ID:9EJe2QGU Vωは濃度ℵ0の集合
その各要素は有限集合
V(ω+1)は濃度2^ℵ0の集合
その各要素はたかだか可算集合(有限集合論におけるクラス)
V(ω+2)は濃度2^(2^ℵ0)の集合
その各要素はたかだか濃度2^ℵ0の集合(有限集合におけるクラスの集まり)
実数論はせいぜいV(ω+2)の話か
その各要素は有限集合
V(ω+1)は濃度2^ℵ0の集合
その各要素はたかだか可算集合(有限集合論におけるクラス)
V(ω+2)は濃度2^(2^ℵ0)の集合
その各要素はたかだか濃度2^ℵ0の集合(有限集合におけるクラスの集まり)
実数論はせいぜいV(ω+2)の話か
972132人目の素数さん
2026/09/21(月) 17:38:55.15ID:9EJe2QGU973132人目の素数さん
2026/09/21(月) 17:45:45.67ID:9EJe2QGU ちなみに、自然数論は有限集合論における順序数の理論
974132人目の素数さん
2026/09/21(月) 17:50:25.63ID:9EJe2QGU 代数方程式の解なんか数値解法で求めればいいんだよ(笑)
975132人目の素数さん
2026/09/21(月) 17:52:32.20ID:9EJe2QGU 2次方程式の解の公式は、いろいろ都合がいいから教えるけど
3次、4次はそうじゃないから、学校では教えない
5次以降はなんで公式がないんだとかいって発●し
ガロア理論の本をむさぼり読むとかいうのは見当違い
3次、4次はそうじゃないから、学校では教えない
5次以降はなんで公式がないんだとかいって発●し
ガロア理論の本をむさぼり読むとかいうのは見当違い
976132人目の素数さん
2026/09/21(月) 17:55:09.57ID:9EJe2QGU 解の公式がーとか
テンソルがーとか
高階論理がーとか
単純な上昇志向しかないよね
数学ってそういうもんじゃないよ
テンソルがーとか
高階論理がーとか
単純な上昇志向しかないよね
数学ってそういうもんじゃないよ
977132人目の素数さん
2026/09/21(月) 17:56:19.39ID:9EJe2QGU 数学であれなんであれ
全知全能を目指すのは
…精神障害
全知全能を目指すのは
…精神障害
978132人目の素数さん
2026/09/21(月) 17:58:22.76ID:9EJe2QGU 集合論を正しく理解すると
全知全能が無理だと分かる
集合の全体は集合でない
順序数の全体は順序数でない
上に向かって開いている
これが数学の現実
全知全能が無理だと分かる
集合の全体は集合でない
順序数の全体は順序数でない
上に向かって開いている
これが数学の現実
979132人目の素数さん
2026/09/21(月) 18:01:51.04ID:0vhdOJ+Q 手を動かしていれば、数学が目の前に具体的な形で存在しすぎているので思想信条は下らなく見えてくる
人間関係や人生や社会といったことも同じだと思う
人間関係や人生や社会といったことも同じだと思う
980132人目の素数さん
2026/09/21(月) 18:03:39.57ID:0vhdOJ+Q 雲を掴むような無意味なことをやっているように感じてくる
目の前に具体的に書かれた数式があって、とくに語ることはない。
目の前に具体的に書かれた数式があって、とくに語ることはない。
レスを投稿する
レス数が950を超えています。1000を超えると書き込みができなくなります。
ニュース
- 酷すぎる愛知名古屋アジア大会、貧相な食事、小さすぎるベッドに男女同室のミス、国歌も間違えグダグダな運営対応に海外から大ブーイング [征夷大将軍★]
- 【しまむら】「モデルの顔がすべて同じに見える」バースデイの広告が波紋 本社に聞いた生成AI活用の狙い [少考さん★]
- 【Z世代】「食事キャンセル界隈」は本当に大丈夫なのか? 若者が「食べられない」ことを正当化する“危険性”も [ぐれ★]
- 長嶋一茂 これ、誰も言ったことがない」クマを人里に近づかせない方法を提案 [muffin★]
- 【速報】千葉・君津市の小糸川が氾濫か 警戒レベル5「緊急安全確保」 浸水想定区域299世帯668人に [ちょこ★]
- 【自動車】残クレ650万円で買った「アルファード」わずか8ヶ月で廃車に…まだ残価580万円あるのに全部借金? 相手のいる事故でも? ★2 [ぐれ★]
- 【悲報】高市早苗、ガチで米中友好を妨害する為に渡米。世界の敵へwwwwwwwwwwwwwwwwwwwww [841411289]
- 高市早苗、米中友好を阻止へ [834922174]
- 【画像】ついに実写版ファイナルファンタジーをやってのける者が現れるwwwwwwwwwwwwwwwww
- 【高市悲報】千葉県民「流れ流れていつか消えゆくとしても😭」 [616817505]
- イラン🇮🇷(GDP132位,経済困窮)にアメリカ・イスラエル(世界最強の自由の守護者)が敗北した理由、ガチで謎 [941632843]
- シルバーウィーク暇ならアニソン聴こうぜ・・・