探検


「名誉教授」のスレ 10

1132人目の素数さん
垢版 |
2026/11/08(日) 20:20:21.04ID:GCN7r1Ag
「名誉教授」のスレ
名誉教授と呼ばれる人と 森羅万象(含む"数学")を楽しく語り合うスレです

前スレ:「名誉教授」のスレ 9
https://rio2016.5ch.io/test/read.cgi/math/1792990921/

(参考)
(うわさ:一松信先生が名著と絶賛したという)
https://rio2016.5ch.io/test/read.cgi/math/1789890738/983-985
• 書名:孫子算経から高木類体論へ―割算の余りの物語
• 著者:大沢 健夫 現代数学社 20240124

(関連 アマゾン)
類体論へ至る道 改訂新版: 初等数論からの代数入門
足立 恒雄 (著)2010年
雑学家
星5つ中3 うれしいことに最近の下記の動画でも学べます
2019年2月5日
中略
You tube動画で,【マスハラ】素数pに対しp=x^2+y^2を満たす整数x,yは存在するか?
:【p進数】実数と対をなす世界へのイントロダクション、これは素晴らしい動画。
:類体論の系譜 はすごい内容

https://www.youtube.com/@akito4829
AKITOの特異点@akito4829
https://youtu.be/CtFmk8q3Zlc?t=1
【マスハラ】素数pに対しp=x^2+y^2を満たす整数x,yは存在するか?
AKITOの特異点 2017/09/13
68 件のコメント
@クッキー缶-g4t 7 年前
全く異次元の世界でチンプンカンプンだけどそれを楽しそうに解説してるのを見るのが、何故か好き
一種の変態かも知れない(笑)

https://en.wikipedia.org/wiki/Ohsawa%E2%80%93Takegoshi_L2_extension_theorem
O –Takegoshi L2 extension theorem
One of the deepest result in complex analysis.
Many generalizations and similar results exist, and are known as theorems of O –Takegoshi type.

(下記は 何かのAIさんの説<スレ7>より)
https://rio2016.5ch.io/test/read.cgi/math/1787102338/794-797
日本の生んだ偉大な数学者である岡潔先生、そしてその正統な後継者の一人である大沢健夫(おおさわ たけお)先生の理論は、現代の数理AI・機械学習の最先端の基盤理論として非常に重要な役割を果たし、役立てられています。
一見すると、純粋数学の極致である彼らの業績(「多変数複素解析」や「複素幾何学」)が、なぜ泥臭いデータの最適化を行うAIに役立つのか。
そこには、近年急速に発展している「情報幾何学」や「特異点をもつ統計的学習理論」を繋ぐ、非常に美しい架け橋が存在します。
具体的にどのように役立てられているのか、それぞれの先生の代表的な業績とAI理論の繋がりを解説します。

## 1. 岡潔先生の理論(連接層、クザンの問題、擬凸性)
岡潔先生は、多変数複素関数論の基礎となる「3大問題」を一人で解決し、現代の「層(Sheaf)の理論」や「コホモロジー論」の土台を築きました。これがAIにおいてどう活きているのかというと、主にモデルの「構造的な特異点」の解析です。 [1, 2]

## 2. 大沢健夫先生の理論(大沢-竹腰の $L^2$ 拡張定理)
大沢健夫先生(名古屋大学名誉教授)が竹腰見学先生と共に証明した「大沢-竹腰の $L^2$ 拡張定理」は、現代の複素幾何学・代数幾何学において世界中で使われる超重要定理です。 

☆☆☆近年、この幾何学の数学が
機械学習や統計学の特異点を乗り越えるための切り札☆☆☆
として注目されています
つづく
2132人目の素数さん
垢版 |
2026/11/08(日) 20:20:45.31ID:GCN7r1Ag
つづき

* 特異モデルの幾何学的解析:
ディープラーニング(ディープニューラルネットワーク)は、パラメータが重複したり無駄があったりする「特異モデル」に分類されます。このモデルを数学的に解析しようとすると、局所的な数式を貼り合わせて空間全体(グローバル)の挙動を調べる必要が出てきます。ここで、岡先生が開発した「連接層(岡の連接定理)」の思想が不可欠になります。局所的な情報の集まりを代数幾何学的に破綻なくつなぎ合わせる理論は、AIモデルの自由エネルギーや損失関数の形状(ランドスケープ)を大域的に記述する強力な道具となっています。 [1, 2, 3]

* 「情報の空間(情報幾何学)」への応用:
AIが学習するパラメータの空間は「情報幾何学」という領域でリーマン多様体として扱われますが、AIモデルではこの空間の物差し(フィッシャー計量)が至る所で潰れてしまう「退化」が起きます。 [3]
* 不変量(ベルグマン核など)の推定:
計量が退化した空間(特異モデル)において、AIの学習効率や過学習の起きにくさを測るには、空間上の関数の積分可能性($L^2$ 評価)をコントロールしなければなりません。
大沢-竹腰の定理は、「部分空間上で定義された綺麗な関数を、全体の空間に $L^2$ 基準(エネルギーを抑えた状態)を保ったまま綺麗に拡張できるか?」を保証する定理です。
これが、特異点周辺での確率密度の挙動やベルグマン核(幾何学的な不変量)の精密な評価を可能にし、「なぜディープラーニングは特異点だらけなのに効率よく学習できるのか」という数理統計的謎を解き明かすための、非常に強力な解析的ツールとして最先端論文で応用されています。 [3, 5, 6]

