数学 - 5ちゃんねる掲示板

５ちゃんねる|掲示板一覧|

@5channel_net|UPLIFT|UPLIFTログイン|どんぐりシステム|

数学

★[新しく記事を投稿する場合]は、既に同じ内容の投稿がないかどうかを確認してから行なうようにしてください。
★具体的な計算問題の質問や、数学に直接関係のない話題は、新しいスレッドを立てるのはなるべく避け、以下のスレッドに投稿するようにしてください。
　　　『わからない問題はここに書いてね』（さくらスレ）
　　　『くだらねぇ問題はここへ書け』（くだらんスレ）
　　　『雑談はここに書け！』（雑談スレ）
★特に計算問題について投稿する際には、問題のジャンル（解析、幾何、代数など）も付記すると、後々の利用者が検索しやすくなります。
★[新しくスレッドを立てる場合]には、何について議論・質問したいのかが他の利用者にもわかるように、タイトルの付け方に注意してください。

この板の投稿数順位

最終更新日時：2026/03/08 03:44:00

本日の総投稿数： 16　順位： 221/1,023

分あたり投稿数： 0　順位： 134/1,023

ご案内

書き込む前に読んでね
 ５ちゃんねるガイド
 この板の主なスレッド一覧
 １番目のスレッド
スマホ版はこのQRコードから
$math for itest by QR Code$

この板の主なスレッド

スレッド全一覧はこちら過去ログ一覧はこちら

1: 到達不能基数・巨大基数研究 (734)

2: みんな大好きお兄さんの数学雑学スレ (217)

3: テストスレ [無断転載禁止]©2ch.net (781)

4: 純粋・応用数学・数学隣接分野+AI（含むガロア理論）22 (60)

5: 国際ジャーナルに論文を出版しよう！１０本目 (578)

6: 雑談はここに書け！【68】 (678)

7: 岡潔と連接性4 (914)

8: 時枝正氏はなぜStanford大学教授になれたか？ (20)

9: 高校数学の質問スレ（医者・東大卒禁止） Part438 (318)

10: Inter-universal geometryとABC予想(シン応援スレ) 93 (299)

11: 長谷川浩司先生 (6)

12: 多変数解析函数論6 (515)

13: 女性数学者 (419)

14: 「名誉教授」のスレ 9 (871)

15: 岡潔をもてはやすの、もう止めないか？ (373)

16: 複素解析6 (132)

17: 大学数学の質問スレ Part 4 (559)

18: 行列のトレースの意味って何なの (8)

19: 数学基礎論・数理論理学　その20 (662)

20: 数学用語で韻を踏める言葉 (4)

21: アホでも数学者になれる方法 (70)

22: 数学者の訃報を報告するスレッド (199)

23: 数学の歴史（数学史、科学史）を語ろう (872)

24: AIと数学2 (142)

25: ケーラー多様体・ホッジ分解 (278)

26: Interuniversal geometry とABC 予想62   (97)

27: ζ　←　チン毛 (295)

28: 佐藤幹夫←こいつの評価 (69)

29: 辻正次と小松勇作の区別がつかない。 (166)

30: 楕円積分・楕円関数・楕円曲線←こいつら (337)

31: 高木くんがアクセプトされるまで見守るスレ ★14 (639)

32: フランスの数学 (771)

33: AIがヤン–ミルズ理論確立したけど (91)

34: なぜ数学科ではラプラス変換はマイナーなの？ (4)

35: ベッチ数 (26)

36: 正直、あまり嫌いではない数学者 (286)

37: 巨大数を語り合うスレ (414)

38: 有名教科書トリオ佐武一郎、杉浦光夫、齋藤正彦総合スレッド (14)

39: 加藤先生はなぜおかしくなってしまったのか (127)

40: 正直、あまり好きではない数学者 (481)

42: 【パンサー尾形】笑わない数学【NHK総合】 Part2 (690)

43: 不名誉教授のスレ (141)

44: dxって結局何なの (24)

45: ガロア第一論文と乗数イデアル他関連資料スレ19 (511)

46: 禅と数学 (29)

47: 測度が先か、積分が先か (17)

48: で、宇宙際理論はいつ検証が終わんだ？ｗ (10)

49: ガンマ関数我慢大会 (31)

50: 数学は暗記なのか (28)

51: 酒は飲むな (19)

52: なんか面白い新発見とかないの？ (17)

53: 物理学者「量子力学は虚数を使わずに記述できることを発見した」 (17)

54: Inter-universal geometry と ABC予想 (応援スレ) 81 (717)

55: 【挑戦状】暗号出すわ解けなきゃ数学民失格だなwまぁせいぜい頑張れ (12)

56: 九九は暗記する必要があるのか (4)

57: 3%+5%は8%か (14)

58: 数学の本第99巻 (443)

59: 女は明らかに男性より数理能力で遥かに劣っている (2)

60: 問題演習は必要なのか (78)

61: 幾何学的におしっこが絶対に外に飛び散らない小便器は作れるか (16)

62: 新たな計算技術は生まれないのか？ (18)

63: メモ:関数論の妙所大沢健夫現代数学 2026を読んで (252)

64: 雑誌　「現代数学」part2 (426)

65: 測度と計量の統一 (10)

66: AIで数学は終わった (30)

67: 10進数で各桁に9を含まない自然数の逆数和は収束するだろうか？ (5)

68: 数学でAIは終わったと言われるけど (89)

69: 文系大学生だが来月数検1級受ける (829)

70: 最適輸送理論 (5)

71: 数学界の父子鷹を応援するスレ (329)

72: 学校でやってる数学って本物の数学じゃないよね (22)

73: 【速報】柏原正樹教授、アーベル賞を受賞 (462)

74: 流石だったよな広中平祐 (276)

75: RCD空間 (6)

76: 三次体 (20)

77: 交代和 (10)

78: 終わった分野をAIで開拓しよう (4)

79: 純粋・応用数学・数学隣接分野（含むガロア理論）21 (903)

80: 流石だったよな一松信 (17)

81: 21人の大数学者と20世紀の67人の数学者 (3)

82: 【トポロジー】位相幾何学 11 　【ホモトピー　ホモロジー】　 (106)

83: 可微分多様体はリーマン計量をもつ (10)

84: 人類の至宝ガロア理論 (8)

85: 東欧の数学 (946)

86: 秋月康夫と河田敬義の区別がつかない (6)

87: 長寿の数学者。例えば、一松信、セール。 (38)

88: ボクは算数も出来なくなってしまった (6)

89: 美人数学者 (524)

90: ジョルダンの閉曲線定理の証明 (21)

91: 数学の本第104巻 (647)

92: リーマン・ロッホの定理 (4)

93: 未解決問題を解くスレ (28)

94: 「xを任意に取る」←ほんとに取れんのか？ (83)

95: 【紅茶数学部】1の原始11乗根(exp(2iπ/11))の厳密解(根号による表記)の一つらしい。【画像有】 (44)

96: 世界最大の数学者は誰だと思う？ (507)

97: レポートをAIに丸投げしたら何が問題なのか (49)

98: 生成AIを見ずに死んだ数学者は幸せだったのか？ (23)

99: リーマン・ロッホ (1)

100: エスカレーターの片側を空けるべきか (20)

101: 私、数学者になります！ (19)

102: 応用問題という最後の砦さえ大した事が無い判明した今、数学の入試は意味あるか？ (152)

103: コラッツ予想 (38)

104: 人間の数学者はAIに駆逐されるのか (75)

105: 円分体 (3)

106: ロシアの数学Ш (229)

107: 有限体上の代数方程式を四則演算とべき根で解こう (14)

108: 問題を解くのはAIにまかせればいい (10)

109: 世界的数論学者「IUT理論をやるのは自殺行為」 (30)

110: Mumfordの "Red Book" が信者に持て囃されているのは、代数幾何学者の不幸のひとつ (67)

111: 高校数学はどこが厳密ではないのか (20)

112: ポアンカレ予想は宇宙の形を予測する定理言うたドアホはどこのどいつだよ (4)

113: 二次体 (5)

114: 実数は実在するのか (51)

115: 正の実数 x, y が 1/x + 1/y = 1 をみたす時、x + y の取りうる範囲を求めよ (18)

116: 数学で最低限暗記すべきこととは？ (139)

117: 東大推薦に「数学の天才」はいらないのか？ (103)

118: 数学者「AIが未解決問題を解いても理解できない」←それが何だよｗ (32)

119: 正17角形は作図可能←だから何だよ (29)

120: 数学的対象は実在するのか (17)

121: 負の整数のあまり (2)

122: 九九は暗記すべきか (13)

123: 行列のトレース (29)

124: 数学っぽい固有名詞（地名、人名、……） (14)

125: コラッツ予想証明出来るくね？ (5)

126: 大学入試の数学は完全に出題者のオナニーに付き合わされてるのでしかない (19)

127: LEAN総合スレその1 (15)

128: ICM2030はグラスゴーで決定 (122)

129: 数学の近似理論は作れないの？ (11)

130: 面白い数学の問題おしえて～な 45問目 (133)

131: 3リットルの容器と5リットルの容器を使って測れる量 (11)

132: 2026年、IUTの次はAI (7)

133: 積分とは何か (12)

134: なぜ公理まで遡らなくても数学ができるのか？ (12)

135: 図形は暗記かセンスか (10)

136: 高木貞治『解析概論』 (350)

137: 日本人数学者を論文被引用数でランク付けしよう！ (665)

138: 調和積分論 (24)

139: 複素解析の最高の教科書は？ (938)

140: L² コホモロジー (37)

141: 雑誌　「数学セミナー」 part1 (227)

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

143: 1文字変えたら難易度が激変する問題 3文字目 [無断転載禁止]©2ch.net (354)

144: 大人になっても受験数学・競技数学やってる異常者 (18)

145: 5次以上の交代群が単純になる理由 (20)

146: 実数論の無い数学 (3)

147: AUで数学者は失業しない (6)

148: 局所体 (8)

149: これどうやって証明すんの？ (18)

