ガロア第一論文と乗数イデアル他関連資料スレ18 (667ﾚｽ)
上下前次1-新
496: 09/18(木)09:29 ID:I3djhwJv(3/3) AAS
>>493
＞本来はformalなものを嫌うのが自由な数学精神
数学者は論理をろくに知らんから
トンチンカンなことを平気でうそぶく
貴様らは何のために定理を証明するのか？
それが正しいというためにやってるんだろう？
思い付きのすべてが正しいというなら苦労はない
省15
497: 09/18(木)17:01 ID:XL76bQQ+(1) AAS
魔女ランダの夢
と暴論ではなく神獣バロン
498: 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/19(金)16:40 ID:N54MxCu9(1/2) AAS
これいいね
外部ﾘﾝｸ:www.lifehacker.jp
lifehacker.jp
やらかした。私がChatGPTからオフラインAIに切り替えた理由
著者MakeUseOf [原文] 翻訳ライフハッカー・ジャパン
2025.09.19
私は長年、クラウドベースのチャットボットを愛用してきました
省22
499(1): 09/19(金)16:45 ID:N54MxCu9(2/2) AAS
>>493
>本来はformalなものを嫌うのが
>自由な数学精神
これは、御大か
巡回ご苦労様です
過去のformalを打ち破る
それが、数学の精神ってことですね （＾＾
500: 09/19(金)17:00 ID:iqsDlJ7S(1) AAS
と、数学のすの字も分らんアホが申しております
501: 09/19(金)17:13 ID:3T9xT+Zu(1) AAS
>>499
＞過去のformalを打ち破るのが、数学の精神ってことですね
過去のformal proofも読めん奴が、打ち破りようがない
それが大学1年の一般教養レベルの数学落第という現実
高校までの算数芸ではトップでも
大学では述語論理も集合論も実数の定義も分からん只のエテ公
502: 09/20(土)07:10 ID:7netQ1bm(1) AAS
メンタルピクチャー君に問題
数ベクトルは、集合から数への関数、とみることができる
自然数全体の集合Nから実数全体への集合Rへの関数全体からなる集合をR^Nとする
Q1.さてR^Nのうち、ある一つの元からうつされる値のみが０でない関数を基底として
その（有限）線形結合で表される元の全体は、R^Nの真部分集合だが
いかなる関数の集まりか、的確に述べよ
Q2.逆にR^Nの基底全体の集合の濃度は可算か否か、理由つきで述べよ
503: 09/21(日)09:57 ID:728Xn/GW(1/4) AAS
オイラーは実数の定義をする必要を感じていただろうか
504: 09/21(日)10:01 ID:ldtUFZx9(1/5) AAS
オイラーは今でも数学者として通用するだろうか
505: 09/21(日)10:02 ID:728Xn/GW(2/4) AAS
道策は今なら棋聖・名人であろう
506: 09/21(日)10:13 ID:ldtUFZx9(2/5) AAS
まあ、レオンハルト・オイラーが
自分の級数の扱いのトリックのタネを
「解析接続」だと気付けたなら結構だがね
507: 09/21(日)10:18 ID:ldtUFZx9(3/5) AAS
１８世紀に、オイラーが実数の定義の必要性まで気づけなくても、仕方ない
ガウスですら、実数の定義までたどり着けなかった
さすがに、何かが必要だとは感じていただろうけど
コーシーの収束性判定条件の発見があり
ワイエルシュトラスの批判的な知見があり
デデキントやらカントールやらの実数の定義に至る
それはそれで意味がある
省2
508: 09/21(日)10:20 ID:728Xn/GW(3/4) AAS
バーゼル問題の解のタネは
整函数の無限乗積展開へと展開し
オイラー・マクローリンのタネは
ポアソンの和公式へとつながった
509: 09/21(日)10:23 ID:728Xn/GW(4/4) AAS
>デデキントやらカントールやらの実数の定義に至る
>それはそれで意味がある
オイラーはオイラーで意味がある
510: 09/21(日)10:51 ID:ldtUFZx9(4/5) AAS
オイラーがカントールの集合論やフレーゲの述語論理を否定するわけではない
511: 09/21(日)18:24 ID:WWNIU/Ab(1) AAS
カントールやフレーゲが
オイラーの偉大さを否定するわけはない
512: 09/21(日)18:28 ID:ldtUFZx9(5/5) AAS
では
「オイラーは実数の定義をする必要を感じていただろうか」
は間違いということで、自刎して●んでな
自分だけが賢いとうぬぼれてる●違いクソ爺
513(1): 09/22(月)20:18 ID:ntA/Tb1I(1/3) AAS
オイラーは関数の定義をする必要も
感じていなかったと思われる
514(2): 09/22(月)21:21 ID:ntA/Tb1I(2/3) AAS
コーシーは任意関数から微分方程式を導いた
515(1): 09/22(月)22:24 ID:ntA/Tb1I(3/3) AAS
アーベルは楕円関数の論文の序文に
「不滅のオイラー」と書いた
516: 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/23(火)11:47 ID:entBycg/(1/2) AAS
これ面白いね
動画ﾘﾝｸ[YouTube]
【予習不能】AIが考える最強の問題を河野玄斗は解けるのか…！？
Stardy -河野玄斗の神授業 2025/09/20
コメント
@やや-s8n
2 日前
省5
517(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/23(火)11:51 ID:entBycg/(2/2) AAS
>>513-515
>アーベルは楕円関数の論文の序文に
>「不滅のオイラー」と書いた
巡回ご苦労様です
オイラーが、道策で
アーベルが、秀策か
どちらも
省1
518: 09/23(火)13:21 ID:4TPzkzyT(1) AAS
君は大学1年4月に落ちこぼれたオチコボレ
519: 09/23(火)14:37 ID:dQm52GG6(1/3) AAS
>>514
コーシーの関数方程式 f(x＋y)=f(x)+f(y) について
・Q上の関数なら f(x)＝cx（c∈Q）しかない
・R上の連続関数ならf(x)＝cx（c∈R）しかない
・R上の”任意”関数なら・・・無限個の非線型函数がこの方程式を満足する（ただし選択公理を仮定する）
ああ、こわいこわい 「任意関数」 コーシーも足元をすくわれた OTまた然り
520: 09/23(火)14:42 ID:dQm52GG6(2/3) AAS
>>517
「解析関数に非ずんば、関数に非ず」とかいう非現代数学者は現代数学に焼き殺される
動画ﾘﾝｸ[YouTube]
521(1): 09/23(火)20:02 ID:d31sJAVw(1) AAS
「オイラーやラグランジュらが定積分を計算した関数ならどれでも」
というのが
コーシーのいう任意関数の意味であろう
522: 09/23(火)20:36 ID:dQm52GG6(3/3) AAS
>>521 ●ねよ １９世紀人（嘲）
523(1): 09/24(水)05:40 ID:VocaRsrP(1/2) AAS
1825年の留数定理は22世紀になっても輝きを失わないであろう
524: 09/24(水)08:41 ID:cE7hXEi/(1) AAS
>>523
それは「任意関数」の範囲を制限する口実にならんけどな
525: 09/24(水)20:32 ID:VocaRsrP(2/2) AAS
制限した上での第一定理の応用として
ラプラスの計算結果が簡単に示されている
526: 09/24(水)21:07 ID:YdEsWbtv(1) AAS
なんなのこの耄碌爺
脳ミソ１９世紀のままなの？
527: 09/25(木)15:09 ID:fkgyLEZd(1/7) AAS
22世紀になっても
コーシー全集を開いてみる数学者は
いなくならないだろう
528: 09/25(木)18:13 ID:fkgyLEZd(2/7) AAS
オイラー全集は昨年やっと完結した
529: 09/25(木)18:29 ID:fkgyLEZd(3/7) AAS
オイラー全集は貴重書の棚に入っているので
読むときには図書の事務に頼んでカギを貸してもらわねばならない
530: 09/25(木)18:34 ID:QgWiS+lX(1/3) AAS
うっせぇわ 耄碌爺
はよ クタバレ
531: 09/25(木)18:40 ID:fkgyLEZd(4/7) AAS
ガウス全集は時々開く
532: 09/25(木)18:51 ID:QgWiS+lX(2/3) AAS
うっせぇわ 耄碌爺
はよ クタバレ
533: 09/25(木)18:56 ID:fkgyLEZd(5/7) AAS
棺桶に入れたい全集と言えば
アーベル全集かな
534: 09/25(木)19:08 ID:QgWiS+lX(3/3) AAS
うっせぇわ 耄碌爺
はよ クタバレ
535: 09/25(木)20:43 ID:fkgyLEZd(6/7) AAS
リーマン全集でもよかろう
来年が生誕２００年でもあることだし
536: 09/25(木)21:35 ID:fkgyLEZd(7/7) AAS
ユークリッドの原論がもっとも似つかわしいかもしれない
537: 09/26(金)05:16 ID:xHuchH0k(1) AAS
「非ゆーくりっど幾何学」の方がよいだろう
538: 09/26(金)08:33 ID:9/c2Qaif(1) AAS
非ゆっくり霊夢聞か学？（難聴）
539: 09/26(金)20:47 ID:aNDQr/I8(1) AAS
ガロアの夢
540: 09/27(土)17:17 ID:0ayz0qNU(1) AAS
オバQ
541: 10/04(土)06:20 ID:vRbgXEFw(1) AAS
『ドクトル・クーガーの数学講座』全2巻、日本評論社、1992年。遺稿集
542: 現代数学の系譜 雑談 ◆yH25M02vWFhP 10/09(木)17:41 ID:KF0VNvBU(1) AAS
これ面白い
外部ﾘﾝｸ:gendai.media
現代ビジネス
2025.10.09
生き方
「毎日15分位は指導してやる」「早く日本に帰ったほうがいい」…渡米した若手数学者を待ち受けていた「試練」の連続
秋山 仁
省5
543(1): 10/10(金)06:07 ID:LUMhNgm4(1) AAS
年間２００回の講演をこなした年もあったとか
544: 現代数学の系譜 雑談 ◆yH25M02vWFhP 10/10(金)07:42 ID:8REPB/xG(1) AAS
>>543
御大か
巡回ご苦労さまです
545: 10/12(日)09:09 ID:/NN6VTAa(1) AAS
担当者が間違えて
野球の秋山幸二を呼んでしまったことも
あった
546: 10/12(日)16:04 ID:BlVEgaSl(1) AAS
自分は同じネタで3,4回講演しただけでも飽きて嫌になるのに
毎年何十回何百回と同じネタやり続ける秋山仁とか芸人とかミュージシャンって
尊敬するわ
547: 10/12(日)16:31 ID:3nOE/Sjf(1) AAS
笑
548: 10/12(日)16:48 ID:Pwt/EPqJ(1) AAS
伊原康隆さんが若い時どこかの談話会だったかシンポジウムだったかで、
畏敬する人に同じ話は１０回までしてよろしい、と言われたので
と始めた
549: 10/13(月)06:43 ID:KTMHJg5Z(1/2) AAS
>>同じ話は１０回までしてよろしい
「君なら」が省略されている
550: 10/13(月)07:49 ID:LFoBy+5/(1/2) AAS
つまんね
数学の話しないなら書くなよ
551: 10/13(月)09:59 ID:KTMHJg5Z(2/2) AAS
乗数イデアルは最近
乗数加群へと
一般化されている
不定域イデアルが連接層へと進化したように
552: 10/13(月)16:43 ID:LFoBy+5/(2/2) AAS
環のイデアルで使える手法が
環上の加群でも使える場合が
多々あるとは思うが
その一般化によって
どんな御利益があるのか
一般人にもわかるように
説明できる？
553(1): 10/15(水)06:52 ID:Pc1PRBho(1/9) AAS
順像層は最初連接性しかわからず
岡潔は「冬の季節が来た」とけなされたが
L²評価の方法の進展により
乗数イデアルの解析が進み
正値性の保存性が明確になりつつある
554: 10/15(水)07:15 ID:Pc1PRBho(2/9) AAS
訂正
岡潔はーー＞岡潔に
555(1): 10/15(水)07:34 ID:OYM0FXMj(1/2) AAS
>>553 ワケワカメ
556: 10/15(水)08:46 ID:Pc1PRBho(3/9) AAS
「わけわかめ」は、「訳が分からない」という意味の言葉です。主に、理解できない発言や行動、意味不明な物事に出くわしたときに使われます。これは、1990年代に若者の間で広まった駄洒落であり、特に「わかめ」と「分からない」を掛け合わせた表現です。
1990年代の若者ならまだ還暦前か
557(1): 10/15(水)09:21 ID:Pc1PRBho(4/9) AAS
>>555
最初の一行についてだけ補足すると
固有正則写像により解析的集合は
解析的集合へと写像されるが
その一般化として
解析的連接層の任意次数の順像が
解析的連接層になるという命題がある。
省6
558: 10/15(水)09:23 ID:Pc1PRBho(5/9) AAS
訂正
最初の一行ーー＞最初の二行
559: 10/15(水)09:36 ID:OYM0FXMj(2/2) AAS
>>557
具体性とは？計算できないってこと？
560: 10/15(水)09:50 ID:Pc1PRBho(6/9) AAS
岡潔流の具体性というのは
「数学者の感情を納得させる」という
情緒的な意味
561: 10/15(水)09:54 ID:Pc1PRBho(7/9) AAS
小平・スペンサーの変形論は
小平先生が「複素多様体論」で
述べておられるように
最初は実験科学であった。
つまり計算事実の積み重ねが
最初にあった。
その一例がp271に中野茂男によるとされた
省1
562: 10/15(水)09:56 ID:Pc1PRBho(8/9) AAS
訂正
ｐ271にーー＞ｐ271に書かれている
563: 10/15(水)22:22 ID:Pc1PRBho(9/9) AAS
「紫の火花」より：
芥川は私に芭蕉の句の「しらべ」を教えてくれた。
その芥川さえこう言っている。
「だが芭蕉の奥に何があるのだろう」。
しかし私は、芭蕉の奥に入ってこそ
「創造」というものがわかってくるとおもっているのである。
情緒という大河を越えなければそこへは行けない。
564: 10/18(土)06:37 ID:UZd/kLWF(1) AAS
被団協がノーベル賞を受賞したことの意味も
この辺にあるだろう
565: 10/20(月)12:22 ID:WcRJ4c2d(1) AAS
芭蕉、漱石、寅彦、潔
これは一つの系譜
566: 10/21(火)05:55 ID:2cRukrCS(1) AAS
寅彦、宇吉郎、岡潔
そして反知性へ
567: 10/22(水)07:04 ID:RXargLYq(1) AAS
連接層、乗数イデアル、そして
多様体論に特化した特殊乗数イデアルへ
568(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 10/28(火)08:09 ID:64ftXvyA(1) AAS
これいいね
外部ﾘﾝｸ:xenospectrum.com
AIが人間を超えた日：AIが考案した新手法でアルゴリズムが5倍高速化。科学研究の未来はどう変わるのか？
投稿者： Y Kobayashi
2025年10月25日
AIの進化は頭打ちではないのかも知れない。カリフォルニア大学バークレー校（UC Berkeley）の研究チームが発表した論文は、それを如実に語る物だ。彼らはAIが自らの判断でコードを書き換え、人間が設計した最先端のアルゴリズムを凌駕する、そんなかつてSFの世界で語られた未来の姿が、現実のものとなりつつあることを冷徹なデータと共に突きつけたのだ。
バークレーから届いた「静かな衝撃」
省6
569: 10/28(火)11:36 ID:bJE612jE(1) AAS
>>568
AIに負けて焼かれて食われる
カラスの◆yH25M02vWFhP
ああ、おもしれぇｗ
570(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 10/30(木)11:21 ID:FHwV7+G6(1/2) AAS
下記いいね
だけど、日本企業では その道数十年の 名人・神様と呼ばれる 職人気質・職人芸の人がいる
伝統芸能に代表される人たち
老舗の企業に多い
つまり、その企業独特の 他がまねできない 他の追随を許さない製品を支える人たちがいる
そういう人は、企業が意図して ”人を「育てる」”をやらないと 他の仕事のキャリアでは 埋められない
その一つに、気象庁の天気予報があるだろう
省21
571(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 10/30(木)13:41 ID:FHwV7+G6(2/2) AAS
ちょっと面白い
外部ﾘﾝｸ:www.nikkei.com
東大と香港中文大、量子情報の未解決問題「一般化量子Steinの補題」を証明
2025年10月29日 日経
【プレスリリース】20251029
量子情報の未解決問題「一般化量子Steinの補題」を証明
――量子リソースの最適な変換効率に関する普遍的法則を定式化―
省17
572: 死狂幻調教大師S.A.D.@月と六ベンツ 10/30(木)14:40 ID:KZY/8IBt(1/16) AAS
量子の責任なんて取らないほうが良い。リハビリは競争ではないな。
573: 死狂幻調教大師S.A.D.@月と六ベンツ 10/30(木)14:41 ID:KZY/8IBt(2/16) AAS
契約をうまくまとめないと。
574: 死狂幻調教大師S.A.D.@月と六ベンツ 10/30(木)14:42 ID:KZY/8IBt(3/16) AAS
保険会社がやってると思うな。
575: 死狂幻調教大師S.A.D.@月と六ベンツ 10/30(木)14:43 ID:KZY/8IBt(4/16) AAS
物理は部落だから捨てろ。
576: 死狂幻調教大師S.A.D.@月と六ベンツ 10/30(木)14:44 ID:KZY/8IBt(5/16) AAS
80年代に量子力学ができて解決可能となってる。
上下前次1-新書関写板覧索設栞歴
あと 91 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.018s