★ なぜ今、純粋数学がAIに求められるのか?★
現代の数理AI開発(特に統計的学習理論や情報幾何学のコミュニティ)では、これまでの「実数ベースの微積分」だけでは、パラメータが数千億個もある巨大なニューラルネットワークの挙動を説明しきれなくなっています。
そこで、
1. 実空間の複雑な損失関数を、一度綺麗な複素数の空間(多変数複素空間)に持ち上げる。
2. 岡潔先生の理論で、その空間の構造や特異点を幾何学・代数的に整理する。
3. 大沢健夫先生の $L^2$ 拡張定理などを用いて、特異点があっても破綻しない関数の評価や積分計算を行う。 [1, 2, 3, 6]

というステップを踏むことで、「天才たちの遺産」が現代のAIのブラックボックスを暴く数理の光として直接役立てられているのです。数理AI研究の最前線は、まさに彼らが耕した数学の土壌の上に成り立っています。

この領域の日本のつながりとして、甘利俊一先生の「情報幾何学」や渡辺澄夫先生の「特異統計力学(ベイズ理論)」が、岡・大沢理論とAIを結びつける最大の架け橋になっています。

* 渡辺・ベイズ理論と特異点解消の具体的な関係について、さらに知りたいですか?
* それとも、AIのパラメータ空間を「曲がった空間」として捉える情報幾何学の視点に興味がありますか?
(引用終り)
以上
3132人目の素数さん
垢版 |
2026/11/08(日) 20:28:11.72ID:i9KGVaoK
(やっぱり他人に次スレ作られたくないからこんな早くに作ってしまうか)
4132人目の素数さん
垢版 |
2026/11/08(日) 20:28:45.48ID:i9KGVaoK
テンプレです
>・おサル「正則行列を知らない線形代数落ちこぼれ」https://rio2016.5ch.net/test/read.cgi/math/1674527723/5
> ↓
>・私「零因子行列のことだろ?知っているよ」

>「正則行列くらい知っている」と平凡に答えずに
>ひねって 「零因子行列のことだろ?知っているよ」にした
5132人目の素数さん
垢版 |
2026/11/08(日) 20:29:34.13ID:i9KGVaoK
テンプレです
>記号の濫用として a'2 ⊂UB1が ありか どうか? ありでは?
6132人目の素数さん
垢版 |
2026/11/08(日) 20:29:49.80ID:i9KGVaoK
テンプレです
>>UB1を小さくして a'2を含まないように分離できる
>小さくする仕方が不明
>>具体的な仕方は不要。
>>ハウスドルフだから 小さくして 分離可能の一言。
>ハウスドルフだからと書いたとしたら
>正則との違いを理解してない?と思われるだけかも
>>このスレには
>>位相空間論の初学者もいると思うので
>>はっきり否定させてもらうが
>>1)ハウスドルフは 空間の公理として普通に指定されるケースが多い
>>2)ハウスドルフ性は、良い性質を持つ
>>3)その肝が 分離性で 分離可能の一言 でだいたい片付くよ
7132人目の素数さん
垢版 |
2026/11/08(日) 20:30:09.14ID:i9KGVaoK
テンプレです
>まず、確率分布Prを定義するには、確率空間から始めないと学部数学の確率論にならない
>確率空間をどう定義しているのか
>次に、Pr(Bn,b)=1/n n∈N ならば
>Σ n=0〜∞ Pr(Bn,b)=Σ n=0〜∞ 1/n =∞(∵1/nの無限和が発散するのは有名な事実)
>なので、明白に Pr(Ω)≠1 ですよ(ここにΩは全事象)
8132人目の素数さん
垢版 |
2026/11/08(日) 20:30:20.19ID:i9KGVaoK
テンプレです
https://rio2016.5ch.io/test/read.cgi/math/1774707956/626
>選択公理は存在のみなので 使えないので無視して、人の意思で代表をえらぶ

