22/08/11 12:14:35.80 dyOYLkht.net
>>48
Hujihiroとは何式のローマ字だ
Huzihiroではないのか
51:１３２人目の素数さん
22/08/11 13:14:52.73 r7xnAndk.net
>>49
それが正しいかもしれない。
しかし藤木のクラスCはFujiki's class C
52:１３２人目の素数さん
22/08/11 13:20:12.40 r7xnAndk.net
小島はmathscinetでは皆kojima
53:１３２人目の素数さん
22/08/12 17:05:41.18 9bI6xvgK.net
URLﾘﾝｸ(www.nikkei.com)
GitHubのCEO、ソフト開発「AIと二人三脚で」
テックの未来
ネット・IT
2022年8月5日 2:00 [有料会員限定]
ソフトウエア開発を人工知能（AI）で支える動きが広がっている。ソースコードの共有サイトで知られる米ギットハブはAIが文脈を理解してコードを提案するサービスを公開した。トーマス・ドムケ最高経営責任者（CEO）は「開発者はより創造的な仕事に集中できる」と話す。車などあらゆる分野でソフトの役割が増すなか、AIとの二人三脚が加速する。
ギットハブは6月下旬に開発支援サービス「コパイロット（Copilot... 残り829文字
54:１３２人目の素数さん
22/08/12 17:07:47.52 9bI6xvgK.net
>>49
>Hujihiroとは何式のローマ字だ
>Huzihiroではないのか
ありがと
55:１３２人目の素数さん
22/08/12 17:09:03.03 9bI6xvgK.net
>>48
>FujihiroではなくHujihiro
>にしたのは父親がGentaroだったから。
こっちも
ありがと
56:１３２人目の素数さん
22/08/12 17:17:29.65 atCtQJeO.net
Huzihiro Araki is cited 1662 times by 966 authors
57:１３２人目の素数さん
22/08/13 10:36:29.44 d42KNd2H.net
>>55
ありがと
58:１３２人目の素数さん
22/08/14 18:15:34.55 j73gwVtw.net
旧聞ですが
まあ、こういう時代だってことね
URLﾘﾝｸ(www.youtube.com)
“魔術師”のように数式を発見する「ラマヌジャン・マシン」【橋本幸治の理系通信】（2021年2月9日）
666,645 回視聴 2021/02/09 興味深いサイエンスニュースをお伝えする理系通信。
今回の
59:テーマは「数学の魔術師」です。 イスラエルの研究チームが開発したあるAI＝人工知能に関する論文が、 最も権威ある学術誌「ネイチャー」に掲載されました。 そのAIの名は「ラマヌジャン・マシン」。 ラマヌジャンは、２０世紀初頭に活躍した「魔術師」とも呼ばれる数学者で、 独創的な公式や定理を、次々と生み出したことで知られています。 そんなラマヌジャンのように、AIが新たな数式を発見していくといいます。 AI「ラマヌジャン・マシン」はどんな数式を生み出すのか？ そしてそのAIの仕組みとは？ 解説します。 ※引用元 ●論文：Nature（オープンアクセスはAbstractのみ） Gal Raayoni et al. (2021) Generating conjectures on fundamental constants with the Ramanujan Machine https://www.nature.com/articles/s4158... テレ東BIZ チャンネル登録者数 155万人 乗太郎巾 1 年前 タクシー数を即答できた理由がフェルマーの最終定理を1だけずらした場合(x^n+y^n=z^n+1)について研究していたからで、その研究ノートが発見されたら当時の整数論を20年先取りした中身だったとかいうマジキチエピソードだいすき
60:１３２人目の素数さん
22/08/15 09:49:47.57 eId8lOJ4.net
>>57
>>タクシー数を即答できた理由がフェルマーの最終定理を1だけずらした場合
>>(x^n+y^n=z^n+1)について研究していたからで、その研究ノートが発見されたら>>当時の整数論を20年先取りした中身だった
旧聞というからには、
1．なぜz^nをz^n+1に代えた問題に興味が向いたのか
2．20年後の整数論のどの結果がその研究ノートで予告されていたのか
これらの点について突っ込んだ説明が欲しい。
61:１３２人目の素数さん
22/08/16 09:48:05.35 s4S94ApO.net
1729
62:１３２人目の素数さん
[ここ壊れてます] .net
1728=j(i)
63:１３２人目の素数さん
22/08/17 06:58:30.28 5BeU0YZw.net
これ面白い
URLﾘﾝｸ(en.wikipedia.org)
リシャット構造
Guelb er Richât
URLﾘﾝｸ(en.wikipedia.org)
リシャット構造の衛星写真（偽色）
URLﾘﾝｸ(upload.wikimedia.org)
Guelb el Richat の地形図。メートル単位の標高。等高線間隔 10m、主等高線は 50m 毎
URLﾘﾝｸ(www.chizukokato.com)
モーリタニア 砂漠を旅する No.７ Chizuko Kato
「サハラの目」：ゲルブ・エル・リシャット（Guelb er Richat）- ③
宇宙からは瞳に見える同心円状の丘陵群が遠く霞む。
約９９００万年前の白亜紀の時代、ゲルブ・リシャットは、大量の熱水を伴うマグマの上昇を引き起こした非常にまれな巨大火山活動から生まれ、巨大なドームを形成した。
その後、水は割れ目に徐々に浸透することにより石灰岩の層を溶解し、長くゆっくりと、ドームは崩壊していく。
更に、長年の侵食や風化によって柔らかい岩石部分が削られ、今日、サハラの目として知られる円形構造になった。
この構造の層を主に構成するのは古生代（５億４１００万- 約２億５１９０万年前）の珪岩（quartzite クォーツァイト）で、
ほぼ石英からなる硬い岩石。
NASAの衛星写真では青く見えている。
URLﾘﾝｸ(www.nasa.gov)
似た構造物はマリ、チャド、アルジェリアにも存在するらしいが、これほど壮観ではないようだ。
白亜紀は大陸が大きく移動する時代で、火山活動も活発だった。
ただし、ゲルブ・リシャットについては、溶岩は地表には達していない。
ドーム形成で止まった。
深さの異なるマグマの上昇により、ゲルブ・リシャットには珍しい石が多く存在する。
これがまた、私を「サハラの目」に誘う。
64:１３２人目の素数さん
22/08/17 07:22:34.07 5BeU0YZw.net
>>58
ありがとう
>旧聞というからには、
旧聞と書いた意図は、>>57の記事が”2021年”と昨年の年月日だってことです
それだけです
65:１３２人目の素数さん
22/08/17 07:29:43.95 5BeU0YZw.net
>>59-60
ありがとう
> 1729
> 1728=j(i)
なるほど、そう来たか
URLﾘﾝｸ(ja.wikipedia.org)
j-不変量
複素変数 τ の函数であるフェリックス・クラインの j-不変量 (j-invariant)（もしくはj-函数）
1728=j(i)
jの有理函数はモジュラーであり、実際にすべてのモジュラー函数を与える。古典的には、j-不変量は C 上の楕円曲線のパラメータ化として研究されていたが、驚くべきことに、モンスター群の対称性との関係を持っている（この関係はモンストラス・ムーンシャインと呼ばれる）。
URLﾘﾝｸ(ja.wikipedia.org)
モンストラス・ムーンシャイン
66:１３２人目の素数さん
22/08/17 07:40:35.14 eXOjTMj2.net
>>61
君、つまらない
コピペ小僧は黙ってね
67:１３２人目の素数さん
22/08/17 08:33:35.52 cFxZ6HMo.net
>>63
#{(x,y,u,v)\inN^4:x>u, x^3+y^3=u^3+v^3}=\infty ?
>>64
どう？
68:１３２人目の素数さん
22/08/17 09:04:21.77 M7UPJV73.net
65
訂正
x>u ---> x>yかつx>u
69:１３２人目の素数さん
22/08/17 09:06:44.52 M7UPJV73.net
再訂正
x>yかつx>u ----->
x>y,u>vかつx>u
70:１３２人目の素数さん
22/08/18 07:50:52.24 1qkLdMS4.net
1729=1000+729=1+1728
71:１３２人目の素数さん
22/08/18 14:46:34.83 Rllt0Sxq.net
x^3+y^3+u^3+v^3=0からx+u=0を除いた残りが
小林双曲的かどうかなんてどうなんだろう？
72:１３２人目の素数さん
22/08/18 22:30:06.72 1qkLdMS4.net
数論に動機づけられた値分布論の問題
RIMSの共同研究のタイトルにあってもよさそう
73:１３２人目の素数さん
22/08/19 13:16:54.61 ot177Qj4.net
整数解を持たない不定方程式を「微小変形」することにより
整数解が有限個しかない方程式を作る一般論はありますか？
74:１３２人目の素数さん
22/08/19 14:04:56.96 Y4N/rDN/.net
素人妄想コピペ専獣スレ主に聞いても噸でも無い解答を素人流に尤もらしく御高説されるだけだから損なだけじゃ､
スレ一覧と睨めっ子して然るべき所で聞け、だがもう2ch時代に居た場違いな人との遭遇率は1/255を下回っとる｡
伝手コネが無く学術系SNSと無縁でも、まだQuaraとかで聞いた方が良かろう｡
急ぎの用なら諦めるべし。Yahoo!知恵袋を見ても分かる様に拙速なベストアンサー選びは大恥と大損に成るだけ｡
意見が集まっても鵜呑みにせず考証してからでないと誤解説者（故
75:意犯も居るが頑迷かつ不治な不意犯も居る）に マンマと騙されるし、何よりアンタ自信の血肉どころか付け焼き刃にさえ成らない恥掻き傀儡にさせられる｡ フィクションドラマで描かれる理不尽不正は現実に数多存在する｡ だからこそ常にパワーバランスも治安も崩す極端な身分ピラミッドが形成されていく｡
76:１３２人目の素数さん
22/08/19 14:50:14.39 Y4N/rDN/.net
金融モデルか商業モデルか離散理工学モデルか、何か研究しとるんか？口外禁止ならむしろ伏せて貰って構わんが｡
CPUは理論的に自然対数の底e進法が最高効率で整数最高効率は最寄り整数3進法が整数最高効率じゃが
実現効率と運用効率から現実的な整数最高効率は準最寄り整数の2進法が圧倒的首位且つ一択である事は知っとろう｡
ドナルドクヌースに『恐らく最も美しい記数法』と推測された平衡3進法（標準3進法0,1,2とは異なる-1,0,1）も
補数表現を備えた2進法に取って代わる優位性も原理的に無いばかりか、むしろ補数表現を備えた2進法の完全下位互換性能｡
仮に補数表現の発見が後代に成ったパラレルワールド（悪口に成るがトンマ）が在ったとして
補数表現が発見されたら平衡3進法は駆逐され補数表現を備えた2進法に採って代わられる事は
インフラ事由やパテント事由が生じたとしても自明な程の大差｡
77:１３２人目の素数さん
22/08/19 17:43:18.03 ot177Qj4.net
「それは3乗数の和として二通りに表せる最小の数です」
というラマヌジャンの答えは
3乗数の和として二通りに表せる数が無限個あることも
研究済みであることを意味すると考えるのが自然で
ハーディーほどの数学者であれば当然そのことに気づいて
論文のどこかでそれに触れていてもおかしくない。
78:１３２人目の素数さん
22/08/19 23:15:32.59 GyU1h5Bp.net
x^n+y^n=z^nを変形するなら
x^n+y^n=z^{n+1}よりも
x~n+y^n=u^n+v^nの方が自然ではないか？
79:１３２人目の素数さん
22/08/22 18:23:09.55 2W3R5HWZ.net
AIを使った物理現象の解析
”50万件を超える衝突実験の結果や理論値との比較が行われました”だからね
そういう時代になったってことだね
URLﾘﾝｸ(nazology.net)
陽子に新たな素粒子が含まれている可能性が浮上！教科書に書き直し必須か？
ナゾロジー 2022.08.20
国際的な研究組織「NNPDFコラボレーション」によって行われた研究によって、陽子の内在的な因子として、新たにチャームクォークと反チャームクォークのペアが含まれる可能性が明らかになりました。
これまで物理の教科書には「陽子は2個のアップクォークと、1個のダウンクォークが結合したものである」と書かれていましたが、これからは、さらにチャームクォークと反チャームクォークのペアを加えて記入する必要があるかもしれません。
研究内容の詳細は2022年8月17日に『Nature』にて掲載されています。
今回、NNPDFコラボレーションの研究者たちは、膨大な観測データの分析や複雑な判別を人工知能（ニューラルネット）を用いて分析することにしました。
実験に当たってはまず、実際に存在するかどうかを気にせず、あらゆるクォークによって構成される、仮想の陽子が想定され、実際に行われた50万件を超える衝突実験の結果や理論値との比較が行われました。
条件に縛られない学習を行うことで、人間の物理学者が思いつかないモデルを生成したり、人間の偏った測定の可能性を減らすことが可能になります。
人工知能が物理学を切り開く
今回の研究により、宇宙で最もありふれた存在である陽子にはチャームクォークと反チャームクォークが存在する可能性が、ニューラルネットを用いて示されました。
無数の異なる実験条件と観測結果を学習することでニューラルネットは、陽子の内部に内在的なチャームクォークがある場合とない場合では、ある場合のほうが妥当性が高いと判断したのです。
また分析結果をもとに結論の強固さを調べたところ、陽子に内在的なチャームクォークが存在する可能性は99.7%の確かさ（3σ）と算出されました。
類似の人工知能を用いた研究はヒッグス粒子の発見にも役立てられた業績があり、今後の物理学において人工知能による導きは重要となっていくでしょう。
80:１３２人目の素数さん
22/08/23 08:22:44.36 peFCF0Ca.net
トップクォークのトップニュース
81:１３２人目の素数さん
22/08/24 07:46:33.22 KNdtuvQm.net
これ、書店で見かけた
よさげだった（内容は高校数学をちょっと超え）
URLﾘﾝｸ(www.tokyo-tosho.co.jp)
東京図書 2022年7月
高校数学で学ぶディープラーニング 竹内 淳 著
内容紹介
◎ディープラーニングや画像認識をはじめて学ぶ人のための入門書。
「人工知能」や「AI」そして「ディープラーニング」などの言葉をよく耳にするようになりました。また、人工知能が自動運転に使われたり、健康状態の画像診断に使われているというニュースもよく耳にします。この人工知能の発展を支えているのが「ディープラーニング」と呼ばれる技術です。
本書は、ディープラーニングや画像認識を、はじめて学ぶ人のための入門書です。
「自分自身の頭脳と手を使って、ディープラーニングを実際に体験し、操作してみたい！」
そんな方のための、
①ディープラーニングの学問的な体系を学習し、
②Pythonでのプログラミングを体験し、
③自らニューラルネットワークを操れるようになり、
④画像認識のための基礎的なニューラルネットワークの構築も挑戦する、
最短コースの本です。
「Pythonをはじめて使う」「プログラミングがはじめて」という方も、ぜひどうぞ！
本書に掲載されたプログラムのダウンロードデータはこちらです。URLﾘﾝｸ(www.tokyo-tosho.co.jp)
目次
はじめに
第1章 神経の模倣
―学習する機械のモデルは何?―
第2章 画像認識への第一歩
―手計算とプログラムによるパラメーターの決定―
第3章 勾配降下法と合成関数の微分
―パラメーターをいかにして最適化するか―
第4章 誤差逆伝播法
―隠れ層のパラメーターの最適化とは―
第5章 ディープラーニングの実践
―さっそく操ってみよう！―
第6章 ニューラルネットワークのモデルの改良
―もっと使いやすく！ もっと便利に！―
第7章 畳み込みニューラルネットワーク
―謎の言葉「畳み込み」？―
第8章 リカレントニューラルネットワーク
―リカレントって何？―
補章 高校数学の補強編
82:１３２人目の素数さん
[ここ壊れてます] .net
sage
83:１３２人目の素数さん
[ここ壊れてます] .net
>>77
ありがとう
https://高エネ研/ja/essay/202203281600/
【KEK essay59(最終回)】私の30年間に分かったこと、分からないこと
2022/03/30
私がKEKで素粒子物理の研究を始めて、30年以上たちました。この間、次々と大きな謎の解明があった一方で、いっそう広大で深遠な謎も誕生しています。あえて言わせていただければ、現在、世界の研究者が協力して進めたいと考えている電子・陽電子衝突実験・国際リニアコライダー （ILC）実験などによる素粒子分野での新たな発見がなければ社会の大変革はありません。なぜなら、この分野での新たな知見は、科学全般にわたってその根幹を変える可能性があるからです。物理学の研究は、「大自然の理解」というブロックを一つひとつ積み
84:重ね、壮大な建造物を構築していく作業だと思います。これからも、そんなブロックをひとつでもいいから積み上げる作業に貢献できればいいなと思います。 （素粒子核物理学研究所 藤本順平） 私が最初に取り組んだのは、電子と陽電子の衝突型円形加速器実験「トリスタン実験」でした。円周上の４つの衝突点があり、そのひとつのTOPAZ（トパーズ実験）グループで研究を始めました。小林・益川理論が予測した６つ目のクォーク（物質を構成する最小の素粒子の一種）のトップクォークがまだ実験的に確認されていなかったので、そのトップクォークの存在を直接検証することが実験の目的でした。
85:１３２人目の素数さん
22/08/24 11:38:31.68 BLL0rG2q.net
これ面白い
URLﾘﾝｸ(style.nikkei.com)
灘の神童、大人になってコンビ起業 ネットで教育事業
2022/8/21
キャリアコラム
「神童の楽園」と呼ばれる全国トップ級の進学校、灘中学・高校（神戸市）。同級生だった前田智大さんと趙慶祐さんは、米マサチューセッツ工科大学（MIT）、東京大学と別々の大学に進学したが、24歳の時に一緒に起業、2021年に小中学生向けのオンライン学習サービス「スコラボ」を開始した。灘時代の仲間を次々巻き込み、ネット上に未来人材の学び場を創ろうとしている。
灘66回生から起業家続々、謎のテフくんも
「だまされているのや。起業なんて98％不幸になる」
20年夏、趙さんは、父親に同級生と起業する意思を伝えたら、反対された。父親は中国から関西の大学に留学、日本の企業で活躍してきた苦労人。当初、趙さんは外資系のコンサルティング会社に内定したと告げていたので、怒るのは当然だ。
灘の卒業生は、医師や研究者、官僚、弁護士、コンサルになる人たちが多い。中でも最大の主流派は医師。東大理科三類や京都大学医学部など国公立大学医学部医学科に3人に1人が進学し、灘OBは医学界の一大派閥を形成している。
しかし、趙さんは「僕ら66回生は変わっていました。医学部に進学する生徒が割と少なく、起業家などになる個性派が多かった。中でも友人のTehu（テフ）くんは異彩を放ち、メディアにも注目されていた」という。テフさんも中国系でITの天才児と言われた。「いまだに謎の男、起業家かフリーランスか分からないけど、複数の企業のCXOをやっているみたい」と趙さんは話す。
86:１３２人目の素数さん
[ここ壊れてます] .net
このスレの>>1の集合Aはディープラーニングしない、むしろシャローラーニング
不連続、飛躍、出鱈目、いい加減、当てずっぽう
87:１３２人目の素数さん
22/08/26 10:36:59.52 WY3FvZQG.net
ありがと
88:１３２人目の素数さん
22/08/26 10:37:17.06 WY3FvZQG.net
これ面白い
URLﾘﾝｸ(nazology.net)
ナゾロジー
AIの個別指導を受けた新人がベテランより高い成績を出す！
2022.08.24
川勝康弘 海沼 賢
AI教師が驚くべき結果を出しました。
米国の国防高等研究計画局（DARPA）で行われた研究によれば、AI教師による個別指導が米国海軍の新人に対して行うIT技術教育に、非常に高い成果を上げていることが示されました。
AI教師による個別指導を4カ月間受けた生徒は、人間教師による教室授業を受けた生徒の2倍、5年間の実務経験があるベテラン職員の1.4倍も高い問題解決能力をテストで収めたのです。
テスト内容にもよりますが、IT技術を学び始めて4カ月しか経過していない新人が5年以上の実務経験があるプロを超える知識とスキルを身に着けているという結果は、非常に驚くべきことだと言えるでしょう。
目次
学習には個別指導という聖杯がある
AI教師は個別指導のように生徒の実力を常に測定している
AI教師を使った学習はフロー状態を発生させる
89:１３２人目の素数さん
22/08/27 20:59:29.74 Tu/b2oo6.net
理論を作る孤高の人、その結果をちゃっかりと使って
応用するだけで世間にアピールする人。
前者が偉大な数学者で、後者はパクリ屋だ。
そういうイメージが数学界にはあるからな。
90:１３２人目の素数さん
[ここ壊れてます] .net
>>85
そのイメージ
日本の数学j社会に特有じゃね？
望月三億円受賞
「ブレイクスルー賞」数学部門
単に数学内の評価でなく
物理などへの応用があることが、３億円の価値と評価されてない？
そして、物理などから、刺激を受けて
数学を深める
そういう相互作用が
いまの世界の数学の潮流では？
URLﾘﾝｸ(www.youtube.com)
賞金3.3億円…「ブレイクスルー賞」数学部門を京大・望月拓郎教授が受賞 「柏原予想」を証明
396,008 回視聴 2021/09/10 賞金約3億3000万円が贈られる国際的な科学賞の数学部門を、日本人で初めて京都大学の教授が受賞しました。
京都大学の望月拓郎教授は、微分方程式に関する難問「柏原予想」を、解析学と幾何学の手法を組み合わせて証明しました。
これが国際的な科学の発展に大きく貢献したと評価され、「ブレイクスルー賞」の数学部門を、日本人で初めて受賞しました。
ブレイクスルー賞は、グーグルの創業者などが出資してできた国際的な科学賞で、賞金額の高さでも知られ、約3億3000万円が贈られます。
また、基礎物理学部門では、東京大学の香取秀俊教授が受賞しています。
カンテレ「報道ランナー」2021年9月10日放送
91:１３２人目の素数さん
[ここ壊れてます] .net
>>86
>そして、物理などから、刺激を受けて
>数学を深める
>そういう相互作用が
>いまの世界の数学の潮流では？
次期国際数学連合総裁に就任予定の中島啓の仕事が、
ちょうどそんな感じ
それに対する評価が、世界的には高いと思う。
国内は知らないが
なお、Vafa-Wittenの仕事[V-W]の両名とも、物理学者です
URLﾘﾝｸ(ja.wikipedia.org)
中島啓（1962年11月30日-）は、日本の数学者。カブリ数物連携宇宙研究機構教授[1]。元京都大学数理解析研究所名誉教授[2]・特任教授[3]。専門は表現論、複素幾何学。
2023年国際数学連合総裁に就任予定[4][5]。
業績に箙多様体の構成、柏原予想の部分的解決、対称カルタン行列のカッツ・ムーディー代数、ADHM法のALEへの拡張、ヒルベルトスキームのホモロジー群のハイゼンベルク代数の表現論、ルスティック予想の解決、ネクラソフ予想の解決等がある。
URLﾘﾝｸ(www.jstage.jst.go.jp)
数学
中島啓氏の業績
-特殊単調体の幾何学と表現論との交叉太田啓史
(2000年6月13日提出)
1980年代半ば過ぎ
中島さんはUhlenbeckによる4次元Yang-Mills接続の特異点除去可能定理[U]を,高次元に拡張されたりしていた[N1].
これは,現在においては最近の
弦理論の影響を受けてゲージ理論の高次元化を試みる際の,一つの先駆的な仕事と評価されている.
6.ヒルベルトスキーム.
それだけでは,まだ何のことやらさっぱりわ
92:からなかった ので,更にいくつか質問をしたところ,Vafa-Wittenの仕事[V-W]があることを教えて頂いた. (この辺の事情については[N7].)これには,またまた驚いてしまった.平たく言えば,4次元多様 体の上のインスタントンのモジユライ(ベクトル束のモジユライ)空間のポアンカレ多項式の母関数 が保型性を持つ,というのである.これは,物理でのS-dualityと呼ばれるものの帰結らしく, Vafa-Wittenの論文をみると,ALE空間の場合の中島さんの結果を用いて,彼らはその主張を検証しているのである. 7.えびら多様体. 詳しい定義などは,御自身による解説[N9]をみて 頂くことにして,大体は次のようにしてquiverから構成される多様体のことである.
93:１３２人目の素数さん
22/08/28 15:25:19.59 l7nLkzjF.net
また、怪獣エビラがコピペで暴れてるなｗ
94:１３２人目の素数さん
22/08/28 17:20:36.18 fX71s95Q.net
怪獣エビラ（ナカジマ）に、嫉妬してやんのｗ
95:１３２人目の素数さん
22/08/28 18:18:18.12 l7nLkzjF.net
おまえ、ナカジマちゃうやろ イソノｗ
96:１３２人目の素数さん
22/08/28 20:07:53.09 fX71s95Q.net
怪獣エビラの定義を述べよ！ｗ
おれの定義は、怪獣エビラ＝ナカジマ だｗ
97:１３２人目の素数さん
22/08/29 06:43:37.13 n5OXCDUN.net
おれの定義は
怪獣エビラ＝ナカジマの友人と称するイソノカツオとかいうオチコボレｗ
オヤジの波平にどやされろ 「ばっかもーん！！！」ってなｗ
98:１３２人目の素数さん
22/09/05 11:56:34.24 ZSMOWgZk.net
これ面白い
URLﾘﾝｸ(www.nikkei.com)
恐竜滅亡に第2の小惑星衝突が関与か 西アフリカに痕跡 日経
ナショナルジオグラフィック
2022年9月5日 5:00
文=Maya Wei-Haas/訳=三枝小夜子（ナショナル ジオグラフィック日本版サイトで2022年8月19日公開）
今から約6600万年前、地球上の生命の歩みは永遠に変わってしまった。メキシコのユカタン半島の海岸に直径10キロメートルの小惑星が激突したからだ。
大津波が押し寄せ、大地は燃え広がり、岩石の蒸発によって放出されたガスは気候を激しく変動させた。これらの天変地異により、ほとんどの恐竜（非鳥類型の恐竜）を含む全生物種の約75%が絶滅した。
ところが、小惑星の衝突はこれだけではなかったのかもしれない。西アフリカの海岸の砂の層の下に、別の小惑星が衝突した証拠らしきものが隠されていたのだ。
8月17日付けの科学誌「Science Advances」に発表された研究によると、海底の地震探査を行っていた科学者たちが直径8.5キロメートルのクレーターらしき構造物を発見したという。
近くの海底火山にちなんで「ナディール」と名付けられたこのクレーターは、直径400メートル以上の小惑星の衝突によって形成されたと考えられ、その形成時期はメキシコ、ユカタン半島の「チクシュルーブ・クレーター」と同時期である可能性がある。
つづく
99:１３２人目の素数さん
22/09/05 11:57:05.76 ZSMOWgZk.net
>>93
つづき
衝撃の発見
多くの発見がそうであるように、今回の新しいクレーターも偶然に発見された。英ヘリオット・ワット大学の地質学者ウィスディン・ニコルソン氏は、今から約1億年前に南米大陸がアフリカ大陸から分離した過程を再構築することに興味を持っていた。
その手がかりを得るため、ニコルソン氏は企業の協力を得て地震データを取得し、南米大陸とアフリカ大陸の間の海底の特徴を調べた。地震波が地中でどのように跳ね返るかを追跡することで、地中の様子が分かるのだ。分析を始めるとすぐに、ニコルソン氏は奇妙なものに気づいた。
ワンツーパンチだった？
彗星や小惑星の破片がクラスター的にまとまって衝突する現象は、地球でも他の天体でも知られている。例えば、アンダーソン氏が住んでいる米中西部の近くには、約4億6000万年前にできた3つのクレーターがある。これらはオルドビス紀に相次いだ小惑星衝突の一部で、科学者たちは、小惑星帯で大規模な衝突が起きた結果、多くの隕石が数百万年にわたって地球に降り注いでいたのかもしれないと考えている。
(引用終り)
以上
100:１３２人目の素数さん
22/09/05 13:26:37.41 ZSMOWgZk.net
>>94 関連
シューメーカー・レヴィ彗星、木星衝突
あれは、20連発だったみたい
木星に衝突するのではないかと最初に予測したのは、日本の天文家・中野主一さんだった
URLﾘﾝｸ(news.yahoo.co.jp)
シューメーカー・レヴィ彗星、木星衝突から20年
2014/7/18(金)
1994年7月にシューメーカー・レヴィ彗星が木星に衝突してから20年が経ちました。20個あまりに分裂した彗星核が木星に衝突していく様子とそれが残した巨大な衝突痕は、当時マスコミでも大きくとりあげられ、多くの天文ファンの記憶に残っています。
シューメーカー・レヴィ彗星は、1993年3月24日にアメリカのパロマ山天文台でレヴィさんとシューメーカーさん夫妻が発見。木星に衝突するのではないかと最初に予測したのは、日本の天文家・中野主一さんでした。
太陽系最大の惑星である木星に、彗星のかけらがぶつかったところで大きな変化はないのでは？ という予測もありました。
しかし、多くの望遠鏡や探査機の目が注がれるなか、1994年7月16日から22日にかけて次々と木星の表面に衝突してみると、その衝突痕はアマチュア用の天体望遠鏡でもよくわかるほど大規模なものだったのです。これは、世界中の研究者や天文ファンに大きな衝撃を与えました。
そもそもこの彗星が20個以上にも分裂したのは、1992年7月に木星に接近した際に、木星の強い重力とその反対方向にかかる力（潮汐作用）によって引き裂かれてばらばらになったと考えられています。
この出来事から分かるのは、木星は、地球に近づいて衝突するおそれのある彗星などの小天体をブロックし、守ってくれる役割があるということです。また、巨大な天体衝突が現実に起こりえることだということを私たちに気づかせ、地球に近づく天体の監視強化を推し進めるきっかけともなりました。
URLﾘﾝｸ(stsci-opo.org)
[写真]木星衝突の約2か月前に撮影された、分裂した彗星の様子（提供：Dr. Hal Weaver and T. Ed Smith (STScI)， and NASA）
101:１３２人目の素数さん
22/09/05 13:30:58.92 8x2F1zwY.net
今更なんだ。古すぎるよ。
102:１３２人目の素数さん
22/09/06 10:39:57.21 Yyj1RXRr.net
>>96
ありがとう
URLﾘﾝｸ(kotobank.jp)
コトバンク
故きを温ねて新しきを知る
「温故知新」ともいう
103:１３２人目の素数さん
22/09/06 10:45:35.29 Yyj1RXRr.net
>>95 追加
「シューメーカー・レヴィ第9彗星は木星のロッシュ限界内に入り込み分裂したことで有名になった。」
URLﾘﾝｸ(ja.wikipedia.org)
ロッシュ限界（ロッシュげんかい、英語：Roche limit）とは、惑星や衛星が破壊されずにその主星に近づける限界の距離のこと。その内側では主星の潮汐力によって惑星や衛星は破壊されてしまう。
「ロシュ限界」と表記されることもある。フランスの天体力学者であり地球物理学者であったエドゥアール・ロシュが、1848年に理論的に打ち出したため、この名を持つ。
理論
自身の重力のみで形を保っている塊を考える。この塊が伴星として主星の周りを回っている場合、伴星には主星からの潮汐力が働く。潮汐力は2物体間の距離の3乗に反比例するため、主星に近づけば潮汐力は大きくなり、ある限界点において伴星は破壊される。
ロッシュ限界の内側では小天体は成長せず、入ってきた天体は破壊される。シューメーカー・レヴィ第9彗星は木星のロッシュ限界内に入り込み分裂したことで有名になった。
なお、伴星が化学的な結合力など[要追加記述]、重力以外の力で結びついている場合は、ロッシュ限界の内側にあっても破壊されない場合がある。
104:１３２人目の素数さん
[ここ壊れてます] .net
故きを温ねて新しきを知る
にも『“抜かり”の無き』様に』
学びて思わざれば則ち罔し
また『“正しく”逸れぬ』様に
思いて学ばざれば則ち殆し
と成り
盆暗に陥るに止まらず弊害を自らや身内のみならず他人にまで招く
それを指摘されても『他人への弊害クソくらえｗ』が、このスレの>>1の集合Aの生き方
105:１３２人目の素数さん
22/09/06 19:55:11.45 CokzS2EM.net
人を罷め、牡馬と牝鹿の交雑種も罷め、便所虫も罷め、便食虫も罷め、糞散虫と成りし、このスレの>>1の集合A
106:１３２人目の素数さん
22/09/21 20:43:17.32 KGqCTMVw.net
ふーん
加法圏における射の行列表示か
URLﾘﾝｸ(ywatanabevltmathscilogic.)はてなブログ.com/entry/2018/11/29/230155
疑念は探究の動機であり、探究の唯一の目的は信念の確定である。
201811-29
加法圏における射の行列表示について: Conceptual Mathematics Session 26
概要: LawvereとSchauel共著のConceptual Mathematicsのsession 26には加法圏について議論されている。そこでは射の行列表示を定義して、Exercise 1(p.280)の問題はこの行列表示は普通の行列(線形代数で現れる行列)と同じように計算できることを示せというものである。この記事ではこれについて解説する。
要は加法圏においては線形代数のように行列表示をしてもいいということである。この事実は広く知られており、別の教科書にも書かれている。
我々はLawvereの本の通りの記号や定義で行わず、代わりに中岡『圏論の技法』pp.119-136で書かれている記号や定義で行う。
したがって、もしLawvereの本の通りに理解したいならばこの記事を参考に自分で修正されたし。時間があればCMをちゃんと読んでその通りに考えてみるが今回は省略する。
この記事では圏の定義を既知のものとする。知らなければ別の記事でも参照してほしい。
終対象・始対象・積・和
加法圏
ゼロ対象・ゼロ射
プレ加法圏
複積
加法圏の射の行列表示
射の行列表示の掛け算
射の行列の和
射の行列の積
おわりに
107:１３２人目の素数さん
22/09/23 20:54:03.37 Fm65WMwd.net
P(x�
108:j＝0が整数解を持たないときに、ちょっと変型して P(x)＊（ｘ－ｎ）＝0としてやるとｘ＝ｎという解を持つようになるよ。
109:１３２人目の素数さん
22/09/24 18:29:54.23 sY2IMk68.net
>>102
ありがとｗ
110:１３２人目の素数さん
22/09/25 01:04:29.32 adrg4J+e.net
数学の応用を推進するためには、批判はされるだろうが
有用な定理を網羅した辞典のような本があるといいと思う。
つまり、証明は省いたり、あるいは細部は省く（必要ならXXXを観よでもよい）
仮定と結論だけを要領よく正確に書いたものを並べるのだ。
つまり、ある理論なり分野のあらすじ解説のような。
そういうのがあれば、利用しやすくなるだろう。
もちろん仮定と結論だけを要領よく正確に書いたものを並べた
からといっても利用ができるものだとは限らないだろうが。
証明の技巧なり細部に神は宿るという考え方もあるだろうが。
プログラムでライブラリ関数の中がどう書かれているかは問わずに
機能と呼び出し方とエラーコードを知っていれば、ライブラリ関数が
一応使えるというのと同じようなものにするのだ。
そういった、定理なり証明なりの外部仕様をまとめたデータベースが
あれば、人間がそれを自分の目的に沿って検索したり、
あるひはAIがそれらを元にして推論をしたり、
またあるひはAIが自動で解法を編み出したりするのにも
使えるのではないだろうか？
111:１３２人目の素数さん
22/09/27 01:20:08.17 8qgmfQ1c.net
AIに夢見てるやつ多いな
112:１３２人目の素数さん
22/10/02 20:41:59.81 8lkJmRv0.net
ボーマン：HAL、これこれこういう定理が成立するのではないかと思うがどうかね。
HAL:その定理は、nnnn年のXXXXに掲載されているYYYYの補題と、
mmm年のYYYYに掲載されているZZZZの定理を、
jjjjj年のAAAAに掲載されているPPPPの定理と組み合わせれば
簡単に導き出せます。
ボーマン：それでは、別のこういう定理はどうだろうか？
HAL: それには簡単な反例があります。最小の反例は12桁の数で、その値は。。。
そういう時代が来るだろうか？SFか？
113:１３２人目の素数さん
22/10/02 20:55:12.38 8lkJmRv0.net
将来に知的宇宙人の文化にコンタクトがとれて、人類に比べてはるかに進んだ
数学理論の膨大な資料が続々と入手されるようになり、その翻訳も可能になったら、
人類は今後は自身で研究をしなくても、宇宙人からのもらい物の知識の翻訳とその
解説で用がほぼ足りてしまったりするとなれば、自立の精神が失われてしまう
気がする。何かを考えてみても、それはたいてい宇宙では何百万年も前に
発見されて証明済みの公知の事実であるとなったら、研究者としては食っていけなく
なり、宇宙数学の解説者として生きるのがせいぜいということにもなりかねない。
宇宙学問取り調べ所が設立されて、宇宙からの知識の内容を調査して、人類にとって
害がないものだけを地球に取り入れて広めるというような国際機関が設置される
かもしれない。
114:１３２人目の素数さん
[ここ壊れてます] .net
何に興味を持つか自体が独創性だから
いくらでも違う方向の研究は可能さ
他の文明と重なる可能性は低い
115:１３２人目の素数さん
22/10/04 21:05:41.33 0ERx88Wv.net
ここにも、いるよ
URLﾘﾝｸ(texal.jp)
AIを使って、これまで10万もの方程式が必要だった複雑な問題をわずか4つの方程式に圧縮することに成功
TEXAL
サイエンス
2022年9月28日
米国のフラットアイアン研究所（Flatiron Institute）の研究者らは、機械学習ツールを訓練したことで、これまで10万もの方程式を必要とした困難な量子力学的問題を、精度を犠牲にすることなく、わずか4つの方程式で表現することが出来る様になったと発表した。
Source
論文
PHYSICAL REVIEW LETTERS: Deep Learning the Functional Renormalization Group
参考文献
Simons Foundation: Artificial intelligence reduces a 100,000-equation quantum physics problem to only four equations
今回、研究者らが取り扱った問題は、「電子が格子状の格子の上を移動するときにどのような振る舞いをするかというもの」だ。2個の電子が同じ格子上を占めると、相互作用が生じる。ハバード模型と呼ばれるこのモデルは、いくつかの重要な物質群を理想化したもので、電子が抵抗なく物質中を流れる超伝導など、求められている物質の相がどのように生じるかを科学者が学ぶためのものだ。また、このモデルは、より複雑な量子系に新しい手法を適用する前の実験場としての役割も果たしている。
ハバード模型は一見驚くほど単純だ。だが、電子の数がわずかでも、従来の計算手法では、膨大な計算能力を必要とする。なぜなら、電子が相互作用すると、量子もつれを引き起こすからだ。このため、計算に当たっては、一度にすべての電子を扱わなければならない。そして、電子の数が増えれば増えるほど、より多くのもつれが発生し、計算が飛躍的に難しくなる。
最終的に、このプログラムの出力は、たった4つの方程式でもハバード模型の物理を捉えていた。
「これは本質的に、隠れたパターンを発見する力を持った機械なのです。この結果を見たとき、私たちは『これは予想以上だ』と思いました。関連する物理を本当に捉えることができたのです。」と、Di Sante教授は述べている。
116:１３２人目の素数さん
22/10/04 21:11:45.89 0ERx88Wv.net
>>106
ありがと
昔、円周率を手計算で数百桁計算した人がいたそうな
20年くらいかけて
コンピュータで検証すると
500桁くらいまで正しいが、その先700桁までは計算間違いだったとか
いま、数値計算はコンピュータが人より優れていることは明白
さらに、ＡＩで、人間の思考の補助の分野広がっている
10万もの方程式 >>109 一人の人間が扱うなら数十年かかるし
正しいかどうか？ だれも検証できない（IUTがそれに近いかもね）
ＡＩ使えるところは使おうよ、みんな！
117:１３２人目の素数さん
22/10/04 21:13:23.80 0ERx88Wv.net
>>107-108
ありがと
そういう話は
面白いね
118:１３２人目の素数さん
22/10/04 21:40:50.52 exzgAPJm.net
>>110-111
馬鹿は死ね！
119:１３２人目の素数さん
22/10/06 07:21:32.07 9Sqq12HI.net
>>112
そういうことをいう人が、バカじゃね？
120:１３２人目の素数さん
22/10/06 13:28:41.06 clzQAlC7.net
劣等感だから
121:１３２人目の素数さん
22/10/07 06:38:02.31 suV/Vf37.net
「面白いね」←わかりもせずに苦痛に顔歪めて劣等感丸出し発言ｗｗｗｗｗｗｗ
122:１３２人目の素数さん
22/10/07 08:20:41.89 JooN1fem.net
これいい
URLﾘﾝｸ(gigazine.net)
gigazine
2022年10月06日 11
123:時20分サイエンス 最強将棋AIが新境地へ、DeepMindのAI「AlphaTensor」が50年以上停滞していた行列乗算アルゴリズムの改良に成功 囲碁世界チャンピオンを打ち負かしたDeepMind製のAI「AlphaGo」は度重なる機能強化によってチェスや将棋などあらゆるボードゲームへの対応を果たしました。新たに、AlphaGoの系譜を受け継ぐAI「AlphaTensor」が「行列の積を計算する最適な方法を求めるゲーム」に挑み、行列の積を計算する未発見のアルゴリズムを導き出すことに成功しました。 Discovering faster matrix multiplication algorithms with reinforcement learning | Nature https://doi.org/10.1038/s41586-022-05172-4 Discovering novel algorithms with AlphaTensor https://www.deepmind.com/blog/discovering-novel-algorithms-with-alphatensor 今回AlphaTensorが取り組んだ「行列の積を計算するアルゴリズム」は画像処理やゲームのグラフィック処理、天気予報、データの圧縮など日常生活にかかわる多様な分野で用いられています。行列計算を高速化するために多くの企業が計算用ハードウェアの開発や増強に取り組んでいますが、アルゴリズムそのものが効率化されれば行列計算の速度が飛躍的に向上する可能性があります。
124:１３２人目の素数さん
[ここ壊れてます] .net
>>115
>「面白いね」←わかりもせずに苦痛に顔歪めて劣等感丸出し発言ｗｗｗｗｗｗｗ
アホな奴ｗ
数学者が、物理学のノーベル賞について、どこまで理解できるの？
物理学のノーベル賞について、報道するアナウンサーがどこまで理解している
そのアナウンサーの原稿を書くライターが、どこまで理解している
で、今年の物理学のノーベル賞の報道を見たり聞いたりした人が
感心したら、おかしいか？
どの分野でも同じだよ
数学できるやつが、頭が良いという錯覚
その錯覚に囚われているアホが多いかも
この板にはねｗ
125:１３２人目の素数さん
22/10/09 08:56:45.18 EQIZYqFv.net
＞今年の物理学のノーベル賞の報道を見たり聞いたりした人が
＞感心したら、おかしいか？
ああ、おかしいね
わけもわからず感心とか
正真正銘の馬鹿じゃねぇの？
（完）
126:１３２人目の素数さん
22/10/09 17:36:01.13 yhqNfXZG.net
>>118
じゃ、おまえ
全知全能か
まるでバカか
の二択
多分後者で決まりだね
普通は
自分の深い専門分野があって
それを取り巻く教養部分とか常識とかあって
ノーベル賞の物理とか化学とか医学（生物）とかは、普通教養部分なわけだ
で、あんた無教養だねｗ
127:１３２人目の素数さん
22/10/09 17:40:27.36 EQIZYqFv.net
>>119
コイツ、中卒だろｗ
128:１３２人目の素数さん
22/10/10 07:22:09.30 EBzEjr+/.net
>>120
ありがと
無教養さんｗ
129:１３２人目の素数さん
22/10/12 08:38:15.03 bjBC3lg9.net
ならお前は
無収入さん
だ
130:１３２人目の素数さん
22/10/13 09:59:41.97 q/R61KJF.net
自分と一緒にされてもな～ｗ
131:１３２人目の素数さん
22/10/13 11:08:09.22 lJYqKQKg.net
日本には「社内失業者」ってのがあってだな。
セタさんはお金貰ってるから、無収入ではないな。
132:１３２人目の素数さん
22/10/14 22:47:31.63 vJZfsUiI.net
URLﾘﾝｸ(www.mag2.com)
まぐまぐニュース！
働きアリだけでは滅びる。実は「働かないアリ」も必要な理由
ライフ2016.02.24
働きアリの中にニートのような「働かないアリ」がいるって知っていましたか？このアリは一日中ボーッとしているか、身体の手入れをしているそうですが…。メルマガ「生物学博士いいなのぶっちゃけていいっすか？」の著者、生物学博士・いいなさんは、この「働かないアリ」のいる集団の方が長続きするいう意外な事実ついて言及しています。
働きアリだけでは滅びる
北海道大などの研究チームが発表
コロニー（集団）の中に必ず２～３割いる働かない働きアリは、他のアリが疲れて動けなくなったときに代わりに仕事をし、集団の長期存続に不可欠だとの研究成果を、北海道大などの研究チームが１６日、英科学誌「サイエンティフィック・リポーツ」に発表した。
これまでの研究で、働くアリだけのグループを作っても、必ず働かないアリが一定割合現れることが確認されている。
仕事をする上では非効率な存在で、働かないアリがいることが謎だった。
自然界では、働きアリが全て同時に働かなくなると、必要な卵の世話が滞ってそのコロニーが滅びてしまう。
コンピューターシミュレーションで、１コロニー75匹の働きアリが全て同じようによく働き、疲れがたまるペースも一緒のケースと、働き度合いがばらばらのケースを比較。
勤勉なアリだけのケースでは一斉に疲労で動けなくなってコロニーが滅びてしまうのが早く、働かないアリがいる方が長続きする傾向があった。
働きアリは、ちゃんと、仕事の効率を考えて、休憩するときは休憩し、働くときは働く。という二交代制をとっているみたいです。
がむしゃらに働くだけではなく、ちゃんと休養もとっているからこそ、効率よく仕事ができるんです。
これは人間でもそうですね。
133:１３２人目の素数さん
22/11/07 23:49:25.36 lv6Sx2gt.net
これ面白い
URLﾘﾝｸ(www.youtube.com)
リーマン予想と同値な不等式【数式鑑賞会】
式変形チャンネル
チャンネル登録者数 3.51
28,119 回視聴 2019/02/01
考察だけです。高校範囲で理解できる不等式に言い換えられるのは面白いですね。
リック
3 年前
どっちも素数の謎が解けなければ解けない問題になっているんでしょうね
134:１３２人目の素数さん
22/11/10 23:16:30.88 a2T9ZPos.net
>>125
それは如何なる状況に陥っても働きに転じぬ働かぬ一方アリであるお前ことこのスレの>>1の集合Aが興味を持つ話ではない
135:１３２人目の素数さん
22/11/11 14:27:37.86 GYhmUtNz.net
これいいね
URLﾘﾝｸ(business.nikkei.com)
日経ビジネス
機械学習の限界を超えた「深層学習」とは
2022.10.3
西川 徹
Preferred Networks代表取締役最高経
AI（人工知能）スタートアップのトップランナーであるPreferred Networks（プリファードネットワークス、PFN）が“文系”ビジネスパーソン向けに総力を挙げてつくり上げた書籍『AIってそういうことか！ ビジネスの現場で使えるPFN式活用法』（日経BP）。連動企画として、PFN
136:最高経営責任者の西川徹氏による「『深層学習』で進化した“3つの力”」を数回に分けてお届けする。 連載の初回はまず、「AI（人工知能）」がどんなものなのか、なぜ今ここまで注目されているのかを、実例を見ていただきながら説明していきます。まずはその外観をつかみ、イメージを膨らませていただければ幸いです。
137:１３２人目の素数さん
22/11/11 14:30:44.89 GYhmUtNz.net
>>128
これいいね
URLﾘﾝｸ(business.nikkei.com)
日経ビジネス
深層学習が持つ「制御」の力とは
2022.11．10
西川 徹
Preferred Networks代表取締役最高経
深層学習が持つ「3つの力」のうち、「認識」と「生成」については、前回までにお話ししてきました。最終回では3つ目として、ものをコントロールする力、「制御」について説明します。
これまでに何回か、深層学習の強みとして「汎化」する性能が高いことを説明してきました。未知なる状況に対して柔軟に対応できる。実際、現実世界のものを制御していく上では、あらかじめルールで決められたことだけをやればいいというものではありません。
138:１３２人目の素数さん
22/11/11 14:33:56.30 GYhmUtNz.net
>>129
これいいね
URLﾘﾝｸ(business.nikkei.com)
日経ビジネス
AIの「認識」が広げる新たな市場
2022.10．12
西川 徹
Preferred Networks代表取締役最高経
前回に続き、深層学習が持つ“3つの力”の1つ目である「認識」について解説していきます。
自動運転の分野でも物体認識は非常に重要です。こういった分野で重要なのは、まずは認識精度です。認識精度が低くて人やクルマを見つけられなかったり、何もないところを人やクルマだと間違えてしまったりすると、クルマが衝突などの事故を起こしてしまう危険性があります。
こうした認識の精度は既存の手法ではなかなか上げることが難しかったのですが、深層学習を使うことによって、クルマが道を走るときの周りの環境の認識精度が大幅に向上しました。
139:１３２人目の素数さん
22/11/11 14:48:26.19 vuBqCE83.net
箱入り無数目でﾌﾙﾎﾞｯｺされてコピペマシンに戻ったか
140:１３２人目の素数さん
22/11/11 21:49:56.33 nPx3kvqh.net
箱入り無数目関連の『このスレの>>1の集合A（以下、SetA）』の犯ら化し
・根本的誤解
・的外れ誤説
・突外れ誤答
IUTT関連のSetAの誤算ただし当人認識拒否下
・IUTTは実数論との等号原理を成していない
・と言うかそもそもIUTTは特に系3.12が査読信仰派外に対しても示しきれる完全性つまりコンセンサスに達していない
・等号原理構築にしても系3.12補完にしても活動進展無
日吉が、猿魔大王に成る前に猿吉大明神で居る内に主張敗訴を認める可きだ｡
>>日吉
最近のイマジナリーベストレディorイマジナリーベストガールを述べよ｡
141:１３２人目の素数さん
22/11/12 13:31:55.20 nRKohC+j.net
>>126 関連
URLﾘﾝｸ(gigazine.net)
gigazine
2022年11月08日 15時15分サイエンス
職に就けず車上生活も経験した人生ハードモード数学者が「リーマン予想の解決に近づく研究成果」を発表
2022年11月4日に、数学者の張益唐氏が数学の難題「リーマン予想」の解決に役立つ可能性がある研究成果を発表しました。張氏は「少年時代に労働者として働き、教育を受けられなかった」「車上生活しながら就職活動をしていた」といった壮絶な過去を持っており、苦難を経験した数学者の大発見に注目が集まっています。
Discrete mean estimates and the Landau-Siegel zero
URLﾘﾝｸ(doi.org)
nt.number theory - Consequences resulting from Yitang Zhang's latest claimed results on Landau-Siegel zeros - MathOverflow
URLﾘﾝｸ(mathoverflow.net)
After Prime Proof, an Unlikely Star Rises | Quanta Magazine
URLﾘﾝｸ(www.quantamagazine.org)
2022年11月4日に張氏は「シーゲルのゼロ点」に関する定理を未査読論文公開サービスのarXivに投稿しました。この定理は、数学愛好者の間で「リーマン予想の解決につながる可能性のある定理」として話題になっています。
張氏が定理を発表した後、インターネット上には「年老いてから数学に興味を持ち、博士課程の取得に挑戦している私のような高齢者にとって、張氏はヒーローのような存在です」といった張氏の功績をたたえる投稿が数多く寄せられています。
142:１３２人目の素数さん
22/11/12 13:39:24.81 nRKohC+j.net
>>132
>・と言うかそもそもIUTTは特に系3.12が査読信仰派外に対しても示しきれる完全性つまりコンセンサスに達していない
>・等号原理構築にしても系3.12補完にしても活動進展無
Inter-universal geometry と ABC予想 (応援スレ) 68
ｽﾚﾘﾝｸ(math板:158番)
ｽﾚﾘﾝｸ(math板:162番)
ｽﾚﾘﾝｸ(math板:164番)
つまり
活動進展あるよ
143:１３２人目の素数さん
22/11/13 07:22:10.82 Co1SFnp/.net
>>134
おいコラ。何で「活動進展」だけ掻い摘まんで「活動進展してるよ」って言ってるんだコラ｡
それのどこが「系3.12数学的意味補完」活動なんだ？それのどこが「等号原理構築」活動なんだ？
系3.12補完にも等号原理構築にも手を着けねぇまんま身内査読コンセンサス未取得のIUTTを教え回ってるだけじゃねぇか｡
コンセンサスを得る以前に意味の成立を得てないから未取得なの分かってるか？
テメェそもそも進展の意味、分かってんのかコラ？数学に於いて進展と言える為の更新論文は？
いいかコラ？査読通過主張しながらコンセンサス的に意味未成立な事を玉川・加藤にも認められた現状に有るんだから
「数学的進展」と言える為には「更新論文」が挙がる必要が有るんだよ｡
何で更新論文が挙がってるわけでもない「講演と称した布教」ごときで活動進展て言ってんだテメェはコラ？
矢っ張り此れ迄も指摘してきたが流石はリストラ同然待遇下退職以来無職引き籠り野郎､
更新論文も無いのに活動進展なんて言えるなんて、世間知らずのバカガキが「活動進展」だけ掻き摘まんで
講演ごときを活動進展と言い張れる真似をして見せられる『程の事は有る』｡
『程の事は有る』。つまり重症性世間知らず｡
144:１３２人目の素数さん
22/11/13 07:28:41.69 Co1SFnp/.net
あーあ。まーた此のスレの>>1の集合Aは
自ら日吉を猿吉大明神から猿魔大王に成り変わらせて食い破られる物言いをしちまったな｡
つくづく後先を考えた物言いが出来ん奴だな。益々以て重度の世間知らずな馬と鹿の交雑種だな｡
145:１３２人目の素数さん
22/11/13 12:19:50.62 h83IOXQT.net
>>135-136
蕎麦屋さんか？
あんたは、小学校からやり直した方が早いかも
「系3.12数学的意味補完」活動？
それって、関係ないんだよ
根本から、理解できないんだろ？
146:１３２人目の素数さん
22/11/13 13:21:34.51 Co1SFnp/.net
>>137
それが関係ないと言い切れるのは御前が『信仰者』だから｡
つまり御前もまた京都魔界村社会忖度文化に与する者だと言う事｡
147:１３２人目の素数さん
22/11/14 20:21:13.96 dzWu9uQc.net
「２位じゃダメなんですか」
URLﾘﾝｸ(www.yomiuri.co.jp)
148:national/20221112-OYT1T50227/2/ 読売 世界一のスパコン「富岳」、それは「２位じゃダメなんですか」への科学者らの答えだった 2022/11/14
149:１３２人目の素数さん
22/11/14 20:46:03.80 dzWu9uQc.net
>>137
＞「系3.12数学的意味補完」活動？
＜私見だが・・＞
・ショルツェ氏は勘違いしているが、彼は系3.12以前から、望月のIUTを誤解・誤読して、正しく理解できていないだけ
・望月氏は、IUTを用いて、ノイキルヒ・内田の定理類似を、ABC予想に関する楕円曲線の数体に拡張したと見ている
・それは、圏論のモノイドを拡張して、フロベニオイド等々をつくって、絶対ガロア群もどき
（圏論のモノイドなので群論そのものではない？）
から、楕円曲線の数体もどきを作る
・もどきだから、ある程度の誤差がある（望月氏は”不定性”という）
・この望月構成が、あまりに壮大で、当時の時代を超越していたから、
ショルツェ氏は最初から勘違いしていると見ている
・なので、問題は系3.12だけじゃない
・スタートのノイキルヒ・内田からの差分（上積み）をしっかりと
全体の荒筋との関連でI、UTの解説ができていないことが問題と思う
つづく
150:１３２人目の素数さん
22/11/14 20:46:29.81 dzWu9uQc.net
>>140
つづき
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
遠アーベル幾何学
数体とその絶対ガロア群の初期の結果は、アレクサンドル・グロタンディークによる数体の双曲線[1]についての予想に先立ち、ユルゲン・ノイキルヒ、ギュンデュズ・イケダ、岩澤健吉、内田興二（Koji UCHIDA、ノイキルヒ・内田の定理）によって得られていた。
URLﾘﾝｸ(ja.wikipedia.org)
ノイキルヒ・内田の定理（ノイキルヒ・うちだのていり）は、代数体に関するすべての問題は、絶対ガロア群に関する問題に還元できることを示している。ユルゲン・ノイキルヒ（英語版）（1969）は、同じ絶対ガロア群をもつ2つの代数的数体が同型であることを示し、内田興二（1976）は、代数的数体の自己同型がその絶対ガロア群の外部自己同型に対応するというノイキルヒの予想を証明することによってこれを強化した[1]。フロリアン・ポップ（1990、1994）は、素数体上で有限に生成される無限体に結果を拡張した。ノイキルヒ・内田の定理は、遠アーベル幾何学の基本的な結果の1つである。[2] 主なテーマは、これらの代数的基本群(Algebraic fundamental group)が十分に非アーベルである場合、幾何オブジェクトのプロパティを代数的基本群のプロパティに減らすことである。
脚注
2^ “「絶対 Galois 群による数体の復元」星 裕一郎 2014年5月”. 京都大学 数理解析研究所. 20220220閲覧。p.4 「 Neukirch ・ 内田の定理の証明を検証してみると, 関数体の場合, その証明は “単遠アーベル的復元” を与えている」、「NF(Number Field) の場合, その証明は “単遠アーベル的復元” を与えていない、つまり,Neukirch ・ 内田の定理の証明から, 絶対 Galois 群を出発点として元々の NF (Number Field) を群論的に構成する手続きを得ることは (少なくとも直ちには) できないのである」.
(引用終り)
以上
151:１３２人目の素数さん
22/11/14 21:52:43.23 rN0xlW0K.net
>>140
分かってないのはおまえだよ、ニホンザルｗ
系3.12は「エッシャーの階段」
152:１３２人目の素数さん
22/11/15 07:39:58.41 9Sqq12HI.net
>>142
分かってないのはショルツェ氏ですｗ
153:１３２人目の素数さん
22/11/15 07:42:16.16 9Sqq12HI.net
>>140 タイポ訂正
全体の荒筋との関連でI、UTの解説ができていないことが問題と思う
↓
全体の荒筋との関連で、IUTの解説ができていないことが問題と思う
154:１３２人目の素数さん
22/11/15 08:13:11.88 9Sqq12HI.net
>>140
>・それは、圏論のモノイドを拡張して、フロベニオイド等々をつくって、絶対ガロア群もどき
>（圏論のモノイドなので群論そのものではない？）
圏論では、群論よりも広く対称性を議論できるのかもね
下記などご参照
(参考)
URLﾘﾝｸ(www.youtube.com)
エニオンの圏論的対称性と作用素環 第１回
物理で使う数学チャンネル
チャンネル登録者数 1280人
第１回 URLﾘﾝｸ(youtu.be) (この動画)
第２回 URLﾘﾝｸ(youtu.be)
第３回 URLﾘﾝｸ(youtu.be)
第４回 URLﾘﾝｸ(youtu.be)
第５回 URLﾘﾝｸ(youtu.be)
第６回 URLﾘﾝｸ(youtu.be)
第７回 URLﾘﾝｸ(youtu.be)
第８回 URLﾘﾝｸ(youtu.be)
第９回 URLﾘﾝｸ(youtu.be)
日時：2022/10/4
講演者：河東泰之
集中講義web page：URLﾘﾝｸ(www.yukawa.kyoto-u.ac.jp)
要旨 :
近年 2 次元共形場理論や量子統計力学において，エニオンの数学的特性，特にテンソル圏，フュージョン圏を用いた量子的な対称性の研究が注目を浴びている．その数学的な構造を調べる道具である作用素環は，作用素（演算子）のなす代数系として，von Neumann によって導入されたものである．
本講義ではこの種の理論の最近の進展について解説する．量子力学の通常の初歩的な設定に用いる程度の数学だけを予備知識として仮定する.
Jensen Caushy
1 か月前
おー河東先生だ
URLﾘﾝｸ(www.math.nagoya-u.ac.jp)
テンソル圏と対称性
? まぼろしの講義を巡って
Yamagami Shigeru
2021/3/4, Graduate School of Mathematics, Nagoya
P20
対称性とテンソル圏
155:１３２人目の素数さん
22/11/17 22:55:09.83 FtkqB7cT.net
>>140
私見？並の素人よりも物知らず世間知らず訳知らず身の程知らずなお前のお前ごときの、私見？
>>143
良かったな、全資産及び全臓器を担保に主張しなくて
基本、>>1の主張は999‰がハッタリ
156:１３２人目の素数さん
22/11/18 10:28:55.89 jDCm1nUF.net
>>146
蕎麦屋さんか？
どうも、スレ主ですｗ
＞私見？並の素人よりも物知らず世間知らず訳知らず身の程知らずなお前のお前ごときの、私見？
あんたの発言の意味わからんｗ
「私見」の定義を述べてみよｗ
”並の素人よりも物知らず世間知らず訳知らず身の程知らずなお前のお前ごとき”
の条件節が真として
しかし、私見は私見だろうさｗｗ
まあ赤ペン入れれば
「私見？並の素人よりも物知らず世間知らず訳知らず身の程知らずなお前のお前ごときの意見に、価値があるか？」
とでも書けば、
日本語としての
意味は通るだろうね（＾＾
157:１３２人目の素数さん
22/11/18 10:39:19.74 NSR84BFU.net
>>147
アホ🐒は黙れよ
お前の存在が無価値
158:１３２人目の素数さん
22/11/18 18:53:20.67 dIL0eP9/.net
>>8
👶よくねぇよ
159:１３２人目の素数さん
22/11/18 18:58:39.42 iyHbrCzy.net
>>143
確信をもってそう言えるとしたら
すごくえらい
160:１３２人目の素数さん
22/11/19 13:56:51.37 Cj+Rm9/A.net
>>150
どうもありがとう
スレ主です
まず
ｽﾚﾘﾝｸ(math板:16番)
（IUTに対する批判的レビュー）
URLﾘﾝｸ(zbmath.org)
URLﾘﾝｸ(zbmath.org)
Mochizuki, Shinichi
Inter-universal Teichmuller theory. I: Construction of Hodge theaters. (English) Zbl 07317908
Publ. Res. Inst. Math. Sci. 57, No. 1
161:-2, 3-207 (2021). Reviewer: Peter Scholze (Bonn) この中で ”Finally, let me briefly summarize the content of the individual papers. In parts II and III, with the exception of the critical Corollary 3.12, the reader will not find any proof that is longer than a few lines; the typical proof reads “The various assertions of Corollary 2.3 follow immediately from the definitions and the references quoted in the statements of these assertions.”, which is in line with the amount of mathematical content.” とある記述 google訳（一部修正） ”最後に、個々の論文の内容を簡単に要約させてください。パート II と III では、重要な系 3.12 を除いて、読者は数行より長い証明を見つけることができません。典型的な証明は、「系 2.3 のさまざまな主張は、これらの主張のステートメントで引用されている定義と参考文献より従う」と書かれており、数学的内容の量と一致しています。” （数学的内容の量と一致しています→that is longer than a few lines→数学的内容がない と誤解している） つづく
162:１３２人目の素数さん
22/11/19 13:57:08.17 Cj+Rm9/A.net
>>151
つづき
一方、下記
URLﾘﾝｸ(ja.wikipedia.org)
遠アーベル幾何学
^ 単遠アーベル的復元は,“所望の手続きの存在を証明する”ことが目的なのではなく,“所望の手続きを与える”ことが目的である. 例えば, [8],Corollary 1.10, は, その主張を述べるためにおよそ 3 ページが費やされ, しかし, 証明がたったの 2 行で終わってしまうという, 従来の数学では比較的珍しい構成になっている. このような状況が生じる背景には, この “主張の中にその手続きを書くべき” という考えがある. (絶対 Galois 群による数体の復元 星 裕一郎 (京都大学 数理解析研究所) 2014年5月 p.4)
URLﾘﾝｸ(ja.wikipedia.org)
宇宙際タイヒミュラー理論
注釈
”「復元」の操作は一種のアルゴリズムであり、コンピュータのソフトウェアに似ています。IUT論文も、「復元」のアルゴリズムとして、ステートメントは長いが証明は自明という定義や命題を積み重ねていくことによって高度に非自明な構造を作り上げています。”[51]
(引用終り)
上記から、ショルツェ氏は遠アーベルの流儀を、
分かってないというか誤解誤読していることが見て取れる
つづく
163:１３２人目の素数さん
22/11/19 13:57:31.40 Cj+Rm9/A.net
>>152
つづき
そして、下記のショルツェ氏の[SS2018-08]文書で
”radical simplifications”なることをしている
言い訳書いてますけど
基本的に、数学で相手の理論の”simplifications”とか定義の書き換え、これは基本的に許されない
（”radical simplifications”したら、全く別理論になる）
そのうえ、彼はレビューで自白しているが、遠アーベルの「復元」の話が全く読めてない
それなのに、モノドロミー j^2 (下記)とか持ち出して、”矛盾する”というが
やっていること、デタラメの極みでしょ
(参考)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Why abc is still a conjecture
PETER SCHOLZE AND JAKOB STIX
[SS2018-08] August 2018 Report by the other participants in the March 2018 discussions
P4
2.1. Glossary: IUTT-terminology and
164:how we may think of these objects. This will involve certain radical simplifications, and it might be argued that such simplifications strip away all the interesting mathematics that forms the core of Mochizuki’s proof. google訳（一部修正） これには特定の根本的な単純化を含んでいます、そのような単純化は、望月の証明の中核を形成するすべての興味深い数学を取り除いていると主張されるかもしれません. P10 Thus, Mochizuki wanted to introduce scalars of j^2 somewhere on the left part of this diagram (which strictly speaking leads to inconsistencies, i.e. monodromy, on the left part of the diagram alone, which arguably can be overcome by using averages). However, it is clear that this will result in the whole diagram having monodromy j^2, i.e., being inconsistent. google訳（一部修正） したがって、望月は、この図の左側のどこかに j^2 のスカラーを導入したいと考えました (これは、厳密に言えば、図の左側だけで矛盾、つまりモノドロミーにつながりますが、これはおそらく平均を使用することで克服できます)。 ただし、これによりダイアグラム全体がモノドロミー j^2 を持つ、つまり矛盾することになることは明らかです。 (引用終り) 以上
165:１３２人目の素数さん
22/11/19 15:01:12.18 6ELOHHQM.net
>>150
> 確信をもってそう言えるとしたら
> すごくえらい
そうだな、えらいバカだ
もっと正確に言うなら、えらいバカと言うかえらくバカだが
166:１３２人目の素数さん
22/11/19 16:22:03.76 39X1Wwcf.net
>>153
＞モノドロミー j^2 とか持ち出して、”矛盾する”というが
そう、これがエッシャーの階段のトリックだから
シェパードトーン
URLﾘﾝｸ(ja.wikipedia.org)(Shepard%20tone)%E3%81%A8,%E9%9F%B3%E9%9A%8E(Shepard%20scale)%E3%81%A8%E3%81%84%E3%81%86%E3%80%82
「音高が上昇または下降しつづけているように聞こえるが、
最終的には高くも低くもなっていないという錯聴を引き起こす。」
167:１３２人目の素数さん
22/11/21 03:26:56.23 E9XyvEaA.net
証明を証明検証システム（計算機のソフトだ）にかけて検証にパスすれば、
正しいことが証明されるのだ。
ではそのソフトが正しいことは誰が検証するのか、ソフトの正しさを
別のソフトに検証させてみて、もしも検証にパスすれば、そのソフトは
正しいことが証明されるのだ。
ではその「別のソフト」が正しいことは誰が検証するのか。。。。。。
検証ソフトに自分自身を検証させて、検証にパスしたら、あれっ？
これは。。。
168:１３２人目の素数さん
22/11/21 11:59:02.31 YelaIaXb.net
自己正当性断定｡
正直者はバカ正直なので「私は正直である」と正直回答､
嘘つきは嘘つきなので「私は正直である」と嘘つき回答｡
169:１３２人目の素数さん
22/11/21 12:00:40.88 YelaIaXb.net
ゲーデルの自然数論不完全性定理
ロッサーの自然数論不完全性定理
ゲーデルの一階述語論理完全性定理とは別の話
170:１３２人目の素数さん
22/11/23 08:56:11.93 qSw0GL7+.net
>>155
>＞モノドロミー j^2 とか持ち出して、”矛盾する”というが
> そう、これがエッシャーの階段のトリックだから
だから
１）”radical simplifications”>>153なることをして
書き換えたバージョンで、エッシャーの階段うんぬんが言えたとしても
書き換え前に、同じことが起きる保証はない
２）だから、ショルツェ氏は、
書き換えた”radical simplifications”版をもとにして
元の版でも、同様のことが起きるというところまで立証しないと
数学的には厳密な立証になっていない！！
当たり前だが、>>153で
言っていることは、そういうことです
171:１３２人目の素数さん
22/11/23 09:59:01.16 95sXzLec.net
>>159
ん？中卒が何馬鹿いってんだｗ
j^2は
172:書き換えで出てきたわけではないぞｗ 望月新一がやったこと それをショルツェは「エッシャーの階段じゃん！」と云っているｗ ショルツェの指摘にたいして 「ＩＵＴの書き換えの魔法で矛盾はおきない！」と示すのは 望月新一の仕事だが？ でもヤツは発狂しただけで何も弁解できなかった 横に居た星はダンマリだったらしい おそらく彼にも師匠の屁理屈が「やっぱり」ダメだったとわかったんだろうｗ
173:１３２人目の素数さん
22/11/23 10:01:21.65 95sXzLec.net
そもそも１＝２みたいなことが起きてるんなら、その時点で、
「自然数論は矛盾している」ってことになるわけだが・・・
それはそれで（もし本当なら）数学的に重大な結果であり
ABC予想のようなチンケな結果として出すべきことではない
（100％マジ）
174:１３２人目の素数さん
22/11/23 13:31:47.13 VMvpTV8N.net
> 書き換えたバージョンで、エッシャーの階段うんぬんが言えたとしても
はい出ました精神衛生を保つ為の勝手な『書き換えた』という思い込み｡
誰が、いつ、何を、何故、どの様に、書き換えた？
> 書き換え前に、同じことが起きる保証はない
そもそも書き換えて居ない。書き換えたのではなく、読解の結果｡
その読解の結果をお前が書き換えと勘違いしたのは、お前がコピペに執心して肝心な内容を読解できなかっただけだ｡
お前は雄馬と雌鹿との間に産まれた動物の1つ覚えの様にコピペ執心かつ我流読解だからな｡
お前が我流読解無学である事は、お前自身が「理解を深めるには、より先の内容を先取りすると、効率が良い」と言って
「より先の内容を素人の妄想読みし分かった気に成る」学習方法を自爆吐露した過去から判明済みだし
実際にお前の各コピペも誤引用誤解説が9割を超えてるからな｡
IQをプラス、マイナス、虚成分も込みで各要素判定する新評価基準を作りお前を評価したら思い切りマイナス寄りだな｡
自動車ジャーナリストに国沢光宏と言う本物の恥晒しが存在する。お前は数学界の国沢光宏にでも成りたいんだろうな｡
175:１３２人目の素数さん
22/11/23 15:11:49.25 fDR3NyfP.net
結局絶対的な正しさは証明検証ソフトであろうと人間査読者であろうと
保証されないのだ。
査読者が証明を精査して、これは正しいといったとしても、その査読者
が（本当は理解せずに）正しいと行っているだけかもしれないし、
あるいは頭が狂っているだけかもしれない。
多数の頭で検証すれば良いと考えるかもしれないが、判断が割れたら
多数決で決まるみたいなことでいいのだろうか？
また、能力差というものがある。たとえば人間が初等幾何の簡単な定理
を証明したとしても、それをチンパンジー並の知性、猫の知性では
とうてい理解できないように、人類を遙かにしのぐ知性の宇宙人の文明
から送られてきた定理や証明などは、人智を遙かに超えていて、まったく
理解もできないか、定理を理解できても証明をフォローして理解できる
レベルに人間の脳神経系は到達していないかもしれない。宇宙人から
みれば、地球人の知性は、地球上で人間が鶏をみるときの知性程度かも
しれないのだから。宇宙人の話ではなくとも、未来のコンピュータは
人智を越えたレベルの能力を持ち、人間では到底証明できないような
複雑で長大な証明をこなすようになっているかもしれない。しかし
それが本当に絶対に正しいのかは誰にも検証ができないかもしれない。
現代のマイクロプロセッサ（CPU)に回路上のバグが無いことや、
OSのコードやコンパイラや計算ソフトにバグが無いことを保証し難い
ように、結局のところ大体正しい、その正しさの程度の相対的な問題
であるのが現実だと思う。100年間正しいと思われていた数学の定理
でも、証明にバグが無いとは云えないだろう。その例の一部は
選択公理等を暗黙に仮定して証明がされていた時代が長くあった
ことなどがある。
176:１３２人目の素数さん
22/11/23 16:06:10.58 95sXzLec.net
>>163
選択公理云々は、そもそも証明における前提の
明確化の基準が定まっていなかったせいといってよく
証明の誤りとかいう以前の問題である
177:１３２人目の素数さん
22/11/23 18:42:06.76 VMvpTV8N.net
すぐ選択公理と喚いて多様性の話に逃げられると思う癖をやめろ
178:１３２人目の素数さん
22/11/23 20:03:06.91 qSw0GL7+.net
>>163-164
レスありがとう
スレ主です
１）証明としてIUTが真に正しいかどうかは、歴史が証明することと思うよ
２）しかし、ショルツェがやったことは、数学の常道をはずれている
３）まあ、外道ですね。それだけは確か
なお
IUTは、今後も注目して見ています
中島啓氏がIMU総裁になる。彼は、IUTの査読委員でもあり、
望月IUT論文出版の巻頭言にも名前を連ねていたから
多分なにか動きがあると、期待しています
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
中島啓
2023年国際数学連合総裁に就任予定[5][6]。
179:１３２人目の素数さん
22/11/23 20:28:21.41 qSw0GL7+.net
>>160
>j^2は書き換えで出てきたわけではないぞｗ 望月新一がやったこと
>それをショルツェは「エッシャーの階段じゃん！」と云っているｗ
１）”書き換え”は、ショルツェ氏が自白していること
”radical simplifications”(>>153) ＝ ”書き換え”を意味する
２）例えば
IUTが三つの要素、仮定 A,B,C → 結論 D
となったとして
ショルツェ氏は”simplifications”で
仮定 A',B',C' → 結論 D' → "having monodromy j^2, i.e., being inconsistent.">>153
を導く
３）問題は、”simplifications”なしの
元の”仮定 A,B,C → 結論 D”においてどうなるか？ってこと
４）勿論、ショルツェ氏の内心では、「IUTでも同じ」と主張しているのだろう（でなければ、単にヤクザの因縁だ）
ところが、数学では、このような”simplifications”による議論は、外道です
通常は許されない
例えば、ある数学者が、定義Aで議論しているのに
それを、”simplification”した定義A'に変えたら矛盾が起きるということを主張したら？
「なに言ってんだ！ おまえは！」でしょうね
「勝手に定義書き換えたら、全く違う議論になるだろうがぁ！」
ですね
まあ、数学外では普通ですけどね、定義書き換えとか、ある理論を単純化して考えるとか議論するとか
特に、社会科学系では、普通です
例えば、”資本主義”に厳密な数学のような定義を与えても、
結局は「現実の世界で怒っている経済の状況が、定義された”資本主義”という概念と合っているか？」
が問題になります
しかし、数学ではそうではない
ある数学者が論文に書いた「仮定 A,B,C → 結論 D」は、まずは最大限尊重されるべき
そして、間違っているという主張は、まずは「仮定 A,B,C → 結論 D」のままで論ずべき
論文が700ページあって、長すぎるので、10ページに”simplification”したら
"having monodromy j^2, i.e., being inconsistent.">>153 だって？ｗ
ショルツェ氏がフィールズ賞受賞者でなかったら、本来袋だたきでしょうねｗ
180:１３２人目の素数さん
22/11/23 20:31:49.87 qSw0GL7+.net
>>167 誤変換訂正
結局は「現実の世界で怒っている経済の状況が、定義された”資本主義”という概念と合っているか？」
↓
結局は「現実の世界で起っている経済の状況が、定義された”資本主義”という概念と合っているか？」
181:１３２人目の素数さん
22/11/23 20:35:23.53 qSw0GL7+.net
>>162
>はい出ました精神衛生を保つ為の勝手な『書き換えた』という思い込み｡
>誰が、いつ、何を、何故、どの様に、書き換えた？
ほいよ >>167-168
182:１３２人目の素数さん
22/11/24 11:09:36.63 HIgyNNIs.net
>>166
お🐒、ショルツェにイラツクも
自分じゃ反論できず、中島啓にすがる、�
183:ﾆwww >>167 j^2と書いたのは望月新一 ショルツェの指摘に反論する義務があるのも望月新一 まあしかし望月新一が矛盾のない説明をする可能性は ゼロだな 出来るんならすでにやってる やれてないのは、出来ないから 素人🐎🦌以外は皆分かる事www
184:１３２人目の素数さん
22/11/24 11:47:24.91 n4hjHrG/.net
消える100ドル未満のプロセッサ
URLﾘﾝｸ(pc.watch.impress.co.jp)
どこかが安価なプロセッサを作るか、あるいはこれを機にして
ｘ86系からARM系などに急速なシフトが起きるかだろうか。
安いPC・ノートはARMベースのWindowsマシンになるなど。
185:１３２人目の素数さん
22/11/24 13:36:10.65 2qlpWz6u.net
>>171
どうもありがとう
スレ主です
>消える100ドル未満のプロセッサ
それ
PC Watch半導体/周辺機器CPUIntel
大原雄介の半導体業界こぼれ話
大原 雄介2022年11月24日 06:23
か
大原雄介さんね
最近のCPUの話にも疎くなってね
ついて行けない話も多いけど、面白かったよ
186:１３２人目の素数さん
22/11/24 13:48:19.11 ioISZHW6.net
>>167
ほらまたやっぱり拡大解釈。結局やっぱり何も分かって無かったな｡
流石は雄馬と雌鹿との間に産まれた動物、やって良い書き換えと悪い書き換えの区別という
敷居の低い発想にも行き着かない｡
やって良い書き換え例
・お前→このスレの>>1レス目投稿者の集合A
・お前→SetA
・馬鹿→雄馬と雌鹿との間に産まれた交雑種
やって良い書き換えは同一だったり互換だったりと、相等以上の合致が成り立つ
やると悪い書き換え例
・数学も21世紀は多様性の時代、色んな数学があってもいい。選択公理で何でもアリ
・有限小数だけの世界では0.999…≠1と言える
やると悪い書き換えは、そもそも非同一は勿論、互換どころか相等でさえもない｡
相っ変わらず、お前の擁護はガバガバだな｡
187:１３２人目の素数さん
22/11/24 16:58:30.79 6FjFacsO.net
お🐒の1は
時枝正叩きで爆死
望月新一担ぎで再爆死
ほんに人見る目が0
www
188:１３２人目の素数さん
22/11/25 21:36:26.90 sR5HNY48.net
>>167 補足
１）数学者は、ショルツェ氏の文>>153ような
”radical simplifications”(>>153) ＝ ”書き換え”の外道の議論
これは、普通は数学では採用されないので
数学者は虚を突かれたと思う
２）”radical simplifications”(>>153) ＝ ”書き換え”をすれば
当然元の議論とは変わってしまう。特に、
数学の論文では、基本無駄な要素はない
simplificationとは、当然何かの要素が省かれてしまう
これはまずい
３）ショルツェ氏は、本来simplificationで得られた結論が
元の議論でもそのまま成り立つことまでを示してこそ
初めて、まっとうな数学の論証になるところ
ショルツェ氏は、そこまでは出来ず、生煮えで放り出す
これはまずい
４）特に、彼の指摘する
””simplification”したら"having monodromy j^2, i.e., being inconsistent.">>153 ”
という箇所については
下記の 望月氏 宇宙際タイヒミューラー理論への誘(いざな)い Ｐ5、Ｐ6
及び 星裕一郎氏 宇宙際 Teichmuller 理論入門 PDF (2019) Ｐ16
に記載・解説されている通り、
望月IUTの中核部分であり、一番理解しにくい部分と思われる
我々日本人は、望月・星の和文解説文が読めるが、和文解説文にアクセスできない欧米人は、落とし穴に嵌まる
おそらく、ショルツェ氏はこれだろう
星：“7 = 49”
望月：一種の 「同義反復的解決」 {q^j^2}j=1,...,l* → q
こんなワケワカを、初見で分かる方が不思議だ
嵌まっても仕方ないと思う
つづく
189:１３２人目の素数さん
22/11/25 21:36:51.22 sR5HNY48.net
>>175
つづき
(参考)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(2015-02).pdf
宇宙際タイヒミューラー理論への誘(いざな)い 《レクチャーノート版》望月新一 (京大数理研)2015年 02月
P5
???しかし今度は次のような突拍子もない (!) ことを考えたくなる。
もし例えば、
{q^j^2}j=1,...,l* → q
という対応によって
数体 F の自己同型を定義することができたらどうなるか。
もちろん、そのような数体の自己同型は実際には存在しない!! しかし左辺の「{q^j^2}」と右辺の「q」を、それぞれ別々の「(通常型の)環・スキーム論」「数論的正則構造」に所属するものと見做し、所望の対応=
「HA 理論をディオファントス幾何に応用する上での障害」
に対する一種の 「同義反復的解決」
{q^j^2}j=1,...,l* → q
を、相異なる正則構造を持つリーマン面の間の擬等角写像のようなものと思うとどうなるか。
P6
注:「同義反復的な解決」 が成立するような 「補助の舞台」 を構成した上で、
その補助の舞台と「元の舞台」 の比較 (=同型?殆ど同型?) を行なうというのは、
数論幾何、 いや数学の 「常套手段」 である!
別の言い方をすると、「同義反復的な解決」を一旦 ただでいただいてから、
それによって生じるお釣りを勘定するという手法である。
つまり、(先ほどの数体上の楕円曲線の話に戻ると) 通常の環・スキーム論を、部分的に解体することによって所望の対応を実現することができるということである。
つづく
190:１３２人目の素数さん
22/11/25 21:37:15.82 sR5HNY48.net
>>176
つづき
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
星裕一郎
宇宙際 Teichmuller 理論入門 PDF (2019) （Indexあり）
Ｐ16
(実際には, 後に見るとおり, “単一の整数N” に対する上記の議論を実現するのではなく,
“(j^2/2l)j=1,...,(l-1)/2 という有理数の組”
に対する上記の議論を実現するということを, ここで注意しておきましょう - §12 の
“宇宙際 Teichm¨uller 理論の主定理の大雑把版” を参照ください.)
何らかの意味で,
qE = q^NE
なる等式が実現できれば, 次数に関する所望の等式が得られるかもしれないということに
なります.
一方, ほとんどの “E/F” に対して, 実際には “qE = q^NE ” とはなりません. (簡単にわ
かることですが, qE = q^NE となることと E がすべての素点で良還元を持つことは同値で
す.) 特に, そのほとんどの “E/F” に対して, 少なくとも “単一の世界” で等式 “qE = q^NE ”
を仮定すると, たちまち矛盾が起こります.
そこで, 現在考察を行っている数学的設定 - つまり, 数体 F やその上の楕円曲線
E などが属するある数学的設定 (この “数学的設定” をきちんと定式化した概念こそが,
§26 で定義される Hodge 劇場です)
このように考えれば, 少なくとも “たちまち
の矛盾” は発生しません. つまり, 例えば, “単一の集合” であるところの Q の中での
“7 = 49” という等式は - 7 6= 49 という当たり前の事実により - 直ちに矛盾を引
き起こします. しかしながら, Q の 2 つの同型物 †Q,‡Q を用意して,†49 ∈†Q を ‡7 ∈‡Q
に移す全単射 †Q?→ ‡Q を考察することには, 何の問題もありません. また, 当たり前です
が, そのような全単射は実際に存在します.
さきほど †49 ∈†Q を ‡7 ∈‡Q に移す全単射 †Q?→ ‡Q を例として登場
させましたが, そのような全単射の存在から, 実際に “7 という値 = 49 という値” という
191:等式が得られるわけではないことと同様です. †49 ∈†Q を ‡7 ∈‡Q に移す全単射の存在 は, 実際の “値” に対する等式 “7 という値 = 49 という値” を導くわけではないのです. (引用終り) 以上
192:１３２人目の素数さん
22/11/26 07:49:45.64 vxHVCnzG.net
>>175-177
無限乗積も正則行列も分からん中卒🐒がなんかキャッキャ吠えとる
そもそもj^2と書いたのは望月新一 モノドロミーで自爆したのも望月新一
ショルツェの指摘に何も答えられずダンマリで「黙死」した星裕一郎
「同義反復的解決」とか7=49とかいうのが初歩的矛盾でしかなかった
という現実をこのときいやというほど思い知ったんだろう 哀れなヤツだ
193:１３２人目の素数さん
22/11/26 07:53:13.41 vxHVCnzG.net
さて、尻尾の同値類の話だが
s1,s2∈R^O
∃o∈O.∀p>o.s1(o)=s2(o)
のとき、s1とs2は同値
OとしてN,M,Z,のいずれもとれる
これはいくら中卒🐒でも認めざるを得まい
N={0,1,2,…}
M={…,-2,-1,0}
Z={…,-2,-1,0,1,2,…}
Nの場合、箱入り無数目成功
Mの場合、箱入り無数目失敗 （※最後の箱が存在）
Zの場合、箱入り無数目成功
特にZの場合
…⊂R^(z<=-1)⊂R^(z<=0)⊂R^(z<=1)⊂…
は、全部無限次元の線型空間
したがって
「有限次元だから測度0」
の主張は通用しない
お🐒 安らかに眠れ
194:１３２人目の素数さん
22/11/26 22:15:10.76 mT1RnNcH.net
>>174
おーい日吉！まだ猿吉大明神の顔で居られてるか？もう、そろそろ猿魔大王に成り掛けとるじゃろ？見ぃ、>>175を｡
矢張り此のスレの>>1レス目投稿者の集合Aは
『意味が変わる書き換え』しか知らず『意味が変わらない書き換え』を知らんで居ったぞ!!
♪バｗ バｗ 馬鹿SetA大爆笑ｗｗ
♪コピペを嗤われ大騒ぎｗ
♪嗤って頂戴 今日もまたｗ
♪誰にも遠慮は入りません
195:１３２人目の素数さん
22/11/27 00:34:52.26 zRSM0dm/.net
>>175
> 星：“7 = 49”
> 望月：一種の 「同義反復的解決」 {q^j^2}j=1,...,l* → q
> こんなワケワカを、初見で分かる方が不思議だ
> 嵌まっても仕方ないと思う
IUT理論は正しいと思うが
望月側の問題は、分かり易い解説
というか、分かって貰える解説
それがない
「論文に書いてあるから、注意深く読め！」というだけ
しかし、思うに
１）IUTの”「復元」の操作は一種のアルゴリズムであり、コンピュータのソフトウェアに似ています”
は、良いとして
ソフトのプログラムに、”コメント”を付けるとか、プログラムの意図を表す名前を付ける、
使う変数も意図がわかるようにとか
プログラムの可読性を上げる手法はいろいろあるし
２）フローチャートや、
プログラムの設計図あるいは概念図を描くとか
３）従来からある手法と対比して説明するなど：
例えば、思うに、フーリエ変換で言えば、関数とそれに関する微分作用素・積分作用素を
フーリエ変換をすれば、微分作用素・積分作用素が簡単に計算できて
それを逆変換すると、微分方程式が簡単に解ける
と同様に、楕円曲線を、IUTで変換して遠アーベル界に持っていくと、
変換後の楕円曲線もどきの高さ評価が出来て
それを逆変換して、もとの楕円曲線の高さ評価がある軽微な誤差（不定性）で得られる
IUTの変換で圏論的手法を使い、楕円曲線もどきがフロベニオイド圏？になる
それに、（絶対）ガロア理論を適用して、（絶対）ガロア群の遠アーベル理論で、楕円曲線の数体との対応がつく
みたいな
つづく
196:１３２人目の素数さん
22/11/27 00:35:46.83 zRSM0dm/.net
>>181
つづき
４）上記は、個人的妄想ですが
こういう大きな流れの解説と
ハマリどころ（上記のワケワカ、つまり“7 = 49”や一種の 「同義反復的解決」に見える部分）を、
197:厚く解説する必要あり ５）あと、NHKのTVで、ファルティングス師匠が「分かり易い説明が必要だ」というのに 望月氏は「ファルティングスをシンポジウムに招待状を送ったが、来なかった」とか、あさって答弁しているけど 不遜と思う 本当は、ファルティングス師匠に望月氏が出向いて、マックス・プランクで集中講義と討議の場を作って貰って そこで、ファルティングス師匠に「IUTを理解した、IUTは正しい」と行って貰えれば、オセロ同様黒が白に変わっていく 望月氏は、天才だろうけど、明らかに偏屈変人だね ６）そこらは、中島啓IMU総裁が何か考えて、 「IUTの理解と普及」の差配をすると思っているが ７）あと、若手が頑張って欲しい サッカーのドイツ戦と同じなんだよね。ちゃんと勝利を挙げてくれ 望月は、もう地位も名誉もある。彼は（仙人みたいに）「なんとか賞？いらねー」というかもだが 南出やそれ以下の若手、RIMSや東工大にいる若手は、まだ地位や名誉いるよね。数学を職業として生業にするためには 若手がもっとハングリーに、「IUTの理解と普及」に向けた動きして良いと思うよ ドイツ戦のように、貪欲に勝利を勝ち取ってほしい！ 応援しています！ 以上
198:１３２人目の素数さん
22/11/27 00:48:05.98 zRSM0dm/.net
>>180
蕎麦屋さんか
ご苦労ｗ
ショルツェ氏の文は、”radical simplifications”(>>153) したと
自白しているんだから、どうしようもないよ
数学やっている人なら分かるだろうが
”radical simplifications”(>>153) したら、当然元の数学の議論とは別ものになる
勿論、学生への講義とか、非公式ディスカッションではありです
しかし、ある論文にダメ出しするのに、
「”radical simplifications”(>>153) したら、矛盾が出る」という議論は
数学的に厳密な議論に成らない。当然だけれど
そんな議論をする人は、数学では、いままで居なかったろう
（数学以外の世間では、普通だけれどねｗ）
そんな議論をする人が、数学では居なかったから
数学者は、虚を突かれて、「なんかヘン」に気づかないｗ
それだと、「おれだよ、おれ、金を振り込んでくれ」とか「教会に全財産寄付しろ」だのｗｗ
と言われて、催眠術かマインドコントロールかの如く操られることになった人と同じだなｗｗｗ
199:１３２人目の素数さん
22/11/27 08:04:01.87 3pqSuWQI.net
>>181-183
別スレからの亡命 ご苦労様
>IUT理論は正しいと思うが
根拠は？
個人的願望を口にされても困りますな
ここは数学板ですから おわかりですか？
国粋主義的発言は別の板でなさったほうがよろしいかと
きっと支持者の方々が熱烈歓迎してくれることでしょう
200:１３２人目の素数さん
22/11/27 08:06:43.65 3pqSuWQI.net
>>181-183
>望月側の問題は、分かり易い解説というか、分かって貰える解説がない
>「論文に書いてあるから、注意深く読め！」というだけ
望月新一は自分でも証明できていないと思ってるんでしょう
しかしそれを認めたくない だから解説抜きで「読め！」の一点張り
ショルツェの指摘に逆上したのは、まさに図星を突かれたからでしょう
人間なんてもろいもんです
201:１３２人目の素数さん
22/11/27 08:15:50.24 3pqSuWQI.net
>>181-183
＞１）~７）
某スレでどなたかも指摘されてましたが、番号付けが奇妙ですね
いったい何の意味があるのか、一度も説明がありませんが
さて
＞ソフトのプログラムに、”コメント”を付けるとか、
＞プログラムの意図を表す名前を付ける、
＞使う変数も意図がわかるようにとか
＞プログラムの可読性を上げる手法はいろいろあるし
それは、Knuthレベルですな
Knuthレベルなら立派じゃん、というかもしれません
私がいいたいのは「全然ナイーブじゃん」ということです
DijkstraとかHoareとか、御存知ですか？
プログラムが仕様を満たしているかどうかは証明可能なのですよ
とくに、Hoare logicは、プログラムの正当性を検証するための論理ですね
ホーア論理
URLﾘﾝｸ(ja.wikipedia.org)
せめて、この程度のことは最低限の常識として知っておいてほしいですね
つまり注釈として書くべきことはホーア論理のステートメントである、と
まあ、実際にはそんなことしてるプログラマはほぼいないのでしょうが
実に嘆かわしいことだといわざるを得ませんね