150: ℝを可算個の閉集合(ただし≠∅が2個以上)の非交和に書くことはできない。 (9)

151: ℝ²に可算無限個の点をどのように配置しても、それらを一つも通らない直線は存在するか (73)

152: にゃんこの数学 vs わんこの数学 (99)

153: テンソルとは何か (56)

154: セミナーの仕方・教科書の読み方などを細かく指示したがるのは (13)

155: メネラウスの定理とかいつ使うの (12)

156: 数学に大学は必要ない。動画で十分。 (42)

157: 大学ホームページに「六四天安門」と書いたら何が問題なのか (43)

158: 三大欲求を満たす代償に数学の問題を解けば (7)

159: ReLU関数 (14)

160: メンサ会員影山優佳高IQ の数学力 (17)

161: 数学できない私文を正当化する痛い奴ww (190)

162: 【数学？】眠り姫問題【哲学？】 (822)

163: 掛け算の順序問題 (129)

164: 大学数学の出題スレ (288)

165: 数理科学は大別すれば抽象化と効率化の二種類しかない (13)

166: 数学者になろう (11)

167: 数学は入試科目から外すべき (15)

168: エックスで、ミレニアム問題続々解ける (8)

169: 慶應医学部の数学の試験なんだけど、これどう思う？ (8)

170: いい年して准教授って恥ずかしくないんですか？ (5)

171: 数学っぽい固有名詞（地名、人名、……） (3)

172: ヤコビアン予想の反例 (54)

173: ∅はφではない (15)

174: 数学と睡眠 (9)

175: NotebookLMのスレ (17)

176: チャーン類 (14)

177: 超越数は行列表現できんの？ (6)

178: 背理法は不要なのか2 (141)

179: 有理数空間とセックスする方法 (4)

180: 教科書に書き込みする奴って何で馬鹿ばかりなの？ (31)

181: 定理の証明は一つしかないのか (18)

182: 保険数理が最強の学問である (7)

183: 飛行機が落ちる確率ってどれくらいありますか？ (67)

184: 高木貞治『解析概論』は今でも名著なのか (94)

185: 代数的整数論を測度論でやるメリットって何 (5)

186: 物理屋は数学に口を出すべきではないと思う (130)

187: 高校生のうちに解析概論完璧にしたら数学者になれますか？ (17)

188: wakatte.tvは何が問題だったのか？ (28)

189: 3次式以上は自然界に現れないよな (8)

190: 代数学の演習書 (18)

191: 数学者のための物理学の本 (36)

192: 東大教授が、風俗行ったらいかんのか？ (85)

193: 二物体が衝突する回数がπに近づくやつ (6)

194: 脳内で数学する時のワーキングメモリは、映像？音声？ (26)

195: 多様体仮説 (10)

196: 統計学Part18 [無断転載禁止] (153)

197: fは2回微分可能、a<b<c、hはf(a)=h(a)、 f(b)=h(b)、f(c)=h(c)を満たす二次式。この時 (55)

198: 小中学校範囲の算数・数学の問題のスレ　Part 62 (678)

199: ドイツの研究チーム「量子力学は虚数を使わず、実数だけでも矛盾なく記述できる」 (13)

200: 公案を数学で考える (11)

新規スレッド作成はこちら

スレッド全一覧はこちら過去ログ一覧はこちら

目前次新

1:734レスCP:23

到達不能基数・巨大基数研究

1 名前：１３２人目の素数さん 2026/10/06(火) 13:00:33.85 ID:V7M3DnWT: 到達不能基数で
倒錯人がいる
中高生一貫校生も来るので
スレ立てる
まずは、下記など
以下順次

(google検索)
到達不能基数モデル pdf
＜AI による概要＞
到達不能基数（inaccessible cardinal）が強到達不能基数である場合、フォン・ノイマン階層の Vκ は ZFC（ツェルメロ＝フレンケル集合論＋選択公理）の集合的モデルになります。
http://ja.wikipedia.org/wiki/%E5%88%B0%E9%81%94%E4%B8%8D%E8%83%BD%E5%9F%BA%E6%95%B0

到達不能基数とモデルの基本性質
・強到達不能基数 κ：κ が非可算正則極限基数であり、λ < κ → 2^λ < κ を満たすとき、強到達不能基数と呼びます。
・ZFCのモデル Vκ：κ が強到達不能基数ならば、累積階層の切り口であるVκ は ZFC公理系のモデル（標準モデルの構造）になります。
・無矛盾性の強さ：κ の存在は ZFC 自身からは証明も否定もできず（不完全性定理）、その存在を仮定することは ZFC の無矛盾性を ZFC よりも強い仮定として認めることに相当します。
・弱到達不能基数とLκ：κ が弱到達不能基数の場合、ゲーデルの構成可能集合の累積 Lκ は ZF（選択公理を含まない系）のモデルになります。
http://www.math.tsukuba.ac.jp/~kota/ishii.pdf Lebesgue 可測性に関するSoloayの定理と実数の集合の正則性1石井大海筑波大学数理物質科学研究科数学専攻博士前期課程二年 2015
関連するオンラインの講義資料やPDFとしては、次のような解説が公開されています。
・公理論的集合論（情報科学特別講義 III）のPDFでは、到達不能基数と Vκ がモデルになる証明の概要が扱われています。
・ゲーデルの L とゼロ・シャープのPDFでは、可測基数や到達不能基数の性質について解説されています。
http://www.scribd.com/document/369587873/%E5%85%AC%E7%90%86%E8%AB%96%E7%9A%84%E9%9B%86%E5%90%88%E8%AB%96-%E6%83%85%E5%A0%B1%E7%A7%91%E5%AD%A6%E7%89%B9%E5%88%A5%E8%AC%9B%E7%BE%A9-III
公理論的集合論（情報科学特別講義 III）矢田部俊介 2013 京都大学

さらに詳しく知りたい場合は、以下の中からお知らせください。
•Vκが各公理（置換公理やべき集合公理など）を満たすことの証明の細部
・グロタンディーク宇宙（Grothendieck universe）との関連

(参考)
http://tenasaku.com/academia/
http://tenasaku.com/academia/notes/advent-20191204.pdf
ゲーデルのLとゼロ・シャープジタさん(fujitapiroc1964@twitter) 2019 年12月4日
725 名前：１３２人目の素数さん 2026/11/06(金) 22:36:04.62 ID:JT2X6ol4: >>723
>普通に ”順序数”、”基数”と言えばデフォルトで
>ZFCで存在を示せる”数”だよ（つまりZFC内で構成できる集合）
>下記の安藤遼哉 (2022) 音読してね（＾＾
君はそれのどこを音読したの？　書かれてない文字が見えるのは病気なので病院へ
726 名前：１３２人目の素数さん 2026/11/06(金) 22:37:23.42 ID:+Gd2cON1: （彼の人にはVωに冪で到達して欲しいね）
727 名前：１３２人目の素数さん 2026/11/06(金) 22:53:09.15 ID:Riqq6uOH: >>724
集合Aのランクがα+1の時を考える
P(A)はランクα以下の集合の集合だからランクα+2

ここで，α+1は後続順序数なのでx ∈ Aでrank(x) = αのものが取れる
あるf∈Map(A, 2)について，(x, 0) ∈ fであるが，(x, 0) ={{x}, {x , 0}}なのでrank((x, 0)) = α + 2
よって，rank (Map (A, 2)) = α+4

じゃないかなって思って
728 名前：１３２人目の素数さん 2026/11/06(金) 23:21:35.86 ID:+Gd2cON1: >>727
うむ
その意味でもP(A)をMap(A,2)（2^Aあるいは{}^A2）と書くのはおかしいね
729 名前：１３２人目の素数さん 2026/11/06(金) 23:31:34.31 ID:+Gd2cON1: ただ
f:A→Bをf⊂A×B
A×B={(a,b):;a∈A,b∈B}
のrank(A×B)=max(rank(A),rank(B))+2
なのは
(a,b)={{a},{a,b}}
とするのが普通だからだが
(a,b)をこのように定義せず
(a,b)に当たるものを公理で定義することで
rank((a,b))=max(rank(a),rank(b))+1
ぐらいで押さえることができるんじゃないかな
感覚的には順序対も非順序対もレベル的には同等でしょ？
730 名前：１３２人目の素数さん 2026/11/06(金) 23:34:30.83 ID:+Gd2cON1: 前から考えてるんだけど
順序対(a,b)の方を根源的なものにして
(a,b)～(b,a)の同値類として{a,b}を定義するように出来ないものかなと
なぜそう期待するかと言えば
現在の
(a,b)={{a},{a,b}}
という定義はaとbの役割が対称的でないし
rankが2つ上がるのが過剰な気がするし
731 名前：１３２人目の素数さん 2026/11/06(金) 23:40:09.57 ID:Riqq6uOH: >>729
標準的な定義でrank((a,b))=max(rank(a),rank(b))+2だから
rank(A×B)=max(rank(A),rank(B))+3かな？

下げることできるかもだけど、いい定義パッとは思いつかないな
一応、順番っていう情報が増えちゃっているから順序対のほうが複雑かも
732 名前：１３２人目の素数さん 2026/11/06(金) 23:44:31.61 ID:Riqq6uOH: >>730
集合論の言語って記号が∈しか入っていないから、フォーマルにはすべてを要素関係で記述しないといけない

>順序対(a,b)の方を根源的なものにして
というのは言語に二項関数記号(-, -)を追加するということ？
733 名前：１３２人目の素数さん 2026/11/06(金) 23:53:47.33 ID:JT2X6ol4: >>731
>rank(A×B)=max(rank(A),rank(B))+3かな？
それは言えないと思う。
>>727が成立するのは
>集合Aのランクがα+1の時を考える
の場合。つまり後続順序数でない場合は途中計算に極限順序数のV階層が絡む。
734 名前：１３２人目の素数さん 2026/11/07(土) 00:01:00.87 ID:I6ZyaSuf: >>733
そのとおりだわ
ありがとう