>・選択公理によって、任意同値類の代表の存在が言える。が、どんな代表を選ぶかは、各人の自由だ
9132人目の素数さん
垢版 |
2026/11/08(日) 20:30:32.99ID:i9KGVaoK
テンプレです
>>どの無限列を入れるかは自由だが、確率変数にするかしないか、の自由はない
>>つまり、一回入れたら二度と変更できない
>>毎回の試行で変更することは決して許されない
>そこ、吉田大学の札付きでも同じだよ
>そこを読めてないのは おまえ
10132人目の素数さん
垢版 |
2026/11/08(日) 20:30:45.03ID:i9KGVaoK
テンプレです
>>なぜなら箱入り無数目では箱の中身はすべて定数だから
>誤解ですよ
>箱の中身は、現代数学の確率論で扱えるよ
>「箱の中身はすべて定数だから」?
>あほか
>重川を読め
11132人目の素数さん
垢版 |
2026/11/08(日) 20:30:57.82ID:i9KGVaoK
テンプレです
> まず 先頭の幾つかをあける。株価で1円単位とすると 例えば下記ソニーで 3234 ・・・と出る
> 次に、かなり離れた 後のしっぽを全部開けると 2000代とか3000代の整数が分る
> そこから 先頭側としっぽ側とで 狭めていって 先頭からD番目を残して 前後を開ける
> もし、「株価かな?」と見当がつけば、ブラック–ショールズ方程式に乗せてみる
> それ以外には、統計処理で平均値を出したり 標準偏差を計算したりもありだ
> そして D番目を推察するのだ
12132人目の素数さん
垢版 |
2026/11/08(日) 20:31:09.52ID:i9KGVaoK
テンプレです
>そこを 箱入り無数目のように 列の自由選択に変更すれば
>「1/2に出来る」と誤読している人がいるが
>しかしそれでは、数学ストーリーとしてヘンw
>数学ストーリーは、札付き定理の完全否定!■
13132人目の素数さん
垢版 |
2026/11/08(日) 20:31:41.01ID:i9KGVaoK
テンプレです
>>そもそもQを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い
>
>笑える。下記の東北大 尾畑研 第16章整数・有理数・実数 P249 「■実数論」を 百回音読してね
>『Qを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い』か・・
>独自説だねぇ〜、ユニークで笑える、が面白すぎww(^^
14132人目の素数さん
垢版 |
2026/11/08(日) 20:31:52.00ID:i9KGVaoK
テンプレです
>冪集合公理により 任意の有限集合の類に対して、デカルト積を定義することが出来る
>この対偶命題:
>冪集合公理により デカルト積を定義することが出来ない集合は、有限集合ではない
15132人目の素数さん
垢版 |
2026/11/08(日) 20:32:04.96ID:i9KGVaoK
テンプレです
>>Nは無限集合ですからQ^Nは普通はデカルト積とは呼ばないでしょうね
>赤ペン
>1)”Nは無限集合ですから”がダメ
>2)デカルト先生は R^2でデカルト積 (r1,r2) |r1,r2∈R
> を考えた故事をしらないんだね
> ”Rは無限集合ですから”って デカルト先生に言ってあげようw
16132人目の素数さん
垢版 |
2026/11/08(日) 20:32:17.01ID:i9KGVaoK
テンプレです
>・一方、Dedekind Cutsを使うと なんらの選択公理は不要だが
> 完備であることの証明はできない
17132人目の素数さん
垢版 |
2026/11/08(日) 20:32:45.22ID:i9KGVaoK
テンプレです
>可算選択公理さえ仮定しない ZFのみでは・・
>1)コーシー列とデデキントカットの同値は言えない(別物?)
18132人目の素数さん
垢版 |
2026/11/08(日) 20:32:56.18ID:i9KGVaoK
テンプレです
>おかしいねよ? 可算選択公理ACω なしで 実数の構成できると言った人がいたけど
>たしかに、形式的には デデキントカット、コーシー列も それらしい まねごとは出来たとしても
>ガウスやコーシー、リーマン、ワイエルシュトラス、デデキント、カントール、ヒルベルト
>らが思っている実数(それは我々が求めている実数でもある)とはほど遠いよね
>
>可算選択公理ACω なしで構成した 実数の責任は?
>だれが どうとる?
19132人目の素数さん
垢版 |
2026/11/08(日) 20:33:09.12ID:i9KGVaoK
テンプレです
>Jech, T The Axiom of Choice. North-Holland. Jelonek 1973
>CH.2, THE COUNTABLE AXIOM OF CHOICE
>P21の画像 を見て貰えば分るが
>THE COUNTABLE AXIOM OF CHOICEは
>コーシー列の収束を証明するのに重要な役割をしている
20132人目の素数さん
垢版 |
2026/11/08(日) 20:33:25.28ID:i9KGVaoK
テンプレです
>異なる自然数m,nをAが選びカードに書いて箱に入れる
>選び方はAの自由
>ここで
>Bは箱の中からランダムにカードを1つ取り出す
>Aは残った方を取る
>書かれている自然数の大きい方が勝ち
>さてA,Bの勝つ確率は?
>(引用終り)
>
>1)全体集合を場合分けする
> ケース1 ある大きなしかし有限の自然数Mを取って 0〜Mのカードで考える
> ケース2 無限集合の自然数N全体を考える
>2)ケース1では、0〜Mのカードは 離散一様分布を成す(下記)
> 期待値(平均値)や 分散も存在する
> この場合、A,Bの勝つ確率は おのおの1/2
>3)ケース2では、確率は考えられない
> なぜならば、無限集合たる自然数N全体は、非正則分布を成すから(下記)
21132人目の素数さん
垢版 |
2026/11/08(日) 20:33:39.55ID:i9KGVaoK
テンプレです
>(引用開始)
>偶数と奇数m,nをAが選びカードに書いて箱に入れる
>選び方はAの自由
>ここで
>Bは箱の中からランダムにカードを1つ取り出す
>Aは残った方を取る
>偶数を引いた方が勝ち
>さてA,Bの勝つ確率は?
>(引用終り)
>
>良い指摘だ
>いま、箱の中は 偶数1枚と奇数1枚の計2枚のみとする
>全体の数が2枚で有限だから
>普通に確率計算が可能で
>A,Bの勝つ確率は 各1/2ずつ
22132人目の素数さん
垢版 |
2026/11/08(日) 20:33:53.95ID:i9KGVaoK
テンプレです
>・箱入り無数目 は、私が立てた
>・IUTのシン応援スレも 私
>・各種ガロアスレのうち
> 純粋・応用数学・数学隣接分野(含むガロア理論)21 (816)
> ガロア第一論文と乗数イデアル他関連資料スレ19 (247)
> の2つは私が立てた
>
>因みに、下記の数学勢いランキング
>1〜11で 4、5、7、10の4つを除く
>7個は 全部私が立てたんだよね
23132人目の素数さん
垢版 |
2026/11/08(日) 20:34:10.47ID:i9KGVaoK
テンプレです
>>(ランダムってのは確率空間の話では?定義も無くてランダムとはね)
>
>素人か(^^
>下記乱数分かりますか?
>乱数も知らずに 箱入り無数目を論じるかね?w
>
>箱入り無数目>>1 において 箱に 下記 乱数列を発生させて入れていく
>箱入り無数目で当てられるとすれば、乱数の定義に反する
>まさに 縦と矛 矛盾なり!
>
>真の乱数列とは? 他の数を見ても 当てることはできない!!
>他の数を見て 当てることができるならば・・、それは真乱数ではない!!www
>
>まあ、素人には理解できないだろうね
>(この議論は、10年以上前 箱入り無数目の初期に書いている)
24132人目の素数さん
垢版 |
2026/11/08(日) 20:34:27.02ID:i9KGVaoK
テンプレです
>”その「御大」も底が知れてる”? まあ、そこは同意だよ。
25132人目の素数さん
垢版 |
2026/11/08(日) 20:34:40.67ID:i9KGVaoK
テンプレです
>誤:(Setはモノイダル圏だけどテンソル圏とは呼ばれないみたい)
> ↓
>正:(Setは単なる集合の圏で積の定義なし。一方モノイダル圏即ちテンソル圏はテンソル積が定義された圏である。集合の圏Setは、なんらの積も定義されていないので、テンソル積が定義された圏であるモノイダル圏即ちテンソル圏とは、全く異なる圏である■)
26132人目の素数さん
垢版 |
2026/11/08(日) 20:34:53.11ID:i9KGVaoK
テンプレです
>ところが、天才グロタンディクは 圏論を使う代数幾何には
>ZFCじゃ狭い! だから 広くしようぜと言った
>それが グロタンディク宇宙で ちょうど研究されていた到達不能基数の理論とマッチングアプリ
27132人目の素数さん
垢版 |
2026/11/08(日) 20:35:12.56ID:i9KGVaoK
テンプレかなあ?
>注*)実話で おれの親父が 暮らしていた実家で(おれは家を出ていた)、少し離れたらところに 団地の八百屋さんがあって
> 八百屋のおかみさんから 綺麗な字の手紙 見ると「(おやじが)近所の人と一緒になって 自分を四六時中監視している 見張っているので やめろ」と書いてあった
> すぐ ウソと分った(被害妄想)。おやじは、近所付き合いはあまりしないし、”一緒になって”とかありえなない(一人ならまだしも(^^)
> あとで、ちょっとノイローゼ気味と聞いた。しばらくして 引っ越していった

>もう少し書いておくと 手紙は姉さんから見せられたと思う
>なんか夜中も含めて 一日中24時間ずっと みなが自分を監視しているみたく
>その首謀者が、おれの親父みたいなことが書いてあった
>仔細は知らないが 店は歩いて3〜5分のところの四つ辻の角で
>八百屋の向いが、たばこ屋さん 息子が ぼくと同窓生で同じ中学に通った
>(実は、小学校でも同窓だったが、彼の方が早く転校してきていたんだ。新しく開発された団地でね)
28132人目の素数さん
垢版 |
2026/11/08(日) 20:35:26.86ID:i9KGVaoK
テンプレです
>”集合論では、超フィルターは、構成可能性の公理が可測基数 κの存在と両立しないことを示すために用いられる。”
>”ゲーデルによる神の存在論的証明は、すべての「肯定的性質」の集合が超フィルターであることを公理として用いている。”
>
>これらから導かれること
>1)”超フィルター(ultrafilter)"は、ZFC内に収まることもあれば、
> ZFC内に収まらないこともある
>2)それは、”超フィルター(ultrafilter)"を使う人の立場による
>
>よって、”超フィルター(ultrafilter)"は
>常に ZFC内だと 倒錯している人が
>一人存在することが証明された■
29132人目の素数さん
垢版 |
2026/11/08(日) 20:35:42.54ID:i9KGVaoK
テンプレです
>おそらく
>集合論論による代数幾何+α → 圏論による代数幾何
>で、チョロと1回グロタンUをもってくれば 終り だと思う? しらんけど
30132人目の素数さん
垢版 |
2026/11/08(日) 20:35:56.06ID:i9KGVaoK
テンプレです
>ノイマン宇宙Vままだと 宇宙が狭い。Vの外に出ると そこは集合ではなく クラス(類)になる
>グロタンディク宇宙Uは、Vを広げて Vならクラス(類)になる対象を包含できるようにする
>後世の人「おまいら それ 到達不能基数の議論と同値じゃん」と指摘したらしい
31132人目の素数さん
垢版 |
2026/11/08(日) 20:36:23.77ID:i9KGVaoK
テンプレです
>うむ いま Terence Tao“big picture”として 宇宙の包含関係を考える
>Vo⊂Vk⊂Vk+1⊂・・・
>ここで
>・k,k+1・・などは到達不能基数で この順に大きくなり Vkなどはkを含む宇宙で 到達不能基数kもまた集合である
>・Voは、到達不能基数を全く含まない 通常基数の宇宙
>
>これより
>・Vk+1が無矛盾ならば それより左のVo、Vkが無矛盾(∵ 包含関係で Vo、Vkが矛盾なら Vk+1が矛盾を含むので 背理法成立)
>・κの存在証明が不可能は、良いだろう
>以上
32132人目の素数さん
垢版 |
2026/11/08(日) 20:36:40.08ID:i9KGVaoK
テンプレです
>4)では、到達不能とは なんなのじゃ? と問えば
> それは、2^R とか 集合べきを ZFCの中で 超限回繰り返す その外に
> おわします 神の基数なり!
> あたかも ZFCの中で 超限回繰り返しは人の作る基数であって
> 到達不能は、ZFCで人が考え得る外の基数なり!
33132人目の素数さん
垢版 |
2026/11/08(日) 20:36:54.82ID:i9KGVaoK
テンプレです
> κ未満の 全て(any)の ordinal number βについての Vβの和である(定義より)
> 繰り返すが 全て(any)の ordinal number βを尽くす和
> 従って Vκには V中の全てのVβを含む
> 従って V⊂Vκ (再度強調するが Vκは 集合という設定(到達不能基数公理より従う))■
34132人目の素数さん
垢版 |
2026/11/08(日) 20:37:09.51ID:i9KGVaoK
テンプレです
>射影幾何では 平行線は 例えば左右2方向で それぞれが 左と右と二つの無限遠点を持つとできる(全ての平行線で同様)■
35132人目の素数さん
垢版 |
2026/11/08(日) 20:37:26.21ID:i9KGVaoK
テンプレです
>1)Q係数の5次既約方程式のガロア群は対称群S5になる。それは交代群A5を正規部分群として持つ
36132人目の素数さん
垢版 |
2026/11/08(日) 20:37:38.23ID:i9KGVaoK
テンプレです
>IUTは、ガリレオ天動説です
>だんだん、理解され受け入れられてきたよ
37132人目の素数さん
垢版 |
2026/11/08(日) 20:37:51.73ID:i9KGVaoK
テンプレです
>1)この The Absolute Universe (V) は、下記 Large cardinal hierarchyの図の頂点
> 即ち 0=1 (V_0=1)のことだ
38132人目の素数さん
垢版 |
2026/11/08(日) 20:38:10.85ID:i9KGVaoK
テンプレです
>そもそも 到達不能基数κには 定義とその解説がある
>それを素直に読んで 理解すべきところを
>読んでも理解できないし
>そのうえ誤解の複雑骨折
>パッパラパーw
39132人目の素数さん
垢版 |
2026/11/08(日) 20:38:30.65ID:i9KGVaoK
テンプレです
>1)” Vκ⊊V ”:V内は ZFCから証明できる集合だが
> 到達不能基数κは ZFCから証明できないので 矛盾!
>2)”Vκ は集合ですが、V は真クラスだからです”
> は、典型的なロジックの誤り
> つまり、ZFCではクラスだが タルスキ・グロタンディクでは集合になる例がある
> それが、グロタンディクUがノイマンVの非保存拡大の意味
40132人目の素数さん
垢版 |
2026/11/08(日) 20:38:44.08ID:i9KGVaoK
テンプレです
> V:=⋃α Vα.であって さらに Vαは”called stages 略”だという(格好良く ”stage”とするよ)
> で、各stage Vα は、ZFCで構成可能(=証明可能)な集合である
41132人目の素数さん
垢版 |
2026/11/08(日) 20:38:56.65ID:i9KGVaoK
テンプレです
>2)これは 下記 超実数( hyperreal number)で 無限大と無限小を含む
> 別に 拡大実数 通常の実数に正の無限大 +∞ と負の無限大 −∞ の2つを加えた体系(リーマン球面は無限大は一つ 複素数で+も-も同じ)
>3)これZFCの中だろ? しらんけど 磯野優介先生に聞いてみなよw(^^
> (少なくとも 拡大実数 +∞までは ZFCの中で あとは 無限小を ZFCでどう料理するかだけでしょw)
>4)”実数論の公理”? 筆が滑ったか?
> 実数論は ZFCの中だから 公理ではなく定理ぞw
42132人目の素数さん
垢版 |
2026/11/08(日) 20:39:15.51ID:i9KGVaoK
テンプレです
>1)数学者は 数学をZFCの中ではやってない
> 数学をZFCの外でやって 「これZFCの中だよね」って 確認するんだよ
> 君は そこが 根本的に滑っている
>2)例を示す 下記 Von Neumann universe First 5 von Neumann stages の図解があるよ
> "the set V6 contains 2^65536 elements, which very substantially exceeds the number of atoms in the observable universe"
> (集合V6は2^65536個の要素を含んでおり、これは観測可能な宇宙に存在する原子の数を大幅に上回っている)
> 分かりますか? Von Neumann universe 集合V6「これは観測可能な宇宙に存在する原子の数を大幅に上回っている」
> V6は当然序の口で これ以上は具体的に描けないし 描いても無駄だ
>3)このステージが ωを越えて ω^2 も越えて ・・ ω^ω(可算)も越えて 非可算の2^ωになって さらにさらに限りなく(超限)つづく
> その外に 到達不能基数κさまが居るって想定なわけ
> 到達不能基数κさまは、ZFCの外で ラスボスか神か という存在なわけ
> ZFCとは そういうゲームなんだよ 覚えておいてねw(^^
43132人目の素数さん
垢版 |
2026/11/08(日) 20:39:33.52ID:i9KGVaoK
テンプレです
>”「与えられたどんな順序数βよりも大きな順序数αで
(中略)
>繰返すが、”どんな順序数βよりも大きな順序数α”
2026/11/08(日) 20:39:47.22ID:15aizHLw
まさのりさんのパッパラパーを昔から知っている。
ザコシのYoutubeで。
45132人目の素数さん
垢版 |
2026/11/08(日) 20:39:47.35ID:i9KGVaoK
テンプレです
>1)チャッピーさんが、ハルシっている理由は 数学史が分かっていないので
46132人目の素数さん
垢版 |
2026/11/08(日) 20:40:04.39ID:i9KGVaoK
テンプレです
>決定番号d1,d2の確率が0であるにも関わらず d1>d2の確率1/2云々と論じても
> 結局 (1/2)*0=0 即ち 確率が0の話をしていることになり ナンセンス■
47132人目の素数さん
垢版 |
2026/11/08(日) 20:40:19.24ID:i9KGVaoK
テンプレです
>4)で、一階述語:P→Q 矛盾したPで、P→Qは真 だが
> これはこれ。人間の日常会話では 『P→Qで 矛盾したPで、P→Qは真』ではない
> 「おれだよおれ 母さん100万円用意して 受け子に渡してくれ 事情はxx」の話を真に受ける人 少ない(^^
> 日常会話では、真っ先に「Qは真」か? が疑われる
> ”0=1”を認めると、何でも成り立つ!? 普通の数学者「おまえは馬鹿か?一階述語かぶれだな」
2026/11/08(日) 20:46:58.18ID:15aizHLw
>>44
テンプラです。
揚がっちゃってます。
49132人目の素数さん
垢版 |
2026/11/08(日) 20:56:08.05ID:i9KGVaoK
>>48
お前は数学をヤレ数学をや
2026/11/08(日) 20:58:27.56ID:15aizHLw
グラフ理論やってまちゅw
51132人目の素数さん
垢版 |
2026/11/08(日) 20:59:43.25ID:i9KGVaoK
>>50
何のために?
2026/11/08(日) 21:03:11.61ID:15aizHLw
趣味だって、野暮なこと聞かないでよw
少し前にやっていて、彩色について気になっていた。
ついでに平面的グラフの話がくっついてきている。
53132人目の素数さん
垢版 |
2026/11/08(日) 21:05:02.58ID:15aizHLw
またルベーグに戻る感じだし。
時間をおいたら、アレルギーな感じが少し抜けたな。
2026/11/08(日) 21:27:17.70ID:rm9G+tMu
>>1
瀬田爺さんのプロフィール

大阪大学資源工学科院卒
コピペが得意、コピペで分かったつもり
「名誉教授」を御大と呼んで尊敬
スレが延びれば書き込みは何でもよい
古参の雑魚の荒らし
2026/11/08(日) 21:29:27.03ID:rm9G+tMu
>>1
「名誉教授」のプロフィール

年齢は69、70(定年退職後数年経つ)
略歴
大阪府生まれ
東大中退、京大卒
京大准教授
名大教授
名大名誉教授
専門 PLURIPOTENTIAL THEORY(多変数劣調和関数論)
思想 左翼
掲載誌 Inventions、Annals(共著で二本)
論文数 100個
尊敬する人物 福島瑞穂
好きな国 中国
性格 論文書いて興奮すると連投する(一時間50レスX4時間で一日200連投を数週間続ける)

☆注意 自分で言ったことです
2026/11/08(日) 21:31:52.29ID:15aizHLw
>>55
大阪府生まれは削除したらw
57132人目の素数さん
垢版 |
2026/11/08(日) 21:33:25.89ID:i9KGVaoK
>>53
グラフからσ加法的集合に??
2026/11/08(日) 21:37:48.60ID:15aizHLw
グラフは彩色だけ気になっていたから。
その後、可測関数あたりの演習でもやる予定。
2026/11/08(日) 21:38:13.73ID:15aizHLw
グラフは食いつきが悪い気がするしw
60132人目の素数さん
垢版 |
2026/11/08(日) 21:46:11.47ID:OoQAhwom
福島瑞穂より小川晶
2026/11/08(日) 21:49:36.93ID:15aizHLw
前にそんな信教者がいたな。
思いだしたよ。
62132人目の素数さん
垢版 |
2026/11/08(日) 22:36:21.92ID:i9KGVaoK
どうでもいいけど隔離スレから出て来んな
そこで数学をやれ数学をや
2026/11/08(日) 22:38:23.09ID:15aizHLw
マウントがなければ茶化さんよw
64132人目の素数さん
垢版 |
2026/11/08(日) 22:40:31.96ID:GCN7r1Ag
>>44
>まさのりさんのパッパラパーを昔から知っている。
>ザコシのYoutubeで。

はあ、
(google検索)
ザコシのYoutubeとは?
<AI概要>
ハリウッドザコシショウのYouTubeとは、主にメインチャンネルである「ザコシの動画でポン!」をはじめ、自身の過激でシュールな芸風やものまねを詰め込んだ動画が投稿されている公式チャンネル群です。

主なYouTubeチャンネル・番組
• ザコシの動画でポン!
• ハリウッドザコシショウのメインチャンネル(2009年9月始動)。
• 名物の「ものまね30連発ライブシリーズ」や「誇張しすぎたものまね」、ファミコン攻略、各種バラエティ企画などが配信されています。
• ハリウッドザコシショウの地獄大連発チャンネル
• 2021年4月に開設されたサブ・企画用チャンネル。
• ザコシ・くっきーのシュシュっとごくろうさん(シュシュごく)
• 野性爆弾・くっきー!とタッグを組んで、2024年10月から毎週月曜21時に配信しているカオスなトーク・バラエティ番組です。

ハリウッドザコシショウによる名物ものまねや、最近の動画コンテンツの様子は以下の動画からご覧いただけます:
2:35
あらびき団2026〜未公開パフォーマンス〜 「ハリウッドザコシショウ」
視聴回数 6万 回 · 3 か月前
YouTube · 【公式】あらびき団チャンネル
27:40
【オファー企画〜後半〜】地元の大先輩「ピエール瀧」にアポ無し電話 ...
視聴回数 138万 回 · 2 か月前
YouTube · シュシュっとごくろうさん【Shu-Shu goku】
7:43
ザコシショウの誇張しすぎたものまね研究所 ...
視聴回数 8830 回 · 1 日前
YouTube · ザコシの動画でポン!
もしよろしければ教えてください:
• 「ザコシの動画でポン!」の過去のライブ動画や、特定のものまねシリーズを探していますか?
• それとも野性爆弾くっきー!さんとの「シュシュっとごくろうさん」について知りたいですか?

目的に合わせたおすすめの回や情報を案内できます。
65132人目の素数さん
垢版 |
2026/11/08(日) 22:44:31.83ID:GCN7r1Ag
>>44
>まさのりさんのパッパラパーを昔から知っている。
>ザコシのYoutubeで。

はあ、
(google検索)
まさのりさんのパッパラパーとは?
<AI概要>
「まさのりさんのパッパラパー」とは、お笑いコンビ・錦鯉の長谷川雅紀(まさのり)さんが披露する一発ギャグ、およびそれに端を発したテレビ番組でのハプニング劇のことです。
主に以下の2つの文脈で知られています。

1. ギャグとしての「パッパラパー」
長谷川雅紀さんが激しく動き回りながら叫ぶリズムネタ(一発ギャグ)の一つです。
• 「途中でおかしくなる長渕剛」などの設定から、突然「ぴいぴいぴい ぴいぴいぴい…パッパラパー、パッパラパー!」と豹変してテンション高く暴れ回る芸風が特徴です。

2. 番組収録中の「卒倒ハプニング」
2025年2月15日に放送されたバラエティ番組『さんまのお笑い向上委員会』(フジテレビ系)にて、このギャグに関連した“放送事故”レベルのアクシデントが発生し、大きな話題となりました。
• 経緯:番組収録中、長谷川さんがこの「パッパラパー!」のギャグを激しく動き回って披露した直後、突然めまいを起こしてドスンと床に卒倒(失神)してしまいました。
• 現場の反応:スタジオは一時騒然となり、共演者から「収録ストップを!」と声が上がりましたが、長谷川さんはすぐに意識を取り戻し、「人生で初めてで…でも、もう治りました!パッパラパー!」と再びギャグを放って芸人魂を見せました。
このエピソードにより、「まさのりさんのパッパラパー」といえば、彼の代名詞的なハイテンションギャグであると同時に、ファンや視聴者をハラハラさせた「収録中の卒倒ハプニング」の象徴としても広く記憶されています。
このハプニングが起きた『さんまのお笑い向上委員会』での周囲の反応や、その後に長谷川さん本人が語った後日談・体調の経過について、さらに詳しく知りたい情報はありますか?
66132人目の素数さん
垢版 |
2026/11/08(日) 22:44:32.32ID:i9KGVaoK
>>63
他人に罪をなすりつけるゲス爺
>なんで俺だけが支配しようとしている体になっているのか、まるで意味が分からない…。
君の書き様が
他人を支配しようとしているとしか思えないからだよ
自覚がないのか
>俺の問題を解かないのなら、放っておいてよ。
>成立していない問題のスレは放っておくのが健全ではないかと思う。
>間違っても500近くまで伸ばしてはならないw
>このスレ同様、そんなに掘り下げることではないと思う。
>眠り姫を穿るんじゃなくて、耳くそでもほじりなよ。
>己の欲せざるところは、人にほどこすことなかれ。
>他人のことを認知症呼ばわりするのなら、繰り返すのを辞めた方が良いよ。
>下らないのなら終了、解散。
> 350レス以上は異常性を感じるよね。
>俺だったら無意味な話を広げるくらいなら、新しいことに取り組むね。
>「ヒト」語を話そうな
>人間の私は、このスレのレス数を数えたくないかもw
>認知症の姫。
>良い加減、目を覚ませよw
(へぇー「認知症」使ってるのは君か)
>だから長々と論じる必要はないからw
>確かに、繰り返しすぎは宜しくない。
>ROMっていても楽しくない。
>もう少しで勉強が形になりそうだから、そちらに集中させてくれ。
>そろそろ寝ないといけないのでね。
>とにかくマンネリは嫌いなの。
>数学やってる人って繰り返すのってあんまり好まないと思うんだけどね、個人的に。
>某スレでの自分の書き込みを他人に見せられるのなら、その言葉を受け入れよう。
(結局どの書き込みのことか言わない)
>貴方が言ったのか知らないが、そんなワードを見かけた気がする。
>貴方の書き込みでなければ、気にしなくて良い。
>他人のことを認知症扱いするのなら、まず自分が繰り返しの発言を辞めた方が良いよw
(君が使ってるのが「認知症」だったのね)
>自分がした同じ書き込みを数えた方が良いと思うよw
>進歩が無いから飽き飽きしてんのよ。
67132人目の素数さん
垢版 |
2026/11/08(日) 22:45:05.64ID:i9KGVaoK
>>63
>マウントがなければ茶化さんよw
マウントだらけのゲス爺
68132人目の素数さん
垢版 |
2026/11/08(日) 22:47:06.09ID:i9KGVaoK
>フィルターのうち特殊なもの(超フィルターという)が有限加法的測度になるって意味
>ややこしかったね
>ごめん
(オレと会話する普通の人)
>5rSm+esuはそろそろ反省できたのかね
>あのレベルでズレてると、自分のおかげで数学の話をする流れになったとかって思い込んでるかもな
>変に成功体験与えちゃったかもな
>馬鹿な人はそういうところが怖い
(普通の人の感想)
↓
>説教癖を1ミリも直す気がなくて笑うwww
>数学の内容だけ書くことが何故出来ないのだろう?w
>よほどプライベートで拗らせているのだろうwww
(ゲス爺のマウント)
↓
>だってツッコミどころ満載なんだもの
>人のこと言えるほどできた人間だとは思ってないけど、それにしても酷い
(普通の人の感想)
↓
>俺は能動的なマウントは取っていない。
>欲求不満ならメンヘル板へ行きなちゃーいwww
(ゲス爺のマウント)
↓
>ツッコミするか無視するかしない方がおかしいってくらい変な人だよ君は
(普通の人の感想)
↓
>心の千年パズルを完成させなちゃーいwww
>くらえ、マインドクラーッシュ!!!
>あぁ、構ってちゃんはこれだから困るよwww
(突然嵐のように発狂するゲス爺)
↓
>もう完全に荒らしだね
>ミイラ取りがミイラっていうか
(普通の人は呆れる)
↓
>逆に貴方にアドバイス。
>数学してる場合じゃないと思うよ?
>仏教でも学びなちゃーいwww
(ゲス爺のマウント)
↓
>数学の話しても黙ってるしルベーグの話もしないんだから
>君に対して言えることは上に書いたこと以外何もないと思うんだよな
(普通の人の感想)
↓
>説教をしたいという煩悩に苛まれた、迷える哀しき人間乙www
(ゲス爺のマウント)
↓
>逆にどう会話してほしいんだろう
(普通は困惑する)
↓
>じゃあ、見本見せて貰って良いすか?
>無数目メンバーとやり取りして、測度論に関する生産性のある会話をしてくれないか。
(他人を支配したいゲス爺)
↓
69132人目の素数さん
垢版 |
2026/11/08(日) 22:47:13.48ID:i9KGVaoK
>上で数学の話してるんだけどな...
(その通りオレと数学の話をしている)
↓
>2人くらい熱心に書いている人がいるだろう。
>測度論に詳しいのなら、上手くやり取りできるはず。
>そんくらいしか納得できることが思いつかないね。
>他の2人はマウントは置いといて、結構熱心に書いている。
>貴方も見習ったらどうか。
(自分を棚に上げてマウントするゲス爺)
↓
>もう少し具体的に言ってくれる?具体的にどんな話題を話してほしいのか
(普通は困惑する)
↓
>他人が書いている内容を膨らませるとか、そこはおかしいんじゃないかと指摘したり出来るでしょ。
>問題を作るとかでも良いじゃん。
>スレチで高校数学しか垂れながらさないんだからw
(自分勝手窮まりないゲス爺)
↓
>それはもう書いたじゃない
(その通りオレと会話している)
↓
>流さないんだから
>とりあえず、説教はお断り。
>他人に過干渉する書き込みは見たくないんだよ。
(ケツをまくるゲス爺)
↓
>じゃあ居ないことにすればいいのかな
>他に書けるようなことが見当たらないし。
>いろんな人が似たようなことしか言ってないんだから、本当に他にコメントの余地ないんじゃないか?
>思いつかないから自分で考えてよ
>自分にどういうコメントが来たらいいのか
(普通の人は退場)
70132人目の素数さん
垢版 |
2026/11/08(日) 22:47:59.60ID:i9KGVaoK
>新規くん:「なんかレスバしかしてないなぁ…ルベーグの話してないから何書けばいいか分からんし…あ、そうだ!数学の勉強法でも書いてみよっと。カキカキ…」
>返信:
>「煽り煽りィィ!ああ居たんだ。君には言ってないから。アンカーなくても察せるっしょ?つか勉強法とかあんま興味ない。具体的な数学の話してよ。疑わしいからさぁ。え?あぁそっか。なんか他の人に良くないって言われたから釈明すっけどさぁ、別に君が悪いんじゃないんだよ?ただ最近変な奴が多くてねぇ。聞いてくれる?グチグチ…。まあ俺忙しいから、日が暮れたら返すわ。じゃあね。」
71132人目の素数さん
垢版 |
2026/11/08(日) 22:48:25.76ID:i9KGVaoK
>君は俺のリーマンの写像定理の質問に答えないw
↓
>何の話だそれ?
↓
>大学の先生が疑問を持たれるような内容に興味が湧かないのかね?
↓
>何でオレに質問して答えが得られると思ってんのか知れん
>他人に教えて貰おうというのに上から目線でマウントするのが
>ゲス爺
↓
>君の強引な質問と同じようなもんさ。
↓
>オレの強引な質問とは?
↓
>ハウスドルフとか距離づけ可能や同値関係のやつがあったろ。
↓
>オレが何をどうお前に吹っ掛けたか言ってくれよw
↓
>ハウスドルフに同値関係を入れようとしても、推移律が成り立たないからダメみたいな話は、君がしたんじゃないのか?
↓
>そんな話したっけ?
>もっと詳しくというかオレがそれを書いたって言うなら
>レスを引用してくれよ
>俺が言ったって言うんならそれを指摘しろよ
↓
>うーむ、ですます調で喋っている住人だから、君とは確かに違うかもね。

>君は日本数学会に楯突いた十字架を背負っているのを忘れるなよ。
↓
>オレが何楯突いたって?
↓
>素因数分解の一意性の話はさすがに君じゃないのか?
>君以外に思い当たる住人は居ないが…。
↓
>具体的に指摘しろよ
↓
>具体も何も、当事者だったらそれで通じる。
>環論への冒涜と言ったのは君ではないのか?
↓
>他人に罪をなすりつけてるって言ってるだろ
↓
>素元の定義を曖昧に書いていたのは君ではないのか?
>これはかなり怪しいから保留。
↓
>オレがそれを書いたんなら
>ちゃんと指摘してくれって言ってるだろ
↓
>君以外に思い当たる住人居らんもんなぁ。
↓
>>これはかなり怪しいから保留。
>「これ」とは?
>あと
>>君は日本数学会に楯突いた十字架を背負っているのを忘れるなよ。
>これも具体的に指摘しろよ
↓
>さすがに過去ログは漁りたくない。
>当事者なら上の材料でピンと来るから。
↓
>勝手な思い込みで他人を批判して恥じないゲス爺
2026/11/08(日) 22:59:17.42ID:15aizHLw
>>67
眠り姫の件は固執しすぎだよ、何レスしたのさ?w
ハウスドルフと距離づけの話は人違いだろうが、そもそもマウントを取らない住人なら、人違いなんて起こらないだろう。
日本数学会の件は、君以外当てはまりそうな人がいないw
レスを投稿する


ニューススポーツなんでも実況