ガロア第一論文と乗数イデアル他関連資料スレ18 (442ﾚｽ)
上下前次1-新
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
413: 08/03(日)15:52 ID:KnuX/usk(2/4) AAS
日本語も正しく読めない書けない論盲ゴキブリ ◆yH25M02vWFhP にAIなんか使えない
Grokでも分かることを論盲ゴキブリは否定する 正真正銘の池沼
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
集合論ZFにおいて、A のべき集合を P(A) とし、
x⊂Ax と x∈P(A) が同値であることを証明します。
証明
x⊂Ax ならば x∈P(A)
P(A) は A のべき集合であり、定義により P(A)={x∣x⊂A} です。
したがって、x⊂Ax ならば、x は A の部分集合であり、
定義から x∈P(A) です。
x∈P(A) ならば x⊂Ax \subset Ax \subset A
逆に、x∈P(A) ならば、P(A) の定義により x⊂A です。
これは、P(A) が A のすべての部分集合からなる集合であるためです。
結論x⊂A ならば x∈P(A)、かつ x∈P(A) ならば x⊂Ax なので、両者は同値です。
よって、x⊂A ⟺ x∈P(A)。
414: 08/03(日)15:53 ID:KnuX/usk(3/4) AAS
集合論ZFにおいて、A のべき集合を P(A) とし、
x⊂Ax と x∈P(A) が同値であることを証明します。
証明
x⊂A ならば x∈P(A)
P(A) は A のべき集合であり、定義により P(A)={x∣x⊂A} です。
したがって、x⊂Ax ならば、x は A の部分集合であり、
定義から x∈P(A) です。
x∈P(A) ならば x⊂A
逆に、x∈P(A) ならば、P(A) の定義により x⊂A です。
これは、P(A) が A のすべての部分集合からなる集合であるためです。
結論x⊂A ならば x∈P(A)、かつ x∈P(A) ならば x⊂Ax なので、両者は同値です。
よって、x⊂A ⟺ x∈P(A)。
415: 08/03(日)16:55 ID:KnuX/usk(4/4) AAS
ゴキブリ ◆yH25M02vWFhPには
１．「問いを立てる能力」がない
そもそも高校卒業程度の数学しか知らないのだから
２．「数ある選択肢の中から最善を選び、決断する能力」がない
そもそも論理が全然わからないのだから
３．「責任を取る能力」がない
そもそも自分が罰を受けることを全く想定せず
ただただ罰を受けることから逃げ回るゴキブリだから
416: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/05(火)07:33 ID:IEbiea/f(1) AAS
”米テック、好決算でも9万人削減 AIで高まる技術者選別の荒波”
AIを使いこなせる人は 多分 必要だが
AIで代用できるレベルの人は、不要だってことか
外部ﾘﾝｸ:www.nikkei.com
nikkei.com
米テック、好決算でも9万人削減 AIで高まる技術者選別の荒波
生成AI
2025年8月5日 4:00 [会員限定記事]
人工知能（AI）の開発を主導してきた米国を中心とするテクノロジー企業で、人員削減が加速している。1〜7月には前年同期と比べて4割近く多い約9万人が、解雇やレイオフの対象となった。テック企業は急成長を続けているが、AIがエンジニアなどの仕事を肩代わりできるようになったことで過剰となった人材の整理が進んでいる。
AI推進役のテック企業が人員削減
米チャレンジャー・グレイ・アンド・クリスマスによると、...
417: 08/05(火)07:49 ID:osKwU2Wb(1) AAS
AIすら使えない ◆yH25M02vWFhP は全く不要
いまどき論理も分からんとか白知だろ
418(2): 08/10(日)11:07 ID:inVgR9CA(1) AAS
白痴
419: 08/10(日)11:36 ID:OtMPcEWQ(1/2) AAS
やまいだれは省略
知能が低いのは遺伝であって病気ではないから（笑）
◆yH25M02vWFhP は肉体労働者なんだから
数学のような知的遊戯は一切あきらめろ
420(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/10(日)12:28 ID:f12p+Q2v(1/4) AAS
これ面白い
外部ﾘﾝｸ:xtech.nikkei.com
AI最前線
数学とAI、Terence Taoが語る未来
PFN岡野原氏によるAI解説：第122回
岡野原 大輔 Preferred Networks 共同創業者 代表取締役 最高技術責任者
2025.08.08
現代最高峰の数学者の一人である米University of California Los Angeles教授のTerence Tao（テレンス・タオ）氏は、数論から偏微分方程式、調和解析、組合せ論に至るまで、幅広い分野で世界的な成果を残してきた。
その彼が、AIが様々なことができるようになってきた中で、数学でAIをどのように活用できるのかについてLex Fridman氏のポッドキャストで述べている1）。Tao氏は以前より積極的にAIを数学の研究に使えるかを試している。
ここでは、数学の最前線の分野にAIがどのように使われているのか、今後どのような展望があるのかを通じて、今後のAIがどのように知的作業を必要とする分野で使われていくのかについて論じていきたい。
Lean：定理証明支援系
AIは文献探索や論文執筆校正など、研究活動で多く貢献しているが、ここでは特に数学に特化した例として定理証明支援を説明する。
はじめに、数学の分野における形式証明について説明する。今の数学の証明は自然言語と数式で書かれており、言語の曖昧性と、非常に多くの「行間」を読むことによって証明がされている。このような場合、機械的に証明を検証することは難しく、また、証明を支援することも難しい。そのため、形式証明および定理証明支援システムが注目され、その中でも「Lean」が注目されている。
この記事は日経Robotics購読者限定です。次ページでログインまたはお申し込みください。
次ページ
Lean自体はプログラミング言語であるが、数学の..
421(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/10(日)18:01 ID:f12p+Q2v(2/4) AAS
>>418
ID:inVgR9CA は、御大か
復帰ご苦労様です
数学板のお天気日誌も復活ですね （＾＾
下記のICM2030招致が実現するといいですね
検索すると、教育シンポジュウム2024年３月の記事がありますね
なるほどね
外部ﾘﾝｸ:www.mathsoc.jp
一般社団法人 日本数学会
ICM2030招致委員会
ICM2030 (International Congress of Mathematicians 2030) の招致・開催に向けて設置されました．本ページでは招致に向けた活動について情報共有を行います．
外部ﾘﾝｸ[pdf]:www.mathsoc.jp
未来の学術振興構想（2023）と数学・数理科学数学・数理科学の未来に向けて
日本数学会
教育シンポジュウム2024年３月17日（日）14:00~16:30
大阪公立大学基礎教育実験棟 1階
神戸学院大学 経営学部 教授 神戸大学 名誉教授
日本学術会議第三部会員 数理科学委員会委員長齋藤 政彦
GV ? 数学・数理科学・量子情報科学が切り拓未来社会
日本が世界トップの研究拠点になるためにICM2030の招致の可能性
ICM1990組織委員会の報告書
ICM2030を日本へ招致する可能性を検討したい。
日本はIMUにおいて、大きな地位を占めてきた• 1900年からICMに参加• ３名のフィールズ賞受賞者、ガウス賞、チャーン賞• 11名の全体講演者、120名の招待講演者• ICM1990を京都で開催（76か国3954名(日本：2329名、国外：1625名））• 日本はレベル５（最上位国）拠出金は日本学術会議より支出• 森重文総裁、中島啓総裁を輩出、過去IMU理事会には多数のメンバーを輩出• 日本数学会, 日本応用数理学会は多くの会員を有している• 2023 ICIAM TOKYOを開催（早稲田大学）
422: 08/10(日)18:09 ID:f12p+Q2v(3/4) AAS
>>418 追加
『ICM2030を招致する理由
• ICM90は、当時の若手研究者に大きな刺激となり、その後の日本の研究者の輩出につながった。』
うんうん
有りましたね
招待講演者 ICM90に 論文が間に合った
（振り返ってみれば、そういうことですね 中野先生も喜ばれたでしょう）
423: 08/10(日)18:19 ID:f12p+Q2v(4/4) AAS
>>421 追加
>神戸学院大学 経営学部 教授 神戸大学 名誉教授
>日本学術会議第三部会員 数理科学委員会委員長齋藤 政彦
齋藤 政彦先生
外部ﾘﾝｸ:researchmap.jp
齋藤 政彦
サイトウ マサヒコ (Masa-hiko SAITO)
基本情報
所属神戸学院大学 経営学部 教授
学位
理学博士(1985年3月 京都大学)
理学修士(1982年3月 京都大学)
理学士(1980年3月 京都大学)
学歴 3
1982年4月 - 1985年3月京都大学, 大学院理学研究科, 数学・数理解析専攻 博士後期課程修了
1980年4月 - 1982年3月京都大学, 大学院理学研究科, 数学・数理解析専攻 修士課程修了
1976年4月 - 1980年3月京都大学, 理学部
受賞 1
2016年日本数学会代数学賞, 接続のモジュライ空間とパンルヴェ型微分方程式, 日本数学会 代数学分科会
外部ﾘﾝｸ[html]:www2.kobe-u.ac.jp
齋藤政彦ホームページ
Kobe University
神戸大学を定年退職し、神戸大学名誉教授の称号を授与されました。
424(1): 08/10(日)18:49 ID:OtMPcEWQ(2/2) AAS
>>420
おまえつまんない
高卒無能愛国馬鹿は●ね
425(1): 08/11(月)10:40 ID:NiWtmzU4(1) AAS
本当はTaoがつまらないと
言いたいのではないか
426(1): 08/11(月)11:13 ID:MtMWibfm(1) AAS
>>424に一票
427(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/11(月)11:19 ID:f34iaqr/(1) AAS
>>425-426
皆さま、ご苦労様です
スレ主です
ありがとうございます。（＾＾
428(2): 08/11(月)18:35 ID:u2QIQZty(1) AAS
任意の a＞−1 なる実数と任意の正の整数nに対して
γ(a,n)＝1＋…＋1/n−log(n＋a)
とおく
以前、a＝0 のとき、
γ:＝lim_{n→+∞}(γ(0,n))＝lim_{n→+∞}(1＋…＋1/n−log(n))
を有理数とすると矛盾が導けたからγは無理数で超越数かと一瞬思ったが、
任意の正の有理数が1個の正の整数の逆数和(例：1＝1/1)
または相異なる有限個の正の整数の逆数和の形で表されるから、
実はγが有理数 q/p p、q は互いに素 であると仮定しても
γ−q/p＝0 がいえるだけで γ−q/p＞0 なることは導けないことが判明した
やはりγは有理数だった
任意の正の有理数が1個の正の整数の逆数和(例：1＝1/1)
または相異なる有限個の正の整数の逆数和の形で表されること
を示せたときは少し感動した
429: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/13(水)12:17 ID:ZWqlQsZq(1) AAS
>>428
これは、おっちゃんか
スレ主です
お元気そうで何よりです。
健康に気を付けて
頑張ってください
430(1): 08/13(水)18:30 ID:osN5EEQ4(1) AAS
>>428
＞やはりγは有理数だった
じゃ、γを相異なる有限個の正の整数の逆数和で表してくれ
431(1): 08/14(木)08:30 ID:MFBijTbf(1/2) AAS
>>430
任意の a＞−1 なる実数aと任意の正の整数nに対して
γ(a,n)＝1＋…＋1/n−log(n＋a)
とおく。a＞−1 なる実数aを適当に選べば定義される第n項が
γ(a,n)＝1＋…＋1/n−log(n＋a)
なるγに収束する実数列 {γ(a,n)} 全体の空間 γ^N＝{γ(a,n)|a＞−1} に属する
実数列 {γ(a,n)} の全体の第n項 γ(a,n) a＞−1 にはすべて
調和数列 1＋…＋1/n の形の有理数が表れて有理数だが、
a＞−1 なる実数aの選び方によってγに収束する
実数列 {γ(a,n)}∈γ^N の第n項 γ(a,n) a＞−1 に表れる
自然対数 log(n＋a) n≧1 の値が有理数か無理数かは一定ではなく
有理数になったり無理数になったりと変化する(大抵は無理数になる)から、
γに収束する数列の空間 γ^N＝{γ(a,n)|a＞−1} に属する
実数列 {γ(a,n)} の第n項 γ(a,n) a＞−1 全体の形を考えれば、
すべての実数列 {γ(a,n)}∈γ^N の各項 γ(a,n) a＞−1 には
調和数列の形をした有理数のみが共通して表れる
適当に選んだ実数列 {γ(a,n)}∈γ^N a＞−1 の各項 γ(a,n) a＞−1 に表れる
自然対数の形をした実数 log(n＋a) n≧1 が有理数か無理数になるかは
a＞−1 なる実数aや正の整数nの選び方によって変わる
適当に選んだ実数列 {γ(a,n)}∈γ^N a＞−1 が単調減少列であるか
単調増加列であるかも a＞−1 なる実数aの選び方によって変わる
だから、γに収束する実数列 {γ(0,n)} の第n項
γ:＝γ(0,n)＝1＋…＋1/n−log(n) の形を考えれば、γは有理数と分かる
実数列 {γ(0,n)} について n→+∞ のときを考えれば、可算選択公理により、
γに対して或る相異なる有限個の正の整数が存在して
γはその相異なる有限個の正の整数の逆数和で表せることも分かる
任意の無理数が、第n項が γ(a,n)＝1＋…＋1/n−log(n＋a) a＞−1 なる
実数列 {γ(a,n)}∈γ^N a＞−1 の極限として定義されている訳ではない
432(1): 08/14(木)12:50 ID:MFBijTbf(2/2) AAS
上から7行目：
調和数列 1＋…＋1/n の形の有理数が表れて有理数だが、
→ 調和数列 1＋…＋1/n の形の有理数が表れるが、
下から6、7行目あたり：
だから、γに収束する実数列 {γ(0,n)} の第n項
γ:＝γ(0,n)＝1＋…＋1/n−log(n) の形を考えれば、γは有理数と分かる
→ だから、γに収束する実数列 {γ(0,n)} の第n項
γ(0,n)＝1＋…＋1/n−log(n) の形を考えれば、
γ:＝lim_{n→+∞}(γ(0,n)))＝lim_{n→+∞}(1＋…＋1/n−log(n)) は有理数と分かる
433(1): 08/16(土)16:10 ID:OYmbWtXJ(1) AAS
>>431
>だから、γに収束する実数列 {γ(0,n)} の第n項 γ(0,n)＝1＋…＋1/n−log(n) の形を考えれば、
>γ:＝lim_{n→+∞}(γ(0,n)))＝lim_{n→+∞}(1＋…＋1/n−log(n)) は有理数と分かる
大学１年の微分積分でおちこぼれた奴の典型的な誤り
γ(a(n),n)が全て有理数だからといって
その収束先γが有理数になると思うのは誤り
試験でこんな答案書いたら確実に赤点で落第
>実数列 {γ(0,n)} について n→+∞ のときを考えれば、
>可算選択公理により、
>γに対して或る相異なる有限個の正の整数が存在して
>γはその相異なる有限個の正の整数の逆数和で表せることも分かる
可算選択公理が何だか知らんくせに口から出まかせいう●違いの典型的な誤り
γ(a(n),n)が全て有理数で、相異なる有限個の正の整数の逆数和で表せるからといって
その収束先γも相異なる有限個の正の整数の逆数和で表せると思うのは誤り
試験でこんな答案書いたら確実に赤点で落第
もう数学やめろ 貴様には数学は無理
434(1): 08/16(土)18:40 ID:hd6woW1J(1/4) AAS
>>433
>試験でこんな答案書いたら確実に赤点で落第
大学1年の微分積分の試験でオイラーの定数が無理数なることを示せなんていう問題は出ないw
オイラーの定数γを有理数と仮定すると
γに対して或る有限個の正の整数が存在して
γ:＝lim_{n→+∞}(γ(0,n)))＝lim_{n→+∞}(1＋…＋1/n−log(n))
はその有限個の正の整数の逆数和として表されることになる
また、任意の a＞−1 なる実数aに対してγは
γ＝γ(a,n)＝lim_{n→+∞}(1＋…＋1/n−log(n＋a)) と表される
適当に選んだ実数列 {γ(a,n)}∈γ^N a＞−1 が単調減少列であるか
単調増加列であるかも a＞−1 なる実数aの選び方によって変わる
その結果、γは上からの評価または下からの評価のやり方がaの選び方による
a＞−1 がどんな値を取るときに実数列 {a(a,n)} a＞−1 は
単調減少列になるかまたは単調増加列になるかという問題も生じるが、
任意の a＞−1 なる実数aに対して定義される実数列 {a(a,n)} は
単調減少列か単調増加列のどちらか片方になるから、この問題の解決は不可能である
なのだから、γは有理数と予想せざるを得ない
逆に、γを有理数としても、オイラーの総和公式の意味合いは満たしている
それだけのこと
435: 08/16(土)18:44 ID:hd6woW1J(2/4) AAS
その結果、γは上からの評価または下からの評価のやり方がaの選び方による
→ その結果、γ「の」上からの評価または下からの評価のやり方がaの選び方による
436(1): 08/16(土)18:57 ID:hd6woW1J(3/4) AAS
>a＞−1 がどんな値を取るときに実数列 {a(a,n)} a＞−1 は
>単調減少列になるかまたは単調増加列になるかという問題も生じるが、
>任意の a＞−1 なる実数aに対して定義される実数列 {a(a,n)} は
>単調減少列か単調増加列のどちらか片方になるから、この問題の解決は不可能である
ここの {a(a,n)} は {γ(a,n)} に訂正
或る a＞−1 なる実数が存在して、その実数aに対して定義される実数列 {γ(a,n)} が
単調減少列かつ単調増加列になるということはあり得ない
437: 08/16(土)19:02 ID:hd6woW1J(4/4) AAS
>>436の後半の2行について：
或る a＞−1 なる実数が存在して、 → 或る a＞−1 なる実数aが存在して、
438: 08/16(土)21:15 ID:Y/oq8rzJ(1) AAS
任意関数から出発した代数解析
439(1): 08/17(日)16:38 ID:ZRSLeudn(1/2) AAS
>>434
＞適当に選んだ実数列 {γ(a,n)}∈γ^N a＞−1 が
＞単調減少列であるか単調増加列であるかも
＞a＞−1 なる実数aの選び方によって変わる
＞任意の a＞−1 なる実数aに対して定義される実数列 {a(a,n)} は
＞単調減少列か単調増加列のどちらか片方になるから、
＞この問題の解決は不可能である
＞なのだから、γは有理数と予想せざるを得ない
上６行から最後の７行目は導けんけど
高卒はそんな初歩もわからんのか
大学１年の微分積分で落第するわけだ
440(1): 08/17(日)16:42 ID:ZRSLeudn(2/2) AAS
γに収束する有理数列が存在しても
γが有理数だと証明したことにならない
γに収束する無理数列が存在しても
γが無理数だと証明したことにならない
なぜなら
無理数に収束する有理数列も存在するし
有理数に収束する無理数列も存在する
大学１年生でも簡単に例が構成できる
あああ、あほくさ
441: 08/17(日)17:25 ID:Ftak58Te(1/2) AAS
>>439
>上６行から最後の７行目は導けんけど
>高卒はそんな初歩もわからんのか
高卒ではないが、君は予想という言葉の意味が分からない訳ね
>大学１年の微分積分で落第するわけだ
微分積分の理解に数理論理学が必要だと思っている君にブーメランで突き刺さっている
>>440
そんなこといわれなくても知ってるw
君の指摘は学習または思考の妨げや作業のジャマになるだけだから、静かにしててくれ
君がしているのはどうでもいいおせっかいをしているだけ
君に一々いわれると本当にうるさくて仕方がない
442: 08/17(日)17:35 ID:Ftak58Te(2/2) AAS
私は物理や自然科学、または経済などの理解をすることをすすめる
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.025s