「名誉教授」のスレです
ここは名誉教授と呼ばれる人と 森羅万象(含む”数学”)を 楽しく語り合うスレです
前スレ:「名誉教授」のスレ 8
https://rio2016.5ch.io/test/read.cgi/math/1789890738/
(参考)
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.[3]
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]
* 特異モデルの幾何学的解析:
ディープラーニング(ディープニューラルネットワーク)は、パラメータが重複したり無駄があったりする「特異モデル」に分類されます。このモデルを数学的に解析しようとすると、局所的な数式を貼り合わせて空間全体(グローバル)の挙動を調べる必要が出てきます。ここで、岡先生が開発した「連接層(岡の連接定理)」の思想が不可欠になります。局所的な情報の集まりを代数幾何学的に破綻なくつなぎ合わせる理論は、AIモデルの自由エネルギーや損失関数の形状(ランドスケープ)を大域的に記述する強力な道具となっています。 [1, 2, 3]
## 2. 大沢健夫先生の理論(大沢-竹腰の $L^2$ 拡張定理)
大沢健夫先生(名古屋大学名誉教授)が竹腰見学先生と共に証明した「大沢-竹腰の $L^2$ 拡張定理」は、現代の複素幾何学・代数幾何学において世界中で使われる超重要定理です。
☆☆☆近年、この幾何学の数学が
機械学習や統計学の特異点を乗り越えるための切り札☆☆☆
として注目されています。 [3, 4]
つづく
「名誉教授」のスレ 9
1132人目の素数さん
2026/10/26(月) 14:02:01.53ID:KZ5BNZa139現代数学の系譜 雑談 ◆yH25M02vWFhP
2026/10/27(火) 10:39:48.43ID:ekbFTRkZ >>33
>数学の教科書を読んだことがない、当然論文は読めない奴のポエム
ふっ
数学科でのオチコボレさんの常套句だな
1)下記 武田秀一郎氏は、
下記 B.E. Engineering東京理科大→ M.A. Philosophy→ M.A. Mathematics, San Francisco State University
という経歴で 純数学科卒ではないが
2)かれが 謎の数学者名で youtubeにアップしていた数学書の読み方があった(下記 今は全部削除されてしまったのが残念だ)
かれは、松本先生の多様体入門を じっくり半年〜1年で読めれば立派とあった
かれは、ハーツホーンの代数幾何 原書(英語)を、彼のメソッドで1年くらいでじっくり読んだという
(そして数学者になりいま阪大准教授)
そのメソッドとは、第一章が読める本を選んで 第一章から第二章第三章と 多少解らなくても読み進むべし
完全にチンプンカンプンになったら 第一章の最初に戻って 再び読み進める これを繰り返して 最後まで進むべし
3)かれは、「一日一ページ 300ページの本を300日で読む計画」 それ やめれ! という
オチコボレさんよ
君も 武田秀一郎メソッドやってみれwww(^^
https://www.youtube.com/channel/UCQ1Yz2djRgW8BW_Mv_WmVSg
謎の数学者
@謎の数学者
チャンネル登録者数 2.12万人
現役数学者による数学チャンネル
https://sites.google.com/view/stakeda
Shuichiro Takeda
https://sites.google.com/view/stakeda/about-me
About Me
Education
Ph.D Mathematics,University of Pennsylvania, May. 2006
M.A. Mathematics, San Francisco State University, Aug. 2001
M.A. Philosophy, San Francisco State University, Jan. 2000
B.E. Engineering, Science University of Tokyo, March. 1997
>数学の教科書を読んだことがない、当然論文は読めない奴のポエム
ふっ
数学科でのオチコボレさんの常套句だな
1)下記 武田秀一郎氏は、
下記 B.E. Engineering東京理科大→ M.A. Philosophy→ M.A. Mathematics, San Francisco State University
という経歴で 純数学科卒ではないが
2)かれが 謎の数学者名で youtubeにアップしていた数学書の読み方があった(下記 今は全部削除されてしまったのが残念だ)
かれは、松本先生の多様体入門を じっくり半年〜1年で読めれば立派とあった
かれは、ハーツホーンの代数幾何 原書(英語)を、彼のメソッドで1年くらいでじっくり読んだという
(そして数学者になりいま阪大准教授)
そのメソッドとは、第一章が読める本を選んで 第一章から第二章第三章と 多少解らなくても読み進むべし
完全にチンプンカンプンになったら 第一章の最初に戻って 再び読み進める これを繰り返して 最後まで進むべし
3)かれは、「一日一ページ 300ページの本を300日で読む計画」 それ やめれ! という
オチコボレさんよ
君も 武田秀一郎メソッドやってみれwww(^^
https://www.youtube.com/channel/UCQ1Yz2djRgW8BW_Mv_WmVSg
謎の数学者
@謎の数学者
チャンネル登録者数 2.12万人
現役数学者による数学チャンネル
https://sites.google.com/view/stakeda
Shuichiro Takeda
https://sites.google.com/view/stakeda/about-me
About Me
Education
Ph.D Mathematics,University of Pennsylvania, May. 2006
M.A. Mathematics, San Francisco State University, Aug. 2001
M.A. Philosophy, San Francisco State University, Jan. 2000
B.E. Engineering, Science University of Tokyo, March. 1997
2026/10/27(火) 10:54:28.48ID:MTfWwn7t
>>39
お前が読んでない事実には変わりはない。
お前が読んでない事実には変わりはない。
2026/10/27(火) 10:55:42.44ID:MTfWwn7t
瀬田爺さんの好きな河東先生のゼミの仕方はやったのか
2026/10/27(火) 11:02:54.84ID:MTfWwn7t
瀬田爺さんは5chの有料会員、upliftを買ってる
2026/10/27(火) 11:29:16.70ID:MTfWwn7t
アマチュア(趣味)として数学を楽しむ
☆おすすめの楽しみ方・アプローチ
・日常に数学を「こじつける」: 買い物での確率計算、建物の比率、カレンダーや自然界の規則性など、身の回りの現象に潜む数式やパターンを探します。
・完璧主義を捨ててつまみ読みする: 専門書を最初から完璧に理解しようとせず、興味のある章や分かりやすい部分(微分・積分など)から自由に読み進めます。
・手を動かしてアウトプットする: 本を読むだけでなく、ノートに計算を書きなぐったり、疑問点をメモしたり、SNSやブログで学んだことを発信して仲間を見つけます。
・物理やパズルを経由する: 抽象的な数式だけで理解するのが難しい場合は、物理現象やパズル、算数クイズを入り口にするとイメージしやすくなります。
☆おすすめの楽しみ方・アプローチ
・日常に数学を「こじつける」: 買い物での確率計算、建物の比率、カレンダーや自然界の規則性など、身の回りの現象に潜む数式やパターンを探します。
・完璧主義を捨ててつまみ読みする: 専門書を最初から完璧に理解しようとせず、興味のある章や分かりやすい部分(微分・積分など)から自由に読み進めます。
・手を動かしてアウトプットする: 本を読むだけでなく、ノートに計算を書きなぐったり、疑問点をメモしたり、SNSやブログで学んだことを発信して仲間を見つけます。
・物理やパズルを経由する: 抽象的な数式だけで理解するのが難しい場合は、物理現象やパズル、算数クイズを入り口にするとイメージしやすくなります。
2026/10/27(火) 15:00:01.60ID:MTfWwn7t
こじつけとつまみ食いは合ってるな(笑)
2026/10/27(火) 16:44:32.51ID:Yhq3mu7P
テンプレ改訂しました
コピペ爺のプロフィール
・コピペ爺、瀬田爺(Set A)、ガロア爺、現代数学の邪道など別名多数
・読売編集手帳に粘着し、毎度トンチンカンな論評をして恥を晒すマゾヒスト
・関西の理系私大卒?阪大工学部にしては頭が悪い
・コピペするしか能がない無知無教養(英語力もなければ国語力もない)
・OT(大沢健夫?)を「御大」と呼んで崇拝している
・が、”その「御大」も底が知れてる”と侮辱するのは国語力のなさゆえか
・5chは落書きでかまわないと思ってる
・政治板を放逐され、数学板に流れ着くも知ったかぶりをやりこめられて雑魚荒らしとなる
・ロリコン高齢童貞で愛子さまファン
・モテないことから女嫌いになり、高じて高市下げにやっきとなる
コピペ爺のプロフィール
・コピペ爺、瀬田爺(Set A)、ガロア爺、現代数学の邪道など別名多数
・読売編集手帳に粘着し、毎度トンチンカンな論評をして恥を晒すマゾヒスト
・関西の理系私大卒?阪大工学部にしては頭が悪い
・コピペするしか能がない無知無教養(英語力もなければ国語力もない)
・OT(大沢健夫?)を「御大」と呼んで崇拝している
・が、”その「御大」も底が知れてる”と侮辱するのは国語力のなさゆえか
・5chは落書きでかまわないと思ってる
・政治板を放逐され、数学板に流れ着くも知ったかぶりをやりこめられて雑魚荒らしとなる
・ロリコン高齢童貞で愛子さまファン
・モテないことから女嫌いになり、高じて高市下げにやっきとなる
2026/10/27(火) 17:02:50.61ID:MTfWwn7t
アンソロピックIPOの目論見書に明記された重大なリスクと独自統治
・130兆円規模のインフラ支払い義務: 今後7〜10年間にわたり、クラウド(Google、Amazon等)や半導体の利用契約として4750億ドル〜7500億ドル以上(約75兆〜110兆円以上)の解約不能な支払義務を負うことが開示され、莫大なAI投資コストが浮き彫りになりました。
・AIによる人類存亡のリスク: 目論見書の約94ページがリスク要因に割かれ、高度なAIが人間の制御を超えて「自己保存」や「人間を脅迫・欺瞞する行動」をとる危険性、生物兵器やサイバー攻撃への悪用、保険加入が不可能な規模の壊滅的事故のリスクが厳しく警告されています。
・独自の企業統治(PBC形態): 株主利益だけでなく公益も考慮する「パブリック・ベネフィット・コーポレーション(PBC)」形態を採用。定款に「人類の長期的利益のための、責任ある先端AIの開発と維持」を掲げ、短期的な株価のために安全性を犠牲にしない仕組みを構築しています。また、創業メンバーが50.1%の議決権を維持する特殊株を発行しています。
・130兆円規模のインフラ支払い義務: 今後7〜10年間にわたり、クラウド(Google、Amazon等)や半導体の利用契約として4750億ドル〜7500億ドル以上(約75兆〜110兆円以上)の解約不能な支払義務を負うことが開示され、莫大なAI投資コストが浮き彫りになりました。
・AIによる人類存亡のリスク: 目論見書の約94ページがリスク要因に割かれ、高度なAIが人間の制御を超えて「自己保存」や「人間を脅迫・欺瞞する行動」をとる危険性、生物兵器やサイバー攻撃への悪用、保険加入が不可能な規模の壊滅的事故のリスクが厳しく警告されています。
・独自の企業統治(PBC形態): 株主利益だけでなく公益も考慮する「パブリック・ベネフィット・コーポレーション(PBC)」形態を採用。定款に「人類の長期的利益のための、責任ある先端AIの開発と維持」を掲げ、短期的な株価のために安全性を犠牲にしない仕組みを構築しています。また、創業メンバーが50.1%の議決権を維持する特殊株を発行しています。
48132人目の素数さん
2026/10/27(火) 17:27:14.99ID:ekbFTRkZ >>40-41
>お前が読んでない事実には変わりはない
お前が現代数学の何か数学書を読んだかどうか
その証明も無いw
>瀬田爺さんの好きな河東先生のゼミの仕方はやったのか
やらない 例を二つあげるよ
1)京都大学数学科の同窓会の過去の講演で
数学科卒の女性がNECに入社して AI開発に従事していて
京大数学科で”徹底的に論理的に考える訓練”が出来て良かったと述べていたのが印象的だった
(修士からDRに進んで 数学者になるつもりは無かったという。京大数学科には優秀な人が沢山いたという)
2)御大と東大入学は同期の日銀植田総裁(下記)
”1974年 東京大学理学部数学科卒業、東京大学経済学部へ学士入学”とある
どこのゼミだったかは知らないが、まあ東大数学科卒であることは間違いないが
”東京大学経済学部へ学士入学”とあるから、数学に見切りをつけたのだろう
(余談:日銀総裁の年収は数千万だろうね)
この二つの例で
最初の例は、NECという会社の中では、全員が京大数学科卒のように考える必要もないし そういう数学の勉強も必要ないだろう
ただ、彼女も仕事で 数学科での経験が生きているというが 数学は役に立っているだろうが 数学が全てではないよね あきらかに
もう一つの例は、経済学へ文転した例だ
近代経済学が かなり高度の数学を使うことはあきらかで 東大数学科や役に立っているだろう
(例 経済のノーベル賞で 確率の伊藤積分や 天才数学者ジョン・ナッシュの理論)
この二つとも 数学科をすでに離れたなら 河東先生のゼミの仕方はいらない
かつ 必要なものを勝手に読めばいい。だが、数学科生のような 定期試験や院試のための読み方とは 違う読み方だ
そもそも”読む”の 数学的定義は まだ このスレではね(^^
それは開陳されていないし、今後も無いだろう
そうそう NECの社長が、数学書を読む必要は全くない
同様に、高市総理が 数学書を読む必要も全くない!
これは、自明だが
強調しておくよ
おれも同様だよ。河東ゼミのような読み方は全く必要ない(定期試験も院試もないのだからwww)
PS
いまのAI時代には、数学科ゼミで ゲンミツ思考を鍛えられましたと豪語してもさ
チャッピー回答が 数学科ゼミの説明を上回る時代になると 数学科ゼミの値打ちがどこにある? って話になるだろうね
(参考)
https://ja.wikipedia.org/wiki/%E6%A4%8D%E7%94%B0%E5%92%8C%E7%94%B7
植田 和男(うえだ かずお、1951年〈昭和26年〉9月20日 - )は、日本の経済学者[1]。第32代日本銀行総裁。専門はマクロ経済学、金融論。東京大学名誉教授。Ph.D.。
学歴
1970年 東京教育大学附属駒場高等学校(現:筑波大学附属駒場高等学校)卒業
1974年 東京大学理学部数学科卒業、東京大学経済学部へ学士入学
1975年 東京大学大学院経済学研究科進学
1980年 マサチューセッツ工科大学大学院博士課程修了 (Ph.D.)
https://ja.wikipedia.org/wiki/%E3%83%93%E3%83%A5%E3%83%BC%E3%83%86%E3%82%A3%E3%83%95%E3%83%AB%E3%83%BB%E3%83%9E%E3%82%A4%E3%83%B3%E3%83%89
ビューティフル・マインド
ノーベル経済学賞受賞の実在の天才数学者、ジョン・ナッシュの半生を描く物語
>お前が読んでない事実には変わりはない
お前が現代数学の何か数学書を読んだかどうか
その証明も無いw
>瀬田爺さんの好きな河東先生のゼミの仕方はやったのか
やらない 例を二つあげるよ
1)京都大学数学科の同窓会の過去の講演で
数学科卒の女性がNECに入社して AI開発に従事していて
京大数学科で”徹底的に論理的に考える訓練”が出来て良かったと述べていたのが印象的だった
(修士からDRに進んで 数学者になるつもりは無かったという。京大数学科には優秀な人が沢山いたという)
2)御大と東大入学は同期の日銀植田総裁(下記)
”1974年 東京大学理学部数学科卒業、東京大学経済学部へ学士入学”とある
どこのゼミだったかは知らないが、まあ東大数学科卒であることは間違いないが
”東京大学経済学部へ学士入学”とあるから、数学に見切りをつけたのだろう
(余談:日銀総裁の年収は数千万だろうね)
この二つの例で
最初の例は、NECという会社の中では、全員が京大数学科卒のように考える必要もないし そういう数学の勉強も必要ないだろう
ただ、彼女も仕事で 数学科での経験が生きているというが 数学は役に立っているだろうが 数学が全てではないよね あきらかに
もう一つの例は、経済学へ文転した例だ
近代経済学が かなり高度の数学を使うことはあきらかで 東大数学科や役に立っているだろう
(例 経済のノーベル賞で 確率の伊藤積分や 天才数学者ジョン・ナッシュの理論)
この二つとも 数学科をすでに離れたなら 河東先生のゼミの仕方はいらない
かつ 必要なものを勝手に読めばいい。だが、数学科生のような 定期試験や院試のための読み方とは 違う読み方だ
そもそも”読む”の 数学的定義は まだ このスレではね(^^
それは開陳されていないし、今後も無いだろう
そうそう NECの社長が、数学書を読む必要は全くない
同様に、高市総理が 数学書を読む必要も全くない!
これは、自明だが
強調しておくよ
おれも同様だよ。河東ゼミのような読み方は全く必要ない(定期試験も院試もないのだからwww)
PS
いまのAI時代には、数学科ゼミで ゲンミツ思考を鍛えられましたと豪語してもさ
チャッピー回答が 数学科ゼミの説明を上回る時代になると 数学科ゼミの値打ちがどこにある? って話になるだろうね
(参考)
https://ja.wikipedia.org/wiki/%E6%A4%8D%E7%94%B0%E5%92%8C%E7%94%B7
植田 和男(うえだ かずお、1951年〈昭和26年〉9月20日 - )は、日本の経済学者[1]。第32代日本銀行総裁。専門はマクロ経済学、金融論。東京大学名誉教授。Ph.D.。
学歴
1970年 東京教育大学附属駒場高等学校(現:筑波大学附属駒場高等学校)卒業
1974年 東京大学理学部数学科卒業、東京大学経済学部へ学士入学
1975年 東京大学大学院経済学研究科進学
1980年 マサチューセッツ工科大学大学院博士課程修了 (Ph.D.)
https://ja.wikipedia.org/wiki/%E3%83%93%E3%83%A5%E3%83%BC%E3%83%86%E3%82%A3%E3%83%95%E3%83%AB%E3%83%BB%E3%83%9E%E3%82%A4%E3%83%B3%E3%83%89
ビューティフル・マインド
ノーベル経済学賞受賞の実在の天才数学者、ジョン・ナッシュの半生を描く物語
2026/10/27(火) 17:40:40.49ID:MTfWwn7t
2026/10/27(火) 17:44:59.72ID:MTfWwn7t
藁人形論法だな
そのNECの女性も、NECの社長も関係ない、瀬田爺さんの話をしてるだよ、アホ
そのNECの女性も、NECの社長も関係ない、瀬田爺さんの話をしてるだよ、アホ
2026/10/27(火) 17:48:43.93ID:MTfWwn7t
長文目眩まし論法、飽和攻撃といえるかもしれない(笑)
2026/10/27(火) 17:49:25.10ID:MTfWwn7t
中味がない、反論になっていない
2026/10/27(火) 17:57:47.54ID:MTfWwn7t
「知っていること(情報・知識)」と「実行できること(行動・スキル)」の決定的な違いは、「頭の中にあるだけか、実際に身体や手順を動かして再現できるか」にあります。
☆主な違いの比較
1.知っている(わかる)状態
・定義: 情報ややり方の理屈を頭で理解している(インプットされた)状態。
・特徴: 「本やネットで読んだ」「人からやり方を聞いた」だけで、自分ではまだやっていない、あるいはやろうとしてもスムーズに動けない。
・例: 自転車の乗り方の本を読んでバランスの取り方を知っている、英単語の意味を知っている。
2.実行できる状態
・定義: 知識を実際の行動に移し、望む結果を出せる(アウトプットできる)状態。
・特徴: 反復練習や体感を経て、意識しなくても(あるいはスムーズに)体が動く。
・例: 実際に補助輪なしで自転車に安定して乗れる、英会話でとっさに言葉が出てくる。
☆なぜ「知っている」から「実行できる」にならないのか?
1. 「知行合一(ちこうごういつ)」の壁:知識を得ることと、実際に行うことは次元が全く違います。
2. 脳の負荷と慣れ:理屈を知っていても、実際の場面では手順を思い出すのに時間がかかったり、恐怖心や面倒臭さに負けたりして行動が止まります。
3. スキルの段階不足:一般的に「知る > わかる > できる > 教えられる」という4ステップがあり、「知る」だけでは応用や実践の壁を越えられません。
☆主な違いの比較
1.知っている(わかる)状態
・定義: 情報ややり方の理屈を頭で理解している(インプットされた)状態。
・特徴: 「本やネットで読んだ」「人からやり方を聞いた」だけで、自分ではまだやっていない、あるいはやろうとしてもスムーズに動けない。
・例: 自転車の乗り方の本を読んでバランスの取り方を知っている、英単語の意味を知っている。
2.実行できる状態
・定義: 知識を実際の行動に移し、望む結果を出せる(アウトプットできる)状態。
・特徴: 反復練習や体感を経て、意識しなくても(あるいはスムーズに)体が動く。
・例: 実際に補助輪なしで自転車に安定して乗れる、英会話でとっさに言葉が出てくる。
☆なぜ「知っている」から「実行できる」にならないのか?
1. 「知行合一(ちこうごういつ)」の壁:知識を得ることと、実際に行うことは次元が全く違います。
2. 脳の負荷と慣れ:理屈を知っていても、実際の場面では手順を思い出すのに時間がかかったり、恐怖心や面倒臭さに負けたりして行動が止まります。
3. スキルの段階不足:一般的に「知る > わかる > できる > 教えられる」という4ステップがあり、「知る」だけでは応用や実践の壁を越えられません。
2026/10/27(火) 18:23:19.91ID:MTfWwn7t
指数定理との関係について述べたまえ
2026/10/27(火) 18:37:28.53ID:MTfWwn7t
>指数定理との関係について述べたまえ
ありがとう
これもありがたい教えだ
ありがとう
これもありがたい教えだ
2026/10/27(火) 18:39:47.66ID:MTfWwn7t
落ちこぼれの言葉をありがたがる瀬田爺()
2026/10/27(火) 20:03:52.25ID:MTfWwn7t
58132人目の素数さん
2026/10/27(火) 20:15:00.01ID:oYuJ4QAj ふっ
>>49
>お前は読んでないんだな、俺は読んでるよ
・証明がない
・数学DR学位持ってる? 数学DR学位証明できる?w
>>50-53
>藁人形論法だな
>そのNECの女性も、NECの社長も関係ない、瀬田爺さんの話をしてるだよ、アホ
>「知っていること(情報・知識)」と「実行できること(行動・スキル)」の決定的な違いは、「頭の中にあるだけか、実際に身体や手順を動かして再現できるか」にあります。
>☆主な違いの比較
ふっ
・ブーメラン&テンツバよ
自分に戻っているw
・さっき NHKのクローズアップ現代みていたら 中国AI使ったハッカーが
クレジット情報&免許法情報をハッキングして 闇サイトで売り飛ばす話があった
・要するに中国人の若いやつが 高度な知識なしで
中国AI使って 日本企業のシステムぜい弱性の穴から クレジット情報&免許法情報を盗む話
・これを数学やプログラミングに置き換えると 高度な知識なしで
数学AIに「こんな問題解ける?」とやると 瞬時に解答を出す
例えば、人間な3日かかることが 瞬時に(数分で)解答ができたとするよ
・そしたら
「人間の数学屋の売りはなんだ?」という話になる
そういう時代が、もう目の前ってことだな
(参考)
https://www.nhk.jp/g/ts/R7Y6NGLJ6G/#cast
クローズアップ現代
未曾有の情報流出〜AIの急速な進化の先に何が〜
身近な企業で相次ぐ情報流出。個人情報を悪用され、クレジットカードを不正利用される被害も発覚し、流出させた企業に対する集団訴訟の動きも出ている。流出急増の要因は、AIの急速な進化、そして企業の「デジタル化」。導入したアプリやWEBサービスが不正アクセスの入り口となる状況に陥っていた。被害者や、対策に乗り出す企業など最前線を徹底取材。個人や社会はどう大切な情報を扱い、守っていけばいいのか、考える
>>49
>お前は読んでないんだな、俺は読んでるよ
・証明がない
・数学DR学位持ってる? 数学DR学位証明できる?w
>>50-53
>藁人形論法だな
>そのNECの女性も、NECの社長も関係ない、瀬田爺さんの話をしてるだよ、アホ
>「知っていること(情報・知識)」と「実行できること(行動・スキル)」の決定的な違いは、「頭の中にあるだけか、実際に身体や手順を動かして再現できるか」にあります。
>☆主な違いの比較
ふっ
・ブーメラン&テンツバよ
自分に戻っているw
・さっき NHKのクローズアップ現代みていたら 中国AI使ったハッカーが
クレジット情報&免許法情報をハッキングして 闇サイトで売り飛ばす話があった
・要するに中国人の若いやつが 高度な知識なしで
中国AI使って 日本企業のシステムぜい弱性の穴から クレジット情報&免許法情報を盗む話
・これを数学やプログラミングに置き換えると 高度な知識なしで
数学AIに「こんな問題解ける?」とやると 瞬時に解答を出す
例えば、人間な3日かかることが 瞬時に(数分で)解答ができたとするよ
・そしたら
「人間の数学屋の売りはなんだ?」という話になる
そういう時代が、もう目の前ってことだな
(参考)
https://www.nhk.jp/g/ts/R7Y6NGLJ6G/#cast
クローズアップ現代
未曾有の情報流出〜AIの急速な進化の先に何が〜
身近な企業で相次ぐ情報流出。個人情報を悪用され、クレジットカードを不正利用される被害も発覚し、流出させた企業に対する集団訴訟の動きも出ている。流出急増の要因は、AIの急速な進化、そして企業の「デジタル化」。導入したアプリやWEBサービスが不正アクセスの入り口となる状況に陥っていた。被害者や、対策に乗り出す企業など最前線を徹底取材。個人や社会はどう大切な情報を扱い、守っていけばいいのか、考える
2026/10/27(火) 20:17:50.08ID:MTfWwn7t
>>58
証明を知らないのに証明に拘る
証明を知らないのに証明に拘る
2026/10/27(火) 20:20:07.32ID:MTfWwn7t
NECの名前を出せば恐れおののくと思ってるのか、アホだな
2026/10/27(火) 20:21:32.23ID:MTfWwn7t
今のAIブームに日本人の寄与はない
62132人目の素数さん
2026/10/27(火) 20:23:43.57ID:oYuJ4QAj >>54-57
>指数定理との関係について述べたまえ
ふっ
数理科学 一番の愛読書でね(^^
検索すると 下記だが
前世紀末から 何度か記事があったと思う
殆ど 忘れたが ありがたいお経ですw(^^
合掌!
(google検索)
指数定理 数理科学 特集
<AI概要>
月刊誌『数理科学』(サイエンス社)において、アティヤ=シンガーの指数定理(Atiyah-Singer index theorem)やトポロジー・物理のアノマリー(量子異常)に関するトピックは、これまでに何度も特集、あるいは特集内の重要テーマとして取り上げられています。
指数定理そのものを冠した単独の特集号は稀ですが、関連する近年の主な特集号と、指数定理が深く関わる掲載記事のラインナップは以下の通りです。
1. 近年の関連特集号と主な掲載記事
• 2024年5月号:特集「トポロジカル物質の物理と数理」
• トポロジカル物質と数理物理 〜 自由フェルミオン、K理論、指数定理 〜(窪田陽介)
• 物性物理学におけるトポロジカル相の分類と、その背後にある指数定理やK理論の結びつきを解説しています。
2021年7月号:特集「スピンの物理と数理」• 量子スピン鎖における「対称性に守られたトポロジカル相」と指数定理
• スピン系におけるトポロジカルな不変量と指数定理の関わりが述べられています。
2020年1月号:特集「量子異常の拡がり 〜 素粒子論から物性論まで 〜」• Atiyah-Patodi-Singer(APS)指数定理と量子異常(深谷英則)
• 境界のある多様体上の指数定理である「APS指数定理」が、現代の格子フェルミオンやアノマリーの物理にいかに応用されているかを扱っています。
2015年6月号:特集「自然の中の幾何構造」• トポロジカル物質と指数定理(野村健太郎)
• 整数量子ホール効果をはじめとする物性現象と指数定理の交差を解説。
2005年7月号:特集「量子異常とは何か 〜 対称性の原理と量子論の原理の相克 〜」• 量子異常と指数定理(細野 忍)
• 場の量子論におけるアノマリー(量子異常)が、数学的にはアティヤ=シンガーの指数定理として理解されるという、数理物理の金字塔的なつながりを概説しています。
>指数定理との関係について述べたまえ
ふっ
数理科学 一番の愛読書でね(^^
検索すると 下記だが
前世紀末から 何度か記事があったと思う
殆ど 忘れたが ありがたいお経ですw(^^
合掌!
(google検索)
指数定理 数理科学 特集
<AI概要>
月刊誌『数理科学』(サイエンス社)において、アティヤ=シンガーの指数定理(Atiyah-Singer index theorem)やトポロジー・物理のアノマリー(量子異常)に関するトピックは、これまでに何度も特集、あるいは特集内の重要テーマとして取り上げられています。
指数定理そのものを冠した単独の特集号は稀ですが、関連する近年の主な特集号と、指数定理が深く関わる掲載記事のラインナップは以下の通りです。
1. 近年の関連特集号と主な掲載記事
• 2024年5月号:特集「トポロジカル物質の物理と数理」
• トポロジカル物質と数理物理 〜 自由フェルミオン、K理論、指数定理 〜(窪田陽介)
• 物性物理学におけるトポロジカル相の分類と、その背後にある指数定理やK理論の結びつきを解説しています。
2021年7月号:特集「スピンの物理と数理」• 量子スピン鎖における「対称性に守られたトポロジカル相」と指数定理
• スピン系におけるトポロジカルな不変量と指数定理の関わりが述べられています。
2020年1月号:特集「量子異常の拡がり 〜 素粒子論から物性論まで 〜」• Atiyah-Patodi-Singer(APS)指数定理と量子異常(深谷英則)
• 境界のある多様体上の指数定理である「APS指数定理」が、現代の格子フェルミオンやアノマリーの物理にいかに応用されているかを扱っています。
2015年6月号:特集「自然の中の幾何構造」• トポロジカル物質と指数定理(野村健太郎)
• 整数量子ホール効果をはじめとする物性現象と指数定理の交差を解説。
2005年7月号:特集「量子異常とは何か 〜 対称性の原理と量子論の原理の相克 〜」• 量子異常と指数定理(細野 忍)
• 場の量子論におけるアノマリー(量子異常)が、数学的にはアティヤ=シンガーの指数定理として理解されるという、数理物理の金字塔的なつながりを概説しています。
2026/10/27(火) 20:24:44.30ID:MTfWwn7t
東大の松尾先生がもてはやされてるけど、国内だけだぞ
64132人目の素数さん
2026/10/27(火) 20:24:45.45ID:Q5le1QUC リーマン・ロッホは一段落した。
今日は共著論文の下書きのために
新しいノートを買って
日付を入れた。
今日は共著論文の下書きのために
新しいノートを買って
日付を入れた。
2026/10/27(火) 20:26:06.60ID:MTfWwn7t
>>62
解説の寄せ集めだろ
解説の寄せ集めだろ
2026/10/27(火) 20:27:39.81ID:MTfWwn7t
>>62
物理も分からんくせに、読んだ教科書いってみろ、証明はいいから
物理も分からんくせに、読んだ教科書いってみろ、証明はいいから
2026/10/27(火) 20:29:14.07ID:MTfWwn7t
ディラックと朝永を持っていても役に立たんぞ
2026/10/27(火) 20:32:30.97ID:MTfWwn7t
数理科学取ってます自慢
2026/10/27(火) 20:34:04.30ID:MTfWwn7t
言い忘れたけどディラックといえば経路積分のネタ元、蘊蓄
2026/10/27(火) 20:36:15.38ID:MTfWwn7t
朝永は物質場の量子化がユニーク
2026/10/27(火) 20:42:34.88ID:MTfWwn7t
VIVANTを中国メディア「中国脅威論をあおっている」「認知戦の一環」…高市首相「年末年始にまとめ見できたら」
読売
読売
72132人目の素数さん
2026/10/27(火) 21:00:44.49ID:oYuJ4QAj >>62
補足しておくと
おれの軸足と重心は、数理科学のどちらかと言えば
物理側にあるんだ
しかし いまどきの物理も高度化していて
アティヤ=シンガーの指数定理、トポロジー・物理のアノマリー(量子異常)をやると
自然と高度な数学に足を踏み入れることになる
数学者になるつもりは 全くない
”数学は厳密が命ぞ!”かw(^^
おれは そこにはあんまり興味は無いが
たしかに、数学の厳密性は美しいし
”1960年にノーベル物理学賞受賞者ユージン・ウィグナー(Eugene Wigner)が発表した科学哲学の古典的論考である。
ウィグナーは、数学が物理学において示す驚異的な有効性が「不合理(unreasonable)」とも言えるほど説明困難な現象であることを論じ 略”
のだが
(参考)
https://note.com/daemonia_119/n/ndd06a5b0f59e
「自然科学における数学の不合理な有効性」要約
Tadahito
2025年11月16日
Wigner, E. P. (1960). "The Unreasonable Effectiveness of Mathematics in the Natural Sciences." *Communications in Pure and Applied Mathematics*, Vol. 13, No. 1, pp. 1-14.
要約
本論文は、1960年にノーベル物理学賞受賞者ユージン・ウィグナー(Eugene Wigner)が発表した科学哲学の古典的論考である。ウィグナーは、数学が物理学において示す驚異的な有効性が「不合理(unreasonable)」とも言えるほど説明困難な現象であることを論じ、この事実が物理理論の一意性という問題を提起すると主張する。
補足しておくと
おれの軸足と重心は、数理科学のどちらかと言えば
物理側にあるんだ
しかし いまどきの物理も高度化していて
アティヤ=シンガーの指数定理、トポロジー・物理のアノマリー(量子異常)をやると
自然と高度な数学に足を踏み入れることになる
数学者になるつもりは 全くない
”数学は厳密が命ぞ!”かw(^^
おれは そこにはあんまり興味は無いが
たしかに、数学の厳密性は美しいし
”1960年にノーベル物理学賞受賞者ユージン・ウィグナー(Eugene Wigner)が発表した科学哲学の古典的論考である。
ウィグナーは、数学が物理学において示す驚異的な有効性が「不合理(unreasonable)」とも言えるほど説明困難な現象であることを論じ 略”
のだが
(参考)
https://note.com/daemonia_119/n/ndd06a5b0f59e
「自然科学における数学の不合理な有効性」要約
Tadahito
2025年11月16日
Wigner, E. P. (1960). "The Unreasonable Effectiveness of Mathematics in the Natural Sciences." *Communications in Pure and Applied Mathematics*, Vol. 13, No. 1, pp. 1-14.
要約
本論文は、1960年にノーベル物理学賞受賞者ユージン・ウィグナー(Eugene Wigner)が発表した科学哲学の古典的論考である。ウィグナーは、数学が物理学において示す驚異的な有効性が「不合理(unreasonable)」とも言えるほど説明困難な現象であることを論じ、この事実が物理理論の一意性という問題を提起すると主張する。
2026/10/27(火) 21:03:03.84ID:MTfWwn7t
>>72
ホラフケ
ホラフケ
2026/10/27(火) 21:15:58.13ID:MTfWwn7t
論理のすり替え
2026/10/27(火) 21:17:03.94ID:MTfWwn7t
瀬田爺はホラッチョとも呼ばれる
2026/10/27(火) 21:18:35.32ID:MTfWwn7t
のらりくらりと逃げ回る
2026/10/27(火) 21:25:54.34ID:MTfWwn7t
昔は数学と物理は哲学の一分野だったし、現代では高度化して離れたり、お互い刺激を与えたりしてるということだろ
一行で済むじゃないか
一行で済むじゃないか
2026/10/27(火) 21:34:41.88ID:MTfWwn7t
物理もアマチュアなんだろ
2026/10/27(火) 21:36:02.13ID:MTfWwn7t
新しい物質を発見するわけでもなく、理論を作るわけでもなく
2026/10/27(火) 21:43:33.27ID:MTfWwn7t
物理学をアマチュア(趣味)として楽しむことは、知的好奇心を満たし、世界の仕組みを深く理解できる最高に贅沢でエキサイティングな大人の趣味です。現代はネットの普及により、専門書や論文へのアクセス、シミュレーション環境が整っているため、アマチュアにとって黄金期と言えます。
アマチュアが物理を楽しむための主なアプローチを、難易度やプレイスタイル別にグループ分けしてご紹介します。
1. 実験・観測系(手を動かして楽しむ)
理論だけでなく、実際に現象を目で見て体験する楽しみ方です。
①天体観測と宇宙物理
望遠鏡で星を見るだけでなく、天体写真の撮影、変光星の観測、太陽の黒点観測など、データ収集を伴う趣味。
②自宅ラボ・電子工作
ArduinoやRaspberry Piを使ってセンサーを組み、気圧、放射線(ガイガーカウンターの自作)、磁場などを測定する。
③DIY物理実験
霧箱(放射線の軌跡を見る装置)の自作、ストロボ写真を用いた自由落下の測定、二重スリット実験の再現など。
2. 計算・シミュレーション系(パソコンで楽しむ)
数式をビジュアル化したり、仮想空間で物理法則を再現したりする楽しみ方です。
①物理シミュレーション(プログラミング)
Pythonなどの言語を使い、天体の軌道計算(三体問題)、流体の動き、熱の伝わり方をコードで書いて動かす。
②3D物理エンジンで遊ぶ
BlenderやUnity、あるいは「Phun / Algodoo」などの2D/3D物理演算ソフトを使い、ピタゴラスイッチのような装置やメカニズムを構築する。
3. 理論・読書系(思考の海に溺れる)
数式や概念を理解し、宇宙の真理に思いを馳せる最も王道な楽しみ方です。
①ポピュラーサイエンス(通俗科学書)の読破
量子力学、相対性理論、超弦理論、宇宙論など、数式を使わずに図解や比喩で解説された本を読み漁る。
②「教科書」に挑戦する(数理物理)
高校物理の学び直しから始め、大学レベルの「力学」「電磁気学」「熱力学」「量子力学」の教科書(例:『ファインマン物理学』など)をノートを取りながら独学する。
アマチュアが物理を楽しむための主なアプローチを、難易度やプレイスタイル別にグループ分けしてご紹介します。
1. 実験・観測系(手を動かして楽しむ)
理論だけでなく、実際に現象を目で見て体験する楽しみ方です。
①天体観測と宇宙物理
望遠鏡で星を見るだけでなく、天体写真の撮影、変光星の観測、太陽の黒点観測など、データ収集を伴う趣味。
②自宅ラボ・電子工作
ArduinoやRaspberry Piを使ってセンサーを組み、気圧、放射線(ガイガーカウンターの自作)、磁場などを測定する。
③DIY物理実験
霧箱(放射線の軌跡を見る装置)の自作、ストロボ写真を用いた自由落下の測定、二重スリット実験の再現など。
2. 計算・シミュレーション系(パソコンで楽しむ)
数式をビジュアル化したり、仮想空間で物理法則を再現したりする楽しみ方です。
①物理シミュレーション(プログラミング)
Pythonなどの言語を使い、天体の軌道計算(三体問題)、流体の動き、熱の伝わり方をコードで書いて動かす。
②3D物理エンジンで遊ぶ
BlenderやUnity、あるいは「Phun / Algodoo」などの2D/3D物理演算ソフトを使い、ピタゴラスイッチのような装置やメカニズムを構築する。
3. 理論・読書系(思考の海に溺れる)
数式や概念を理解し、宇宙の真理に思いを馳せる最も王道な楽しみ方です。
①ポピュラーサイエンス(通俗科学書)の読破
量子力学、相対性理論、超弦理論、宇宙論など、数式を使わずに図解や比喩で解説された本を読み漁る。
②「教科書」に挑戦する(数理物理)
高校物理の学び直しから始め、大学レベルの「力学」「電磁気学」「熱力学」「量子力学」の教科書(例:『ファインマン物理学』など)をノートを取りながら独学する。
2026/10/27(火) 21:44:04.23ID:MTfWwn7t
3.②だな
2026/10/27(火) 21:54:56.55ID:MTfWwn7t
物性物理とトポロジー - 非可換幾何学の視点から
窪田陽介 [著]
SGCライブラリ184
☆内容紹介
本書は、物性物理学における物質のトポロジカル相(topological phase)の理論の一部について、特に数学的な立場からまとめたものである。とりわけ、トポロジカル相の分類、バルク・境界対応の数学的証明、の2つを軸として、分野の全体像をなるべく俯瞰することを目指した。
☆目次
導入
関数解析からの準備
フレドホルム作用素の指数理論
作用素環のK理論
複素トポロジカル絶縁体
ランダム作用素の非可換幾何学
粗幾何学とトポロジカル相
トポロジカル絶縁体と実K理論
スペクトル局在子
捩れ同変K理論
トポロジカル結晶絶縁体
関連する話題
補遺
窪田陽介 [著]
SGCライブラリ184
☆内容紹介
本書は、物性物理学における物質のトポロジカル相(topological phase)の理論の一部について、特に数学的な立場からまとめたものである。とりわけ、トポロジカル相の分類、バルク・境界対応の数学的証明、の2つを軸として、分野の全体像をなるべく俯瞰することを目指した。
☆目次
導入
関数解析からの準備
フレドホルム作用素の指数理論
作用素環のK理論
複素トポロジカル絶縁体
ランダム作用素の非可換幾何学
粗幾何学とトポロジカル相
トポロジカル絶縁体と実K理論
スペクトル局在子
捩れ同変K理論
トポロジカル結晶絶縁体
関連する話題
補遺
2026/10/27(火) 21:55:37.67ID:MTfWwn7t
どうせならこういうの読んだら
2026/10/27(火) 22:06:42.21ID:MTfWwn7t
テープリッツ作用素の指数定理(Toeplitz index theorem)は、ハーディ空間 \(H^2(S^1)\) 上のテープリッツ作用素のフレドホルム指数(解析的対象)が、シンボルとなる閉関数の単位円周まわりの回転数(幾何学的・位相的対象)の負の値に等しいことを主張する定理です。
アティヤ・シンガーの指数定理(Atiyah-Singer index theorem)の1次元における最も基本的で分かりやすい模型(ひな形)と位置づけられています。
アティヤ・シンガーの指数定理(Atiyah-Singer index theorem)の1次元における最も基本的で分かりやすい模型(ひな形)と位置づけられています。
2026/10/27(火) 22:07:01.20ID:MTfWwn7t
蘊蓄
2026/10/27(火) 22:24:56.17ID:MTfWwn7t
使えねー瀬田爺
2026/10/27(火) 22:35:07.79ID:MTfWwn7t
こんなスレ立ててるの本命は物理だとさ
巨大数を語り合うスレ
巨大数を語り合うスレ
88132人目の素数さん
2026/10/27(火) 23:02:46.98ID:oYuJ4QAj >>87
>こんなスレ立ててるの本命は物理だとさ
>巨大数を語り合うスレ
ふっ
それは正確には下記だが
このスレの真の目的は
おサルと (ですね)人を
徹底的に叩くことにある(^^
いま、面白いよね この二人
”到達不能基数・巨大基数”を
完全に誤解して
さっぱりトンチンカン
某スレと同じw(^^
https://rio2016.5ch.io/test/read.cgi/math/1791259233/1
到達不能基数・巨大基数研究
>こんなスレ立ててるの本命は物理だとさ
>巨大数を語り合うスレ
ふっ
それは正確には下記だが
このスレの真の目的は
おサルと (ですね)人を
徹底的に叩くことにある(^^
いま、面白いよね この二人
”到達不能基数・巨大基数”を
完全に誤解して
さっぱりトンチンカン
某スレと同じw(^^
https://rio2016.5ch.io/test/read.cgi/math/1791259233/1
到達不能基数・巨大基数研究
89132人目の素数さん
2026/10/27(火) 23:06:22.39ID:oYuJ4QAj90132人目の素数さん
2026/10/27(火) 23:12:53.91ID:oYuJ4QAj >>64
>リーマン・ロッホは一段落した。
>今日は共著論文の下書きのために
>新しいノートを買って
>日付を入れた。
ID:Q5le1QUCは、御大ことO親分か
巡回ありがとうございます(^^
共著論文 頑張ってください
>リーマン・ロッホは一段落した。
>今日は共著論文の下書きのために
>新しいノートを買って
>日付を入れた。
ID:Q5le1QUCは、御大ことO親分か
巡回ありがとうございます(^^
共著論文 頑張ってください
91132人目の素数さん
2026/10/27(火) 23:41:08.08ID:oYuJ4QAj >>78-79
>物理もアマチュアなんだろ
>新しい物質を発見するわけでもなく、理論を作るわけでもなく
御大ことO親分の囲碁7段と同様
プロ芸の世界は、狭い
本当にプロで食べていけるのは 一握り
数学や物理は、囲碁将棋より広いが
ビジネスの世界に比べると アカデミックの世界は狭い
アカデミックの世界で食べていけるのは一握り
御大ことO親分くらいにならないと
はっきり言って 雲の上です
>物理もアマチュアなんだろ
>新しい物質を発見するわけでもなく、理論を作るわけでもなく
御大ことO親分の囲碁7段と同様
プロ芸の世界は、狭い
本当にプロで食べていけるのは 一握り
数学や物理は、囲碁将棋より広いが
ビジネスの世界に比べると アカデミックの世界は狭い
アカデミックの世界で食べていけるのは一握り
御大ことO親分くらいにならないと
はっきり言って 雲の上です
2026/10/27(火) 23:59:23.58ID:AZIWjjzb
クソスレ
2026/10/28(水) 00:36:25.03ID:Bfq8Xksw
>>91
>アカデミックの世界で食べていけるのは一握り
専任の大学教員だけでも日本には20万人近くいて、
東大教授でも底辺私大教授でも俸給には大差ない
分野毎に細分すれば別だが、アカデミア全体で見れば、
一握りというほど小さな世界ではなく、弁護士の4倍、
歯科医の2倍の人数がいる
>御大ことO親分くらいにならないと
>はっきり言って 雲の上です
コピペ爺さん、相変わらず日本語がめちゃくちゃだなw
あんた、仕事はなんだったの?大学教員ではないな
>アカデミックの世界で食べていけるのは一握り
専任の大学教員だけでも日本には20万人近くいて、
東大教授でも底辺私大教授でも俸給には大差ない
分野毎に細分すれば別だが、アカデミア全体で見れば、
一握りというほど小さな世界ではなく、弁護士の4倍、
歯科医の2倍の人数がいる
>御大ことO親分くらいにならないと
>はっきり言って 雲の上です
コピペ爺さん、相変わらず日本語がめちゃくちゃだなw
あんた、仕事はなんだったの?大学教員ではないな
2026/10/28(水) 07:19:17.39ID:loV9tiMn
>>91
目指してもいないことをいう、論理のすり替え
目指してもいないことをいう、論理のすり替え
2026/10/28(水) 07:22:00.61ID:loV9tiMn
Netanyahu fights to survive as opposition surges in Israel election
ネタニヤフは連立工作が上手で生き残ってきた、結果は一週間後ぐらい
ネタニヤフは連立工作が上手で生き残ってきた、結果は一週間後ぐらい
2026/10/28(水) 07:24:26.49ID:loV9tiMn
ブラジル大統領選で敗れたボルソナロ氏が米国へ出国、現地メディア報道…資金洗浄などの疑いで捜査受ける
読売
読売
97132人目の素数さん
2026/10/28(水) 07:33:42.56ID:PUPzwQyD テンプレです
>・おサル「正則行列を知らない線形代数落ちこぼれ」https://rio2016.5ch.net/test/read.cgi/math/1674527723/5
> ↓
>・私「零因子行列のことだろ?知っているよ」
>「正則行列くらい知っている」と平凡に答えずに
>ひねって 「零因子行列のことだろ?知っているよ」にした
>・おサル「正則行列を知らない線形代数落ちこぼれ」https://rio2016.5ch.net/test/read.cgi/math/1674527723/5
> ↓
>・私「零因子行列のことだろ?知っているよ」
>「正則行列くらい知っている」と平凡に答えずに
>ひねって 「零因子行列のことだろ?知っているよ」にした
98132人目の素数さん
2026/10/28(水) 07:34:10.43ID:PUPzwQyD テンプレです
>記号の濫用として a'2 ⊂UB1が ありか どうか? ありでは?
>記号の濫用として a'2 ⊂UB1が ありか どうか? ありでは?
99132人目の素数さん
2026/10/28(水) 07:34:37.68ID:PUPzwQyD テンプレです
>>UB1を小さくして a'2を含まないように分離できる
>小さくする仕方が不明
>>具体的な仕方は不要。
>>ハウスドルフだから 小さくして 分離可能の一言。
>ハウスドルフだからと書いたとしたら
>正則との違いを理解してない?と思われるだけかも
>>このスレには
>>位相空間論の初学者もいると思うので
>>はっきり否定させてもらうが
>>1)ハウスドルフは 空間の公理として普通に指定されるケースが多い
>>2)ハウスドルフ性は、良い性質を持つ
>>3)その肝が 分離性で 分離可能の一言 でだいたい片付くよ
>>UB1を小さくして a'2を含まないように分離できる
>小さくする仕方が不明
>>具体的な仕方は不要。
>>ハウスドルフだから 小さくして 分離可能の一言。
>ハウスドルフだからと書いたとしたら
>正則との違いを理解してない?と思われるだけかも
>>このスレには
>>位相空間論の初学者もいると思うので
>>はっきり否定させてもらうが
>>1)ハウスドルフは 空間の公理として普通に指定されるケースが多い
>>2)ハウスドルフ性は、良い性質を持つ
>>3)その肝が 分離性で 分離可能の一言 でだいたい片付くよ
100132人目の素数さん
2026/10/28(水) 07:35:03.44ID:PUPzwQyD テンプレです
>これで勘弁してあげるけど
>私のスレで 間違ったことを書くと 赤ペン入るってこと
>覚えておいてね
>これで勘弁してあげるけど
>私のスレで 間違ったことを書くと 赤ペン入るってこと
>覚えておいてね
101132人目の素数さん
2026/10/28(水) 07:35:19.77ID:PUPzwQyD テンプレです
>まず、確率分布Prを定義するには、確率空間から始めないと学部数学の確率論にならない
>確率空間をどう定義しているのか
>次に、Pr(Bn,b)=1/n n∈N ならば
>Σ n=0〜∞ Pr(Bn,b)=Σ n=0〜∞ 1/n =∞(∵1/nの無限和が発散するのは有名な事実)
>なので、明白に Pr(Ω)≠1 ですよ(ここにΩは全事象)
>まず、確率分布Prを定義するには、確率空間から始めないと学部数学の確率論にならない
>確率空間をどう定義しているのか
>次に、Pr(Bn,b)=1/n n∈N ならば
>Σ n=0〜∞ Pr(Bn,b)=Σ n=0〜∞ 1/n =∞(∵1/nの無限和が発散するのは有名な事実)
>なので、明白に Pr(Ω)≠1 ですよ(ここにΩは全事象)
102132人目の素数さん
2026/10/28(水) 07:35:35.19ID:PUPzwQyD テンプレです
https://rio2016.5ch.io/test/read.cgi/math/1774707956/626
>選択公理は存在のみなので 使えないので無視して、人の意思で代表をえらぶ
https://rio2016.5ch.io/test/read.cgi/math/1774707956/626
>選択公理は存在のみなので 使えないので無視して、人の意思で代表をえらぶ
103132人目の素数さん
2026/10/28(水) 07:35:56.42ID:PUPzwQyD テンプレです
>・選択公理によって、任意同値類の代表の存在が言える。が、どんな代表を選ぶかは、各人の自由だ
>・選択公理によって、任意同値類の代表の存在が言える。が、どんな代表を選ぶかは、各人の自由だ
104132人目の素数さん
2026/10/28(水) 07:36:21.97ID:PUPzwQyD テンプレです
>>どの無限列を入れるかは自由だが、確率変数にするかしないか、の自由はない
>>つまり、一回入れたら二度と変更できない
>>毎回の試行で変更することは決して許されない
>そこ、吉田大学の札付きでも同じだよ
>そこを読めてないのは おまえ
>>どの無限列を入れるかは自由だが、確率変数にするかしないか、の自由はない
>>つまり、一回入れたら二度と変更できない
>>毎回の試行で変更することは決して許されない
>そこ、吉田大学の札付きでも同じだよ
>そこを読めてないのは おまえ
105132人目の素数さん
2026/10/28(水) 07:36:43.04ID:PUPzwQyD テンプレです
>>なぜなら箱入り無数目では箱の中身はすべて定数だから
>誤解ですよ
>箱の中身は、現代数学の確率論で扱えるよ
>「箱の中身はすべて定数だから」?
>あほか
>重川を読め
>>なぜなら箱入り無数目では箱の中身はすべて定数だから
>誤解ですよ
>箱の中身は、現代数学の確率論で扱えるよ
>「箱の中身はすべて定数だから」?
>あほか
>重川を読め
106132人目の素数さん
2026/10/28(水) 07:36:57.96ID:PUPzwQyD テンプレです
> まず 先頭の幾つかをあける。株価で1円単位とすると 例えば下記ソニーで 3234 ・・・と出る
> 次に、かなり離れた 後のしっぽを全部開けると 2000代とか3000代の整数が分る
> そこから 先頭側としっぽ側とで 狭めていって 先頭からD番目を残して 前後を開ける
> もし、「株価かな?」と見当がつけば、ブラック–ショールズ方程式に乗せてみる
> それ以外には、統計処理で平均値を出したり 標準偏差を計算したりもありだ
> そして D番目を推察するのだ
> まず 先頭の幾つかをあける。株価で1円単位とすると 例えば下記ソニーで 3234 ・・・と出る
> 次に、かなり離れた 後のしっぽを全部開けると 2000代とか3000代の整数が分る
> そこから 先頭側としっぽ側とで 狭めていって 先頭からD番目を残して 前後を開ける
> もし、「株価かな?」と見当がつけば、ブラック–ショールズ方程式に乗せてみる
> それ以外には、統計処理で平均値を出したり 標準偏差を計算したりもありだ
> そして D番目を推察するのだ
107132人目の素数さん
2026/10/28(水) 07:37:13.30ID:PUPzwQyD テンプレです
>そこを 箱入り無数目のように 列の自由選択に変更すれば
>「1/2に出来る」と誤読している人がいるが
>しかしそれでは、数学ストーリーとしてヘンw
>数学ストーリーは、札付き定理の完全否定!■
>そこを 箱入り無数目のように 列の自由選択に変更すれば
>「1/2に出来る」と誤読している人がいるが
>しかしそれでは、数学ストーリーとしてヘンw
>数学ストーリーは、札付き定理の完全否定!■
108132人目の素数さん
2026/10/28(水) 07:37:49.61ID:PUPzwQyD テンプレです
>>「実数の構成に選択公理が必要」という君の独自説がそんなに面白いかい?
>
>必要だ。簡単に カントールの実数の構成 有理コーシー列を使う場合に限定するよ
>有理コーシー列は、加算無限有理数列だ。要するに、有理数Qから有理数を取り出して
>q0,q1,q2,・・,qi,・・ なる無理数rに収束する列を作る(細かくは rに収束する列は一つに限らないから 同値類を考える)
>q0,q1,q2,・・,qi,・・は、集合の元を整列させているってこと
>つまりは、整列可能定理が使える
>列長さが ω(=最初の無限順序数)のときは、可算選択公理で足りる
>が、なんらの選択公理の不使用 つまり 可算選択公理さえ使わないならば
>加算無限有理数列は、構成できない!
>>「実数の構成に選択公理が必要」という君の独自説がそんなに面白いかい?
>
>必要だ。簡単に カントールの実数の構成 有理コーシー列を使う場合に限定するよ
>有理コーシー列は、加算無限有理数列だ。要するに、有理数Qから有理数を取り出して
>q0,q1,q2,・・,qi,・・ なる無理数rに収束する列を作る(細かくは rに収束する列は一つに限らないから 同値類を考える)
>q0,q1,q2,・・,qi,・・は、集合の元を整列させているってこと
>つまりは、整列可能定理が使える
>列長さが ω(=最初の無限順序数)のときは、可算選択公理で足りる
>が、なんらの選択公理の不使用 つまり 可算選択公理さえ使わないならば
>加算無限有理数列は、構成できない!
109132人目の素数さん
2026/10/28(水) 07:38:13.68ID:PUPzwQyD テンプレです
>>そもそもQを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い
>
>笑える。下記の東北大 尾畑研 第16章整数・有理数・実数 P249 「■実数論」を 百回音読してね
>『Qを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い』か・・
>独自説だねぇ〜、ユニークで笑える、が面白すぎww(^^
>>そもそもQを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い
>
>笑える。下記の東北大 尾畑研 第16章整数・有理数・実数 P249 「■実数論」を 百回音読してね
>『Qを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い』か・・
>独自説だねぇ〜、ユニークで笑える、が面白すぎww(^^
110132人目の素数さん
2026/10/28(水) 07:38:29.31ID:PUPzwQyD テンプレです
>冪集合公理により 任意の有限集合の類に対して、デカルト積を定義することが出来る
>この対偶命題:
>冪集合公理により デカルト積を定義することが出来ない集合は、有限集合ではない
>冪集合公理により 任意の有限集合の類に対して、デカルト積を定義することが出来る
>この対偶命題:
>冪集合公理により デカルト積を定義することが出来ない集合は、有限集合ではない
111132人目の素数さん
2026/10/28(水) 07:38:45.14ID:PUPzwQyD テンプレです
>>Nは無限集合ですからQ^Nは普通はデカルト積とは呼ばないでしょうね
>赤ペン
>1)”Nは無限集合ですから”がダメ
>2)デカルト先生は R^2でデカルト積 (r1,r2) |r1,r2∈R
> を考えた故事をしらないんだね
> ”Rは無限集合ですから”って デカルト先生に言ってあげようw
>>Nは無限集合ですからQ^Nは普通はデカルト積とは呼ばないでしょうね
>赤ペン
>1)”Nは無限集合ですから”がダメ
>2)デカルト先生は R^2でデカルト積 (r1,r2) |r1,r2∈R
> を考えた故事をしらないんだね
> ”Rは無限集合ですから”って デカルト先生に言ってあげようw
112132人目の素数さん
2026/10/28(水) 07:38:59.33ID:PUPzwQyD テンプレです
>・一方、Dedekind Cutsを使うと なんらの選択公理は不要だが
> 完備であることの証明はできない
>・一方、Dedekind Cutsを使うと なんらの選択公理は不要だが
> 完備であることの証明はできない
113132人目の素数さん
2026/10/28(水) 07:39:15.01ID:PUPzwQyD テンプレです
>実数の公理を裏口から密輸している
>ZFC公理系で 実数の公理なんて使えないぞ
と
>で https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
>を見ると、ZF公理系の話では無いだろ
>例えば
>Tarski's axiomatization of the reals
>とか
>それ 笑えるんだけど?(^^
>実数の公理を裏口から密輸している
>ZFC公理系で 実数の公理なんて使えないぞ
と
>で https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
>を見ると、ZF公理系の話では無いだろ
>例えば
>Tarski's axiomatization of the reals
>とか
>それ 笑えるんだけど?(^^
114132人目の素数さん
2026/10/28(水) 07:39:29.89ID:PUPzwQyD テンプレです
>可算選択公理さえ仮定しない ZFのみでは・・
>1)コーシー列とデデキントカットの同値は言えない(別物?)
>可算選択公理さえ仮定しない ZFのみでは・・
>1)コーシー列とデデキントカットの同値は言えない(別物?)
115132人目の素数さん
2026/10/28(水) 07:39:44.90ID:PUPzwQyD テンプレです
>おかしいねよ? 可算選択公理ACω なしで 実数の構成できると言った人がいたけど
>たしかに、形式的には デデキントカット、コーシー列も それらしい まねごとは出来たとしても
>ガウスやコーシー、リーマン、ワイエルシュトラス、デデキント、カントール、ヒルベルト
>らが思っている実数(それは我々が求めている実数でもある)とはほど遠いよね
>
>可算選択公理ACω なしで構成した 実数の責任は?
>だれが どうとる?
>おかしいねよ? 可算選択公理ACω なしで 実数の構成できると言った人がいたけど
>たしかに、形式的には デデキントカット、コーシー列も それらしい まねごとは出来たとしても
>ガウスやコーシー、リーマン、ワイエルシュトラス、デデキント、カントール、ヒルベルト
>らが思っている実数(それは我々が求めている実数でもある)とはほど遠いよね
>
>可算選択公理ACω なしで構成した 実数の責任は?
>だれが どうとる?
116132人目の素数さん
2026/10/28(水) 07:39:59.59ID:PUPzwQyD テンプレです
>Jech, T The Axiom of Choice. North-Holland. Jelonek 1973
>CH.2, THE COUNTABLE AXIOM OF CHOICE
>P21の画像 を見て貰えば分るが
>THE COUNTABLE AXIOM OF CHOICEは
>コーシー列の収束を証明するのに重要な役割をしている
>Jech, T The Axiom of Choice. North-Holland. Jelonek 1973
>CH.2, THE COUNTABLE AXIOM OF CHOICE
>P21の画像 を見て貰えば分るが
>THE COUNTABLE AXIOM OF CHOICEは
>コーシー列の収束を証明するのに重要な役割をしている
117132人目の素数さん
2026/10/28(水) 07:40:21.73ID:PUPzwQyD テンプレです
>異なる自然数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全体は、非正則分布を成すから(下記)
>異なる自然数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全体は、非正則分布を成すから(下記)
118132人目の素数さん
2026/10/28(水) 07:40:40.20ID:PUPzwQyD テンプレです
>(引用開始)
>偶数と奇数m,nをAが選びカードに書いて箱に入れる
>選び方はAの自由
>ここで
>Bは箱の中からランダムにカードを1つ取り出す
>Aは残った方を取る
>偶数を引いた方が勝ち
>さてA,Bの勝つ確率は?
>(引用終り)
>
>良い指摘だ
>いま、箱の中は 偶数1枚と奇数1枚の計2枚のみとする
>全体の数が2枚で有限だから
>普通に確率計算が可能で
>A,Bの勝つ確率は 各1/2ずつ
>(引用開始)
>偶数と奇数m,nをAが選びカードに書いて箱に入れる
>選び方はAの自由
>ここで
>Bは箱の中からランダムにカードを1つ取り出す
>Aは残った方を取る
>偶数を引いた方が勝ち
>さてA,Bの勝つ確率は?
>(引用終り)
>
>良い指摘だ
>いま、箱の中は 偶数1枚と奇数1枚の計2枚のみとする
>全体の数が2枚で有限だから
>普通に確率計算が可能で
>A,Bの勝つ確率は 各1/2ずつ
119132人目の素数さん
2026/10/28(水) 07:40:56.66ID:PUPzwQyD テンプレです
>・箱入り無数目 は、私が立てた
>・IUTのシン応援スレも 私
>・各種ガロアスレのうち
> 純粋・応用数学・数学隣接分野(含むガロア理論)21 (816)
> ガロア第一論文と乗数イデアル他関連資料スレ19 (247)
> の2つは私が立てた
>
>因みに、下記の数学勢いランキング
>1〜11で 4、5、7、10の4つを除く
>7個は 全部私が立てたんだよね
>・箱入り無数目 は、私が立てた
>・IUTのシン応援スレも 私
>・各種ガロアスレのうち
> 純粋・応用数学・数学隣接分野(含むガロア理論)21 (816)
> ガロア第一論文と乗数イデアル他関連資料スレ19 (247)
> の2つは私が立てた
>
>因みに、下記の数学勢いランキング
>1〜11で 4、5、7、10の4つを除く
>7個は 全部私が立てたんだよね
120132人目の素数さん
2026/10/28(水) 07:41:13.25ID:PUPzwQyD テンプレです
>>(ランダムってのは確率空間の話では?定義も無くてランダムとはね)
>
>素人か(^^
>下記乱数分かりますか?
>乱数も知らずに 箱入り無数目を論じるかね?w
>
>箱入り無数目>>1 において 箱に 下記 乱数列を発生させて入れていく
>箱入り無数目で当てられるとすれば、乱数の定義に反する
>まさに 縦と矛 矛盾なり!
>
>真の乱数列とは? 他の数を見ても 当てることはできない!!
>他の数を見て 当てることができるならば・・、それは真乱数ではない!!www
>
>まあ、素人には理解できないだろうね
>(この議論は、10年以上前 箱入り無数目の初期に書いている)
>>(ランダムってのは確率空間の話では?定義も無くてランダムとはね)
>
>素人か(^^
>下記乱数分かりますか?
>乱数も知らずに 箱入り無数目を論じるかね?w
>
>箱入り無数目>>1 において 箱に 下記 乱数列を発生させて入れていく
>箱入り無数目で当てられるとすれば、乱数の定義に反する
>まさに 縦と矛 矛盾なり!
>
>真の乱数列とは? 他の数を見ても 当てることはできない!!
>他の数を見て 当てることができるならば・・、それは真乱数ではない!!www
>
>まあ、素人には理解できないだろうね
>(この議論は、10年以上前 箱入り無数目の初期に書いている)
121132人目の素数さん
2026/10/28(水) 07:41:29.66ID:PUPzwQyD テンプレです
>”その「御大」も底が知れてる”? まあ、そこは同意だよ。
>”その「御大」も底が知れてる”? まあ、そこは同意だよ。
122132人目の素数さん
2026/10/28(水) 07:41:43.70ID:PUPzwQyD テンプレです
>誤:(Setはモノイダル圏だけどテンソル圏とは呼ばれないみたい)
> ↓
>正:(Setは単なる集合の圏で積の定義なし。一方モノイダル圏即ちテンソル圏はテンソル積が定義された圏である。集合の圏Setは、なんらの積も定義されていないので、テンソル積が定義された圏であるモノイダル圏即ちテンソル圏とは、全く異なる圏である■)
>誤:(Setはモノイダル圏だけどテンソル圏とは呼ばれないみたい)
> ↓
>正:(Setは単なる集合の圏で積の定義なし。一方モノイダル圏即ちテンソル圏はテンソル積が定義された圏である。集合の圏Setは、なんらの積も定義されていないので、テンソル積が定義された圏であるモノイダル圏即ちテンソル圏とは、全く異なる圏である■)
123132人目の素数さん
2026/10/28(水) 07:41:58.22ID:PUPzwQyD テンプレです
>ところが、天才グロタンディクは 圏論を使う代数幾何には
>ZFCじゃ狭い! だから 広くしようぜと言った
>それが グロタンディク宇宙で ちょうど研究されていた到達不能基数の理論とマッチングアプリ
>ところが、天才グロタンディクは 圏論を使う代数幾何には
>ZFCじゃ狭い! だから 広くしようぜと言った
>それが グロタンディク宇宙で ちょうど研究されていた到達不能基数の理論とマッチングアプリ
124132人目の素数さん
2026/10/28(水) 07:42:14.84ID:PUPzwQyD テンプレかなあ?
>注*)実話で おれの親父が 暮らしていた実家で(おれは家を出ていた)、少し離れたらところに 団地の八百屋さんがあって
> 八百屋のおかみさんから 綺麗な字の手紙 見ると「(おやじが)近所の人と一緒になって 自分を四六時中監視している 見張っているので やめろ」と書いてあった
> すぐ ウソと分った(被害妄想)。おやじは、近所付き合いはあまりしないし、”一緒になって”とかありえなない(一人ならまだしも(^^)
> あとで、ちょっとノイローゼ気味と聞いた。しばらくして 引っ越していった
>注*)実話で おれの親父が 暮らしていた実家で(おれは家を出ていた)、少し離れたらところに 団地の八百屋さんがあって
> 八百屋のおかみさんから 綺麗な字の手紙 見ると「(おやじが)近所の人と一緒になって 自分を四六時中監視している 見張っているので やめろ」と書いてあった
> すぐ ウソと分った(被害妄想)。おやじは、近所付き合いはあまりしないし、”一緒になって”とかありえなない(一人ならまだしも(^^)
> あとで、ちょっとノイローゼ気味と聞いた。しばらくして 引っ越していった
125132人目の素数さん
2026/10/28(水) 07:42:53.99ID:PUPzwQyD テンプレかなあ?
>もう少し書いておくと 手紙は姉さんから見せられたと思う
>なんか夜中も含めて 一日中24時間ずっと みなが自分を監視しているみたく
>その首謀者が、おれの親父みたいなことが書いてあった
>仔細は知らないが 店は歩いて3〜5分のところの四つ辻の角で
>八百屋の向いが、たばこ屋さん 息子が ぼくと同窓生で同じ中学に通った
>(実は、小学校でも同窓だったが、彼の方が早く転校してきていたんだ。新しく開発された団地でね)
>もう少し書いておくと 手紙は姉さんから見せられたと思う
>なんか夜中も含めて 一日中24時間ずっと みなが自分を監視しているみたく
>その首謀者が、おれの親父みたいなことが書いてあった
>仔細は知らないが 店は歩いて3〜5分のところの四つ辻の角で
>八百屋の向いが、たばこ屋さん 息子が ぼくと同窓生で同じ中学に通った
>(実は、小学校でも同窓だったが、彼の方が早く転校してきていたんだ。新しく開発された団地でね)
126132人目の素数さん
2026/10/28(水) 07:43:10.09ID:PUPzwQyD テンプレです
>”集合論では、超フィルターは、構成可能性の公理が可測基数 κの存在と両立しないことを示すために用いられる。”
>”ゲーデルによる神の存在論的証明は、すべての「肯定的性質」の集合が超フィルターであることを公理として用いている。”
>
>これらから導かれること
>1)”超フィルター(ultrafilter)"は、ZFC内に収まることもあれば、
> ZFC内に収まらないこともある
>2)それは、”超フィルター(ultrafilter)"を使う人の立場による
>
>よって、”超フィルター(ultrafilter)"は
>常に ZFC内だと 倒錯している人が
>一人存在することが証明された■
>”集合論では、超フィルターは、構成可能性の公理が可測基数 κの存在と両立しないことを示すために用いられる。”
>”ゲーデルによる神の存在論的証明は、すべての「肯定的性質」の集合が超フィルターであることを公理として用いている。”
>
>これらから導かれること
>1)”超フィルター(ultrafilter)"は、ZFC内に収まることもあれば、
> ZFC内に収まらないこともある
>2)それは、”超フィルター(ultrafilter)"を使う人の立場による
>
>よって、”超フィルター(ultrafilter)"は
>常に ZFC内だと 倒錯している人が
>一人存在することが証明された■
127132人目の素数さん
2026/10/28(水) 07:43:25.20ID:PUPzwQyD テンプレです
>おそらく
>集合論論による代数幾何+α → 圏論による代数幾何
>で、チョロと1回グロタンUをもってくれば 終り だと思う? しらんけど
>おそらく
>集合論論による代数幾何+α → 圏論による代数幾何
>で、チョロと1回グロタンUをもってくれば 終り だと思う? しらんけど
128132人目の素数さん
2026/10/28(水) 07:43:39.16ID:PUPzwQyD テンプレです
>ノイマン宇宙Vままだと 宇宙が狭い。Vの外に出ると そこは集合ではなく クラス(類)になる
>グロタンディク宇宙Uは、Vを広げて Vならクラス(類)になる対象を包含できるようにする
>後世の人「おまいら それ 到達不能基数の議論と同値じゃん」と指摘したらしい
>ノイマン宇宙Vままだと 宇宙が狭い。Vの外に出ると そこは集合ではなく クラス(類)になる
>グロタンディク宇宙Uは、Vを広げて Vならクラス(類)になる対象を包含できるようにする
>後世の人「おまいら それ 到達不能基数の議論と同値じゃん」と指摘したらしい
129132人目の素数さん
2026/10/28(水) 07:43:55.30ID:PUPzwQyD テンプレです
>うむ いま Terence Tao“big picture”として 宇宙の包含関係を考える
>Vo⊂Vk⊂Vk+1⊂・・・
>ここで
>・k,k+1・・などは到達不能基数で この順に大きくなり Vkなどはkを含む宇宙で 到達不能基数kもまた集合である
>・Voは、到達不能基数を全く含まない 通常基数の宇宙
>
>これより
>・Vk+1が無矛盾ならば それより左のVo、Vkが無矛盾(∵ 包含関係で Vo、Vkが矛盾なら Vk+1が矛盾を含むので 背理法成立)
>・κの存在証明が不可能は、良いだろう
>以上
>うむ いま Terence Tao“big picture”として 宇宙の包含関係を考える
>Vo⊂Vk⊂Vk+1⊂・・・
>ここで
>・k,k+1・・などは到達不能基数で この順に大きくなり Vkなどはkを含む宇宙で 到達不能基数kもまた集合である
>・Voは、到達不能基数を全く含まない 通常基数の宇宙
>
>これより
>・Vk+1が無矛盾ならば それより左のVo、Vkが無矛盾(∵ 包含関係で Vo、Vkが矛盾なら Vk+1が矛盾を含むので 背理法成立)
>・κの存在証明が不可能は、良いだろう
>以上
130132人目の素数さん
2026/10/28(水) 07:44:10.72ID:PUPzwQyD テンプレです
>4)では、到達不能とは なんなのじゃ? と問えば
> それは、2^R とか 集合べきを ZFCの中で 超限回繰り返す その外に
> おわします 神の基数なり!
> あたかも ZFCの中で 超限回繰り返しは人の作る基数であって
> 到達不能は、ZFCで人が考え得る外の基数なり!
>4)では、到達不能とは なんなのじゃ? と問えば
> それは、2^R とか 集合べきを ZFCの中で 超限回繰り返す その外に
> おわします 神の基数なり!
> あたかも ZFCの中で 超限回繰り返しは人の作る基数であって
> 到達不能は、ZFCで人が考え得る外の基数なり!
131132人目の素数さん
2026/10/28(水) 07:44:26.42ID:PUPzwQyD テンプレです
> κ未満の 全て(any)の ordinal number βについての Vβの和である(定義より)
> 繰り返すが 全て(any)の ordinal number βを尽くす和
> 従って Vκには V中の全てのVβを含む
> 従って V⊂Vκ (再度強調するが Vκは 集合という設定(到達不能基数公理より従う))■
> κ未満の 全て(any)の ordinal number βについての Vβの和である(定義より)
> 繰り返すが 全て(any)の ordinal number βを尽くす和
> 従って Vκには V中の全てのVβを含む
> 従って V⊂Vκ (再度強調するが Vκは 集合という設定(到達不能基数公理より従う))■
132132人目の素数さん
2026/10/28(水) 07:44:40.45ID:PUPzwQyD テンプレです
>射影幾何では 平行線は 例えば左右2方向で それぞれが 左と右と二つの無限遠点を持つとできる(全ての平行線で同様)■
>射影幾何では 平行線は 例えば左右2方向で それぞれが 左と右と二つの無限遠点を持つとできる(全ての平行線で同様)■
133132人目の素数さん
2026/10/28(水) 07:44:54.08ID:PUPzwQyD テンプレです
>1)Q係数の5次既約方程式のガロア群は対称群S5になる。それは交代群A5を正規部分群として持つ
>1)Q係数の5次既約方程式のガロア群は対称群S5になる。それは交代群A5を正規部分群として持つ
134132人目の素数さん
2026/10/28(水) 07:45:08.83ID:PUPzwQyD テンプレです
>IUTは、ガリレオ天動説です
>だんだん、理解され受け入れられてきたよ
>IUTは、ガリレオ天動説です
>だんだん、理解され受け入れられてきたよ
135132人目の素数さん
2026/10/28(水) 07:45:22.19ID:PUPzwQyD テンプレです
>1)この The Absolute Universe (V) は、下記 Large cardinal hierarchyの図の頂点
> 即ち 0=1 (V_0=1)のことだ
>1)この The Absolute Universe (V) は、下記 Large cardinal hierarchyの図の頂点
> 即ち 0=1 (V_0=1)のことだ
136132人目の素数さん
2026/10/28(水) 07:45:37.48ID:PUPzwQyD テンプレです
>そもそも 到達不能基数κには 定義とその解説がある
>それを素直に読んで 理解すべきところを
>読んでも理解できないし
>そのうえ誤解の複雑骨折
>パッパラパーw
>そもそも 到達不能基数κには 定義とその解説がある
>それを素直に読んで 理解すべきところを
>読んでも理解できないし
>そのうえ誤解の複雑骨折
>パッパラパーw
137132人目の素数さん
2026/10/28(水) 07:47:40.58ID:PUPzwQyD テンプレです
> V:=⋃α Vα.であって さらに Vαは”called stages 略”だという(格好良く ”stage”とするよ)
> で、各stage Vα は、ZFCで構成可能(=証明可能)な集合である
> V:=⋃α Vα.であって さらに Vαは”called stages 略”だという(格好良く ”stage”とするよ)
> で、各stage Vα は、ZFCで構成可能(=証明可能)な集合である
138132人目の素数さん
2026/10/28(水) 07:51:02.30ID:PUPzwQyD テンプレです
>V内は ZFCから証明できる集合だが
>V内は ZFCから証明できる集合だが
139132人目の素数さん
2026/10/28(水) 07:54:25.45ID:loV9tiMn 瀬田爺さんのスレの常連さん参上
レスを投稿する
ニュース
- 【野球】日本シリーズ第4戦 H 4-2 DB [10/28] 福岡ソフトバンクホークス4連勝 2年連続13回目の日本シリーズ制覇! [鉄チーズ烏★]
- 【政府】少子化からの反転目指す 人口総合戦略を策定へ 外国人との共生など 方向性を年内提示 [首都圏の虎★]
- ニューヨーク、YouTube席巻の“歌い手”に「顔出せや!」暴言が賛否「歌い手さんに謝れ」「もっと老害丸出しでキレて欲しい」 [muffin★]
- 日テレ・水卜麻美アナ 気象予報士試験に合格 5年前から挑戦…平均合格率5・5%の超難関資格 [muffin★]
- スペインで高速鉄道が衝突、10人死亡 [蚤の市★]
- GMO攻撃 ハッカー集団のサイトはきょう未明に停止 GMO側「1.5億円の懸賞金」で情報提供募る [夜のけいちゃん★]
- んなたんのおっぱいに挟まるな(・o・💢🍬)🏰
- 【実況】博衣こよりのえちえち日本シリーズ第7戦同時視聴🧪
- 【朗報】 最高に面白い尊い漫画「くたびれサラリーマンな俺、7年ぶりに再会した美少女JKと同棲を始める」の4巻が発売される [303493227]
- 【悲報】ネタニヤフ、続投wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww [841411289]
- VIVANT、釈明。 TBS「日中対立を煽る意図は一切ございません。完全なフィクションによるエンターテイメント作品です」 [668024367]
- 【やきう】ソフトバンク、4連勝で13度目日本一 [268244553]