AもBもsuccessor rankじゃないとだめだね

全部読む最新50 1-100 この板の主なスレッド一覧リロード

書き込み欄

目前次新

2:217レスCP:41

みんな大好きお兄さんの数学雑学スレ

1 名前：お兄たん 2026/11/01(日) 19:05:07.52 ID:jPQAw2sP: トリビアルでないトリビアでも書いて下さい。
208 名前：１３２人目の素数さん 2026/11/06(金) 22:33:38.39 ID:PLfV2g2d: 青焼き
209 名前：１３２人目の素数さん 2026/11/06(金) 22:35:01.84 ID:PLfV2g2d: 青焼きの人
210 名前：１３２人目の素数さん 2026/11/06(金) 22:36:38.08 ID:D2duFCr9: 暇なら数学やれば良いのにw
211 名前：１３２人目の素数さん 2026/11/06(金) 22:39:01.25 ID:PLfV2g2d: 忙しい
212 名前：１３２人目の素数さん 2026/11/06(金) 22:41:20.03 ID:PLfV2g2d: ネタ切れ
213 名前：１３２人目の素数さん 2026/11/06(金) 22:42:47.99 ID:PLfV2g2d: いっちょかみ
214 名前：１３２人目の素数さん 2026/11/06(金) 22:44:26.40 ID:PLfV2g2d: 基礎論
215 名前：１３２人目の素数さん 2026/11/06(金) 22:44:50.87 ID:PLfV2g2d: 確率
216 名前：１３２人目の素数さん 2026/11/06(金) 22:48:18.79 ID:D2duFCr9: ホンマに数学用語の単語しか書かないw
数学科なのだろうか。
217 名前：１３２人目の素数さん 2026/11/06(金) 23:53:15.31 ID:D2duFCr9: 全確率の定理

全部読む最新50 1-100 この板の主なスレッド一覧リロード

書き込み欄

目前次新

3:781レスCP:0

テストスレ [無断転載禁止]©5ch.io

1 名前：１３２人目の素数さん 2016/08/12(金) 13:30:49.31 ID:X1Y9gPCV: あ
772 名前：１３２人目の素数さん 2026/03/10(火) 08:47:52.28 ID:EPqI9rgp: とりあえず暗号資産で使われる、int256の高速処理が求められている。
これは有効桁数として扱われ、77桁程度。
科学分野では85桁が求められている。
773 名前：１３２人目の素数さん 2026/03/22(日) 12:51:03.46 ID:QcSkIfII: テスト
774 名前：１３２人目の素数さん 2026/03/22(日) 15:21:34.20 ID:QcSkIfII: 5ｃｈサーバ状況
http://ss1.xrea.com/z4s85ttt.s1007.xrea.com/5chkanshi/disp_status.php
775 名前：１３２人目の素数さん 2026/10/26(月) 20:43:59.21 ID:Wk80FNru: テスト
776 名前：１３２人目の素数さん 2026/10/29(木) 19:43:43.95 ID:loEJjfSS: 自己完結しているヤツを論破するのは難しい
向こうはしてやったりなのかも
777 名前：１３２人目の素数さん 2026/10/29(木) 23:43:23.60 ID:rbc5AAR0: test
778 名前：１３２人目の素数さん 2026/10/31(土) 00:56:17.06 ID:g0ZxKfEx: テスト
779 名前：１３２人目の素数さん 2026/11/06(金) 16:01:17.91 ID:PLfV2g2d: test
780 名前：１３２人目の素数さん 2026/11/06(金) 19:11:05.31 ID:PLfV2g2d: test
781 名前：１３２人目の素数さん 2026/11/06(金) 23:18:43.57 ID:/eA5R/mA: テスト

全部読む最新50 1-100 この板の主なスレッド一覧リロード

書き込み欄

目前次新

4:60レスCP:115

純粋・応用数学・数学隣接分野+AI（含むガロア理論）22

1 名前：１３２人目の素数さん 2026/11/06(金) 11:31:09.24 ID:je4WFzYG: いまどきの AIネタ
加藤文元先生（＾＾
http://note.com/katobungen/n/n6898074bbe07
Can the History of Mathematics Help Us Think about the Present and Future of “AI and Mathematics”?
加藤文元 2026年10月8日
数学の歴史は、「AIと数学」の現在と未来について考える上で役立つだろうか？

クレレ誌：
http://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%AC%E3%83%AC%E8%AA%8C
クレレ誌はアカデミーの紀要ではない最初の主要な数学学術誌の一つである（Neuenschwander 1994, p. 1533）。ニールス・アーベル、ゲオルク・カントール、ゴットホルト・アイゼンシュタインらの研究を含む著名な論文を掲載してきた。
(引用終り)

そこで
現代の純粋・応用数学・数学隣接分野（含むガロア理論）スレとして
新スレを立てる（＾＾；

