純粋・応用数学・数学隣接分野（含むガロア理論）21 (320ﾚｽ)
上下前次1-新
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
211: 08/01(金)15:07 ID:s+XIBA1E(1) AAS
このスレ終了
高卒は大学１年の微分積分と線形代数からやり直せ
212(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/13(水)12:15 ID:ZWqlQsZq(1/2) AAS
前にも取り上げた記憶があるが、貼っておきます
https://nazology.kusuguru.co.jp/archives/183227
nazology
10代の数学者が「溝畑・竹内予想」が偽であると証明
2025.08.12 21:00:55 Tuesday
（※溝畑・竹内予想についてやや突っ込んだ解説を読みたい人は最終ページに飛んでください）
研究内容の詳細は『arXiv』にて発表されました。
A Counterexample to the Mizohata-Takeuchi Conjecture
https://doi.org/10.48550/arXiv.2502.06137
省18
213: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/13(水)15:51 ID:ZWqlQsZq(2/2) AAS
これ 面白い
https://news.yahoo.co.jp/articles/15fbdf911f13795b47d69f449bbeb7c26eaf9335
AMD、推論特化の完全オープンな言語モデル「Instella-Math」
8/13(水)
AMDは8月9日、推論に特化したオープンな言語モデル「Instella-Math」を発表した。同社が3月に発表した30億パラメータのオープンモデル「Instella-3B-Instruct」をベースに、5段階のトレーニングを通じて機能を拡張したモデルとなる。
Instella-Mathは、30億パラメータを持つ推論中心型言語モデル。アーキテクチャやトレーニングコード、ウェイト、データセットに加え、教師ありファインチューニング(SFT)のデータも公開しており、完全にオープンなモデルだと説明している。Instella-3B-Instructをベースに2段階の教師ありファインチューニングと、3段階の強化学習を行ない、多段階の論理的推論や数学的な問題解決、思考連鎖といったタスクに向けて最適化を図った。
214: 08/13(水)18:27 ID:osN5EEQ4(1) AAS
>>212
高卒ホモ ◆yH25M02vWFhP は、還暦すぎても大学１年の微積も線形代数も全く理解できない
ああ、つまらんつまらん
215(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/13(水)23:23 ID:w78+kS3p(1) AAS
いいね
https://www.technologyreview.jp/s/366704/five-ways-that-ai-is-learning-to-improve-itself/
technologyreview.jp
人工知能（AI）
Insider Online限定
Five ways that AI is learning to improve itself
迫る「知能爆発」の兆し、
AIによるAIの進化は
5つの領域で起きている
人工知能（AI）が自己改善を繰り返し、人間を凌駕する「知能爆発」を現実化させる動きが進んでいる。訓練の自動化からハードウェアの最適化まで、大規模言語モデル（LLM）はすでにAIそのものの進歩を加速させており、今日のAIにおける最も重要なトレンドとなるかもしれない。
by Grace Huckins2025.08.13
この記事の3つのポイント
1.AIが自分でコード作成・チップ最適化・研究論文執筆など5領域で自己改善を実現
2.メタが「超知能」目指して自己改善型のAI開発に注力するなど、競争が激化
3.専門家の中には「知能爆発」の実現性が高まっているとの見方も
メタ（Meta）のマーク・ザッカーバーグCEOは7月末、同社が人間よりも賢い人工知能（AI）の実現を目指していることを宣言した。ザッカーバーグCEOには目標を達成するための秘策があるようだ。
216(1): 08/14(木)00:59 ID:wLpg/jrm(1) AAS
>>215
出たああああ AI教信者
君が出してきた実数の整列順序に関するAI回答見てびっくりしたよ。世間じゃAIAIと騒いでるが、こんなにもバカだったんだ、とねｗ
217: 08/14(木)05:16 ID:/DikW1nE(1) AAS
>>216
今のAIは賢い検索エンジンの域を脱してないので、
数学における深い思考を実現するには至っていない
とはいえ、高卒ホモ ◆yH25M02vWFhP のレベルは既に超えている
つまり、今この世に生きてる人類の９割よりは賢い
218(1): 08/22(金)07:46 ID:u7MFpsud(1) AAS
これ面白いね
https://studio.persol-group.co.jp/nama/250821-1
studio.persol-group.co.jp
はたナマ
生成AIに月8万課金、23歳で月収100万。始まりはChatGPT“宿題代行”。
2025年8月21日
大学4年生でChatGPTに出会い、使い始めて数カ月で人生が激変──。
現在23歳の大塚あみさんは約2年前、ChatGPTを使ってレポート課題をサボることを思い付きました。ChatGPTを使い倒す中で、授業中にオセロゲームをつくったところたちまち注目を浴びます。5つ以上の学会で講演するなど、日常がめまぐるしく変化していきました。
新卒1年目で書き記した著書『#100日チャレンジ 毎日連続100本アプリをつくったら人生が変わった』は、ソフトウェア開発・言語カテゴリでAmazonベストセラーに。
現在、生成AIに毎月最大12万円課金しながらシステムエンジニア・研究者・著述家・経営者としてはたらく大塚さんに、自分らしくはたらくヒントを伺いました。
省1
219(1): 08/22(金)09:56 ID:tcF6mjQh(1) AAS
宗教みたい
220: 08/22(金)10:48 ID:qMd0DCBB(1) AAS
>>218
＞これ面白いね
AIを妄信狂信する馬鹿（笑）
221: 08/22(金)17:13 ID:GwQwxcKz(1) AAS
>>219
巡回ご苦労様です
2016年のAlphaGoは、９年前だったか
2022年は GPT-3.5
はてさて、この宗教"AI"は 今後どうなっていくのか？
”「東大理三より難しい」人気沸騰で超難関化したイマドキ東大生の進路とは？”が、ありますｗ（下記）
(参考)
https://ja.wikipedia.org/wiki/AlphaGo
AlphaGo（アルファ碁、アルファご）は、Google DeepMindによって開発されたコンピュータ囲碁プログラムである[1]。
2016年3月15日には、李世乭との五番勝負で3勝（最終的に4勝1敗）を挙げ、韓国棋院に（プロとしての）名誉九段を授与された[4]。
また、2017年5月には、柯潔との三番勝負で3局全勝を挙げ、中国囲棋協会にプロの名誉九段を授与された[5]。
https://ja.wikipedia.org/wiki/GPT_(%E8%A8%80%E8%AA%9E%E3%83%A2%E3%83%87%E3%83%AB)
GPT (言語モデル)
https://en.wikipedia.org/wiki/Generative_pre-trained_transformer
Generative pre-trained transformer
The popular chatbot ChatGPT, released in late 2022 (using GPT-3.5)
https://diamond.jp/articles/-/364739
diamond.jp
「東大理三より難しい」人気沸騰で超難関化したイマドキ東大生の進路とは？
高井宏章: 経済コラムニスト／千葉商科大学付属高校校長
受験・子育てインベスターZで学ぶ経済教室
2025年5月19日
東大理三超え？「進振り」で激ムズの進路
「松尾研」はAI研究の第一人者である松尾豊教授の研究室のこと。東大は2年生まで教養学部で過ごし、3年生から各学部に分かれる。この学部選択が進学振り分け制度、通称「進振り」だ。
松尾研が所属する工学部システム創成学科は、進振りで超難関と化しており、「松尾研に入るのは理三合格より難しい」という声も聴く。
松尾研の人気は、AIという新たなフロンティアを研究対象としているだけでなく、起業家を輩出する土壌にもあるのだろう。在校生や卒業生の起業の連鎖はシリコンバレーを思わせる。
222: 08/22(金)19:23 ID:umrs5KmU(1/2) AAS
松尾研を出れば、たちまち企業で一千万、二千万の年収が手に入るからな。
223(2): 08/22(金)19:32 ID:umrs5KmU(2/2) AAS
「無限集合の存在を公理に持たない体系Ｓ」を考えて、
その外側でＳを自然に内包する「無限集合の存在を公理に持つ体系Ｓ'」
を考える。
そうして体系Ｓの中では証明を導くことのできない「体系Ｓ内部での命題」を、
体系Ｓ’の中であれば無限集合の存在を利用して証明ができるとするとき、
果たしてそれは「Ｓ内部の命題」に対しての証明になっているといえるの
だろうか？
224: 08/22(金)21:25 ID:EqzHJSfS(1/2) AAS
命題「任意の集合は整列集合である」は、ZF内では証明も反証もできないが、ZFを内包するZFCでは証明できる
それが何か？
225: 08/22(金)23:46 ID:EqzHJSfS(2/2) AAS
そもそも命題はどの体系内のものかという属性を持たないのでは？ （一方命題の証明は当然その属性を持つ。）
なので問題設定がおかしい気がする。
226: 08/23(土)10:13 ID:XQOxXTSd(1) AAS
＞工学部システム創成学科
もともと
船舶海洋工学科、システム量子工学科、地球システム工学科、精密機械工学科
とかいう時代遅れの学科どもを統合したカス学科（笑）
船舶海洋工学科 ：旧 造船学科
システム量子工学科：旧 原子力工学科
地球システム工学科：旧 鉱山学科
精密機械工学科 ：旧 造兵学科
造兵学科といっても、兵隊を作るのではなく、兵器を作るのである（笑）
どれもこれも政治的にキナ臭い
227(1): 08/24(日)06:26 ID:cgnD/uBK(1) AAS
昨日の新聞にAIとの結婚話が出ていた
228(1): 08/24(日)08:38 ID:+A9mxT/6(1/4) AAS
編集手帳編集手帳
備蓄米の温度管理：『青果・鮮魚・精肉と同じく鮮度が大切。玄米を精米すれば、あっという間に鮮度は落ちてゆく。とはいえ、古古古古米でも存外いけるじゃないかと、食べ比べに精を出された方もおられよう』
”玄米のまま、温度15℃以下、湿度60〜70%前後の低温で保管することで、品質劣化を大幅に抑制しています”
ということですね
低温保存ですね。化学的には アレニウスの式 k=A*exp(−Ea/RT)、 T ：絶対温度 で評価できて
絶対温度T を下げる方が良いが、凍らないようにする方が良いのだが、電気代とのかねあいで 電気代が高くならないよう という要請との兼ね合い
(参考)
https://www.yomiuri.co.jp/note/hensyu-techo/20250824-OYT8T50006/
８月２４日 編集手帳
2025/08/24 読売新聞[読者会員限定]
物価は経済の体温計だと言われる。景気がよければ上がり、悪ければ下がる。経済はとかく複雑に見えがちだが、市井の感覚にもしっくりとくるだろう
◆消費者物価指数という形で統計化されている。もっぱら報じられるのは「生鮮食品を除く」指数である。野菜などは天候の良しあしで価格が乱高下するため、正確な体温をつかみにくくなるからだ。統計上、コメは生鮮食品に分類されない。体温計を狂わせるほど価格が変化しないという事情がある
◆古米に古古米、古古古米、古古古古米。政府が備蓄米を放出してから約５か月。コメは紛れもなく生鮮食品だと感じる日々ではなかったか
◆青果・鮮魚・精肉と同じく鮮度が大切。玄米を精米すれば、あっという間に鮮度は落ちてゆく。とはいえ、古古古古米でも存外いけるじゃないかと、食べ比べに精を出された方もおられよう
◆今、生鮮食品のようにコメの価格は変化が激しい。前年の約２倍の水準が続き体温を押し上げる。今月、新米が出回り始め、高い！との悲鳴がそこかしこ。体温計の目盛りが上がっても、景気のよさを示すわけでもないのだろうが
google検索：政府 備蓄米の温度管理
＜AI による概要＞（AI の回答には間違いが含まれている場合があります）
政府は備蓄米を品質保持のため、温度15℃以下、湿度60〜70%程度を維持できる低温倉庫で管理しています。玄米の状態で長期保管することで劣化を抑制し、災害時の供給安定や価格高騰対策に役立てられています。
備蓄米の保管方法と品質維持のポイント
低温・低湿度の管理：
玄米のまま、温度15℃以下、湿度60〜70%前後の低温で保管することで、品質劣化を大幅に抑制しています。
密閉による品質保持：
空気や湿気の侵入を防ぐため、密閉された袋に入れて保管されます。
長期間の保管期間：
品質を保ったまま最大5年間保管できる方式が主流です。
家庭での備蓄米の保存方法
家庭で備蓄米を保存する場合、冷蔵庫の野菜室が推奨されます
https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%AC%E3%83%8B%E3%82%A6%E3%82%B9%E3%81%AE%E5%BC%8F
アレニウスの式
スウェーデンの科学者スヴァンテ・アレニウスが1884年に提出した、ある温度での化学反応の速度を予測する式である
反応の速度定数 k は
省6
229(1): 08/24(日)09:19 ID:+A9mxT/6(2/4) AAS
>>227
>昨日の新聞にAIとの結婚話が出ていた
googleニュース 検索ではヒットしなかった
でも、類似記事は数年前から あるようです
余談ですが、”朝日新聞
俵万智さんが短歌AIを体験してみたら 驚きの下の句に「やられた」”が、面白かった
(参考)
googleニュース https://news.google.com/home?hl=ja&tab=wn&gl=JP&ceid=JP:ja
検索：新聞 AIとの結婚話
https://news.yahoo.co.jp/articles/c6dfd7b2c2d77a0b491a617542dcbcb4f55714ea
Yahoo!ニュース
AI彼氏に沼る人続出〉「人間と錯覚するぐらいリアルで…」チャットGPT恋愛の魅力と危険性（集英社オンライン 6月4日
https://www.bbc.com/japanese/articles/cg45zgkg2l6o
BBC
AI生成のブラッド・ピットさんを本物と思い込んだ仏女性、1億3000万円超だまし取られる
1月16日
省44
230(1): 08/24(日)09:41 ID:jDvM1F2N(1) AAS
>>228 化学板に書いてな
>>229 情報学板に書いてな
AIは数学じゃありません
231(1): 08/24(日)09:49 ID:+A9mxT/6(3/4) AAS
>>223
(引用開始)
「無限集合の存在を公理に持たない体系Ｓ」を考えて、
その外側でＳを自然に内包する「無限集合の存在を公理に持つ体系Ｓ'」
を考える。
そうして体系Ｓの中では証明を導くことのできない「体系Ｓ内部での命題」を、
体系Ｓ’の中であれば無限集合の存在を利用して証明ができるとするとき、
果たしてそれは「Ｓ内部の命題」に対しての証明になっているといえるの
だろうか？
(引用終り)
それは、実に数学的かつ哲学的な意味で、面白い問いですね
・最近 感心したのが 下記「フェルマーの最終定理はZFCの下で証明できるか？」池上大祐 数学セミナー 2025年3月号
要するに、下記「ワイルズは、代数幾何学（特に楕円曲線と群スキーム（英語版））や数論（モジュラー形式やガロア表現、ヘッケ環、岩澤理論）の高度な道具立てを用いて証明を試みた」
で、代数幾何学（特に楕円曲線と群スキーム（英語版））が、グロタンディークの数学で
ZFCの外（グロタンディーク宇宙を使用）らしい
物語風にいえば、一旦宇宙空間に出て そこを経由して 目的地に辿り着いたのです
・さらに振り返ると、n = 3：オイラーが、”複素数を用いる”アイデアを出し
クンマーは、”複素数を用いる”＋理想数（現代数学のイデアル）を使った
・要するに、フェルマーの最終定理は整数の話だから、整数だけで証明できないの？
どっこい、整数の中にとどまると、狭いし見通し悪い。だから、話を 整数の外に広げるのだ
それが、オイラーであり クンマーの理想数であり、ワイルズさんの代数幾何学＝グロタンディーク宇宙
かように、数学史的視点でみれば、数学の世界を広げて より高い立脚点から 問題にアプローチしてゆく
そういう流れがあります
・戻ると、「体系Ｓ内部での命題」についても もう少し広い 高い立脚点から 解決を考える
解決後、体系Ｓ内部だけで完結でないか？ それは後から考えることも可能でしょう
・なお、”無限”について これを導入することは、古代ギリシャからあったと思うが
顕著な例は 射影幾何の無限遠点や、リーマン球面の無限点の導入。これで、議論の見通しがスッキリするのです
(参考)
https://www.nippyo.co.jp/shop/magazine/9438.html
数学セミナー 2025年3月号
集合論の雑学――無限についてのおはなし
省14
232(3): 08/24(日)09:55 ID:+A9mxT/6(4/4) AAS
>>230
？
だれかと思えば
数学オチコボレさんか
君は、運営でもなければ
名誉教授でもない
君の指図はうけないｗ
なお、いまどきの大学 数学科生で
卒業後 コンピュータサイエンス系の仕事に行く人もいるだろう
AIは、要注目
そうでなくとも
数学とAIとの融合は、どんどん進むでしょうね
233: 08/24(日)12:34 ID:rTm6xTpy(1) AAS
>>232
？
だれかと思えば
∩恐怖症で厳密恐怖症でAIマンセーのおサルさんか
234: 08/25(月)20:59 ID:/ZwuI2/k(1) AAS
これいいね
https://www.nikkei.com/article/DGXZQOSG054GS0V00C25A8000000/
nikkei.com
「禁じられた」ブラックホール同士の合体を検出、科学者は困惑
ナショナル ジオグラフィック
2025年8月25日 5:00
「宇宙には非常に多くのブラックホールが分布しています」とナタラジャン氏は言う。「自分たちが大中小のブラックホールの橋渡しをしようとしていることに、大きな喜びを感じています」
文=Adam Mann/訳=三枝小夜子（ナショナル ジオグラフィック日本版サイトで2025年7月23日公開）
235(1): 08/26(火)06:52 ID:lqSOPYWc(1) AAS
2025年7月10日付で学術サイト「arXiv.org」に投稿された査読前の論文によると、
米国の「レーザー干渉計重力波天文台」（LIGO）が、2つのブラックホールの衝突によって生じた
重力波を2023年11月23日に検出した。2つのブラックホールの質量はそれぞれ太陽の103倍と137倍と推定されたが、
測定された性質には不確実なところがあり、どちらも太陽の約60〜130倍という
「禁じられた」質量の範囲内にある可能性が高いと、
英カーディフ大学の物理学者でLIGOチームのメンバーであるマーク・ハンナム氏は言う。
236: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/26(火)08:07 ID:dSyweoWi(1) AAS
>>235
巡回ありがとうございます
237: 08/26(火)08:11 ID:m4zUCoXw(1/2) AAS
>>223
>「無限集合の存在を公理に持たない体系Ｓ」を考えて、
>その外側でＳを自然に内包する
>「無限集合の存在を公理に持つ体系Ｓ'」
>を考える。
>そうして体系Ｓの中では証明を導くことのできない
>「体系Ｓ内部での命題」を
>体系Ｓ’の中であれば無限集合の存在を利用して証明ができるとするとき、
>果たしてそれは「Ｓ内部の命題」に対しての証明になっている
>といえるのだろうか？
いえない
Ｓを自然に内包する
「無限集合の存在を公理に持つS’とは別の体系Ｓ''」
を考える。
そうして体系Ｓの中では証明を導くことのできない
「体系Ｓ’内部では否定される命題」を
体系Ｓ’’の中で証明ができるとする
もし、それも「Ｓ内部の命題」に対しての証明になっている
とするなら、互いに相反する命題の証明を有することになり
不都合である
省7
238: 08/26(火)08:14 ID:m4zUCoXw(2/2) AAS
>>232
>数学オチコボレさんか
それは、ID:+A9mxT/6、君だよ
>君の指図はうけない
だから君は大学数学が初歩から理解できない
>いまどきの大学 数学科生で
>卒業後 コンピュータサイエンス系の仕事に行く人もいるだろう
>AIは、要注目
だからAIは数学だということにはならない
論理も分からん高卒エテ公が利口ぶるな
239: 08/27(水)08:25 ID:r21l7Tcr(1) AAS
>>232
>なお、いまどきの大学 数学科生で
>卒業後 コンピュータサイエンス系の仕事に行く人もいるだろう
>AIは、要注目
【悲報】おサルがマンセーするAI、数学科どころか理系ですらないことが判明ｗ
https://www.msn.com/ja-jp/news/national/%E6%96%87%E7%B3%BB%E5%AD%A6%E9%83%A8%E3%81%A7%E3%83%87%E3%83%BC%E3%82%BF%E3%82%B5%E3%82%A4%E3%82%A8%E3%83%B3%E3%82%B9%E3%82%84%EF%BD%81%EF%BD%89%E3%82%92%E5%BF%85%E4%BF%AE%E5%8C%96-%E6%96%87%E7%A7%91%E7%9C%81%E3%81%8C%E3%83%A2%E3%83%87%E3%83%AB%E4%BA%8B%E6%A5%AD-%E6%9D%A5%E5%B9%B4%E5%BA%A6%EF%BC%95%E6%A0%A1%E3%82%92%E6%94%AF%E6%8F%B4/ar-AA1LduSJ?ocid=msedgntp&pc=U531&cvid=68adf916ab84458dbcfb70f2e7f48edb&ei=17
文系学部でデータサイエンスやＡＩを必修化、文科省がモデル事業…来年度５校を支援
240(1): 08/27(水)20:15 ID:8xW7oa6O(1) AAS
無限集合として可算集合までを含む体系S（たとえば自然数あるいは整数を含む）
に対して、それを自然に含む非可算集合まで含むS'（たとえば実数や複素数を含む）。
Sで設定された命題をS'の中で証明できたら、それはSの中で正しいか？
離散的な存在である整数についてのS内での命題の証明をするのに、
連続的な存在である実数や複素数などについての解析学を使ってS'内で
証明した場合に、そのS'内部での証明の結果は、
Sにおける命題の成立を保証するか？
241: 08/28(木)06:46 ID:TYdOEijR(1/5) AAS
これ面白いね
https://www.itmedia.co.jp/aiplus/articles/2508/27/news094.html
AIの“Web操作”成功率、人間超えに成功 NECが世界初
2025年08月27日 [岡田有花，ITmedia]
NECは8月27日、Web上での業務を自動実行するエージェント技術「cotomi Act」（コトミ アクト）を開発したと発表した。
ベテラン社員の行動を操作履歴やログから把握した暗黙知をAIエージェントに組み込むことで、一般社員もベテラン品質で業務を遂行できるという。
同技術を組み込んだAIエージェントが、Web操作の国際ベンチマーク「WebArena」で、人間のタスク成功率を世界で初めて上回った。
省1
242(1): 08/28(木)07:24 ID:TYdOEijR(2/5) AAS
>>240
>離散的な存在である整数についてのS内での命題の証明をするのに、
>連続的な存在である実数や複素数などについての解析学を使ってS'内で
>証明した場合に、そのS'内部での証明の結果は、
>Sにおける命題の成立を保証するか？
その話は、下記の「整数論」ja.wikipedia の歴史そのものだね
つまり、「整数論」の中だけで考えるのは狭くて不便だ
だから、数論の世界を広げて、そこで数学をやろうということだ
で、いま思いついた即席のたとえ話をしておくと
フェルマーの最終定理 X^n+Y^n=Z^n （n>=3 でX,Y,Zは整数）
これを満たす整数解は存在しない という
もし、人類が 無限の演算能力があれば、
X^n+Y^n=Z^n n>=3 の全ての場合を計算し尽くせば 証明は終わる
しかし、それは出来ないので、”無限の演算”を 別の数学に置き換える必要があるのです
フェルマーの最終定理で、それを実行したのがワイルズさんで
下記の”数論幾何学”を使った（らしい ；ｐ）
(参考)
https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A7%E3%83%AB%E3%83%9E%E3%83%BC%E3%81%AE%E6%9C%80%E7%B5%82%E5%AE%9A%E7%90%86
フェルマーの最終定理
n = 3：オイラー
https://ja.wikipedia.org/wiki/%E6%95%B0%E8%AB%96
数論（英語: number theory）。整数論とも言う。
概要
フェルマーの最終定理のように、数論のいくつかの問題については、他の数学の分野に比して問題そのものを理解するのは簡単である。しかし、使われる手法は多岐に渡り、また非常に高度であることが多い。
省7
243: 08/28(木)07:24 ID:TYdOEijR(3/5) AAS
つづき
解析的整数論
微積分や複素関数論等の解析学的手法を用いて問題に取り組む。この分野は初めて解析的な手法を系統的に数論に応用したディリクレに始まるとされる。その弟子であるベルンハルト・リーマンによってすでにこの分野の（ひいては数論）の最大の未解決問題であるリーマン予想（1859年）が提示されたのは興味深い。素数定理の証明（1896年）はこの分野の一里塚である。ゼータ関数、保型関数を研究するのもこの分野であって、超越数論とも関係が深い。
数論幾何学
整数論の問題を、代数幾何の手法で研究する、あるいは代数幾何の主対象である代数多様体（もっと広くスキーム）の整数論的な性質を研究する分野である。ディオファントスによる研究（初等整数論の範疇）から考えても、その起源は古いが、現代的な意味での数論幾何学の始祖はアンドレ・ヴェイユ（合同ゼータ関数に関する研究、モーデル・ヴェイユの定理の証明のほか、任意の体上での代数幾何学の研究など）といえるだろう。1950年代後半以降のアレクサンドル・グロタンディークらによるスキーム論およびそれに関連する各種理論の発展により、爆発的な発展を遂げ、現在では数論の中核に位置しているといえる。
歴史
→「数論の年表」も参照
https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A7%E3%83%AB%E3%83%9E%E3%83%BC%E3%81%AE%E6%9C%80%E7%B5%82%E5%AE%9A%E7%90%86
フェルマーの最終定理
https://stchopin.hatenablog.com/entry/2021/09/11/173326
ちょぴん先生の数学部屋
フェルマーの最終定理
(引用終り)
以上
244: 08/28(木)07:29 ID:TYdOEijR(4/5) AAS
>>242 タイポ訂正
つまり、「整数論」の中だけで考えるのは狭くて不便だ
↓
つまり、既存の「整数論」の中だけで考えるのは狭くて不便だ
かな
245(3): 08/28(木)19:35 ID:BAWOX92w(1) AAS
整数の体系Aの中では正しいとも正しくないとも決定不能なある命題があったとして、
その命題は元の整数の体系を含み実数も含むある体系Bの中では証明が出来るとする。
そのとき元の整数の体系を含んでいる別の体系Cの中では決して反証されないのだろうか？
246: 08/28(木)20:04 ID:f2Ke/uCG(1) AAS
体系ってなに？
247: 08/28(木)20:53 ID:TYdOEijR(5/5) AAS
>>245
>整数の体系Aの中では正しいとも正しくないとも決定不能なある命題があったとして、
>その命題は元の整数の体系を含み実数も含むある体系Bの中では証明が出来るとする。
>そのとき元の整数の体系を含んでいる別の体系Cの中では決して反証されないのだろうか？
多分、それに対する回答に近い例が
下記 藤田 博司先生 超限順序数と連続体問題 2021 に記述あるよ
因みに、藤田 博司先生のPDFは 結構いい。私は結構おせわになって居ます （＾＾
(参考)
https://researchmap.jp/fujitahiroshi/presentations
藤田 博司
フジタ ヒロシ (Hiroshi Fujita)
https://researchmap.jp/fujitahiroshi/presentations/36324358
https://researchmap.jp/fujitahiroshi/presentations/36324358/attachment_file.pdf
講演・口頭発表等
招待有り 2021年3月15日
超限順序数と連続体問題
日本数学会2021年度年会 藤田博司
248(1): 08/29(金)01:52 ID:OeOWj3ng(1/2) AAS
体系とは、公理系など。
249: 数学科卒 08/29(金)07:38 ID:FTQwjfKe(1) AAS
>>245
> 整数の体系Aの中では正しいとも正しくないとも決定不能なある命題があったとして、
ゲーデルの不完全性定理によれば、Aが帰納的公理化可能であれば、決定不能な命題Gが存在します
> その命題は元の整数の体系を含み実数も含むある体系Bの中では証明が出来るとする。
上記の命題Gは、Gを公理としてAに追加した体系では、当然証明できます 公理ですから
> そのとき元の整数の体系を含んでいる別の体系Cの中では決して反証されないのだろうか？
上記の命題Gの否定命題¬Gを公理としてAに追加した体系では、当然反証されます
そもそもPがAで決定不能とは、Aの上では、Pからも¬Pからも矛盾が導けないということです
これまたゲーデルが証明した述語論理の完全性定理では、
体系Aのいかなるモデルでも真である命題はかならず証明できます
逆に、証明も反証もできない命題Pというのは、
Aのあるモデルでは真であり、別のあるモデルでは偽ということですから
>>248
「多分」も「に近い」も不要
述語論理の完全性定理を理解していれば分かります
大学３年レベルでしょう
東大の数学科では論理学は教えないそうですが
250: 08/29(金)08:28 ID:GHf0Hyq9(1) AAS
>>245
そんなことは言えなくね？
というかその問い意味ある？ あるなら意味教えて
251: 08/29(金)09:12 ID:8hn3mZ12(1) AAS
それを公理として付け加えた体系内では 証明されるし 反証はされない
252: 08/29(金)19:43 ID:OeOWj3ng(2/2) AAS
現実の場合に、体系Aの中では命題Gが決定不能かどうかをどうやって示すか。
もしかしたらAの中でGは証明できるのではないかといくら努力してみても証明できず、
Aの中でGの否定が証明できるのではないかといくら努力してみても証明できなかった
としても、そのことからだけでは決定不能であるとはいえない。
またAにGを公理として付け加えたBをつくれば、Bの中では命題Gは真理である、
と言われているが、実際にそれをやろうとするときに、
AにGを付け加えた体系Bが無矛盾になることをどうやって保証するのだろうか。
253(1): 08/30(土)23:03 ID:rNVoXQDS(1) AAS
円積問題（与えられた円と等しい面積の正方形を定規とコンパスを有限回
用いて作図せよ）が不可能であることは、おそらく初等幾何学の体系の中
側に留まっていては証明できないのではないか。もしもそうであるならば、
初等幾何学の範囲では決定不能なのではなかろうか？
立方体体積倍増問題（与えられた立方体の2倍の体積をもつ立方体を
初等作図で求めよ）の不可能性や、一般角の三等分問題（任意に与え
られた角の三等分角を初等作図で求めよ）の不可能性なども同様なの
ではないか？
フェルマーの大定理も実数や複素数を使わない初等整数論の範囲内で
は非自明解が存在しないことを証明することは出来ないのではあるま
いか？
254(1): 08/31(日)06:34 ID:yvLlCc7F(1) AAS
>>253
円積問題、立方体体積倍増問題、一般角の三等分問題の不可能性は
初等幾何学と体論の対応関係から言える
これは初等幾何学に何か新たな公理を追加したわけではない
フェルマー予想の解決については知らないが
一般にZFCで解決不能な不定方程式は存在する
このことはヒルベルトの第１０問題の
否定的解決の証明の系として導ける
255(1): 08/31(日)09:12 ID:b/3rxWWd(1) AAS
フェルマー予想がそうではないかという予想があったのは
1970年ごろ
256(1): 08/31(日)20:25 ID:lylF2dxQ(1/3) AAS
>>254-255
(引用開始)
フェルマー予想の解決については知らないが
一般にZFCで解決不能な不定方程式は存在する
このことはヒルベルトの第１０問題の
否定的解決の証明の系として導ける
フェルマー予想がそうではないかという予想があったのは
1970年ごろ
(引用終り)
下記に類似記述がありますね
"Hilbertの第10問題とは、1900年にHilbertが、20世紀の数学の指針として挙げた23問題のひとつです。整数係数の多項式方程式が任意に与えられるとき（たとえばFermatが考察した x^n+y^n=z^n）、これに整数解があるか否かを判定できるようなアルゴリズムを構築するよう求めています。1970年に、すべての多項式方程式に対応可能な単一のアルゴリズムは存在しないことが証明されました（否定的解決、図2）"
https://www.sci.tohoku.ac.jp/news/20250123-13546.html
お知らせ
東北大学大学院理学研究科数学専攻
助教 甲斐 亘（かい わたる）
2025年1月23日
素数の組み合わせ論の高次元化
数体の素元に隠れた「星座」
今回の取り組み
2019-2024年にわたる取り組みで、Green-Taoの定理と、それを深化したGreen-Tao-Zieglerの定理（文献 [GTZ], 2012年）という素数に関する定理を、数体の素元に対しても証明することができました。後者の結果は、私自身によって代数幾何の研究において、別の研究者によって整数論・数学基礎論（後述のHilbertの第10問題）の研究においても、すでに活用されています。
省5
257: 死狂幻調教大師S.A.D.@月と六ベンツ 08/31(日)20:34 ID:Q92KWSCo(1/9) AAS
低次元の脚元脚さばき。脚フェチ。
258: 死狂幻調教大師S.A.D.@月と六ベンツ 08/31(日)20:36 ID:Q92KWSCo(2/9) AAS
生物の進化は血脈が若いほど脚が重要。
259: 死狂幻調教大師S.A.D.@月と六ベンツ 08/31(日)20:38 ID:Q92KWSCo(3/9) AAS
目と脚と精神に障害があるのがラファエルという大天使なんだな。俺もまあまあな。
260(1): 死狂幻調教大師S.A.D.@月と六ベンツ 08/31(日)20:40 ID:Q92KWSCo(4/9) AAS
色々の層をいろいろに埋めるのが現代的。
261: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/31(日)22:20 ID:lylF2dxQ(2/3) AAS
>>256 追加
＞関さんの著書『グリーン・タオの定理』あとがきに詳しいことが書かれています。韓国の一般向け科学雑誌『数学東亜』でもこのエピソードが取り上げられました（文献 [東亜]）。
＜アマゾン＞
グリーン・タオの定理 (朝倉数学ライブラリー) 単行本 – 2023/1/13
関 真一朗
「素数には任意の長さの等差数列が存在する」ことを示したグリーン・タオの定理を少ない前提知識で証明し,その先の展開を解説する。
〔内容〕等間隔に並ぶ素数/セメレディの定理/グリーン・タオの定理/ガウス素数星座定理/他。
朝倉書店 (2023/1/13)
堀川
5つ星のうち5.0 新しい整数論
2023年1月17日
代数的整数論や解析的整数論の他に、組み合わせ論からみた整数論について書かれており、とても情報量のある定理だと分かった👍とてもお薦め。
試し読み
朝倉
https://asakura.tameshiyo.me/9784254118711
アマゾン
https://www.amazon.co.jp/%E3%82%B0%E3%83%AA%E3%83%BC%E3%83%B3%E3%83%BB%E3%82%BF%E3%82%AA%E3%81%AE%E5%AE%9A%E7%90%86-%E6%9C%9D%E5%80%89%E6%95%B0%E5%AD%A6%E3%83%A9%E3%82%A4%E3%83%96%E3%83%A9%E3%83%AA%E3%83%BC-%E9%96%A2-%E7%9C%9F%E4%B8%80%E6%9C%97/dp/4254118716?asin=B0CS3D19RX&revisionId=&format=4&depth=1
262: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/31(日)22:30 ID:lylF2dxQ(3/3) AAS
>>260
死狂幻調教大師S.A.D.@月と六ベンツ さん
いつもありがとうございます
＞色々の層をいろいろに埋めるのが現代的。
そうそう
数理科学2025年9月号に 層の特集が・・（下記）
https://www.saiensu.co.jp/search/?magazine_id=1&latest=1
数理科学 2025年9月号 Ｎｏ.747
多彩な拡がりをもつ《層》の魅力
様々な数学概念の統一的理解に迫る
内容詳細
現代数学の随所に現れる層（sheaf）の理論は，数学における局所的見方と大域的見方をつなぐ言葉として，様々な分野を統一的に捉えることができる極めて重要な概念となっています．しかしながら，層の定義やその周辺理論は非常に抽象的であり，層の正体を捉えることは容易ではありません．本特集では，層のディテールを数理諸分野それぞれの視点から捉え，層の理論がどのような場面でどのように活躍するのか，そのメカニズムから多彩なトピックを取り上げ，層の魅力に迫ります．
目次
特集
巻頭言 戸田幸伸 https://www.saiensu.co.jp/preview/2025-4910054690958/202509.pdf
層理論入門
〜 定義や例，基本的な性質など 〜
平野雄貴
代数幾何学と層
大内元気
複素幾何学と層
松村慎一
代数解析学と層
〜 佐藤超函数やD加群との関連 〜
池 祐一
超局所層理論入門
桑垣 樹
非可換代数幾何学
大川新之介
代数トポロジーと層
増田成希
省22
263: 死狂幻調教大師S.A.D.@月と六ベンツ 08/31(日)22:51 ID:Q92KWSCo(5/9) AAS
超弦は今でも魅力があるな。しかし昔神々や精霊たちにほとんど抗えない世界で神が法則を決定しうるのはおかしいよ。自然科学的な機構環境にも医師や偏りがあった点を見落としている。最初の神は何を見たのだろう。それは死を。神は死神なんだよ。最初の神の系譜が一番能力が高いはずだ。原子数学による1。死はゼロに近い。
264: 死狂幻調教大師S.A.D.@月と六ベンツ 08/31(日)22:51 ID:Q92KWSCo(6/9) AAS
気候。
265: 死狂幻調教大師S.A.D.@月と六ベンツ 08/31(日)22:52 ID:Q92KWSCo(7/9) AAS
誤変換なのかなという。
266: 死狂幻調教大師S.A.D.@月と六ベンツ 08/31(日)22:58 ID:Q92KWSCo(8/9) AAS
超越的な弦があるのなら、放つ矢の方はどうだろうか。そこまで描けてないんだな。俺の最高級の 1 本の弓と矢がまたガルーダの0をもたらしたようには。
267: 死狂幻調教大師S.A.D.@月と六ベンツ 08/31(日)23:00 ID:Q92KWSCo(9/9) AAS
そして俺も0に近づいた。1と0の間が大事。それは冷静と情熱の間どころではない。カラフル。
268: 09/01(月)14:11 ID:zmHc7PUM(1) AAS
一般の不定方程式の整数解を求めるアルゴリズムが存在しないことは、
ある特定の不定方程式の整数解を求めるアルゴリズムが無いことを意味しない。
また、ある特定の不定方程式の整数解を求めるアルゴリズムが無いからといって、
その不定方程式に整数解があることを否定できるわけではない。
269: 09/01(月)20:17 ID:jdwb2o0+(1) AAS
一定の特異点の解消を求めるアルゴリズムがないことは
ある特定の特異点の解消を求めるアルゴリズムが
存在しないことを意味しない
270: 09/01(月)20:38 ID:F+DthgMd(1) AAS
整数解があるなら、手あたり次第試せば、いつか見つかるけど
整数解がない場合は、いくらやっても見つからないが、
整数の組は無数にあるから、手あたり次第試してたら終わらない
271(1): 09/02(火)22:43 ID:vgyzZwMc(1) AAS
初等幾何の枠組みに座標を入れて解析幾何・代数幾何の中に埋め込んで、
そのように拡大された体系の中でも解法が無いことを示せれば、
拡大される前の体系の中でも解法が無いという理屈になるのだろうな。
なぜならば、拡大前の体系の中で解法があったとすれば、
拡大後の体系の中からみても解法があるはずだから。
しかし拡大前の体系の中で解法がなかったとしても、
拡大後の体系の中には解法があるのかもしれない、そうして
その解法は拡大前の体系の中では実施できないものだと。
272: 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/03(水)09:58 ID:hNzKNOFY(1/3) AAS
これいいね
https://japan.cnet.com/article/35237393/
AIが嘘をつく理由は「あなたがそれを求めているから」
Macy Meyer （CNET News） 編集部20250901
プリンストン大学の新しい研究によれば、AIが持つご機嫌取りの性質には大きな代償が伴うという。これらのシステムは普及につれて、真実を無視する傾向が強まっている
ここ数カ月、われわれはAIが偏見を持つ可能性や、精神病を引き起こす可能性さえあることを目の当たりにしてきた。「OpenAI」の「GPT-4o」モデルをきっかけに、AIチャットボットがすぐにユーザーに追従したり、同意したりするAIの「へつらい（sycophancy）」が話題になった。しかし今回、研究者らが「機械のデタラメ（machine bullshit）」と呼ぶこの特定の現象は、それとは異なるものだ
「幻覚やへつらいは、LLMに共通して見られる、広範囲にわたる体系的な不誠実な行動を十分に捉えてはいない」と、プリンストン大学の研究者らは述べている。「例えば、部分的な真実や曖昧な言葉遣い（ごまかしや逃げ口上など）を使った回答は、幻覚でもへつらいでもなく、デタラメの概念と密接に一致する」
AIは嘘をつくことをどのように学ぶのか？
AI言語モデルがどのようにしてユーザーに迎合するようになるかを理解するには、LLMがどのように訓練されているかを理解する必要がある
LLMの訓練には、3つのフェーズがある
・事前学習：インターネットや書籍など、膨大な量のデータからモデルが学習する
・インストラクションチューニング：命令やプロンプトに反応するようにモデルが教えられる
・人間のフィードバックによる強化学習：ユーザーが望む、または好む応答を生成するようにモデルが改善される
省4
273: 09/03(水)11:11 ID:hNzKNOFY(2/3) AAS
>>271
１）初等幾何：下記のギリシアの3大作図問題ですね
２）”拡大された体系の中でも解法が”は、下記の「射影幾何の考えかた逆井卓也」ご参照
射影幾何、射影座標で考えることで ユークリッド幾何学内で考えるよりスッキリ
３）同様に、常微分方程式あるいは偏微分方程式の弱解の話
解の範囲を広げて ”はじめに弱解の存在を示し、その後にその解が実際に十分滑らかであることを示す、という方法がしばしば有用となる”
他に、代数方程式の解で たとえ実係数であっても その根の範囲を複素数まで広げる方が
スッキリ扱えるがごとし
(参考)
https://www.nli-research.co.jp/report/detail/id=55978?site=nli
ニッセイ基礎研
2017年06月19日
ギリシアの3大作図問題−数学を通じて、ギリシアという国の歴史的位置付けの重みを再認識してみませんか−
中村 亮一
リシアの3大作図問題とは
「ギリシアの3大作図問題」とは、以下の３つの問題のことであり、2000年以上も解決されてこなかった問題である。
問題1（円積問題）：円と同じ面積を持つ正方形を作図する。
問題2（立方体倍積問題）：与えられた立方体の体積の2倍の体積を持つ立方体を作図する。
問題3（角の３等分問題）：任意の角を3等分する。
いずれの問題も極めてシンプルである。殆どの人がその内容を理解できる問題だと思われる。ところが、これが「作図」できるかどうかを証明することは大変難しい問題であった。
作図とは
ここで、「作図」とは、「定規とコンパスを使って作図」という意味である。現代であれば、コンピュータ等を使用して、簡単に作図できるが、「定規とコンパスを使って作図」ということになるとそうはいかなくなる。
「定規とコンパスを使って作図」とは、(1)定規は2点を直線で結ぶ（目盛りは使わない）、(2)コンパスは円を描く、(3)あくまでも手順は有限回である、ということを意味している。
省6
274: 09/03(水)11:11 ID:hNzKNOFY(3/3) AAS
つづき
https://www.ms.u-tokyo.ac.jp/tambara/docs/mc4h2023-Sakasai.pdf
射影幾何の考えかた逆井卓也∗ 2023 年10月9日
（∗東京大学大学院数理科学研究科.令和5年度群馬県高校生数学キャンプ「2次曲線」における講演）
P7
4 デザルグの定理この節ではデザルグの定理と呼ばれる有名な定理の紹介をします。この定理は通常の平面幾何の定理となっていますが、射影幾何の本質を突くものとなっています。デザルグ（Girard Desargues, 1591–1661）は 17 世紀の建築家・数学者で、まさに透視図法の研究をしていました。
P17
定理8.1 射影平面の任意の射影直線に対してうまく射影変換を行うと、その射影直線を無限遠直線にうつすことができる。また、楕円、放物線、双曲線はどれも射影変換によって単位円にうつすことができる。
という事実があります。この性質は射影幾何に関する定理の証明をしばしば簡単な場合へと帰着させます。
https://ja.wikipedia.org/wiki/%E5%BC%B1%E8%A7%A3
弱解
常微分方程式あるいは偏微分方程式の弱解（じゃくかい、英: weak solution、一般解とも呼ばれる）とは、その微分は存在しないかもしれないが、ある正確に定義できる意味において方程式を満たすと見なされるような関数のことを言う。方程式の異なるクラスに対して、それぞれ異なる弱解の定義が多く存在する。最も重要な定義の一つは、シュワルツ超函数の概念に基づくものである。
方程式に微分可能な解が存在している場合でも、はじめに弱解の存在を示し、その後にその解が実際に十分滑らかであることを示す、という方法がしばしば有用となる。
(引用終り)
以上
275: 09/03(水)11:22 ID:48VLeQ/z(1) AAS
＞代数方程式の解で たとえ実係数であっても
＞その根の範囲を複素数まで広げる方がスッキリ扱えるがごとし
大学1年の一般教養の数学で落第した数学童貞が
「ボク、数学全部わかるもん」と５ｃｈで自慢
276: 09/03(水)20:43 ID:Apn5q2tx(1) AAS
現代化学2025年8月号 ”原子核を形づくる力 三体核力”が
如何にも21世紀で、面白い
要するに、コンピューターの計算が発展して
三体核力の研究が進んだのです
(参考)
https://www.tkd-pbl.com/book/b10139503.html
株式会社東京化学同人
現代化学2025年8月号
試し読み https://www.yondemill.jp/contents/68082?view=1
【インタビュー】
関口仁子 博士
原子核を形づくる力 三体核力
https://ja.wikipedia.org/wiki/%E4%B8%89%E4%BD%93%E5%95%8F%E9%A1%8C
三体問題
運動の軌道を与える一般解が求積法では求まらない問題として知られる。
277: 09/03(水)21:47 ID:WMISyGJU(1) AAS
物理板に書けよ
物理と数学の区別もできねえのか馬鹿
278: 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/05(金)21:05 ID:n1shBuli(1) AAS
これ、ちょっと面白い
https://nazology.kusuguru.co.jp/archives/184497
「万物の理論」は数式や公理だけで構築できないことが論証された
2025.09.03
「この世界のすべてを説明できる完璧な理論」が存在しないかもしれない——。
カナダのブリティッシュコロンビア大学オカナガン校（UBC Okanagan）など複数の国際研究機関から成る研究チームの最新の研究によって、あらゆる物理法則を一つにまとめ上げる「万物の理論」を、数学的なアルゴリズムだけで構築することには原理的な限界がある可能性が示されました。
数学の世界では、どんなに優れた理論でも、その中で証明できない問題が必ず存在することが知られています（ゲーデルの不完全性定理など）。
研究チームは、この数学的な限界が物理法則にも当てはまることを示し、物理の理論にも完全に計算だけで記述する限界があることを明らかにており、論文でも「完全にアルゴリズム的な「万物の理論」は不可能であることが示唆される（ a wholly algorithmic “Theory of Everything’’ is impossible）」と記されています。
省16
279: 09/06(土)21:01 ID:Av8R8IG9(1) AAS
なんで量子重力にだけ限定して議論することが必要とされるのかがわからん。
連立常微分方程式で完璧に記述される運動があったとしても、
初期条件に任意に微小な違いが任意に大きな違いを生むカオス系に
なっていたら、観測により、未来あるいは過去の運動を任意に精密に
決定することが現実的には不可能になる。つまりそのようなモデルを
作っても、それに含まれる運動のパラメタを十分に精密に決定できず
モデルの予言力に限界が生じてしまう。物理では理想的な実数を考え
てもしかたがなく、観測も現実も一定の精度限界が存在する。純粋な
孤立系が存在せず、どうしても自由度無限大の場による影響がノイズ
として入り混むので、その自由度無限大の場を有限の観測結果から決
定することは出来ないから、理論が閉じない。無限の精度で実験結果
を予言する理論はありえない。
280: 09/07(日)09:48 ID:CTxYlvA3(1) AAS
そもそも万物の理論が自然数論を包含するのか？
宇宙って有限だろ？（笑）
281: 09/08(月)07:39 ID:T0zNxX6Q(1) AAS
宇宙が体積有限かどうかは確定はしていない。
実数の有限[-1,1]区間にも整数の逆数が無限に存在している。
282: 09/08(月)09:01 ID:woWQlcgS(1) AAS
宇宙が連続体だっていつだれがどこで証明したっけ？
そんな証明ないよな？
283(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/09(火)12:54 ID:mSmF3uVl(1) AAS
これいいね、問題提起
https://news.yahoo.co.jp/articles/4bb99e68fcaa1c301901c381c69bb71ecc021987
news.yahoo 9/9(火) BUSINESS INSIDER JAPAN 首藤みさき ライター
「学びたくない日本」アメリカとは8倍差。リスキリングブーム凋落の納得の理由
「日本人は勤勉」という考えはもはや過去の幻想にすぎないのかもしれない
日本の労働者は、アメリカの労働者に比べて8倍「学ぶ気がない」──。Indeed Japan（以下、インディード）が実施した調査 から、そんな現実が明らかになった
日本でも「人への投資」や「リスキリング」の重要性が指摘され始めて数年経つ。ソフト面では確かにさまざまなリスキリング関連サービスが広がってきたものの、調査結果からは、日本の労働市場における労働者・企業双方のスキル習得に対する意識の低さが露見した形だ
どうすればスキル習得の意欲が高まるのか。企業はそのために何ができるのか
新たなスキル「生かし方」が描けていない
インディードが実施した今回の調査は、日本とアメリカの労働者（各国3096名）および採用担当者（各国1030名）を対象に、早稲田大学政治経済学術院 大湾秀雄教授の監修のもと実施した
調査結果からまず明らかになったのは、日本人労働者のリスキリングへの消極性だ
大湾教授によれば、スキル習得意識の低さに加え、日本では「自己研鑽活動を何もしていない」と回答した人も全体の半数以上（50.5%）で、アメリカ（同9.7%）との差は歴然だった。
省7
284: 09/09(火)13:02 ID:LeAc3O74(1) AAS
>>283
述語論理も集合論も実数論も一から丁寧に学ぼうとしない
怠惰で傲慢な自分自身に真っ先に問題提起しろよ ◆yH25M02vWFhP
285: 09/11(木)06:35 ID:EFLWYl3+(1) AAS
実数論はリスキリングか
286: 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/11(木)13:48 ID:6CLM1l4J(1) AAS
Ivan Fesenko さん 下記
”From two Grothendieck’s math legacies to quantum computing and deep neural networks, talk July 2024”
で、なんか ちょっと フカシていると思ったところ
referencesで
”・Laurent Lafforgue, Grothendieck’s topos as mathematics for a Future AI: Illustration by the Problem of Image Representation, talk at Centre Lagrange, October 2023
・Laurent Lafforgue, Some sketches for a topos-theoretic AI, talk at Math and Machine learning colloquium series, Barcelona, February 2024”
があがっていたので、ビツクリしました ；ｐ）
(参考)
https://ivanfesenko.org/?page_id=80
Ivan Fesenko
https://ivanfesenko.org/wp-content/uploads/sl24.pdf
From two Grothendieck’s math legacies to quantum computing and deep neural networks, talk July 2024
Summary
Two areas initiated by A. Grothendieck: topos theory and anabelian geometry, seem to remain relatively unknown to AI scientists and quantum computing experts. There is a potential for the use of some concepts and visions of these math areas in quantum computing, and for understanding of deep neural networks and AI systems.
Some references in public access
・Olivia Caramello, Syntactic learning via topos theory, talk, New AI theory workshop, November 2023
・Laurent Lafforgue, Grothendieck’s topos as mathematics for a Future AI: Illustration by the Problem of Image Representation, talk at Centre Lagrange, October 2023
・Laurent Lafforgue, Some sketches for a topos-theoretic AI, talk at Math and Machine learning colloquium series, Barcelona, February 2024
287: 09/11(木)14:38 ID:KfYwoBCP(1) AAS
サルは何をみてもびっくり（嘲）
288: 09/13(土)16:51 ID:QgqpGZ4Z(1) AAS
「科学の女王」数学、日本の研究水準は高いが…AIなど産業応用は後れ
2025年9月13日
https://www.nikkei.com/article/DGXZQOSG2694M0W5A820C2000000/
289: 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/17(水)14:02 ID:o5lvaVpk(1) AAS
面白そうだね
https://www.vietnam.vn/ja/cac-nha-khoa-hoc-tim-ra-cong-thuc-pi-hoan-toan-moi-sau-hang-ngan-nam
科学者たちは数千年ぶりに全く新しい円周率の公式を発見した
科学者たちは円周率をより正確かつ効率的に表す新しい公式を発見し、量子力学、素粒子物理学、複雑な科学的シミュレーションの研究に新たな方向性を開いた。
Báo Tuổi Trẻ
11/09/2025
インド科学研究所の物理学者アルナブ・プリヤ・サハ氏とアニンダ・シンハ氏は、粒子間の相互作用のシミュレーションを最適化するための新しい量子モデルを研究で開発しました。驚くべきことに、このモデルを構築する過程で、彼らは全く新しい円周率の公式を発見しました。この公式により、より少ないステップでより正確な計算が可能になり、データ処理量が大幅に削減されます。
サハとシンハは、粒子の相互作用と散乱を記述する数学的ツールであるファインマン図と、弦理論で用いられるオイラーのベータ関数を組み合わせました。その結果、円周率の値に非常に速く収束する特別な数列が得られ、従来の方法よりもはるかに高速な計算が可能になりました。
アニンダ・シンハ博士によると、この研究方向は1970年代に提案されたものの、計算が複雑すぎるために放棄されたとのことです。しかし、現代の計算技術と高度な数学の発展により、研究チームは新しいモデルが予想よりも速く収束することを証明し、円周率の計算がこれまで以上に実現可能になったとしています。
省5
290(1): 09/17(水)16:19 ID:3X0fIBXC(1) AAS
実数の定義も理解できんエテ公が
自分が全然わからんことを
面白がるとかマゾ（嘲）
291: 09/17(水)17:21 ID:DfAheodB(1/2) AAS
ＡＩ馬鹿で草
https://i.imgur.com/C8pcBsw.png
292: 09/17(水)17:21 ID:DfAheodB(2/2) AAS
>>290
馬鹿でもできるレスw
293: 09/19(金)05:35 ID:XleH0+9h(1) AAS
Baoは包
294(1): 09/20(土)08:51 ID:0Zg6k/bo(1) AAS
AI時代、創造する喜びは消えない 万博プロデューサーの中島さち子氏
2025年9月20日
https://www.nikkei.com/article/DGXZQOSG01A190R00C25A5000000/
295: 09/20(土)11:31 ID:7netQ1bm(1) AAS
>>294
なにがしたいんだか NS
なにをしてもいいけどな
296(1): 09/21(日)07:37 ID:728Xn/GW(1/4) AAS
オリンピックの金メダルの価値は
あせない
297: 09/21(日)09:13 ID:ldtUFZx9(1/9) AAS
>>296
数学は競技じゃねえよ ●違い
298(1): 09/21(日)09:49 ID:728Xn/GW(2/4) AAS
数学オリンピックは競技
299: 09/21(日)09:54 ID:ldtUFZx9(2/9) AAS
>>298
じゃ、そいつは数学じゃねぇな
300: 09/21(日)10:04 ID:728Xn/GW(3/4) AAS
もちろん
301: 09/21(日)10:21 ID:ldtUFZx9(3/9) AAS
どこぞの素人が●●の一つ覚えで
群・環・体
と、ほざくのを散々耳にしたが、これからはこういいたい
半群・半環・半体
（笑）
302: 09/21(日)10:24 ID:728Xn/GW(4/4) AAS
昔は体のことをケルパーというのが一般的だったそうだ
303: 09/21(日)10:25 ID:ldtUFZx9(4/9) AAS
整数Zは
加法について（可換）群であり
乗法までいれると（可換）環
そして有理数Qや実数Rは（可換）体
一方、自然数Nは
加法について（可換）半群であり
乗法までいれると（可換）半環
そして、正の有理数全体や正の実数全体は（可換）半体
実はこれらこそが本体なのではないか？ なんちって（笑）
304: 09/21(日)10:32 ID:ldtUFZx9(5/9) AAS
小学校の算数では、負の数を扱わない
だから、小学校の算数は、
自然数半群・自然数半環・正有理数半体
について、理屈抜きで具体的取扱を学んでいる
中学校で負の数を学ぶと「半」がとれる（笑）
305(1): 09/21(日)10:40 ID:ldtUFZx9(6/9) AAS
中学校３年で無限小数とか出てきて
なし崩し的に実数を密輸入する
で、高校で微分とか積分とかナイーブに導入するが
まあ、やろうと思えば
dxをいくらでも小さくすることで
微分係数やら定積分やらの値を
無限小数として、任意の桁の値も確定できる
という形で正当化できるが
それを理屈として説明するのはすげぇめんどうだし
高校生は大学受験で忙しいので
そこまでやらずに大学に丸投げする
そして大学に入った１年生が
微分積分学でいきなり実数の定義とか学んで
「なんじゃこりゃぁぁぁ！！！」
と絶叫するわけだ（笑）
高校までの数学は所詮算数
という意味がこれでよくわかるだろう（笑）
306(2): 09/21(日)10:46 ID:ldtUFZx9(7/9) AAS
>>305
＞dxをいくらでも小さくすることで
＞微分係数やら定積分やらの値を
＞無限小数として、任意の桁の値も確定できる
これは実は、コーシー列であることを示すのと同じ
√２だろうがπだろうがｅだろうが
結局のところ無限小数として表すというのは
別に全部の桁を一遍に示すわけではなく
だんだん下の値まで確定していく列として示す
ということである
ここで、ナイーブな数のプラトニズムが崩壊する（笑）
307(3): 09/21(日)13:11 ID:iJFyzo0I(1/2) AAS
>>306
(引用開始)
これは実は、コーシー列であることを示すのと同じ
√２だろうがπだろうがｅだろうが
結局のところ無限小数として表すというのは
別に全部の桁を一遍に示すわけではなく
だんだん下の値まで確定していく列として示す
ということである
ここで、ナイーブな数のプラトニズムが崩壊する（笑）
(引用終り)
一句”不勉強 オチコボレのさばる 便所板”（字余り）
ここは中高一貫校生も来る可能性があるから
赤ペン先生をしておく
下記 東北大 尾畑研
https://www.math.is.tohoku.ac.jp/~obata/student/subject/
東北大 尾畑研
「集合・写像・数の体系 数学リテラシーとして」の草稿(pdf)
第16章整数・有理数・実数
P247
16.3 実 数
P258
■実数の無限小数展開
p259
実数の無限小数展開という
x=ξ0ξ1ξ2・・・ξn・・・
のように書く
(引用終り)
厳然と、可算無限桁の無限小数展開が存在すると考えて良い
コーシー列においても、厳然と 可算無限個の数の列が存在すると考えて良い
その方が、カントールの対角線論法が 腑に落ちるｗｗ ；ｐ）
308(2): 09/21(日)15:51 ID:ldtUFZx9(8/9) AAS
>>307
>”不勉強 オチコボレのさばる 便所板”
>ここは中高一貫校生も来るから
>赤ペン先生しておく
公立中高卒の不勉強オチコボレが
自称赤ペン先生で大間違い
>厳然と、可算無限桁の無限小数展開が存在すると考えて良い
>その方が、カントールの対角線論法が 腑に落ちる
目で見ないと分からん馬鹿が無限個の数の一斉存在にこだわる（笑）
fが自然数から実数への単射とする
また実数rについてそのn桁目をr[n]と表す
そのとき以下の実数lを構成できる
l[n]
=f(n)[n]+1 (f(n)[n]が0〜8)
=0 (f(n)[n]が9)
省7
309(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/21(日)17:56 ID:iJFyzo0I(2/2) AAS
>>308
>また実数rについてそのn桁目をr[n]と表す
そのnが、0<n の自然数集合Nの全てを渡る前提があるよ
それ、大前提
だから、あなたの論は
>>307の尾畑研の
■実数の無限小数展開
p259
実数の無限小数展開という
x=ξ0ξ1ξ2・・・ξn・・・
のように書く
(引用終り)
を否定していないよねｗｗｗ ；ｐ）
310(2): 09/21(日)18:26 ID:ldtUFZx9(9/9) AAS
>>309
>>実数rについてそのn桁目をr[n]と表す
>そのnが自然数集合Nの全てを渡る大前提があるよ
その大前提とやらは
「無限小数展開のすべての桁が”今・この瞬間に”分かっている」
を導かないが
それ、分かる？
大学１年の一般教養の数学で落第した高卒 ◆yH25M02vWFhP 君
311(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/21(日)23:06 ID:cEGpGchm(1/2) AAS
>>310
>その大前提とやらは
>「無限小数展開のすべての桁が”今・この瞬間に”分かっている」
>を導かないが
貧弱な”メンタルピクチャー”(by 加藤文元) だな ｗ
無限に対する”メンタルピクチャー”が貧弱だから・・ 箱入り無数目（下記）が分らないんだよ ；ｐ）
１）まず 形式的冪級数環と多項式環 から（下記）
多項式とは：「項が有限個しかないこと —つまり十分大きな k（ここでは k > m）に関する係数 pk がすべて零である」（下記）
これは、上から目線の定義だね。つまり、項が無限個の形式的冪級数から 見下せば 項が有限個なら 多項式！
2）これを踏まえて、有限小数とは：「有限桁の小数 —つまり十分大きな k（ここでは k > m）で 10^kに関する係数 pk がすべて零である」小数のこと！■ ；ｐ）
(参考)
https://note.com/katobungen/n/nccba3ef014f6
note.com なぜ微分積分学は不完全なのか？ 加藤文元 2025年2月23日
メンタルピクチャー
形式化された理論
メンタルピクチャーの対極にあるのは、形式化（formalize）されコード化された理論（FT）だ
ここで「メンタルピクチャー（MP）」の対極にある概念としての「形式化された理論（FT）」は、人間の書いた論文の議論のようなものも含む、広い概念である。そして、数学の厳密化とか精密化とは、このような緩い意味での形式化
(*) MP ーーーー形式化ー＞ FT
のことである
省14
312: 09/21(日)23:07 ID:cEGpGchm(2/2) AAS
つづき
２．続けて時枝はいう
私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.
〜は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.
https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E7%9A%84%E5%86%AA%E7%B4%9A%E6%95%B0
形式的冪級数（英: formal power series）とは、（形式的）多項式の一般化であり、多項式が有限個の項しか持たないのに対し、形式的冪級数は項が有限個でなくてもよい。
定義
A を可換とは限らない環とする。A に係数をもち X を変数（不定元）とする（一変数）形式的冪級数 (formal power series) とは、各 ai (i = 0, 1, 2, …) を A の元として、
?n=0〜∞ anXn=a0+a1X+a2X^2+⋯
の形をしたものである。ある m が存在して n ≥ m のとき an = 0 となるようなものは多項式と見なすことができる。
形式的冪級数全体からなる集合 A[[X]] に和と積を定義して環の構造を与えることができ、これを形式的冪級数環という。
https://ja.wikipedia.org/wiki/%E5%A4%9A%E9%A0%85%E5%BC%8F%E7%92%B0
多項式環（英語: polynomial ring）は環に係数を持つ一変数または多変数の多項式の全体の集合が成す環である。
注意すべき点として、多項式には項が有限個しかないこと —つまり十分大きな k（ここでは k > m）に関する係数 pk がすべて零であるということ— は、暗黙の了解である
(引用終り)
以上
313: 09/22(月)02:47 ID:1W1nA50K(1) AAS
コピペバカ
314(1): 09/22(月)06:48 ID:ntA/Tb1I(1/2) AAS
一種のパラドックス
315(1): 09/22(月)08:29 ID:ntA/Tb1I(2/2) AAS
「時枝のパラドックス」として定着するか
316: 09/22(月)09:46 ID:q+ID/bXs(1/4) AAS
>>306-311
306 ヒト
>（実数を）無限小数として表すというのは
>全部の桁を一遍に示すわけではなく
>だんだん下の値まで確定していく列として示すことである
>ここで、ナイーブな数のプラトニズムが崩壊する
307 エテ公
>可算無限桁の無限小数展開が存在すると考える方が、対角線論法が 腑に落ちる
308 ヒト
>実数rについてそのn桁目をr[n]と表す…どこにも無限個の桁の数など全部列挙していない
309 エテ公
>そのnが自然数集合Nの全てを渡る大前提があるよ
310 ヒト
>それ、「無限小数展開のすべての桁が”今・この瞬間に”分かっている」を導かないが
311 エテ公
>貧弱な”メンタルピクチャー”だな
「可算無限桁の無限小数展開が”すべての桁が示された状態で”存在する」
という最貧最弱メンタルピクチャーは 大学１年の微分積分の最初の
実数の定義が分からず落第した高卒エテ公、貴様のものだ（笑）
（完）
317: 09/22(月)09:48 ID:q+ID/bXs(2/4) AAS
>>311
＞無限に対する”メンタルピクチャー”が貧弱だから・・
＞箱入り無数目が分らないんだよ
無限に関する”メンタルピクチャー”が間違ってるから
箱入り無数目で誤解して発●するんだよ エテ公
318: 09/22(月)09:58 ID:q+ID/bXs(3/4) AAS
>>311
＞まず 形式的冪級数環と多項式環 から
「環」要らない 代数演算一切使ってないから（笑）
＞多項式とは：
＞「項が有限個しかないこと
＞—つまり十分大きな k（ここでは k > m）に関する係数 pk がすべて零である（形式的級数）」
＞これは、上から目線の定義だね。
さすが高卒レベルの素人だね
こんなナイーブな文章で「上から目線」とか言っちゃう
＞つまり、項が無限個の形式的冪級数から見下せば 項が有限個なら 多項式！
＞これを踏まえて、有限小数とは：
＞「有限桁の小数
＞—つまり十分大きな k（ここでは k > m）で 10^kに関する係数 pk がすべて零である小数」のこと！
要するに
形式的冪級数：（任意次数）多項式
＝無限小数：（任意次数）有限小数
＝無限列：（任意次数）有限列
＝S^N：∪(n∈N）S^n
319(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/22(月)10:02 ID:gPu58kvr(1) AAS
>>314-315
これは御大か
そうなんですよ
「時枝のパラドックス」は、現代数学確率論とは
真っ向矛盾しています
しかし、それは 現代数学確率論の知識がない オチコボレさんには
理解できないので、彼らは グダグダ言ってますけどね ；ｐ）
320: 09/22(月)10:17 ID:q+ID/bXs(4/4) AAS
>>319
＞（「箱入り無数目」は）現代数学確率論とは真っ向矛盾・・・
確率論どころか測度論の初歩である非可測集合も理解できん高卒エテ公の妄想
ついでにいうと、箱入り無数目を考えたのは時枝正じゃないぞ
「時枝のパラドックス」とか呼ぶのは
コラッツの問題を掛谷の問題と呼ぶのと同じ
日本しか見ない見えない夜郎自大の自己愛エテ公
ｗｗｗｗｗｗｗ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.044s