スレタイ箱入り無数目を語る部屋33(あほ二人の”アナグマの姿焼き"Part7ｗ)

前スレが1000近く又は1000超えになったので、新スレを立てる
(”ヘンテコスレ”が別にあります https://rio2016.5ch.io/test/read.cgi/math/1711570726/ 箱入り無数目を語る部屋19 )

https://rio2016.5ch.io/test/read.cgi/math/1786586164/
前スレ スレタイ箱入り無数目を語る部屋32(あほ二人の”アナグマの姿焼き"Part6ｗ)

(参考)時枝記事
https://imgur.com/uMqtRwr
時枝 箱入り無数目（数学セミナー201511月号の記事）の最初
https://imgur.com/YAdz2Mz
時枝 箱入り無数目（数学セミナー201511月号の記事）の後

数学セミナー201511月号「箱入り無数目」
https://rio2016.5ch.io/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などは下付添え字

つづく

100%当たるとさｗ

Reconstruction of a slice regular function from some of its real components
Cinzia Bisi, Antonio Carbone, Riccardo Ghiloni

>>403
独立でない、という証明はないかと　知らんけど

証明があるなら教えてほしい　いやホントマジ挑発抜きで

意味不明

>>389
(引用開始)
＞「n-番目以降の尻尾を具体的に与えた代表を具体的に構成できるの」？
一致の開始位置をn番目と固定すればできる　自明
どうも勝手にQの小数展開だと思ってるようだが
もうとっくにRの小数展開の話に置き換わってるよ
蛇足
＞人類には未知の素数 すなわち未知の循環節が常に存在する
任意の循環節を小数展開とする有理数を具体的に構成できる
循環節******の桁をn桁とすれば******/(10^n-1)がそれにあたる
知らなかったのかい？ヴィラジョワ君
(引用終り)

数学板のブルジョワくん は、>>42 数学板の"おサル＝サイコパス＊のピエロ（不遇な「一石」"くさいな
「ブルジョワは、お腹がすいたら お菓子をおたべ！」 by アントワネット

さて、下記の wikipedia”循環小数”、 ”Repeating decimal”を 自習してくれたまえ
その上で

1）「一致の開始位置をn番目と固定すればできる」？ イミフだな
　一致の開始位置とは 箱入り無数目>>1の決定番号であり 札付き定理の定理>>4 の n1、n2 だよ
　実際 箱入り無数目でも 札付きでも 常に 一致の開始位置は 一般に 固定された n番目より大だ
　なぜなら 札付き>>4で 「”ランダムに選んだ自然数のどちらが大きいか”みたいな話に結局なっちゃう」とある通りで
　一致の開始位置は 自然数N全体は無限集合で 平均値（期待値）及び 標準偏差は 無限大に発散しているので
　”ランダムに選んだ自然数”は、無限大に発散しているからね
2）実数 Rの小数展開も 人類には 無限小数展開を 具体的に構成できない！
　”できる”の反例が 下記 ”超越数かどうかが未解決の例 e+π、e-π 有理数であるのか無理数であるのか超越的であるのか否かは証明されていない”
　ということ。即ち e+π、e-π の無限小数展開が もし実行できれば 即座に 有理数であるのか無理数であるのか が分る。が 現実は違う
　即ち 人類には e+πの無限小数展開は無理！（多分未来永劫）（＾＾
　それは、神の領域よｗ

(参考)
https://ja.wikipedia.org/wiki/%E5%BE%AA%E7%92%B0%E5%B0%8F%E6%95%B0
循環小数（英: recurring decimal、repeating decimal）とは、小数点以下のある桁から先で同じ数字の列が無限に繰り返される小数のことである。繰り返される数字の列を循環節という。
循環節
循環小数の循環節とは、小数部分の周期的な数列の中で最小の長さものである。
https://en.wikipedia.org/wiki/Repeating_decimal
Repeating decimal

https://ja.wikipedia.org/wiki/%E8%B6%85%E8%B6%8A%E6%95%B0
超越数
超越数かどうかが未解決の例
e+π、e-π
有理数であるのか無理数であるのか超越的であるのか否かは証明されていない

>>408
>「”ランダムに選んだ自然数のどちらが大きいか”みたいな話に結局なっちゃう」とある通り
ぜんぜん通りじゃない。
まず自然数全体からランダム選択はできない。ランダムとは一様分布だが各１点集合それぞれにいかなる確率測度を割り当てても確率の公理を満たさない。
次に選択公理に依存する決定番号関数は非構成的だから事象の中に決定番号が含まれていると適当な確率空間を設定できない。
何重にも間違ってる。

arXiv:2609.04002 [pdf, html, other]
Reconstruction of a slice regular function from some of its real components
Cinzia Bisi, Antonio Carbone, Riccardo Ghiloni

>>408
>「一致の開始位置をn番目と固定すればできる」？ イミフだな

そうか？

言ってることは、
箱入り無数目の尻尾同値で一致する尻尾の
開始位置を例えば100番目に固定した形で
同値関係を定義するってことだろ？

日本語が読めれば意味わかるけどな　
君、日本語分かる？
もしかして北朝鮮から来た朝鮮の人？

>一致の開始位置とは
>箱入り無数目の決定番号であり
>札付き定理の定理の n1、n2 だよ

ああ君日本語読めない北朝鮮の人だったんだね
アンニョンハセヨ

>>408
>人類には 無限小数展開を 具体的に構成できない！
>”できる”の反例が”超越数かどうかが未解決の例
>e+π、e-π 有理数か無理数か超越数か否かは
>証明されていない”ということ。
>即ち e+π、e-π の無限小数展開が 実行できれば
>即座に 有理数であるのか無理数であるのか が分るが
>現実は違う
>即ち 人類には e+πの無限小数展開は無理！（多分未来永劫）
>それは、神の領域よ

ふーん
じゃ、北朝鮮人の君にとって
そもそも「箱入り無数目」の出題が無理ってことね
だって、無限個の箱の中に実数を入れるのは無理でしょ

じゃ、アンニョン　チャルガ

ピョンヤンから来たキム・ジョンウン君（仮名）にとって
そもそも箱入り無数目は出題すら無理みたい
無限個の箱に数を入れるなんて無理だから

まあ、実際やってみろ、っていわれたら・・・日本人の僕でも無理かな
多分中国人のシー・ジンピン、
ロシア人のウラジーミル・プーチン、
アメリカ人のドナルド・トランプや
イスラエル人のベンヤミン・ネタニヤフにも
無理かもね

無限個の箱に数を入れられないとすると、
そもそも尻尾同値が無意味なんだよね

だってそれって無限列が全部確定しないと判定できないから

だったら初めからこういえばいいのに

「できもしないことをできると前提した上での話はナンセンス
サンタクロースとか神武天皇が実在したらというようなもの」

まあ、でも√２が無理数かどうかは
小数展開ができなくてもわかるんだけどね

>>410
>言ってることは、
>箱入り無数目の尻尾同値で一致する尻尾の
>開始位置を例えば100番目に固定した形で
>同値関係を定義するってことだろ？

出題を改変して問題を解いたら
東大入試では0点だろうｗ

>>412
(引用開始)
>人類には 無限小数展開を 具体的に構成できない！
>”できる”の反例が”超越数かどうかが未解決の例
>e+π、e-π 有理数か無理数か超越数か否かは
>証明されていない”ということ。
>即ち e+π、e-π の無限小数展開が 実行できれば
>即座に 有理数であるのか無理数であるのか が分るが
>現実は違う
>即ち 人類には e+πの無限小数展開は無理！（多分未来永劫）
>それは、神の領域よ
ふーん
じゃ、北朝鮮人の君にとって
そもそも「箱入り無数目」の出題が無理ってことね
だって、無限個の箱の中に実数を入れるのは無理でしょ
(引用終り)

例えばさ
n番目に ”e^n +π の小数ｎ桁までの近似値” と書いた紙を入れる
それは可能だろう
（これは あくまで一例）
で 不可能は、この出題を 箱入り無数目方式で 的中させること

あと>>413-414は ゴミだから 略すねｗ （＾＾

箱を１００個用意する
出題者は、箱に１つずつ多項式を入れる
どんな多項式をいれても構わない
回答者は１００の箱のうち１つをランダムに選ぶ
他の９９個を開けて中の多項式の次数の最大値Ｄを得る
さて回答者はここで予言をする
「箱の中の多項式の次数はたかだかＤである」
さてこの予言があたる確率は？

異なる自然数m,nをAが選びカードに書いて箱に入れる
選び方はAの自由
ここで
Bは箱の中からランダムにカードを1つ取り出す
Aは残った方を取る
書かれている自然数の大きい方が勝ち
さてA,Bの勝つ確率は？

テンプレです
>(引用開始)
>偶数と奇数m,nをAが選びカードに書いて箱に入れる
>選び方はAの自由
>ここで
>Bは箱の中からランダムにカードを1つ取り出す
>Aは残った方を取る
>偶数を引いた方が勝ち
>さてA,Bの勝つ確率は？
>(引用終り)
>
>良い指摘だ
>いま、箱の中は 偶数1枚と奇数1枚の計2枚のみとする
>全体の数が2枚で有限だから
>普通に確率計算が可能で
>A,Bの勝つ確率は 各1/2ずつ
偶数と奇数m,nをAが選びカードに書いて箱に入れる
選び方はAの自由
入れた後でBがそのカードを両方取りだして
奇数を1偶数を0に書き直して箱に戻す
ここで
Bは箱の中からランダムにカードを1つ取り出す
Aは残った方を取る
大きい方を引いた方が勝ち
さてA,Bの勝つ確率は？

テンプレです
>異なる自然数m,nをAが選びカードに書いて箱に入れる
>選び方はAの自由
>ここで
>Bは箱の中からランダムにカードを1つ取り出す
>Aは残った方を取る
>書かれている自然数の大きい方が勝ち
>さてA,Bの勝つ確率は？
>(引用終り)
>
>１）全体集合を場合分けする
>　ケース１ ある大きなしかし有限の自然数Mを取って 0〜Mのカードで考える
>　ケース２ 無限集合の自然数N全体を考える
>２）ケース１では、0〜Mのカードは 離散一様分布を成す（下記）
>　期待値（平均値）や 分散も存在する
>　この場合、A,Bの勝つ確率は おのおの1/2
>３）ケース２では、確率は考えられない
>　なぜならば、無限集合たる自然数N全体は、非正則分布を成すから（下記）

arXiv:2609.04002 [pdf, html, other]
Reconstruction of a slice regular function from some of its real components
Cinzia Bisi, Antonio Carbone, Riccardo Ghiloni

>>415
>例えばさ
>n番目に
>”e^n +π の小数ｎ桁までの近似値”
>と書いた紙を入れることは可能だろう
>で、この出題を 箱入り無数目方式で
>的中させることは不可能

なぜ、そう「間違う」んだい？
君は●違いかい？
ピョンヤンから来たキムジョンウン君（嘲）

キムジョンウンはゴミだから●すね

キントンウン

クリキントン大統領

>>420
御大か 巡回ありがとうございます

(google検索)
Reconstruction of a slice regular function from some of its real components
AI による概要
A slice regular function can be uniquely reconstructed (up to an additive constant or specific lower-degree polynomials depending on the algebra) from a subset of its real components, extending the classical result for holomorphic functions of one complex variable.

Core Concepts and Background
・Slice Regularity: A generalization of complex holomorphicity to quaternions, octonions, and real alternative/Clifford algebras, where functions are holomorphic when restricted to complex planes (slices) generated by the real unit and an imaginary unit.
・ A hypercomplex valued function \(f\) is expressed via a basis as \(f = \sum f_A e_A\), where each \(f_{A}\) is a real-valued component function. [1] (https://link.springer.com/article/10.1007/s10231-025-01572-1)
・Recent Results: Research by Cinzia Bisi, Antonio Carbone, and Riccardo Ghiloni in the paper Reconstruction of a slice regular function from some of its real components proves that just as a complex function is determined by its real part, slice regular functions on general Clifford algebras and division algebras are completely determined by a select subset of real components. [1] (https://arxiv.org/list/math.CV/recent), [2] (https://arxiv.org/list/math/new)

Would you like me to detail the exact system of differential equations or the integral formulas used for the reconstruction in quaternions or Clifford algebras?

(google訳)
スライス正則関数は、その実成分の（特定の）部分集合から一意に復元することができます（ただし、代数の種類に応じて、加法的な定数や特定の低次多項式を除いた範囲での一意性となります）。これは、一変数複素正則関数に関する古典的な結果を拡張するものです。

主要な概念と背景
・スライス正則性：複素正則性の概念を、四元数、八元数、および実交代代数やクリフォード代数へと一般化したものです。これらの代数において、実単位元と虚単位元によって生成される複素平面（スライス）に制限した際に正則となる関数が、スライス正則関数と呼ばれます。
・超複素数値をとる関数 \(f\) は、基底を用いて \(f = \sum f_A e_A\) と表されます。ここで、各 \(f_A\) は実数値をとる成分関数です。[1] (https://link.springer.com/article/10.1007/s10231-025-01572-1)
・最近の成果：Cinzia Bisi、Antonio Carbone、Riccardo Ghiloniによる論文『Reconstruction of a slice regular function from some of its real components（実成分の一部からのスライス正則関数の復元）』の研究により、以下のことが証明されました。すなわち、複素関数がその実部によって決定されるのと同様に、一般的なクリフォード代数や可除代数上のスライス正則関数もまた、実成分の特定の（選ばれた）部分集合によって完全に決定されるということです。[1]

>>415
>不可能は、この出題を 箱入り無数目方式で 的中させること
じゃあ箱入り無数目の証明にギャップがあるってことだよね？　それは具体的には何？
証明とは無関係な話（決定番号の分布とか）はやめてね　それストローマン論法だから

てか10年以上前からギャップ出せ出せ言ってるのに一度も出さない不成立派
ちなみに確率論の専門家の指摘はストローマン論法、なぜなら彼が持ち出した確率
>”P(h(Y)>h(Z))=1/2”
を箱入り無数目の証明は言及していないから

>”P(h(Y)>h(Z))=1/2”
箱入り無数目の証明は正しくは次のように主張している。
h(Y),h(Z)のいずれかをランダム（一様分布）選択したものをn、他方をmとする。このときP(n>m)≦1/2（<が含まれるのはh(Y)=h(Z)の場合の考慮）。
この主張は一様分布の定義から直ちに言えるからギャップは無い。且つ確率論の専門家の指摘はストローマン論法。

箱入り無数目の証明が用いている確率分布は
>h(Y),h(Z)のいずれかをランダム（一様分布）選択
だけ。実際記事に「1〜100 のいずれかをランダムに選ぶ.」と書かれており且つ他の確率分布の言及は無い。
不成立派がたった2ページの日本語が読めてないだけの話。

>>425
分からない、聞いたことも無い、読んですらいないソースをコピペする目的は？　頭良い・数学分かってると思われること？
みっともないからやめような

キムジョンウン君

分かるはずない最先端数学の話題はコピペしたがり
頑張れば分かるかもしれない実数の公理や
線形代数の定理の証明は絶対に読まない

要するに数学が嫌い

時枝は聞いた話を紹介しただけだろ。煽り文句をつけて（苦笑）

arXiv:2609.05348 [pdf, html, other]
Sharp exponential integrability of conjugate functions
David Norrbo, Jani Virtanen

一般向け雑誌の記事なんてほぼそうだろ
文句言っても始まらん　気に入らんなら読まなきゃよい　ここにも書き込むな

>>428
ですね

時枝記事のまとめ
選択公理を使う常識に反する論理ゲームができます

訂正
常識->直感

ん？　成立派に寝返ったんか？ｗ

>>432
＞煽り文句をつけて（苦笑）

見当違いな煽りを真に受けた人の
怨嗟の声が広がっています😏

>>436
＞選択公理を使う直感に反する論理ゲーム…

選択公理抜きでも
始順序数の中のどの要素を選んでも
それより大きい順序数の全体が
始順序数と同じ濃度というのが
シロウトの直感に反するらしいよ

知らんけど😉

最小の無限順序数ωは始順序数
0∈ω
0より大きい順序数の全体はON-{0}でありωと同じつまり可算無限濃度

これほんと？

おれの直観には反するからおれはドシロウトってことですねorz

>それより大きい順序数の全体
ではなく
それより大きい要素の全体
なら分かる。無限始順序数は極限順序数だからね。

>>441
最小の無限順序数ωは始順序数
0∈ω
0より大きい”ω内の”順序数の全体はω-{0}でありωと同じつまり可算無限濃度

これほんと

肝心なことをわざと読み落とすと、🐎🦌っていわれるよ

書かれてないことは読み落とし様が無いのでは？

>選択公理抜きでも
>始順序数の中のどの要素を選んでも
>それより大きい順序数の全体が
>始順序数と同じ濃度というのが
>シロウトの直感に反するらしいよ

君も負けず嫌いだね
素直に脱字でしたって言えば済む話なのに　ミスなんて誰にでもあるのに

誤字脱字なんかより遥かに恥ずかしい間違いしてる数学者も普通にいる
そんなところで負けず嫌いを発揮しても仕方無いよ

例えば無限の〇〇〇〇レッスン

おサルの大好きななんとか先生に激詰めされてた
著者の経歴見るとそれはもうたいそうな学者先生なのにね
つまり肩書とか権威とかまったく当てにならないという好例

京都のあの人もそうだね
間違いを指摘してもらったのに逆ギレして罵詈雑言浴びせる始末

arXiv:2609.05154 (cross-list from math.AG) [pdf, html, other]
A flatness criterion for pseudo-effective sheaves on compact Kähler spaces
Junyan Cao, Ya Deng, Shin-ichi Matsumura

>>445-447　わざと読解力を消すのは悪人のすることよ

なんか君、指導教授にケツの穴でも●●された？（笑）

>>440
>始順序数の中のどの要素を選んでも
>それより大きい順序数の全体が
>始順序数と同じ濃度というのが
ω1+ω0は？

>>448-449　
木村俊一とかいう不勉強野郎と一緒にされたくねえなあ
ミソもクソもいっしょかよ（嘲）

>>453
>ω1+ω0は？

文章になってないので
分かる文章で質問してくれる？

指導教授にケツ穴●●されたメンヘラ君

>>452
書かれてないことを読み取るのが読解力と勘違いしてる？

例えば　

・ω1+ω0は始順序数ω2の要素
・ω2の中でω1+ω0より大きい順序数の全体は、ω2と同濃度

これ否定できるの？どうやって？

>>456
いわずもがなのことを読み取るのは
数学書を読む際に必要な能力
できないと落ちこぼれる

＞君も負けず嫌いだね

君が負けず嫌いだね

>それより大きい順序数の全体
は統語論的には何も間違ってない　意味論的に大間違いがあった
間違いは間違いと言わねばならない　間違いを忖度して正しいと言ってはならない
違うかい？　負けず嫌いくん

>>459
書かれてないことを忖度して補完しないと負けず嫌いになっちゃうの草

あきらめなサル3号くん
今回はどう見ても君の負け　文章を書く力を鍛えなよ

ほらね、最初に脱字でしたﾃﾍﾍﾟﾛって言っとくだけで済んだことを負けず嫌いが災いしてこうなっちゃったろ？　反省しなさいサル3号くん

>>それより大きい順序数の全体
>は統語論的には何も間違ってない

いや、それは君の基準でもウソだね

「始順序数の中のどの要素を選んでも
それより大きい”もとの始順序数の中の”順序数の全体が
始順序数と同じ濃度」

と書かないと君は””が埋められないから誤解するってこと（笑）

>>464
そうかサル3号くんは統語論という言葉を知らんかったか　すまんな、君の学力レベルに合わせられなくて

ID:6pIBr9vu　の
＞統語論的には何も間違ってない　
＞意味論的に大間違いがあった
が大ウソなので
「ああ、こいつ、数理論理学、初歩から分かってないな」
と露見

まあ、素人なら仕方ないか（笑）

煽るのは意味がないね

ヒヨコ４号が生まれそうです🥚

>>465
そもそも、統語論とか意味論とかいう言葉を用いて説明するのがバカ

肝心な条件を陽に記述しなかった、といえばいい

しかし、そんなイチャモンつけるほうがはずかしい

そんなものは書かれてなくても想定するのが常識

できない奴がバカ

17・18 号とキントンウン

ジョルダンセル完全体

>>466
サル3号くんへのレクチャー
統語論的にとは要するにシンタックスが、という意味だよ
統語論的に正しく、意味論的に間違いとは、コンパイルは通るのにバグがあるという状態と思えばよろしい

>「ああ、こいつ、数理論理学、初歩から分かってないな」と露見
統語論すら知らん君よりは分かってると思うよ

修飾語と評価的な言葉は主観が絡むので隙になりやすい

標数0の体

>>469
>肝心な条件を陽に記述しなかった、といえばいい
何も分かってないの自供してて草
シンタックスエラーなら条件を補うことも考えるべきだろう
しかしコンパイルが通ってしまったらあとは動的テストでバグ（意味論的間違い）検出するしかない
シンタックスエラーの抜けとコンパイルが通る抜けの区別ができてないことを君はたった今吐露した

全部に反応して活動しちゃう頭ってどうなの
ブレそうだし疲れそう

サル3号「俺様が書いた文章は完璧だ。俺様の言いたいことをくみ取って修正しない貴様が馬鹿なだけ」

おまえどんな教育受けてきたの？

>>477
そんなの反応してたら5chできないよ

>>472 >>475　
ID:6pIBr9vu
皮相なツッコミ　マジワロス

プログラミングしか能がない中卒だろ（嘲）

>>478
ていうかそんなこといってたら数学書読めない

ID:6pIBr9vuは、いちいち著者につっこむんか？　バカか（嘲）

おまえが受けた教育がどんなもんか知らんが、まともじゃないことだけは確かだな

「俺様が書いた文章は完璧だ。俺様の言いたいことをくみ取って修正しない貴様が馬鹿なだけ」
おまえはロベスピエールというよりスターリンもしくはポルポトだな

>>481
>おまえがまともじゃないことだけは確かだな
>おまえはロベスピエールというよりスターリンもしくはポルポトだな

と、アドルフ・ヒトラーが吠えてます（嘲）

>>479-480
プログラミングは奥深いし
著者に突っ込むのは大事だね
クリティカルリーディングという

「俺様が書いた文章は完璧だ。俺様の言いたいことをくみ取って修正しない貴様が馬鹿なだけ」
はいかにも独裁者が言いそうな専横的セリフ
独裁の罠には際限が無い
おまえ政治家を目指さなくて良かった　おまえが政権取ったらその国は地獄と化す

>書いた文章は完璧だ。

幻聴

>言いたいことをくみ取って

最初に全体となる始順序数を設定している
当然その中の順序数に限定されるに決まっている
そう考えずに、全順序数だと読む貴様一匹が大🐎🦌

●ね　ゴキブリ

>>482
取り乱さないで

興奮しすぎている

>>483
相手がいったことをまったく想像しないのは
ノンクリティカルリーディング

馬鹿の肩もつなよ　馬鹿になるぞ

>>486-487
偽善者は黙ろうな

馬鹿を庇うな
馬鹿になるぞ

>プログラミングは奥深いし
その通り。
数理論理学と計算論・型理論とトポスは実は非常に深い関係がある。数学の核心部にド直球で刺さってる。
プログラミングを舐めてはいけない。

>>488
経緯は知らないからね
でも、はたから見ると馬鹿2人に見えると思うよ

実際はどっちかがツッコミ入れてどっちかがゴネてるんだと思うけど
他人にはわからないからね

私はベーシックのプログラムを先生に褒められたw

例えば昨今話題のLeanによる数学証明の検証は、型（命題）に対するプログラム（証明）が存在するか、という枠組みで実施されている。
そのバックボーンにあるのがカリー＝ハワード＝ランベック対応

つまりカリー＝ハワード＝ランベック対応は、「ある命題の証明はほんとうに証明になっているか」という問題を「ある型を満たすプログラミングできるか」という問題に置き換えることを許した。

「プログラミングを引き合いに出すのは中卒だ」

それは昭和の考えな　プログラマーがIT土方と呼ばれていた時代
令和の数学は文字通りプログラミングによって支えられている
認識を改めような昭和のスターリンくん

人は簡単には変えられないよ
たとえばパーソナリティ障害の治療は2年かかる

大人は経験的にそれを知ってるから
1人に固執しないんだ

>>485
まだ言ってて草

>最初に全体となる始順序数を設定している
単に順序数と言ったとき、その始順序数の要素に限定されていると思う人はいないだろう。統語論的には間違っていないから猶更。

Transverse Analytic Envelopes and Semiglobal Dynamics
Maurício Corrêa, José Seade

スターリンくんはご機嫌ななめだな

「俺様が書いた文章は完璧だ。俺様の言いたいことをくみ取って修正しない貴様が馬鹿なだけ」
ははぁ、その通りでございます　逆らった愚かなわたくしめをあなたさまの御慈悲でどうかお許し下さいませ〜

これでよいかい？

自分が作った立派なスープに
水を入れたと怒ったのは
ヒトラー