＜前スレ＞
純粋・応用数学・数学隣接分野（含むガロア理論）21
http://rio2016.5ch.io/test/read.cgi/math/1753002417/
＜関連姉妹スレ＞
ガロア第一論文と乗数イデアル他関連資料スレ19
http://rio2016.5ch.io/test/read.cgi/math/1776769125/
スレタイ箱入り無数目を語る部屋35(あほ二人の”アナグマの姿焼き"Part9ｗ)
http://rio2016.5ch.io/test/read.cgi/math/1789954413/
Inter-universal geometryとABC予想(シン応援スレ) 93
http://rio2016.5ch.io/test/read.cgi/math/1786433734/
IUTを読むための用語集資料スレ2 (過去スレ落ち)
http://rio2016.5ch.io/test/read.cgi/math/1606813903/
現代数学の系譜カントル超限集合論他 3 (過去スレ落ち)
http://rio2016.5ch.io/test/read.cgi/math/1595034113/

＜過去スレの関連（含むガロア理論）＞
・現代数学の系譜工学物理雑談古典ガロア理論も読む84
http://rio2016.5ch.io/test/read.cgi/math/1582200067/
・現代数学の系譜工学物理雑談古典ガロア理論も読む83
http://rio2016.5ch.io/test/read.cgi/math/1581243504/

つづく
51 名前：１３２人目の素数さん 2026/11/06(金) 15:32:41.18 ID:je4WFzYG: 発狂 (ですね)人か
ご苦労様
52 名前：１３２人目の素数さん 2026/11/06(金) 15:40:47.60 ID:jjtYdh/j: >>51
ですねw
53 名前：１３２人目の素数さん 2026/11/06(金) 15:43:00.02 ID:Ec+41qKj: >>52
テンプレですね
54 名前：１３２人目の素数さん 2026/11/06(金) 15:58:57.06 ID:jjtYdh/j: 4文字をテンプレにしてもねw
55 名前：１３２人目の素数さん 2026/11/06(金) 16:02:52.70 ID:Ec+41qKj: >>54
ですね
56 名前：１３２人目の素数さん 2026/11/06(金) 16:15:37.18 ID:Ec+41qKj: 彼の人がAI検索してないはずはなく
Vκ⊂V以外の言明を得ることができないのを
さいきんでは
>１）チャッピーさんが、ハルシっている理由は数学史が分かっていないので
と
ハルシネーションで片付けたがってます
自分で考えてないので
自分に都合のよいことだけ受け入れるのでしょう
（これもテンプレかな？）
57 名前：１３２人目の素数さん 2026/11/06(金) 22:00:50.81 ID:PLfV2g2d: ガロアスレのアホな仲間たち
・瀬田爺
・いかれたアナーキスト
・🐎🦌やろう
・質問乞食（new）
58 名前：１３２人目の素数さん 2026/11/06(金) 22:02:48.93 ID:D2duFCr9: ・暇人（new）
59 名前：１３２人目の素数さん 2026/11/06(金) 22:27:35.20 ID:+Gd2cON1: >>57
お前がだろよｗ
60 名前：１３２人目の素数さん 2026/11/06(金) 22:29:44.01 ID:D2duFCr9: >>59
同意

全部読む最新50 1-100 この板の主なスレッド一覧リロード

書き込み欄

目前次新

5:578レスCP:2

国際ジャーナルに論文を出版しよう！１０本目

1 名前：１３２人目の素数さん 2026/04/27(月) 05:18:19.03 ID:AkmhyGdc: ジャーナルに関する情報交換などを行うスレ
単なる愚痴は禁止

☆前スレ☆
国際ジャーナルに論文を出版しよう！９本目
http://rio2016.5ch.io/test/read.cgi/math/1753843937/l50
569 名前：１３２人目の素数さん 2026/11/01(日) 16:05:04.08 ID:VDKt9xEK: もう今月分の枠を一つ消費したのかと思うともったいなく思えてきた
570 名前：１３２人目の素数さん 2026/11/02(月) 00:44:52.48 ID:0qqCxZ/B: 来月分は来週から
571 名前：１３２人目の素数さん 2026/11/02(月) 09:43:11.95 ID:0qqCxZ/B: 今週は準備
572 名前：１３２人目の素数さん 2026/11/02(月) 23:36:59.19 ID:0qqCxZ/B: 地下鉄で３０分
573 名前：１３２人目の素数さん 2026/11/04(水) 05:22:00.74 ID:E4z/gwMO: 昨日はノートに６ページ
574 名前：１３２人目の素数さん 2026/11/04(水) 20:24:21.97 ID:E4z/gwMO: で、これからメール
575 名前：１３２人目の素数さん 2026/11/05(木) 23:57:19.14 ID:Sg9K43ZQ: Invent. Math.か Math. Ann.かNMJか
PRIMSでもよいが
576 名前：１３２人目の素数さん 2026/11/06(金) 14:26:25.92 ID:40WVCBXH: >>575
NMJ?
NJM(Nagoya J. Math. )やNYMJ(New York J. Math.)は見かけるが、NMJは見かけない略称だね
Invent.に投稿してAnnalenにトランスファーというのはあるかもしれないけど、その後の列記が良くわからない
577 名前：１３２人目の素数さん 2026/11/06(金) 14:27:57.04 ID:40WVCBXH: おっと、NYJMだった
578 名前：１３２人目の素数さん 2026/11/06(金) 22:24:42.61 ID:NQspTchp: 結局cover letterをつけてAnn of Math.

全部読む最新50 1-100 この板の主なスレッド一覧リロード

書き込み欄

目前次新

6:678レスCP:3

雑談はここに書け！【68】

1 名前：１３２人目の素数さん 2026/04/09(木) 09:17:05.99 ID:+Sf/fU6E: 雑談はここでお願いします。

前スレ
雑談はここに書け！【６７】
http://rio2016.5ch.io/test/read.cgi/math/1736754850/
669 名前：１３２人目の素数さん 2026/11/04(水) 05:19:42.81 ID:E4z/gwMO: １２℃
☁
670 名前：１３２人目の素数さん 2026/11/04(水) 20:23:30.29 ID:E4z/gwMO: １５℃
671 名前：１３２人目の素数さん 2026/11/04(水) 20:31:26.49 ID:ukO4erP8: UBT理論
672 名前：１３２人目の素数さん 2026/11/05(木) 23:58:04.00 ID:Sg9K43ZQ: 11月の雨
673 名前：１３２人目の素数さん 2026/11/06(金) 00:00:55.53 ID:NQspTchp: 「雨」は、多田武彦によって作曲された合唱組曲の一部で、
特に「十一月にふる雨」として知られています。この曲は、
雨がすべての人に平等に降ることを表現しており、
詩は堀口大學によって書かれました。
作曲家はこの曲に対して「なかったものとして扱ってほしい」と述べており、
現在では「雨雨」という別の曲に差し替えられています。
674 名前：１３２人目の素数さん 2026/11/06(金) 00:41:44.44 ID:EKKwhdED: 運動ってしてる？
675 名前：１３２人目の素数さん 2026/11/06(金) 01:51:10.36 ID:S6yWxM3N: 連動してる
676 名前：１３２人目の素数さん 2026/11/06(金) 11:44:13.89 ID:PLfV2g2d: 22°C
降水確率: 10%
湿度: 56%
風速: 4 m/s
晴
677 名前：１３２人目の素数さん 2026/11/06(金) 11:49:04.71 ID:7uwIeqY6: 22℃
678 名前：１３２人目の素数さん 2026/11/06(金) 22:20:16.10 ID:NQspTchp: １６℃
☁

全部読む最新50 1-100 この板の主なスレッド一覧リロード

書き込み欄

目前次新

7:914レスCP:2

岡潔と連接性4

1 名前：１３２人目の素数さん 2025/10/19(日) 08:17:03.77 ID:HAh9kbss: 岡潔の発見は、層ではなく連接性にあり

そして連接性とは局所有限な生成系の存在

そこにH.CartanもSerreも着目した

層が土地なら、連接性は杭
905 名前：１３２人目の素数さん 2026/11/01(日) 06:27:46.23 ID:i1ADNeiW: 今日は月初めの日曜日
906 名前：１３２人目の素数さん 2026/11/02(月) 00:41:30.04 ID:0qqCxZ/B: 大会は初戦で敗退
907 名前：１３２人目の素数さん 2026/11/02(月) 09:42:07.49 ID:0qqCxZ/B: 雨の月曜
908 名前：１３２人目の素数さん 2026/11/02(月) 20:23:17.07 ID:1JgN4Miw: 15℃
909 名前：１３２人目の素数さん 2026/11/03(火) 11:25:35.26 ID:uk5/tMpZ: １８℃
晴れ
910 名前：１３２人目の素数さん 2026/11/04(水) 05:09:26.44 ID:E4z/gwMO: 12℃
☁
911 名前：１３２人目の素数さん 2026/11/04(水) 19:29:26.52 ID:E4z/gwMO: １６℃
☁
912 名前：１３２人目の素数さん 2026/11/04(水) 20:51:27.25 ID:M5V3FA4q: http://www.youtube.com/watch?v=9fs65xz4rD0
913 名前：１３２人目の素数さん 2026/11/06(金) 00:06:17.50 ID:NQspTchp: 夜の雨
914 名前：１３２人目の素数さん 2026/11/06(金) 22:19:14.07 ID:NQspTchp: 今日の碁会では全敗

全部読む最新50 1-100 この板の主なスレッド一覧リロード

書き込み欄

目前次新

8:20レスCP:12

時枝正氏はなぜStanford大学教授になれたか？

1 名前：１３２人目の素数さん 2026/11/05(木) 08:03:03.21 ID:naVEehXS: 凄い数学上の業績があるんですか？
11 名前：１３２人目の素数さん 2026/11/05(木) 17:00:39.36 ID:YuFI5SWl: アコーディオン
12 名前：１３２人目の素数さん 2026/11/05(木) 17:27:22.76 ID:BW2rbN8K: >>10
多面体の分割に関して
驚くような発見をしたよ
13 名前：１３２人目の素数さん 2026/11/05(木) 17:27:49.29 ID:BW2rbN8K: あ
秋山仁さんの方
14 名前：１３２人目の素数さん 2026/11/06(金) 20:41:14.90 ID:OE5lTvNB: 時枝さんには何か顕著な数学的成果がありますか？
15 名前：１３２人目の素数さん 2026/11/06(金) 21:48:03.90 ID:PLfV2g2d: 松坂和夫
16 名前：１３２人目の素数さん 2026/11/06(金) 21:48:18.33 ID:PLfV2g2d: 数学読本
17 名前：１３２人目の素数さん 2026/11/06(金) 21:48:32.71 ID:PLfV2g2d: 微積分
18 名前：１３２人目の素数さん 2026/11/06(金) 21:48:46.80 ID:PLfV2g2d: 線形代数
19 名前：１３２人目の素数さん 2026/11/06(金) 21:53:31.66 ID:PLfV2g2d: アスペ
20 名前：１３２人目の素数さん 2026/11/06(金) 21:55:11.23 ID:PLfV2g2d: disりは2chの鼻

全部読む最新50 1-100 この板の主なスレッド一覧リロード

書き込み欄

目前次新

9:318レスCP:0

高校数学の質問スレ（医者・東大卒禁止） Part438

1 名前：１３２人目の素数さん 2024/08/09(金) 06:32:56.99 ID:H9fzANoR: 【質問者必読！！】
まず>>1-5をよく読んでね

このスレは医者・東大卒の人物の書き込みは禁止です。
該当者は専用スレを使うこと。
高校数学の質問スレ（医者・東大卒専用） Part438
http://rio2016.5ch.io/test/read.cgi/math/1723152147/

数学@5ch掲示板用掲示板での数学記号の書き方例と一般的な記号の使用例
http://mathmathmath.dotera.net/

・まずは教科書、参考書、web検索などで調べるようにしましょう。（特に基本的な公式など）
・問題の写し間違いには気をつけましょう。
・長い分母分子を含む分数はきちんと括弧でくくりましょう。
　　（× x+1/x+2　；　 ○((x+1)/(x+2)) ）
・丸文字、顔文字、その他は環境やブラウザによりうまく表示できない場合があります。
　どうしても画像を貼る場合はPCから直接見られるところに見やすい画像を貼ってください。
　ピクトはPCから見られないことがあるので避けてください。
・質問者は名前を騙られたくない場合、トリップを付けましょう。
　（トリップの付け方は　名前(N)に　俺！#oretrip　←適当なトリ)
・質問者は回答者がわかるように問題を書くようにしましょう。
　でないと放置されることがあります。
　（変に省略するより全文書いた方がいい、また説明なく習慣的でない記号を使わないように）
・質問者は何が分からないのか、どこまで考えたのかを明記しましょう。
　それがない場合、放置されることがあります。
　（特に、自分でやってみたのに合わないので教えてほしい、みたいなときは必ず書くように）
・回答者も節度ある回答を心がけてください。
・出題スレではありません。出題は該当スレにお願いします。
・970くらいになったら次スレを立ててください。
※前スレ
高校数学の質問スレ Part437
http://rio2016.5ch.io/test/read.cgi/math/1721071007/
309 名前：１３２人目の素数さん 2026/09/06(日) 22:00:20.96 ID:ziiOHycQ: >>307
全然？
君は批判されるに足る人格の持ち主だってことが露呈するだけ
310 名前：１３２人目の素数さん 2026/09/06(日) 22:01:29.39 ID:ziiOHycQ: 不幸であればあるほど優位に立つのが当然とする
歪な価値観の持ち主が
検証もできない不幸自慢に走って
他人を黙らせようとするのは
滑稽極まりないね
311 名前：１３２人目の素数さん 2026/09/06(日) 22:17:56.02 ID:nTkDxH/o: 数学やろうね。
自分が良く言ってるよねw
312 名前：１３２人目の素数さん 2026/09/06(日) 22:20:18.26 ID:nTkDxH/o: ランダムウォークスレでも何か言われてるから、そろそろ持ち場に戻った方が良いと思うけどね。
313 名前：１３２人目の素数さん 2026/10/02(金) 17:32:16.48 ID:q/eJgtM7: 三角形ABCと三角形PQRにおいて、sin(A)/sin(P)=sin(B)/sin(Q)=sin(C)/sin(R) がいえれば、
二つの三角形は相似といえますか。
314 名前：１３２人目の素数さん 2026/10/02(金) 20:12:36.51 ID:bTnTSt3m: >>313
正弦定理より
内角の正弦の比は対辺の長さの比に等しいから
与式から3辺の長さの比が等しいことがいえて
相似が成り立つ

数式を使うなら、正弦定理の式を変形した
sin(A)=BC/2r, sin(B)=CA/2r, sin(C)=AB/2r
sin(P)=QR/2r', sin(Q)=RP/2r', sin(R)=PQ/2r'
(rは△ABC, r'は△PQRの外接円の半径)
を使えば
sin(A)/sin(P)=(BC/QR)(r'/r)
などが成り立ち、与式から
BC/QR=CA/RP=AB/PQ ∴△ABC∽△PQR
を導くことができる

ちなみに
式が成り立つのは相似の場合に限られるから
sinの比が等しいなら、角の大きさ自体も等しく
その比の値はすべて1となる
315 名前：１３２人目の素数さん 2026/10/02(金) 23:07:53.68 ID:q/eJgtM7: なるほど。丁寧な説明ありがとうございました。
316 名前：１３２人目の素数さん 2026/10/18(日) 19:15:00.36 ID:UkfemaQh: tugiの問題は高校レベルの知識でも解けるものでしょうか。

nを3以上の奇数とする。nの正の約数の個数をf(n)とし、正の整数kを動かすときに、
　gcd(k,n)+gcd(k+1,n)
が取りうる値の個数をg(n)とする。
(1) f(n)≦g(n)を示せ。
(2) f(n)=g(n) となるnをすべて決定せよ。

(2)の答えはたぶん「奇素数と奇素数のべき」になると予想は着くのですが。
317 名前：１３２人目の素数さん 2026/10/18(日) 19:39:05.11 ID:9jZlQm+w: 前に似たようなのがあったね。
318 名前：１３２人目の素数さん 2026/11/06(金) 18:57:48.28 ID:+7Fe+ijJ: (cos(pi/n))^(n^3) のn→∞の極限値が0に収束すること言うには
どう示せばいいですか。

全部読む最新50 1-100 この板の主なスレッド一覧リロード

書き込み欄

目前次新

10:299レスCP:3

Inter-universal geometryとABC予想(シン応援スレ) 93

1 名前：１３２人目の素数さん 2026/08/11(火) 16:35:34.42 ID:eCVHVSFa: 前スレ：Inter-universal geometryとABC予想(シン応援スレ) 92
http://rio2016.5ch.io/test/read.cgi/math/1781308317/
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13

http://ahgt.math.cnrs.fr/activities/
Arithmetic & Homotopic Galois Theory IRN

http://rio2016.5ch.io/test/read.cgi/math/1781308317/246
「LANAプロジェクト」中間発表会動画「LANAプロジェクト」中間発表会
結論は、7月17日時点では、未決着（灰色）
キラン・ケドラヤ氏説明は、コンピューター検証は未達成だが、IUTがダメということも言えない
ということだったな
（下記の YouTube（日本語チャンネル））
http://youtu.be/g0QLL8iYECY?t=590
UT理論のコンピューター検証に関する「LANAプロジェクト」中間発表会
ZEN大学
1,504回視聴 7 時間前にライブ配信
ZEN大学「ZMC（ZEN Mathematic Center;ZEN数学センター）」は2026年7月17日（金）、IUT（宇宙際タイヒミューラー）理論のコンピュータ検証に関する「LANAプロジェクト」の中間発表会「LANA Project Interim Report 2026」を行います。
本発表会の模様をライブ配信いたします。
LANAプロジェクトはZEN大学（日本）、ユトレヒト大学（オランダ）、アルバータ大学（カナダ）を中心とする国際共同研究プロジェクトであり、数論幾何学の重要分野である遠アーベル幾何学の形式化と、京都大学数理解析研究所の望月新一教授が提唱したIUT理論の検証を主な目的としています。
【登壇者】
若山正人（ZEN大学学長）
加藤文元（ZEN大学教授・ZMC所長、LANAプロジェクトリーダー）
ヨハン・コメリン/Johan Commelin（ユトレヒト大学助教）
キラン・ケドラヤ/Kiran Kedlaya（カリフォルニア大学サンディエゴ校教授）
アダム・トパーズ/Adam Topaz（アルバータ大学准教授）

❙ ZMC（ZEN Mathematics Center; ZEN数学センター）とは
ZMCは、数論幾何学を中心とした現代数学や、コンピューター言語を用いた現代数学の形式化（formalization）の推進と発展を目指して設立された国際研究所です。
ZMCホームページ▶http://zen.ac.jp/zmc

http://zen.ac.jp/news/zmc0717
ZEN大学 2026/07/03
プレスリリース
IUT理論のコンピューター検証に関する「LANAプロジェクト」
中間発表会を7月17日（金）に開催
YouTube、ニコニコ生放送にてライブ配信
番組配信：
YouTube　（日本語チャンネル）：http://www.youtube.com/live/g0QLL8iYECY
YouTube　（英語チャンネル）：　http://www.youtube.com/live/KADN5NHmIfw
ニコニコ生放送（日本語のみ）：　http://live.nicovideo.jp/watch/lv350854170
つづく
290 名前：１３２人目の素数さん 2026/10/18(日) 11:38:21.09 ID:s4r4ylkG: 　､彡爻":.　ヽ: : : :.､!ｲ'しﾞ　　　じ〉ｲ: : !
ミ" ,〃::.. 　　ヽ: : : トゝ" _＿'　"ノ;'.:/ SNES9XPP SEXE（セックス・イー）
ﾐ''" ミ;､,..,.､,.y''",ｨヽ､:.ゝ､　｀ｰ´,.彳:／
　"''-'-=＝-''ﾞ"´ノ　｀`ゞ｀ r＜彡'"-､
　　　　　　　／　　　 ___　ﾞ ,:-'´　　､ i
　　　　　／´　ヽ｀￣　　　　　　　　ｰ-ﾞ:.､
　　　　　i　　　　　　　　　　- ､　　　　｀ヽ_
　　　　　l:　　　　、.: 　　　　ヽ　　　　　　ﾞi"
　　　　 !　　　　ｉ ; ｎ　　.:c.:　　 ',　　　　＿..ﾊ
　　　　　 |　　　　ﾊ/ {　　＿,..-ｧﾉ　､r‐､＞ーヽ
　　　　　｜　　　ﾄ./　｀￣__,.:=彡　　:.ヾ､ﾆ二　/
.　　　　 |　　　 |ﾉ　　　　 -=＜　　　ﾞ＝tﾗ'"
　　　　 | 　／　　 ,-一'"￣´　　　　　 i
　　　　｜:/ 　　 / ＼:.　　　　　　　　　　 !
　　　　　　| '　　　 /　　ヽ:.　　　　　　 :､　＼
　　　　　ﾞ､　　ノ　　　　.i:.　　　　　　　　`　　ヽ
　　　　　　　｀ｰ'　　　＿:/__:.　　　　　　　　　　　｀ー---─　''"´￣￣｀` ｰ- ､
　　　　　　　　　　／´　　　　｀ヽ､.　　　　　　　　　.:　　　　　　　　　　　　　　 `ヽ、
　　　　　　　 /　　　　　　　｀ヽ､　　　　　　　　　　　　　　　　　　　　　　　　　ﾞi
　　　　　　 i　　　　　　　　　　　　　　　　　　:;　　　　　
291 名前：１３２人目の素数さん 2026/10/18(日) 11:39:45.07 ID:AcNAikkm: さつ伐としてきたな
292 名前：１３２人目の素数さん 2026/10/18(日) 18:49:54.41 ID:UzRu/aK2: 数学自身が
AIの影響で（＾＾；
293 名前：１３２人目の素数さん 2026/10/18(日) 19:28:58.75 ID:daCEDZoU: フィールズ賞受賞者がAIのせいで仕事がなくなったと泣いたらしい
もう人間の数学者はオワコンなんだろう
294 名前：１３２人目の素数さん 2026/10/31(土) 21:30:54.68 ID:azlZkOaL: 中身ねーなw
北朝鮮風味の空虚な擁護ww

@math_jin
望月新一氏の凄さ。関わる人すべてが「あの人は天才だ」「あの人の数学には敵わない」と同音異口に言う。それを「信者」と評する者もいるが、私の知る関係者は彼の言動や性格はきちんと批判しながらも、数学の能力は孤高の領域に達していると明言する。それが、ただの心酔する信者とは違う証左だ。
295 名前：１３２人目の素数さん 2026/11/06(金) 08:28:14.06 ID:rTctbD7v: http://note.com/katobungen/n/n20ae018293e6?sub_rt=share_pb
OpenAIの数学リポジトリにLANA-agentsが現れた日
加藤文元
2026年10月16日

2026年10月6日、OpenAIが、未公開の社内AIモデルによって生成された700本を超える数学の原稿を、関連するLeanコードなどとともにGitHub上に公開した。その内容に数学者たちの関心が集まる中、我々LANAのメンバーは、公開されたopenai/mathのlean/lakefile.leanというLeanコードに、「lana-agents」という文字列が11件あることに気づいた。我々がIUT理論の形式化のために設けたGitHub上の名前が、OpenAIの研究環境にも現れていたのである。

このことから、IUT理論の検証はAIによって可能なのか、そしてOpenAIをはじめとした世界の動きはどうなっているのか、といったことについて、いくつか新しい視点を得ることができたので、ここに少し打ち明けようと思う。

ここから先は
3,581語
296 名前：１３２人目の素数さん 2026/11/06(金) 10:05:03.27 ID:+Gd2cON1: >>295
金取るのか…
297 名前：１３２人目の素数さん 2026/11/06(金) 12:50:33.09 ID:RF48CHBW: 生活がかかっているんだろうな
298 名前：１３２人目の素数さん 2026/11/06(金) 17:24:17.93 ID:zIxpzbMx: 将棋と違って、数学者でAI禁止なんて言ってる人はいない
299 名前：１３２人目の素数さん 2026/11/06(金) 17:26:35.85 ID:zIxpzbMx: 何百ものAIによる論文が大量に投稿されて、そもそも人間の投稿者が分かってないような論文の正しさを見極める負担を査読者に丸投げするなという話

全部読む最新50 1-100 この板の主なスレッド一覧リロード

書き込み欄

目前次新

11:6レスCP:4

長谷川浩司先生

1 名前：１３２人目の素数さん 2026/11/05(木) 13:05:29.08 ID:Vl5KflMa: x.com/myfavoritescene
2 名前：１３２人目の素数さん 2026/11/05(木) 16:33:19.79 ID:P1NfR4yv: 東北大ってこんなんばっかなの？
3 名前：１３２人目の素数さん 2026/11/05(木) 17:12:16.88 ID:YuFI5SWl: テトロポリキョン星
4 名前：１３２人目の素数さん 2026/11/05(木) 18:34:43.88 ID:fZnobVNl: 線型代数
長谷川浩司 (著)
5 名前：１３２人目の素数さん 2026/11/05(木) 23:28:51.26 ID:UWYTHqGV: 関数解析のH先生も最終講義で、一流誌に論文を載せられなかったから無意味だったみたいなこと言ってたが、60過ぎて幼稚すぎん？

広中先生とかとはえらい違いだ
6 名前：１３２人目の素数さん 2026/11/06(金) 16:44:55.71 ID:w2El4YXS: この人のどこに話題性があるのか

全部読む最新50 1-100 この板の主なスレッド一覧リロード

書き込み欄

目前次新

12:515レスCP:4

多変数解析函数論6

1 名前：１３２人目の素数さん 2026/07/07(火) 07:37:28.69 ID:i86UNyV3: 多変数関数論（多変数複素解析）について語り合いましょう！

■前スレ
多変数複素解析5
http://rio2016.5ch.io/test/read.cgi/math/1752363558/
506 名前：１３２人目の素数さん 2026/11/04(水) 09:46:24.13 ID:9A+TzcT8: 左翼の思考、中国の宣伝に利用されるだけ
507 名前：１３２人目の素数さん 2026/11/04(水) 10:22:48.97 ID:bGTO5zgU: 日本の宣伝にもなるのでは
508 名前：１３２人目の素数さん 2026/11/04(水) 10:26:41.28 ID:9A+TzcT8: 毎年の中国旅行の経費は相手持ち？
509 名前：１３２人目の素数さん 2026/11/04(水) 10:29:53.46 ID:ikVGuYB8: シャチョサン、ヤスイヨw
510 名前：１３２人目の素数さん 2026/11/04(水) 20:16:37.91 ID:E4z/gwMO: 天元数学国際交流中心は
Oberwolfachに倣っているので
航空運賃は手弁当
511 名前：１３２人目の素数さん 2026/11/05(木) 19:08:30.36 ID:Sg9K43ZQ: 昆明
空港から約９０分
512 名前：１３２人目の素数さん 2026/11/06(金) 12:53:41.26 ID:RF48CHBW: 雲南省の生活風景を見ながら
513 名前：１３２人目の素数さん 2026/11/06(金) 12:58:43.04 ID:PLfV2g2d: 22°C
降水確率: 10%
湿度: 56%
風速: 4 m/s
晴
514 名前：１３２人目の素数さん 2026/11/06(金) 13:50:27.87 ID:RF48CHBW: 21℃
🌤時々曇り
515 名前：１３２人目の素数さん 2026/11/06(金) 14:36:16.43 ID:Ji2Aw5Il: 四川省の成都ジャイアントパンダ繁殖研究基地行って
しっとりした杜甫草堂を散策、古街エリアの錦里と寛窄巷子を街歩き
世界最大のショッピングモール新世紀環球中心を満喫し
SKP成都でブランド物を品定め、成都の中心街・春煕路歩行街の街ブラした。

全部読む最新50 1-100 この板の主なスレッド一覧リロード

書き込み欄

目前次新

13:419レスCP:2

女性数学者

1 名前：１３２人目の素数さん 2026/05/14(木) 10:44:03.94 ID:NsMXXcIZ: 女性数学者

こんな感じです。

S
ネーター

A+
ラトナー
マクダフ
ウーレンベック
ミルザハニ
ヴィアゾフスカ
ヴォワザン

A
ロビンソン
ドブシー
テーラー
カレン・スミス
コワレフスカヤ
ラディジェンスカヤ

B+
カートライト
リゴツカ
ジェルマン

B
ヒュパティア
410 名前：１３２人目の素数さん 2026/11/01(日) 13:25:32.17 ID:gXmPBZ/B: AIが設計したウイルスをヒトに投与　世界初、薬剤耐性菌患者に
http://news.yahoo.co.jp/articles/66d7c8c24d39474506ee4c8fe98956ea9c209706
411 名前：１３２人目の素数さん 2026/11/01(日) 14:16:15.18 ID:gXmPBZ/B: コロナも人工ウイルスだしな
412 名前：１３２人目の素数さん 2026/11/01(日) 17:11:53.43 ID:wAtldbe/: >>411
また使い古された陰謀論を
413 名前：１３２人目の素数さん 2026/11/02(月) 09:40:45.89 ID:0qqCxZ/B: 陰謀論の証拠は捏造できない
414 名前：１３２人目の素数さん 2026/11/02(月) 20:23:44.34 ID:1JgN4Miw: １５℃
415 名前：１３２人目の素数さん 2026/11/04(水) 11:20:01.24 ID:TWywPSuA: そこまでの技術が実用段階に入ったのなら、治療用の良いウイルスだけでなく、
人間に害をなす危険な人工ウイルスまでAIで簡単に設計できてしまうのではないか？
416 名前：１３２人目の素数さん 2026/11/04(水) 20:20:16.85 ID:E4z/gwMO: １５℃
417 名前：１３２人目の素数さん 2026/11/05(木) 08:20:52.45 ID:awny4KBr: >>1
ネーターが傑出してる。
418 名前：１３２人目の素数さん 2026/11/06(金) 13:55:27.11 ID:pyYHIR36: >>417
エミー・ネーターが単独でSに位置づけられているのは、数学史における彼女の影響力の大きさから見て非常に納得感のある構成です。
個別の定理の証明にとどまらず、現代数学の言語と枠組みそのものを創り変えたという点で、彼女は男女を問わず20世紀以降の数学者の中で別格の存在といえます。
419 名前：１３２人目の素数さん 2026/11/06(金) 14:00:58.24 ID:pyYHIR36: 少年相撲の元村君の動画を見てびっくり！
大相撲の歴史を塗り替えるだろう！
すげーもんみちゃった。
http://www.youtube.com/watch?v=Hp1PKLBvdMM&t=23556s

全部読む最新50 1-100 この板の主なスレッド一覧リロード

書き込み欄

目前次新

14:871レスCP:76

「名誉教授」のスレ 9

1 名前：１３２人目の素数さん 2026/10/26(月) 14:02:01.53 ID:KZ5BNZa1: 「名誉教授」のスレです
ここは名誉教授と呼ばれる人と森羅万象（含む”数学”）を楽しく語り合うスレです

前スレ：「名誉教授」のスレ 8
http://rio2016.5ch.io/test/read.cgi/math/1789890738/

(参考)
http://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>より)
http://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]

つづく
862 名前：１３２人目の素数さん 2026/11/06(金) 09:26:44.22 ID:PLfV2g2d: 【速報】日経平均6万円割れ 3500円以上値下がり　米中間選挙受けてAI・データセンター規制強化による投資減速や半導体関連など企業業績への悪影響の懸念強まる
863 名前：１３２人目の素数さん 2026/11/06(金) 09:33:02.78 ID:PLfV2g2d: 「AIよ、安らかに眠れ」…テキサス州で民主党が大勝し、テック業界から怒りが噴出（海外）
864 名前：１３２人目の素数さん 2026/11/06(金) 09:36:33.65 ID:PLfV2g2d: 10年以上数学板に居て●買ったのに進歩なし、憐れな瀬田爺さん
865 名前：１３２人目の素数さん 2026/11/06(金) 10:00:04.26 ID:NQspTchp: プロブレムソルバーの居場所がますます狭くなる
866 名前：１３２人目の素数さん 2026/11/06(金) 11:14:55.64 ID:je4WFzYG: >>865
>プロブレムソルバーの居場所がますます狭くなる

ID:NQspTchpは、御大ことＯ親分か
巡回ご苦労様です（＾＾

はてさて
この先来年はどうなることやら（＾＾
867 名前：１３２人目の素数さん 2026/11/06(金) 11:36:02.14 ID:PLfV2g2d: 東証株価指数
3,713.91 5.75% －226.48
868 名前：１３２人目の素数さん 2026/11/06(金) 12:36:16.91 ID:PLfV2g2d: イスラエル組閣候補に野党陣営のアイゼンコット氏を推薦…連立協議難航の可能性
869 名前：１３２人目の素数さん 2026/11/06(金) 12:51:58.00 ID:RF48CHBW: 来年は物理が
870 名前：１３２人目の素数さん 2026/11/06(金) 13:37:38.62 ID:PLfV2g2d: 米株式市場で時価総額395兆円消失、ハイテク株が売り込まれる　民主党躍進でAI減速に懸念
871 名前：１３２人目の素数さん 2026/11/06(金) 16:35:37.75 ID:PLfV2g2d: 【速報】日経平均、終値は3600円超下落　5万8000円を割り込む　過去3番目の下げ幅

全部読む最新50 1-100 この板の主なスレッド一覧リロード

書き込み欄

目前次新

15:373レスCP:2

岡潔をもてはやすの、もう止めないか？

1 名前：１３２人目の素数さん 2026/05/30(土) 10:31:21.94 ID:lRclEtju: 数学的業績とそれ以外の言動は分けて考えるべき
364 名前：１３２人目の素数さん 2026/11/03(火) 00:36:53.20 ID:/pRKemFM: 岡潔の問題意識は
普通にペンローズの理論に「接続」されてるんでしょ？。理論上。
365 名前：１３２人目の素数さん 2026/11/03(火) 08:31:25.43 ID:ZvPq5iNq: 岡よりむしろLieの方では
366 名前：１３２人目の素数さん 2026/11/04(水) 05:00:54.15 ID:E4z/gwMO: Lie-Cartan-Tanaka
Riemann-Hattogs-Oka
367 名前：１３２人目の素数さん 2026/11/04(水) 09:07:33.50 ID:r69u+GRL: Tanakaは酔うと大変だった
368 名前：１３２人目の素数さん 2026/11/04(水) 10:26:17.26 ID:bGTO5zgU: 訂正
Hattogs --> Hartogs
369 名前：１３２人目の素数さん 2026/11/04(水) 10:31:24.27 ID:bGTO5zgU: 札幌の住居のベランダは
ビール瓶の置き場になっていた
370 名前：１３２人目の素数さん 2026/11/04(水) 10:38:15.43 ID:ikVGuYB8: 大学の体育専攻の窓辺には、レッドブルのタワーが出来ていた。
371 名前：１３２人目の素数さん 2026/11/04(水) 20:28:34.13 ID:E4z/gwMO: CRで小平埋め込みをやってみたかったと語ってくれたのは
酒の勢いだけではなかった
372 名前：１３２人目の素数さん 2026/11/06(金) 00:03:46.63 ID:NQspTchp: ある教授の還暦記念パーティーで
373 名前：１３２人目の素数さん 2026/11/06(金) 12:49:04.89 ID:RF48CHBW: ビールを飲みながら

全部読む最新50 1-100 この板の主なスレッド一覧リロード

書き込み欄

目前次新

16:132レスCP:1

複素解析6

1 名前：１３２人目の素数さん 2026/08/30(日) 16:39:54.25 ID:BW+wIV3z: 小平邦彦複素解析
楠　幸男解析函数論
楠　幸男函数論（リーマン面と等角写像）
吉田洋一函数論

Ahlforsも読む

複素解析
http://rio2016.5ch.io/test/read.cgi/math/1599740381/
123 名前：１３２人目の素数さん 2026/11/03(火) 00:09:57.27 ID:ZvPq5iNq: ] arXiv:2610.41237 (cross-list from math.AG) [pdf, html, other]
Odd-Degree Rigidity and a Numerical Characterization of Complete Flag Varieties
Kiwamu Watanabe
Comments: 17 pages
Subjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT); Complex Variables (math.CV); Differential Geometry (math.DG); Representation Theory (math.RT)
124 名前：１３２人目の素数さん 2026/11/03(火) 11:24:42.52 ID:uk5/tMpZ: [1] arXiv:2610.41869 [pdf, html, other]
A four-dimensional residue calculus for quaternionic slice regular functions
Amedeo Altavilla
Comments: 106 pages, 12 figures. The abstract in the PDF file is slightly different because it is too long for the arXiv web format
Subjects: Complex Variables (math.CV)
125 名前：１３２人目の素数さん 2026/11/04(水) 05:08:02.04 ID:E4z/gwMO: [1] arXiv:2611.03532 [pdf, html, other]
Weakly Lipschitz mappings in higher dimensions
Anatoly Golberg
Comments: 20 pages
Subjects: Complex Variables (math.CV)
[2] arXiv:2611.03127 [pdf, html, other]
Failure of bounded ∂¯-solvability on pseudoconvex domains of finite type
Yun-Heng Du
Subjects: Complex Variables (math.CV)
[3] arXiv:2611.02949 [pdf, html, other]
Corona and Gleason problems for certain Banach spaces of holomorphic functions
S. R. Patel
Comments: 33 pp.; The arXiv: 2302.03433 is divided in 3 parts: (1) discusses the test case for the corona problem, Extracta Math. Vol 41 (2026), which also gives a solution to Fornaess and Ovrelid's problem (1983); (2) provides a solution to the original corona problem; and (3) this article provides solutions to corona and Gleason's problems for certain familiar Banach spaces of holomorphic functions
Subjects: Complex Variables (math.CV); Functional Analysis (math.FA)
126 名前：１３２人目の素数さん 2026/11/04(水) 12:23:27.92 ID:bGTO5zgU: [12] arXiv:2611.01693 [pdf, html, other]
Stein Criteria for Holomorphic Fibre Bundles
Masakazu Takakura
Comments: 33 pages
Subjects: Complex Variables (math.CV)
127 名前：１３２人目の素数さん 2026/11/04(水) 19:32:45.68 ID:E4z/gwMO: [5] arXiv:2611.03872 [pdf, html, other]
Learning Almost Complex and Complex Structures
Edward Hirst, Tancredi Schettini Gherardini, Tomás S. R. Silva, Jakob Stein
Comments: v1. 23 pages, 5 figures, 7 tables. Code and data available at this https URL
Subjects: Complex Variables (math.CV); Machine Learning (cs.LG)
[6] arXiv:2611.04851 (cross-list from math.DG) [pdf, html, other]
Pseudo-Einstein Structures on Links of Isolated Singularities
Yoshinori Gongyo, Kengo Hirachi, Shuya Matsumoto, Yuya Takeuchi
Comments: 25 pages
Subjects: Differential Geometry (math.DG); Algebraic Geometry (math.AG); Complex Variables (math.CV)
128 名前：１３２人目の素数さん 2026/11/05(木) 09:29:49.15 ID:Sg9K43ZQ: Canonical Projectivization of Algebraic Varieties in Characteristic Zero
Parsa Bakhtary
Comments: 15 pages
Subjects: Algebraic Geometry (math.AG); Complex Variables (math.CV)
129 名前：１３２人目の素数さん 2026/11/05(木) 19:07:04.88 ID:Sg9K43ZQ: [7] arXiv:2611.05416 (cross-list from math.MG) [pdf, html, other]
Gromov hyperbolicity and uniformity
Qingshan Zhou
Comments: 44 pages,3 figures
Subjects: Metric Geometry (math.MG); Complex Variables (math.CV)
130 名前：１３２人目の素数さん 2026/11/05(木) 22:32:10.36 ID:KnW91K3U: [1] arXiv:2611.06877 [pdf, html, other]
A property of boundary extensions of atomic singular inner functions
Iason Efraimidis, Adrian Llinares, Sullivan MacDonald, Ignacio Uriarte-Tuero, Dragan Vukotic
Comments: 12 pages
Subjects: Complex Variables (math.CV); Classical Analysis and ODEs (math.CA)
[2] arXiv:2611.06292 [pdf, html, other]
Entire solutions of a special binomial differential equation
Dong-hai Zhao, Jie Zhang, Liang-wen Liao
Comments: 13 pages, no figures
Subjects: Complex Variables (math.CV)
131 名前：１３２人目の素数さん 2026/11/06(金) 06:51:54.19 ID:NQspTchp: [1] arXiv:2611.06877 [pdf, html, other]
A property of boundary extensions of atomic singular inner functions
Iason Efraimidis, Adrian Llinares, Sullivan MacDonald, Ignacio Uriarte-Tuero, Dragan Vukotic
Comments: 12 pages
Subjects: Complex Variables (math.CV); Classical Analysis and ODEs (math.CA)
132 名前：１３２人目の素数さん 2026/11/06(金) 12:48:14.62 ID:RF48CHBW: [3] arXiv:2611.05905 [pdf, html, other]
Holomorphic flexibility properties of strongly commuting varieties
Stefano Giannini
Comments: 30 pages
Subjects: Complex Variables (math.CV); Algebraic Geometry (math.AG); Representation Theory (math.RT)

全部読む最新50 1-100 この板の主なスレッド一覧リロード

書き込み欄

目前次新

17:559レスCP:6

大学数学の質問スレ Part 4

1 名前：１３２人目の素数さん (ﾜｯﾁｮｲ 6b38-OlCz [118.6.115.74]) 2026/08/15(土) 13:21:32.72 ID:Q+BF/XYQ0: !extend:on:vvvvvv:1000:512

大学数学の質問スレです
大学数学についてわからないところを助け合いましょう

※前スレ
大学数学の質問スレ Part3
http://rio2016.5ch.io/test/read.cgi/math/1778757466/
VIPQ2_EXTDAT: default:vvvvvv:1000:512:: EXT was configured
550 名前：１３２人目の素数さん (ﾜｯﾁｮｲ eb0a-RDxs [240a:61:5226:7b18:*]) 2026/11/01(日) 16:46:12.66 ID:7BP0PGLE0: nは2以上の整数の定数とする。
以下の不等式を示せ。

(2/3)-(2/(2n+1)) < ∫[0,1] √(x-x^n) dx < (2/3)-(1/(2n+1))
551 名前：１３２人目の素数さん (ﾜｯﾁｮｲ eb0a-RDxs [240a:61:5226:7b18:*]) 2026/11/01(日) 21:28:25.22 ID:7BP0PGLE0: >>550
近年稀に見る不等式の傑作です
552 名前：１３２人目の素数さん (ﾜｯﾁｮｲ ebcb-RDxs [240a:61:5226:7b18:*]) 2026/11/02(月) 16:19:46.96 ID:Zmxv5HKm0: 【この程度できませんか？】

nは2以上の整数の定数とする。
以下の不等式を示せ。

(2/3)-(2/(2n+1)) < ∫[0,1] √(x-x^n) dx < (2/3)-(1/(2n+1))
553 名前：１３２人目の素数さん (ﾜｯﾁｮｲ ebcb-RDxs [240a:61:5226:7b18:*]) 2026/11/02(月) 19:49:16.68 ID:Zmxv5HKm0: 【難しいです】

2以上の整数nに対し、
I_n = ∫[0,1] √(x-x^n) dx
とする。このとき、
lim[n→∞] n*(I_n - 2/3)
を求めよ。
554 名前：１３２人目の素数さん (ﾜｯﾁｮｲ 0f84-fbEb [126.212.184.181]) 2026/11/02(月) 19:59:16.57 ID:iaxzHLBl0: 明らかに誘導w
555 名前：１３２人目の素数さん (ﾜｯﾁｮｲ 0f84-fbEb [126.212.184.181]) 2026/11/02(月) 20:01:08.30 ID:iaxzHLBl0: と思ったが、ひねりがあるのか。
556 名前：１３２人目の素数さん (ﾜｯﾁｮｲ ebcb-RDxs [240a:61:5226:7b18:*]) 2026/11/02(月) 23:29:55.59 ID:Zmxv5HKm0: 平面上に相異なる4つの直線がある。
これらのうち2本以上の直線が1点で交わるとき、その1点を交点と呼ぶ。
交点の総数がちょうど2個となることはあるか。
557 名前：１３２人目の素数さん (ﾜｯﾁｮｲ eb08-RDxs [240a:61:5226:7b18:*]) 2026/11/04(水) 17:06:23.07 ID:47/gfqBc0: 2以上の整数nに対し、
I_n = ∫[0,1] √(x-x^n) dx
とする。このとき、
lim[n→∞] n*(I_n - 2/3)
を求めよ。
558 名前：１３２人目の素数さん (ﾜｯﾁｮｲ 62a8-I95e [211.3.148.204]) 2026/11/05(木) 18:26:30.28 ID:MD0Bcu/C0: 自然数全体の集合をNとします。
SとTをNの無限部分集合でS∪T＝N、S∩T＝φをみたすとします。

数列{a_n}について、部分裂{a_n}n∈S と{a_n}n∈T がともに同じ値αに収束するなら、
{a_n}自体もαに収束するといえますよね。
559 名前：１３２人目の素数さん (ﾜｯﾁｮｲ ebef-RDxs [240a:61:5226:7b18:*]) 2026/11/06(金) 10:50:46.83 ID:ake6W6aw0: 平面上に相異なる4つの直線がある。
これらのうち2本以上の直線が1点で交わるとき、その1点を交点と呼ぶ。
4つの直線をいろいろと動かすとき、交点の総数がちょうど2個となることはあるか。

全部読む最新50 1-100 この板の主なスレッド一覧リロード

書き込み欄

目前次新

18:8レスCP:2

行列のトレースの意味って何なの

1 名前：１３２人目の素数さん 2026/11/04(水) 04:47:56.33 ID:WW1JwHzJ: わからん
2 名前：１３２人目の素数さん 2026/11/04(水) 05:01:25.88 ID:FPKtkHGy: 内積の一般化
3 名前：１３２人目の素数さん 2026/11/04(水) 12:36:24.61 ID:WTHznhND: detは外積
trは内積
4 名前：１３２人目の素数さん 2026/11/04(水) 12:45:29.93 ID:CZ5X1YbM: k次外冪のトレース
5 名前：１３２人目の素数さん 2026/11/04(水) 13:52:36.43 ID:DFdHM0Ev: z1 = a + bi
z2 = c + di

((a -b) ((c -d)
(b a)) (d c))
= ((ac - bd *)
(* ac - bd))

Tr(z1 z2) = 2(ac - bd)
6 名前：１３２人目の素数さん 2026/11/04(水) 16:11:56.46 ID:SLC+rE6W: ヒルベルトの定理90
7 名前：１３２人目の素数さん 2026/11/06(金) 09:37:14.56 ID:mcMoePrZ: たまに非退化双線形形式ができる
8 名前：１３２人目の素数さん 2026/11/06(金) 09:55:58.88 ID:NQspTchp: Lefschetzの不動点定理

全部読む最新50 1-100 この板の主なスレッド一覧リロード

書き込み欄

目前次新

19:662レスCP:5

数学基礎論・数理論理学　その20

1 名前：１３２人目の素数さん 2026/06/27(土) 22:20:03.90 ID:12JI7Rbu: ゲスですw
653 名前：１３２人目の素数さん 2026/11/03(火) 23:05:23.50 ID:YbpPKiGV: >>644
6つ組みだった
>の5つ組（適切な条件あり）
数えれてなかった
654 名前：１３２人目の素数さん 2026/11/04(水) 09:56:39.85 ID:fqOFbyC1: 圏のオブジェクト（やモルフィズム）がどんな集合であるかは別にして
圏論自体はクイバーの理論であるとしていいかな
群論が個々の群に関する話とは別に
群の公理から成立する話だけの一般論があるのと同様か
米田のレンマはまさにそれだろ
655 名前：１３２人目の素数さん 2026/11/04(水) 21:28:55.95 ID:fqOFbyC1: 2-圏は通常の圏を1-圏とし
そのモルフィズムを1-射
1-射の間の対応を2-射とする
より高度な構造を持つ圏
3-圏はさらに2-射の間の3-射
・・・・
自然数nについてのすべての高さまでの
n-射があるのが∞-圏
∞-圏で2-射より先がすべて同型射なのが
(∞,1)-圏
656 名前：現代数学の系譜雑談 ◆yH25M02vWFhP 2026/11/05(木) 10:48:55.53 ID:VpvqDZvi: 転載しておく（＾＾
http://rio2016.5ch.io/test/read.cgi/math/1792990921/803
(引用開始)
>高卒＋数学AI = 高卒が自分の直感に反するAIの発言をハルシネーションと罵倒する狂態
(引用終り)

良い機会だから書いておく
http://rio2016.5ch.io/test/read.cgi/math/1791259233/1-
到達不能基数・巨大基数研究
このスレの真のねらいは、おサルと(ですね)人の公開処刑

おサルと(ですね)人の二人が、到達不能基数・巨大基数を誤解していることに気付いた
特におサルは、その実数学科の最底辺オチコボレさんなのに、５ｃｈ数学便所板で必死に他人にマウントヒヒごっこ
”数学科の最底辺オチコボレさん＜高卒＋数学AI ”
この不等式の成立証明が到達不能基数・巨大基数研究スレの真の目的なのさｗ（＾＾

箱入りでは、数学文献がほとんど皆無だから水掛け論になった
が、到達不能基数・巨大基数は山ほどある。が、二人は読めていない
（数学科の”厳ミチュ”教育が新しい数学文献を読むときのアダで、新しい文献が読めない？ｗ（＾＾）
公開処刑は、現在進行形だが見る人が見れば二人はすでに詰んでいるｗ
657 名前：１３２人目の素数さん 2026/11/05(木) 10:50:53.80 ID:VpvqDZvi: >>656 誤爆スマン（＾＾
658 名前：１３２人目の素数さん 2026/11/06(金) 08:14:47.78 ID:+Gd2cON1: http://fuchino.ddo.jp/papers/axiomatic-set-th-unabridged.pdf
日本数学会『数学』
公理的集合論特別企画これから学ぶ人のために渕野昌
の4ページ目の

ここで注意しておくと， Hamel 基底自身は可測であり得る.たとえば，(2.11), (2.12) での構成で，すべての α < c に対して，(2.12b) での rα をカントル不連続集合 C ⊆ [0, 1] の要素のうちで ⊑ に関して最小のもの，としてとってくることで，C の部分集合となっているような Hamel 基底 H をとることができるが，C は零集合なので，このような Hamel 基底 H も零集合となる ([14]).

でrαをCから取れるのはなぜかな？
659 名前：１３２人目の素数さん 2026/11/06(金) 08:28:32.71 ID:+Gd2cON1: ああそうか
＞{rβ : β<α}がQ上Rを生成しないなら，rα をRの要素で{rβ : β<α}からQ上生成する部分空間に含まれないもののうち ⊑ に関し最小のものとする
の部分で
α<ｃなので|Q<rβ : β<α>|≦|Q|・|α|<cで|C|=cは尽くせないか
それなら
＞{rβ : β < α} が Q 上ベクトル空間 R を生成するなら，rα = 1 とする;
の部分も
α<cとしてるんだから（r0=1以外）rα=1になることはないわけよな
だいたい
＞{rβ : β < α} が Q 上ベクトル空間 R を生成する
なら
ハメル規定の濃度はc未満てことになって矛盾
660 名前：１３２人目の素数さん 2026/11/06(金) 08:49:34.85 ID:+Gd2cON1: 5ページの
＞Vα が既に確定しているとき，Vα+1 = Vα ∪ P(Vα) とし
これ
あちこちでこういう定義を見るけれど
V1=V0∪P(V0)=P(V0)
なので
Vα+1=P(Vα)
は超限帰納法で証明できる
β<αについてVβ+1=P(Vβ)なら
α=γ+1のときは
Vα=P(Vγ)∋VγなのでP(Vγ)=Vα⊃Vγであり
Vα+1=Vα∪P(Vα)=P(Vγ)∪P(Vα)⊂P(Vγ∪Vα)=P(Vα)
より
Vα+1=P(Vα)
αが極限順序数の時は
Vα=∪{Vβ::β<α}
なので
P(Vα)=P(∪{Vβ::β<α})⊃∀β<α:P(Vβ)⊃∀β<α:Vβ
より
P(Vα)⊃∪{Vβ::β<α}=Vα
なので
Vα+1=P(Vα)
661 名前：１３２人目の素数さん 2026/11/06(金) 08:55:41.90 ID:+Gd2cON1: だからVαの定義は
V0={ }
Vα+1=P(Vα)
α=∪αのときは
Vα=∪{Vβ::β<α}
でいいのに
なぜ
Vα+1=Vα∪P(Vα)
とするんだろう
さらには
Vα=∪{P(Vβ)::β<α}
とすれば後続順序数・極限順序数分けずに定義できるのに
662 名前：１３２人目の素数さん 2026/11/06(金) 08:57:29.59 ID:+Gd2cON1: Vα+1=Vα∪P(Vα)
とすると
Vα+1⊃Vαは定義から自明になるから手間（証明）いらずという理由かな？

全部読む最新50 1-100 この板の主なスレッド一覧リロード

書き込み欄

目前次新

20:4レスCP:5

数学用語で韻を踏める言葉

1 名前：１３２人目の素数さん 2026/11/06(金) 07:59:42.79 ID:IVmT1aD4: オイラーはボイラー
2 名前：１３２人目の素数さん 2026/11/06(金) 08:00:42.57 ID:PLfV2g2d: 淫乱
3 名前：１３２人目の素数さん 2026/11/06(金) 08:01:02.36 ID:PLfV2g2d: 陰湿
4 名前：１３２人目の素数さん 2026/11/06(金) 08:01:16.59 ID:PLfV2g2d: 陰陽

全部読む最新50 1-100 この板の主なスレッド一覧リロード

書き込み欄

５ちゃんねる BBS.CGI - 2026/11/06 14:49:15 JST
SETTING.TXT
DONGURI System: Running
DONGURI GATE: CLOSED ALL BOARD

last modified at 2026/11/07 00:01:07 JST