25/11/08 10:09:42.76 P9qVEF++.net
>>483
>MacLaneの"Homology"を読めば圏論的な思考のまとめ方が
>どんなものかが理解できるように思う
巡回ご苦労さまです
御大は、東大入学早々に
MacLaneの"Homology"を読んだとかいう ウワサですね
びつくりです （＾＾
490:１３２人目の素数さん
25/11/08 10:23:00.28 ZuSEB9pS.net
>>488
>集合論としては、下記の 東北大 尾畑研のpdf程度で 良いのではないかと
>つまり、コテコテのZFCの一階述語論理を 学部1年で 押しつけるのは 如何なものかと
ZFCも一階述語論理も理解できないオチコボレが大学教育論語ってて草
>つまり、人は日常では、必ずしも 純粋な一階述語論理では 思考していないわけで
素直に勉強するのが嫌と言えばよい 言い訳はみっともない
491:１３２人目の素数さん
25/11/08 10:28:32.46 ZuSEB9pS.net
そもそも一階述語論理は思考法ではないが、そこから分かってないセタが
>つまり、人は日常では、必ずしも 純粋な一階述語論理では 思考していないわけで
とかほざいたところでまったくのナンセンス
492:現代数学の系譜 雑談
25/11/08 10:35:55.86 P9qVEF++.net
>>488 追加
(参考)
URLﾘﾝｸ(www.math.is.tohoku.ac.jp)
東北大 尾畑研
「集合・写像・数の体系 数学リテラシーとして」の草稿(pdf)
第1章
URLﾘﾝｸ(www.math.is.tohoku.ac.jp)
ここの
P14 「定理1.20(背理法)次の推論は有効である」
からの”背理法”の説明が秀逸だ
ZFCのコテコテの一階述語論理より、こっちの方が重要だろうさ ；ｐ）
(参考)（但し 東京理科大の人は、”背理法被害者の会”が 済むまで 大人しくしておくように。望月先生のような態度は、天才のみに許されるのです （＾＾）
URLﾘﾝｸ(note.com)
背理法に背を向ける（2002,2013・東京理科大学・理学部・数学科）
uenotakato（上野尚人:イマイさん）数学講師
2019年5月31日
URLﾘﾝｸ(abel.a.la9.jp)
背理法被害者の会
東京理科大学理学部第一部数学科 教授 安部直人
493:１３２人目の素数さん
25/11/08 10:36:06.84 ZuSEB9pS.net
矛盾した理論はいかなる命題も証明できてしまうからまったくのナンセンス
セタの独善主張もまったくのナンセンス
494:現代数学の系譜 雑談
25/11/08 10:53:00.89 P9qVEF++.net
>>491
>そもそも一階述語論理は思考法ではないが、そこから分かってないセタが
>>つまり、人は日常では、必ずしも 純粋な一階述語論理では 思考していないわけで
そもそもが、人の日常は 論理だけでは 成り立たない
例えば、下記のドジャース ロバーツ監督 ”逆王手をかけた「5つの神采配」”（下記）
決して 論理だけでは これは 成り立たない！
20世紀は、このような人のもつ能力を殺すことを ”厳密”と称して 数学教育としてきた きらいがある
そこらの反省が 21世紀には出てきたのでは？
>>13-14 数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房2013
"多くの数学の研究者にとっては，数学は，記号列として記述された「死んだ」数学ではなく，
思考のプロセスとしての脳髄の生理現象そのものであろう"
”加藤文元氏 メンタルピクチャー、形式化図式と数学の「理解」”
”＜“big picture”＞” Career advice Terence Tao
に なっているように思う （＾＾
(参考)
URLﾘﾝｸ(news.yahoo.co.jp)
解任騒ぎの“ポンコツ評価”から一転、ロバーツ監督の逆王手をかけた「5つの神采配」を米メディアやファンがSNSで絶賛
11/2(日) RONSPO
ドジャースが10月31日（日本時間1日）、敵地トロントでのブルージェイズとのワールドシリーズ第6戦に3－1で勝利し、対戦成績を3勝3敗に戻して逆王手をかけた。不振のムーキー・ベッツ（33）を4番にし9回無死二、三塁で佐々木朗希（27）からタイラー・グラスノー（32）にスイッチするなど、デーブ・ロバーツ監督（54）の繰り出した5つの采配が次々と的中。これまでは継投策が裏目に出るなど、その采配が批判の対象となっていたが、一転、米メディアは「神采配」と評価し、SNSではファンが「彼に敬意を表する」などと称賛の言葉を並べた。
495:１３２人目の素数さん
25/11/08 11:01:22.16 ZuSEB9pS.net
>>492
ワロタ。
それは命題論理における背理法の証明。
述語論理は命題論理の拡張なんだから、当然述語論理においても背理法は成立する。
なお、真理値表を使わなくても同値変形で証明できる。
((￢P⇒Q)∧￢Q)⇔((P∨Q)∧￢Q)（含意の定義）⇔((P∧￢Q)∨(Q∧￢Q))（分配律）⇔(P∧￢Q)（矛盾律と選言三段論法）⇒P（連言除去）
どや、アホのセタにはちんぷんかんぷんやろ？
496:現代数学の系譜 雑談
25/11/08 11:02:55.70 P9qVEF++.net
>>493
>矛盾した理論はいかなる命題も証明できてしまうからまったくのナンセンス
そうだね
もし ”人が 純粋な述語論理のみで思考するならば・・”だが
具体的には、下記の 自己言及のパラドックス：嘘つきのパラドックス
これが、古代から エピメニデスのパラドックス（紀元前600年ごろ）として知られていたらしい
そして、集合論における ラッセルのパラドックス に 繋がっている
だが、古代から近世において
人は このような 自己言及のパラドックスを排除できる あるいは 排除すべきことを 知っていたのだろう
実際、古代ギリシャのユークリッド原論は 論理破綻など してない！ｗｗ ；ｐ）
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
自己言及のパラドックス
哲学および論理学における自己言及のパラドックス（じこげんきゅうのパラドックス）または嘘つきのパラドックスとは、「この文は偽である」という構造の文を指し、自己を含めて言及しようとすると発生するパラドックスのことである。この文に古典的な二値の真理値をあてはめようとすると矛盾が生じる（パラドックス参照）。
歴史
嘘つきのパラドックスの一例として、エピメニデスのパラドックス（紀元前600年ごろ）が示された。エピメニデスは伝説的哲学者でクレタ島出身（クレタ人）とされており、「クレタ人はいつも嘘をつく」と言ったとされている。この言葉の出典は、新約聖書中の「テトスへの手紙」（1章12-15節）である[1]。
集合論におけるパラドックス (ラッセルのパラドックス)
→詳細は「ラッセルのパラドックス」を参照
集合論における典型的なパラドックスは次のようなものである。これは特に、バートランド・ラッセルが議論の対象としたことで知られる（ラッセルは述語論理における同様のパラドックスについても議論している）。
497:１３２人目の素数さん
25/11/08 11:06:46.65 hP1E8Bup.net
>>488
結局答えてはくれないんですね>>472,481,484
それから>>458に
ストローマンさん
498:１３２人目の素数さん
25/11/08 11:18:01.14 5C95UMYm.net
>>465
オウンゴールｖｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
499:現代数学の系譜 雑談
25/11/08 11:26:08.95 P9qVEF++.net
>>495
ワロタ。
>なお、真理値表を使わなくても同値変形で証明できる。
>((￢P⇒Q)∧￢Q)⇔((P∨Q)∧￢Q)（含意の定義）⇔((P∧￢Q)∨(Q∧￢Q))（分配律）⇔(P∧￢Q)（矛盾律と選言三段論法）⇒P（連言除去）
>どや、アホのセタにはちんぷんかんぷんやろ？
下記 ピタゴラスの定理の証明
この定理には数百通りもの異なる証明がある。
だれかが、 （＾＾
大学への数学のコラムに書いていたが
下記 酒井隆 “直線” と幾何学一真っ直ぐなものと曲がったもの一 にもある
日本幽囚記,ゴロヴニン手記
『日本人の科学知識や教育の実情を知ろうとして，獄中接した新進の蘭学者にピタゴラスの
定理の内容を知っているかと尋ねた所もちろん知っているとの返事でした．それでは証明
はどうするのかと聞いたところその人は図を描いてちゃんと説明したそうです（数学セミ
ナーに確かその図というのが出ていたと思いますが）』
数百通りの証明を 理解し 覚えておく必要はなく
代表的なものを知っておけばいい
そして、ゴロヴニンに「証明は？」と聞かれたら 一つ分かり易いものを 提示すれば良い
わざわざ、分りにくい説明をする必要なし！！ｗ
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
ピタゴラスの定理
ピタゴラスの定理の証明
この定理には数百通りもの異なる証明がある。
URLﾘﾝｸ(www.mathsoc.jp)
2005年秋の日本数学会市民講演会：
“直線” と幾何学一真っ直ぐなものと曲がったもの一
酒井隆（岡山理科大学理学部）2005/09/18
P5
ところで，非常に多くのピタゴラスの定理の証明が知られていて，例えば次の図2のも
のはインドで知られていたといわれますが，代数の性質も使っています．多くの証明が考え
られるのは数学の特徴ですが，逆に「証明」とは論理だけではなく，なぜそれが成り立つ
かを成程と納得させ確信させる説明といってよいでしょう．したがって多様性が許される
訳です．その例を挙げましょう．明治以前の日本には（今は和算と呼ばれる）数学があり，
江戸時代には教育においても使われていました．江戸末期に函館に幽閉されたロシア海軍
仕官ゴロヴニンは幕府役人の取り調べの様子や，当時の日本の様子を記録に残しています‘
日本人の科学知識や教育の実情を知ろうとして，獄中接した新進の蘭学者にピタゴラスの
定理の内容を知っているかと尋ねた所もちろん知っているとの返事でした．それでは証明
はどうするのかと聞いたところその人は図を描いてちゃんと説明したそうです（数学セミ
ナーに確かその図というのが出ていたと思いますが）．エリートとはいえ，文化のまったく
違う二つの国の人たちが数学の話をしたというのは興味深いことです．
[2]日本幽囚記,ゴロヴニン手記 (1811-1813), 岩波文庫.
500:現代数学の系譜 雑談
25/11/08 11:30:08.51 P9qVEF++.net
>>499 補足
URLﾘﾝｸ(www.mathsoc.jp)
2005年秋の日本数学会市民講演会：
“直線” と幾何学一真っ直ぐなものと曲がったもの一
酒井隆（岡山理科大学理学部）2005/09/18
P5
多くの証明が考え
られるのは数学の特徴ですが，逆に「証明」とは論理だけではなく，なぜそれが成り立つ
かを成程と納得させ確信させる説明といってよいでしょう
(引用終り)
これは、至言です！
覚えておきましょう！！ （＾＾
501:１３２人目の素数さん
25/11/08 11:46:34.11 ZuSEB9pS.net
>>496
まーたセタがしったかしてアホなこと言っとる
>>矛盾した理論はいかなる命題も証明できてしまうからまったくのナンセンス
>そうだね
>もし ”人が 純粋な述語論理のみで思考するならば・・”だが
述語論理に限らん。命題論理でも同じだ。
>具体的には、下記の 自己言及のパラドックス：嘘つきのパラドックス
>これが、古代から エピメニデスのパラドックス（紀元前600年ごろ）として知られていたらしい
>そして、集合論における ラッセルのパラドックス に 繋がっている
>だが、古代から近世において
>人は このような 自己言及のパラドックスを排除できる あるいは 排除すべきことを 知っていたのだろう
>実際、古代ギリシャのユークリッド原論は 論理破綻など してない！ｗｗ ；ｐ）
ナンセンス。
理論が矛盾していることを証明するには、その理論内で任意の文PについてP∧￢Pを証明すればよい。内包公理を持つ素朴集合論が矛盾していることもそうして証明される。
逆に理論が無矛盾ならそのことをその理論内では証明できない。
502:１３２人目の素数さん
25/11/08 12:00:36.73 ZuSEB9pS.net
>>499
>数百通りの証明を 理解し 覚えておく必要はなく
>代表的なものを知っておけばいい
誰もそんなことは言ってない。
>>495程度の簡単な証明がサクッとできないようでは、どんなに数学書を読んでも分かった気分になるだけで決して分かることはない。
なぜなら、論理は数学の基礎であり論理が分からなければ数学は分からない、且つ数学書は読者が論理を分かってる前提で書かれている（つまり論理の説明は一切書かれてない）から。
503:１３２人目の素数さん
25/11/08 12:17:43.16 TJf5D2X1.net
ある大数学者が若い時に
自分は論理も計算もない数学をやってみたい
と言ったとか
数学者にはこういう気宇壮大さも必要だろう
504:１３２人目の素数さん
25/11/08 12:24:52.28 ZuSEB9pS.net
>人の思考は一階述語論理に縛られない
そもそもセタはぜ一階述語論理を忌み嫌うのかい？
命題論理を受け入れて一階述語論理を忌み嫌うのはなぜ？
それとも命題論理も忌み嫌ってる？
505:１３２人目の素数さん
25/11/08 12:27:19.35 ZuSEB9pS.net
>>503
ストローマン乙
その大数学者は論理を分かってないと？ んなこたーねーだろ？
506:１３２人目の素数さん
25/11/08 12:29:18.49 ZuSEB9pS.net
ていうか命題論理と述語論理の違いもちんぷんかんぷんかｗ
聞いた俺が馬鹿だった orz
507:１３２人目の素数さん
25/11/08 12:37:16.07 ZuSEB9pS.net
>>500
>「証明」とは論理だけではなく，なぜそれが成り立つかを成程と納得させ確信させる説明といってよいでしょう
その通り。
だからショルツェらを納得させられないIUTはabc予想の証明になってない。
本来なら指摘者を納得させようと努力すべきなのに逆ギレしてるようじゃ話にならん。
508:１３２人目の素数さん
25/11/08 12:47:46.63 TJf5D2X1.net
>>ショルツェらを納得させられないIUTはabc予想の証明になってない。
査読者(たち)は納得したのではなく
説得された(またはそのふりをした)というわけか
509:１３２人目の素数さん
25/11/08 13:00:44.96 AvBga2zV.net
カタワって身体障害者の事を言うんだろ？精神障害者はなんていうの？ [194767121]
ｽﾚﾘﾝｸ(news板)
510:１３２人目の素数さん
25/11/08 14:27:46.53 hP1E8Bup.net
>>508
そうかも知れませんがそれは明かされないでしょう
理解して査読を行ったはずの査読者が解説してくれるといいんですが
それも望めません
511:１３２人目の素数さん
25/11/08 15:07:06.30 3nB+TfKS.net
>>488
>東北大 尾畑研のpdf程度で 良い
第一章の１．４に述語論理出てくるけど、
カラスの世田はこんな基本的なことも
何ひとつ全然理解できてないよ（バッサリ）
URLﾘﾝｸ(www.math.is.tohoku.ac.jp)
512:１３２人目の素数さん
25/11/08 15:28:43.09 3nB+TfKS.net
>>488
＞20世紀中頃は、数学は コテコテの一階述語論理を優先すべし
＞（代表例がεδ式）と教える人が多かったが
つまりカラスの世田は、コーシー列の定義が理解できない、ってコト？
∀ε＞０．∃ｎ∈Ｎ．ｍ１，ｍ２＞＝ｎ⇒｜ｘ＿ｍ１－ｘ＿ｍ２｜＜ε
＞今21世紀は、もう少し 多様な考えが出てきた（その代表が超準や圏論）ように思います
∀も∃も使わないコーシー列の定義が、
「超準」とか圏論で、どうやったらできるのか示せる？
口から出まかせの嘘つきカラス君
513:現代数学の系譜 雑談
25/11/08 16:42:37.17 P9qVEF++.net
>>492 補足
背理法とベン図 及び 背理法の使いどき 下記
『ただ1通りに表される vs 2通りの表し方がある』は、手筋です
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
ove********さん 2013/1/4
背理法ってベン図かなにかで可視化できませんか？
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
ove********さん 2013/1/4
なぜp⇒qという命題の背理法では結論を否定して矛盾を見つけるんですか？
ベストアンサー
qxx********さん
2013/1/5
証明方法の原理はベン図で考えると分かりやすいです
p⇒qというのは、ベン図で言うなら、Pという集合の中に属しているなら、Qという集合の中に必ず属しているということと同義です(図1)
例えばpを4の倍数qを2の倍数としてみましょうか
図1と同じベン図になるのことが分かりますね
では背理法で行う「 p かつ (qでない) 」ことを仮定して、否定するというのはベン図で言うとどういうことか？
「 p かつ (qでない) 」は図2の斜線部分に相当します
本当は図1のようにPは全てＱのなかにすっぽり入っていて欲しいのです
ここで、ＰのくせにＱからはみ出している奴ら「 p かつ (qでない) 」を仮定してこいつらについて考えます
そこで矛盾を導き出すことで、こんなはみ出し者どもは居ない、ということを証明し、PはすべてＱの中にすっぽりと入っていること、すなわちp⇒qを証明するのです
これが背理法ですね
つづく
514:現代数学の系譜 雑談
25/11/08 16:43:13.56 P9qVEF++.net
つづき
URLﾘﾝｸ(manabitaizen.com)
背理法の使いどきと複数の文字を含む条件
ホーム 本一覧 武器になる数学Ⅰ 第1章 数と式・集合と命題
第10回 背理法の使いどきと複数の文字を含む条件 20240327
この記事では慣れないと使うのが難しい背理法をどんな場面で使えばよいのか具体例を挙げてまとめていきます。また、複数の文字を含む複雑な条件について考え、「すべての」や「ある」を付けるとどうなるか考察を深めます
目次
1. 背理法の使いどきまとめ
どんなときに背理法を使いたいと考えるかというと、証明する命題を否定したほうが扱いやすく、議論が進めやすいときです。 つまり、扱いやすい・扱いにくいペアを知ることが背理法を考えるヒントになります。これをまとめたのが下の表です
扱いにくい vs 扱いやすい
無理数 vs 有理数
存在しない vs 存在する
無限個存在する vs 有限個のみ存在する
素数 vs 合成数（と1）
互いに素 vs 素数の公約数をもつ
ただ1通りに表される vs 2通りの表し方がある
係数がすべて0（一次独立） vs 0でない係数がある（一次従属）
「PならばQ」型の結論に「または」 vs 「PならばQ」型の仮定に「かつ」
この表の見方は左側の事柄を示したい時に背理法の利用を考えて、右側であると仮定して矛盾を示します
もちろんこれ以外にも問題によって柔軟に考えるべきですが、特に背理法の問題として出題されるならこの表に載っているものが出る可能性が高いです
以下に具体例を載せておくので見てみてください
(引用終り)
以上
515:１３２人目の素数さん
25/11/08 17:02:10.00 ZuSEB9pS.net
>>513 >>514
可視化だの分かりやすいだの高校生かよｗ
大学生なら証明しろｗ
516:１３２人目の素数さん
25/11/08 17:17:03.51 ZuSEB9pS.net
>>496
>>矛盾した理論はいかなる命題も証明できてしまうからまったくのナンセンス
>そうだね
分かって言ってる？ 背理法も分からないんじゃ疑わしい
【定理】
P,Qを任意の論理式とする。P∧￢P |= Q。
【証明】
(1) P∧￢P (前提)
(2) P ((1)と連言除去)
(3) P∨Q ((2)と選言導入)
(4) ￢P ((1)と連言除去)
(5) Q ((3)と(4)と選言三段論法)
517:現代数学の系譜 雑談
25/11/08 17:18:51.24 P9qVEF++.net
>>510
>理解して査読を行ったはずの査読者が解説してくれるといいんですが
>それも望めません
終わっていると思う
IUT査読完了発表が、2020年4月で出版が 2021年3月
一方、これに合わせて September 2020 - April 2021 に
”Promenade in Inter-Universal Teichmüller Theory”下記
が、行われた
この中の フランス Lille大 Fresse、Dèbes
それに 東工大(当時) Wakabayashi
査読は、最低2グループで
海外のグループで フランス Lille大
国内のグループで 東工大(当時)
彼らが、査読が終わった IUTのセミナーをやったのが
”Promenade in Inter-Universal Teichmüller Theory”でしょう（当時IUTを理解している10人の人たち）
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
宇宙際タイヒミュラー理論
論文の出版と批判
上記のプレプリントは7年半にわたる審査を経て、2020年2月5日に査読を通過した。2020年4月、PRIMS特別編集委員会の記者会見で共同編集委員長の柏原正樹、玉川安騎男は、記者会見を行い、望月論文の査読受理を発表した[28]。
2021年3月に望月が編集主幹を務めるRIMS発行の論文誌PRIMSの特別号に掲載された[34]。
URLﾘﾝｸ(ahgt.math.cnrs.fr)
Arithmetic & Homotopic Galois Theory IRN
Activities - Conferences & Seminars
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Promenade in Inter-Universal Teichmüller Theory
Org.: Collas (RIMS); Dèbes, Fresse (Lille).
The goal of this seminar between Painlevé-Lille (France) and RIMS-Kyoto (Japan)
— September 2020 - April 2021
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Programme and schedule
September
09/24 T0 IUT Introductory Talk Collas
IUT Geometry (introductory)
October
10/08 T1.1 Abc & Szpiro conjectures: Roth and Belyi Cluckers - Fresse
November
11/5 T1.2 Abc & Vojta conjectures: heights and ramification Dèbes
December
12/03 T1.3 From Vojta to Mochizuki: Moduli spaces of elliptic curves Liu
January
01/21 T2.2 Cyclotomic Rigidity and Multiradiality Porowski
March
03/25 ATA Mono-anabelian Transport in Inter-universal Teichmuller Theory Hoshi
April
04/15 ATB Explicit Estimates in Inter-universal Teichmüller Theory Minamide
04/22 ATC Introduction to p-adic Teichmüller theory Wakabayashi
URLﾘﾝｸ(researchmap.jp)
若林 泰央
ワカバヤシ ヤスヒロ
2022年10月 - 現在大阪大学, 大学院情報科学研究科 情報基礎数学専攻, 准教授
2018年4月 - 2022年9月東京工業大学, 理学院, 助教
518:１３２人目の素数さん
25/11/08 17:28:01.97 ZuSEB9pS.net
>>513 >>514
>人の思考は一階述語論理に縛られない
こんな能書き垂れて勉強しないから背理法ひとつ証明できないんだよど素人くん
519:１３２人目の素数さん
25/11/08 17:32:26.14 ZuSEB9pS.net
大学数学でベン図で可視化とか言ってたらそりゃ落第するわなｗ
520:現代数学の系譜 雑談
25/11/08 17:45:37.49 P9qVEF++.net
>>502
>ある大数学者が若い時に
>自分は論理も計算もない数学をやってみたい
>と言ったとか
>数学者にはこういう気宇壮大さも必要だろう
たとえば どういう数学者・・・？
そうか！ 佐藤幹夫先生だ！！ｗ
論理も計算も、弟子や同僚が主にやったという
例えば 証明は、柏原先生の担当
佐藤-Tate 予想の数値計算は、難波完爾先生が
ソリトンの理論の数値計算は、佐藤幹夫先生の奥様(毛織泰子,佐藤泰子)だった・・
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
佐藤・テイト予想
予想は1963年[3]に佐藤幹夫(Mikio Sato)により提出され、ジョン・テイト(John Tate)により代数幾何学的に解釈された。[4]
脚注
3^ 難波 2006, p. 105.
参考文献
難波完爾「Dedekind η 関数と佐藤 sin2-予想」『第16回数学史シンポジウム報告集』（PDF）27号、津田塾大学数学・計算機科学研究所〈津田塾大学数学・計算機科学研究所報〉、2006年、95-167頁。
URLﾘﾝｸ(tsadahiro.github.io)
第16回数学史シンポジウム
難波完爾 Dedekind η 関数と佐藤 sin2-予想 URLﾘﾝｸ(tsadahiro.github.io)
（Ｐ3 辺りの話）
URLﾘﾝｸ(ja.wikipedia.org)
佐藤理論（さとうりろん）は、佐藤幹夫によるソリトン方程式と解に関する理論である[1]。(京都大学数理解析研究所講究録388 1980[2],; 414, 1981[3])
KP方程式 (en)をはじめとする完全可積分方程式のソリトン解の τ関数は普遍Grassmann多様体上の点で、双線形方程式はPlücker関係式である。
脚注
2^ 佐藤幹夫, 毛織泰子「広田氏のBilinear Equationsについて (線型微分方程式の変形理論とアーベル函数論の拡張への新しい視点)」『数理解析研究所講究録』第388巻、京都大学数理解析研究所、1980年6月、183-204頁、CRID 1050001335646521728、hdl:2433/104905、ISSN 1880-2818。
3^ 佐藤幹夫, 佐藤泰子「広田氏のBilinear Equationsについて (II) (Non-Linear Waves : Classical Theory and Quantum Theory)」『数理解析研究所講究録』第414巻、京都大学数理解析研究所、1981年1月、181-202頁、CRID 1050564285594610176、hdl:2433/102452、ISSN 1880-2818。
521:現代数学の系譜 雑談
25/11/08 17:49:10.35 P9qVEF++.net
>>519
>大学数学でベン図で可視化とか言ってたらそりゃ落第するわなｗ
話は真逆 >>13-14
加藤文元氏 メンタルピクチャー、形式化図式と数学の「理解」
＜“big picture”＞ Career advice Terence Tao
これを、常に心がけるべし！ ；ｐ）
522:１３２人目の素数さん
25/11/08 17:54:04.90 ZuSEB9pS.net
>>521
誰も可視化するなとは言ってない。したきゃ勝手にすればいい。可視化止まりじゃ不十分だと言っている。
相変わらず言葉が通じんな君は。
523:現代数学の系譜 雑談
25/11/08 18:04:03.37 P9qVEF++.net
>>511
>第一章の１．４に述語論理出てくるけど、
>カラスの世田はこんな基本的なことも
>何ひとつ全然理解できてないよ（バッサリ）
>URLﾘﾝｸ(www.math.is.tohoku.ac.jp)
ご苦労さまです
(引用開始)
1.4 述語論理
これまで命題と論理演算を組み合わせてより複雑な命題を構成したり推論形式の有効性を議論してきた
そこで展開してきた論理体系を命題論理と呼ぶ
しかしながら命題論理では真偽が確定する命題だけを扱うため数学の基礎付けとしては守備範囲が極めて限定的で不十分である
命題論理を拡張して変数を含む命題を扱うことのできる論理体系を述語論理という
現代数学のほとんどの部分は述語論理によってカバーされる
■命題関数変数(扱う対象は数とは限らないので変項ともいう)を含む主張でその変数を特定するごとに真偽の確定する命題になるものを命題関数といいP(x),Q(x,y)のような記号で表す
ここでx,yを自由変数と呼ぶ
(引用終り)
524:１３２人目の素数さん
25/11/08 18:07:50.34 hP1E8Bup.net
>>517
>”Promenade in Inter-Universal Teichmüller Theory”でしょう（当時IUTを理解している10人の人たち）
B. Collas (RIMS Kyoto, JP)
R. Cluckers (Lille - Leuven, FR)
B. Fresse (Lille, FR)
Porowski (Notthingam, UK)
P. Debes (Lille, FR)
S. Tsujimura (RIMS Kyoto, JP)
Liu (?)
A. Minamide (RIMS Kyoto, JP)
K. Sawada (Osaka, JP)
S. Mochizuki (RIMS Kyoto, JP)
Y. Hoshi (Lille, FR)
?. Wakabayashi (Tokyo)
12人の気鋭の男たちですか
N. Borne (Lille, FR)
J. Hauseux (Lille, FR)
L. Ramero (Lille, FR)
ポスターには名前が載ってましたが
この3名の方は講演はしなかったんですね？
世界的に否定的な風潮である中
これらの人は現在どういう発言をしてますかね？
525:現代数学の系譜 雑談
25/11/08 18:10:44.30 P9qVEF++.net
>>523
ここは中高一貫校生も来る可能性があるから
補足をば
(参考)
URLﾘﾝｸ(www2.yukawa.kyoto-u.ac.jp)
数理論理学入門
高崎金久（京都大学）
URLﾘﾝｸ(www2.yukawa.kyoto-u.ac.jp)
V. 述語論理の意味論
1. 述語論理は何を記号化したものか
1.1 述語論理の特徴
命題論理では「命題」（あるいはその記号化である「命題記号」） が基本的な構成要素であった．命題論理が得意とするのは， 論理回路のように，記述対象が有限個の状態のみをもち， しかもそれらの状態が有限個の命題変数の真理値割り当て（つまりビット列） として表現できる場合である．
命題論理は論理回路などよりも複雑な対象を記述する場合には 力不足である．たとえば，対象が無限に多くの状態をもつか， あるいは，有限個であってもその上限が不定であるような場合を 考えよう．そのような対象を命題論理の枠組で記述しようとすれば， おそらく無限個の命題変数とそれらに関する無限個の論理式を 同時に扱うことが必要になるだろう．これは命題論理の通常の 枠組から逸脱している．さらに，命題論理には対象そのものを 記述する要素が含まれておらず，対象の状態を命題変数でいわば 「間接的に」記述することしかできない（「箱とボール」の パズルを思い出されたい）．
命題の代わりに「述語」を基礎にするのが述語論理である． 述語は変項をもち，変項に代入されるものによって真理値が 決まるもので，対象の性質や対象間の関係を表現している． 変項に代入するものを構成するため「変数」・「定数」・ 「函数」・「演算」など（いずれも実体というよりは 単なる記号である）が用意されるが， これらは記述する対象や対象に関する函数・演算などを 表現している．述語論理の論理式はこのような述語から 構成される．以上のようなものによって命題に内部構造 を持ち込むことができる．
さらに，論理記号として新たに「量化子」（「限量子」 ともいう）が導入されることも大きな特徴である． 量化子は記述対象を指す変数（「対象変数」）を 修飾する記号で，すべての対象に対して主張が 成立することを意味する「全称量化子」と， 少なくとも一つの対象に対して主張が成立する ことを意味する「特称量化子」の二種類がある． 対象変数に関するこの種の論理記号はこの二つ以外にも 考えられているが（たとえば，「様相論理」では「様相記号」 と呼ばれるものが新たに導入される）， 数学の定理などを定式化する際にはこの二種類の量化子で 十分なことが経験上わかっている．
1.2 述語とは何か
526:現代数学の系譜 雑談
25/11/08 18:25:42.13 P9qVEF++.net
>>524
>世界的に否定的な風潮である中
>これらの人は現在どういう発言をしてますかね？
否定の風潮は、どんどん収っています
例えば、下記が、遠アーベルの研究ネットワークで
下記と対比されれば、よろしいかと
URLﾘﾝｸ(ahgt.math.cnrs.fr)
Arithmetic & Homotopic Galois Theory IRN
Members & Partners
ここのメンバーは、別にIUTを否定してはいない
多分、手放しの全面肯定でない人もいるかも
例えば
Germany
Jakob Stix, Goethe University Frankfurt
でも、ここらの数学者は みんな IUTは過去で
次の仕事のネタだと思っているでしょうね
このリストではないが 周忠鵬のように・・
527:現代数学の系譜 雑談
25/11/08 18:37:05.54 P9qVEF++.net
>>526
下記 落合 理 Tadashi Ochiai 先生が
メンバーにいて へー と思いました（数学セミナー誌でよく名前を見たので）
阪大から 東工大の教授へ（いま 東京科学大学）
東工大は、IUT関連の東の拠点だからか・・（＾＾
(参考)
URLﾘﾝｸ(ahgt.math.cnrs.fr)
Japan
・Ochiai Tadashi, Tokyo Institute of Technology
URLﾘﾝｸ(researchmap.jp)
落合 理
Tadashi Ochiai
所属東京科学大学 理学院数学系 教授
学位
博士（数理科学）(東京大学)
MISC 24
代数的整数論とその周辺における問題設定
落合理
数理科学 2020年10月
円分ℤp拡大から保型形式のp進族へ (特集 現象を通して見る岩澤理論)
落合 理
数学セミナー 57(1) 26-31 2018年1月
数の世界の散歩道 : 整数論に導かれて(第12回)ゼータ関数の特殊値(2)
落合 理
数学セミナー 56(3) 80-86 2017年3月
数の世界の散歩道 : 整数論に導かれて(第11回)ゼータ関数の特殊値(1)
落合 理
数学セミナー 56(2) 76-82 2017年2月
528:現代数学の系譜 雑談
25/11/08 18:43:02.34 P9qVEF++.net
>>527 余録
URLﾘﾝｸ(www.math.titech.ac.jp)
落合 理 の ホームページ
URLﾘﾝｸ(www.math.titech.ac.jp)
セミナー準備及び勉強に関する注意
以下の注意は、セミナーに配属されたばかりの4年セミナー又はM1のセミナーを 対象としています。幾つかはそのようなビギナー以外にも該当する 普遍的な項目もありますが、 一方で１年間通してやり続けられたら その後は完璧に守り続ける必要のない項目もあります。また、各人の個性の違い もあるので、人によっては合わない内容もあるかもしれません（そもそも、全員に例外 なく当てはまる勉強法があるならば指導者は必要ないのではないでしょうか...）。
なので、矛盾するようですが、後で「型」を外すことが大事になることもあるか もしれません。ただ、最初からリベラルに進めるだけでは、一定以上の深みに達 することはできないように思います。
また、あくまで私のセミナーにおける「型」 ですので、他の指導者の下では当然考え方は違うかもしれませんが、ビギナーは 何らかの一貫した「型」に当てはめられた訓練 をすることも必要だと思います。
数学の勉強の仕方に関してインターネットや書籍などに様々な文章があります。
例えば、 東大の河東先生のホームページ
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
の文章なども参考になります。精読してみてほしいと思います。 しかしながら、大 学や研究室ごとの細かい事情の違いもあるので 私のところでは(若干それぞれの個性の違いを鑑みての個別に 異なる指導もありますが)このような型で指導するという方針を 以下にまとめておきます (2013年3月記 / 以後ときどき加筆修正）。
529:１３２人目の素数さん
25/11/08 18:56:49.09 hP1E8Bup.net
>>526
>ここのメンバーは、別にIUTを否定してはいない
>多分、手放しの全面肯定でない人もいるかも
その分野の専門家で理解ができているなら
全面肯定せねばならないはずです
それをしないのは
結局誰も分かってないのでは？
と疑われても仕方ないでしょうに
530:１３２人目の素数さん
25/11/08 19:10:49.92 ZuSEB9pS.net
>>525
君がコピペしたいのは、理解できてるフリしたいからでしょ？ 残念ながら君がぜんぜん理解できてないの丸分かりだよ。 君のコピペ行為は君の目的を何一つ達成していない。 無駄なことはやめよう。
531:１３２人目の素数さん
25/11/08 19:46:09.96 2oa8cE4b.net
まぁ肯定も否定も何もiutがどういう数学基礎論に基づいているかすら誰にも説明できない。この世界に誕生すらしていないしもう誕生することもない。望月先生のアイデアとしてこのまま消えていくのみ
532:１３２人目の素数さん
25/11/08 20:02:06.42 ZuSEB9pS.net
IUTは望月のポエム
数学と思うから論争になる ポエムだから論争は野暮
533:１３２人目の素数さん
25/11/08 20:04:24.37 3nB+TfKS.net
>>256
池上大輔氏 曰く
「現在知られている集合論の手法（※）では
ZFCのモデルMから、新しいZFCのモデルNを構成して
MとNの間で一階算術の命題の真偽を変えることはできない
もしリーマン予想がZFCの下で証明も反証もできないとして
そのことを現在の集合論の手法で検証することはできない」
望月新一は、
「通常の方法ではABC予想は証明できないから、IUTを考えた」
というが まず、
「通常の方法ではABC予想が証明できない」
（具体的には例えばZFCでABC予想が偽となるモデルの存在）
という主張の証明がなされてない、次に
「IUTによるABC予想の証明」
（具体的にはIUTの公理（？）を満たすモデルが存在し
かつそのような任意のZFCモデルでABC予想が真となること）
もなされていない。
特にIUTの公理を満たすモデルの存在が示せていないことは致命的である
（ここで求められているのは絶対的な存在ではなく
例えばZFCのモデルが存在するなら、ZFC＋IUTのモデルも存在する
という相対的な存在証明）
534:１３２人目の素数さん
25/11/08 20:09:06.27 3nB+TfKS.net
ヒルベルトの第10問題の否定的解決の系として、
ZFCでは解の非存在が証明できないような不定方程式が存在する
ここであえて「解の非存在」と書いたのは
解が存在すれば、具体的にそれを示せば証明となるからである
解の非存在が証明できない、というのは、具体的には
「標準モデルでは解が存在しないが、
解が存在するような超準モデルが存在する」
ということである。
超準モデルによる解は当然超準的自然数であって
標準的自然数（つまりどのモデルにも存在する自然数）ではない
535:１３２人目の素数さん
25/11/08 20:12:37.93 hP1E8Bup.net
>>526
これはIUT理論の研究ネットワークではないのですね
>例えば、下記が、遠アーベルの研究ネットワークで
遠アーベル幾何学はマイナー（学会講演・評）とはいえまともなものなんでしょう
しかしIUT理論の研究ネットワークはありますかね？
ZEN大学設置の際には「IUGC 宇宙際幾何学センター」だったものが
URLﾘﾝｸ(www.youtube.com)
「ZMC（ZEN Mathematics Center; ZEN数学センター）」になったのは
より広い分野（数論幾何なかんずく遠アーベル幾何）を対象にすることにしたと
好意的に捉えることも出来ましょうが
IUT理論の研究者を育てていかねば
たとえまともなものであったとしてもいずれ廃れます
（100年後に復活するか知れませんけど）
536:１３２人目の素数さん
25/11/08 20:15:56.49 3nB+TfKS.net
無限公理のない集合論における無限集合というのは、いわば超準的集合であって
任意のモデルで存在するような標準的集合ではない
無限公理を設定することで、そのような超準的集合が
任意のモデルで存在するような標準的集合になる
公理の設定でモデルが限定されるが、
任意のモデルで存在する標準的集合は増えることになる
しかし、どれだけ公理を設定しても
一階述語論理をベースとし
さらに人間が証明可能な体系とする場合には
モデルを唯一にすることはできない
要するに集合を標準的集合だけに限定することはできない
それがゲーデルの不完全性定理で示されたことである
537:現代数学の系譜 雑談
25/11/08 23:03:48.68 P9qVEF++.net
>>529
(引用開始)
>ここのメンバーは、別にIUTを否定してはいない
>多分、手放しの全面肯定でない人もいるかも
その分野の専門家で理解ができているなら
全面肯定せねばならないはずです
それをしないのは
結局誰も分かってないのでは？
と疑われても仕方ないでしょうに
(引用終り)
まあ、難しい理論における証明とは、そういうものだとしかいえない
例えば、下記”O–Takegoshi L2 extension”定理について
Yum-Tong Siu 先生が、最初「この論文間違っているんじゃね？」と 騒いだとか 御大が言われていましたね
要するに、画期的な理論は だれもが瞬時に理解できるとは言えないのです
真に 画期的な理論とは 得てしてそういうものです
例えば、下記”Geometric Langlands correspondence”
1,000 pagesで、"so complex that almost no one can explain it"
"very hard, almost impossible" by Drinfeld.[9]”
とあります
21世紀の数学は
そういう傾向がある ；ｐ）
(参考)
URLﾘﾝｸ(en.wikipedia.org)
O–Takegoshi L2 extension theorem
URLﾘﾝｸ(en.wikipedia.org)
Yum-Tong Siu (Chinese: 蕭蔭堂; born May 6, 1943) is a Chinese mathematician. He is the William Elwood Byerly Professor of Mathematics at Harvard University.
URLﾘﾝｸ(en.wikipedia.org)
Geometric Langlands correspondence
Status
A claimed proof of the categorical unramified geometric Langlands conjecture was announced on May 6, 2024 by a team of mathematicians including Dennis Gaitsgory.[7][8]
The claimed proof is contained in more than 1,000 pages across five papers and has been called "so complex that almost no one can explain it".
Even conveying the significance of the result to other mathematicians was described as "very hard, almost impossible" by Drinfeld.[9]
538:１３２人目の素数さん
25/11/08 23:33:53.84 P62wnBwD.net
まだわからんのかねぇこの無能は
望月論文が理解されないのは決定的な瑕疵があるからにきまってるやん？いつになったら理解できんの？高木レベルやなこの無能
539:現代数学の系譜 雑談
25/11/08 23:36:37.67 P9qVEF++.net
>>533
はずれですよ
>望月新一は、
>「通常の方法ではABC予想は証明できないから、IUTを考えた」
その話は、下記の
”§1.Hodge-Arakelov 理論的動機付け”
”§3.対数・テータ格子”
を、音読してね
ZFCは、出てこないよ
さて
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月 出張・講演
[17] 宇宙際タイヒミューラー理論への誘（いざな）い （2015-02） （京都大学数理解析研究所 2015年02月）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(2015-02).pdf
§1.Hodge-Arakelov 理論的動機付け
§3.対数・テータ格子
Ｐ11
Θ-Link:
注:(Hodge theaterに登場するような）
「抽象的なモノイド等」
を扱うようにしないと、log-、Θ-linkのような（通常の環・スキーム論の環構造
に対する）「壁＝障壁」を定義することすらできない！
(引用終り)
ここに、
望月先生の”通常の方法”とは、上記「通常の環・スキーム論の環構造」
のこと
で、”(Hodge theaterに登場するような）
「抽象的なモノイド等」を扱う”が
望月先生創案のIUTのキモです！ （＾＾
540:現代数学の系譜 雑談
25/11/08 23:38:57.89 P9qVEF++.net
>>538
ヒキコモリ数学基礎論くんか
いつも、きみは、キバッテいるねぇ～！ｗｗｗ ；ｐ）
まあ、頑張ってくれｗ
541:１３２人目の素数さん
25/11/08 23:43:38.60 hP1E8Bup.net
>>537
また話をすり替えてますね
>要するに、画期的な理論は だれもが瞬時に理解できるとは言えないのです
>真に 画期的な理論とは 得てしてそういうものです
IUTに関しては
理解できている人達なんでしょう？君の話では>>517
>”Promenade in Inter-Universal Teichmüller Theory”でしょう（当時IUTを理解している10人の人たち）
その分野の専門家で理解ができているなら
全面肯定せねばならないはずです
それをしないのは
結局誰も分かってないのでは？
と疑われても仕方ないでしょうに
542:現代数学の系譜 雑談
25/11/08 23:54:33.06 P9qVEF++.net
>>535
(引用開始)
これはIUT理論の研究ネットワークではないのですね
>例えば、下記が、遠アーベルの研究ネットワークで
遠アーベル幾何学はマイナー（学会講演・評）とはいえまともなものなんでしょう
しかしIUT理論の研究ネットワークはありますかね？
ZEN大学設置の際には「IUGC 宇宙際幾何学センター」だったものが
(引用終り)
いやいや、これで良いのですよ
つまり、下記のRIMS
”2019年 次世代幾何学研究センター設置[3]（2022年に次世代幾何学国際センターに拡充[9]）”
の予算で AHGT：URLﾘﾝｸ(ahgt.math.cnrs.fr)
が作られて、ここに フランスの予算も入っている（ENS, FR、それに Lille大, FRも？）
IUTを含む ”次世代幾何学”の研究ですよ
URLﾘﾝｸ(ja.wikipedia.org)
京都大学数理解析研究所（英: Research Institute for Mathematical Sciences）
年表
2019年 次世代幾何学研究センター設置[3]（2022年に次世代幾何学国際センターに拡充[9]）
脚注
3^ a b c d e f 数理解析研究所 2019 - RIMS, Kyoto university
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
9^ 研究所紹介｜京都大学数理解析研究所 2022年8月10日閲覧
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
543:現代数学の系譜 雑談
25/11/09 00:00:34.20 QrKJGO9s.net
>>541
>IUTに関しては
>理解できている人達なんでしょう？君の話では>>517
ふっふ、ほっほ
数学オチコボレのエスパー登場か
君は、他人の理解 うんぬんが すきだねぇ～～ｗｗｗ
どうでもいいじゃん、他人の理解など
要は、自分がどう理解するかだけよ
私？ 私は、まずは「頑張れ 日本！」の範囲で理解できればいいのですｗｗｗ
つぎは、「日本 チャチャチャ」です
まあ、慌てず
じっくり 見てなさいよ ｗｗｗ
544:１３２人目の素数さん
25/11/09 00:11:30.02 P3lbYVWX.net
>>542
つまり
「次世代幾何学」の名前で評判芳しくないIUTを隠蔽しているようなものでしょうか
上手い方法ですね
しかしその中でIUT理論の研究は進んでいるんでしょうか？>>461
>日本人数学者でも大半はabc予想解決を受け入れてないわけ
>証明になってないと判断してるわけ
>嘘だと思うならここ数年の間にarxivに載ったabc関連の論文を見てみな
>abc予想が解決したことになってないだろ
という現状で進めるのではどんどん評判落とすことになりましょう
545:１３２人目の素数さん
25/11/09 00:15:41.35 P3lbYVWX.net
>>543
>私？ 私は、まずは「頑張れ 日本！」の範囲で理解できればいいのですｗｗｗ
それは初めて知りました
数学という国と関係の薄い学問でそう考える人なのですね
>君は、他人の理解 うんぬんが すきだねぇ～～ｗｗｗ
理解して居れば曖昧にはしないからですよ
IUT理論を強力に後押ししないのは理解して居ないからかも知れません
あなたのように理解はしていないが強力に後押ししたい気持を抑えきれない人もいるみたいですけれど
546:１３２人目の素数さん
25/11/09 00:17:40.38 P3lbYVWX.net
>>543
>数学オチコボレのエスパー登場か
といいますかあなたの受け売りですよ？>>517
>”Promenade in Inter-Universal Teichmüller Theory”でしょう（当時IUTを理解している10人の人たち）
その分野の専門家で理解ができているなら
全面肯定せねばならないはずです
547:１３２人目の素数さん
25/11/09 00:21:08.34 P3lbYVWX.net
>>543
>まあ、慌てず
>じっくり 見てなさいよ ｗｗｗ
どちらかと言えば
贔屓の引き倒しになりかねないのでは？
兎にも角にもABC予想が予想ではなく定理として認められるのはまだまだ先になりそうですけれど
548:１３２人目の素数さん
25/11/09 02:06:54.64 ajsip/xV.net
島国には島国の良さがある。なぜ大陸でなければならぬのか。ボールペン一本を買うためにデパートの中をウロウロさせるようなOSをなぜ有りがたがるのか。ボールペンは文具店に直行すれば、すぐ買える。まあ、そういうことだよ、坊やたち。
日本は日本の独自性を生かすことで人類への貢献ができる。
足りぬ足りぬは、工夫が足りぬw 戦時中の日本人に学ぼう。
ついでに
トロン万歳！ リニア万歳！ 天皇陛下万歳！
549:１３２人目の素数さん
25/11/09 05:49:07.21 drNebvvD.net
トロンと坂村健の嘘
URLﾘﾝｸ(ikedanobuo.livedoor.biz)
550:１３２人目の素数さん
25/11/09 07:03:54.96 CA6TFgJW.net
>>537
まあ、大学初年級レベルでも
初めて出会う定義・公理に基づく証明とは、
そういうものだな
例えば、「箱入り無数目」定理について
ここの常連素人が、最初
「この記事間違っているんじゃね？」
と 騒いだとか
選択公理が分からなかったんだな
要するに、数学理論の定義・公理は
だれもが瞬時に理解できるとは言えない
真に新しい事柄とは 得てしてそういうもの
大学の数学はそういう傾向がある
551:１３２人目の素数さん
25/11/09 07:11:02.89 CA6TFgJW.net
>>538
＞＞望月論文が理解されないのは
＞＞決定的な瑕疵があるから
＞＞にきまってるやん？
>>539
＞はずれですよ
”悔しさによる脊髄反射”は🐎🦌のすること
感情を制御できないと・・・死ぬよ
＞その話は、下記・・・を、音読してね
＞・・・は、出てこないよ
音読したけど、何ひとつ、理解できなかった、と
実数の定義、収束の定義、コーシー列の定義、関数の連続性の定義・・・
音読したけど、何ひとつ、理解できなかった、と
どの定義も∀と∃が交互に出てきて
AとEがひっくり返ってるのはなんでだ
とそこばかり引っかかって先にすすめなかった、と
この「ド田舎から大学に入ってつまづいた学生」へのアドバイスは２つ
・述語論理の式の読み方を勉強してね
・定義は証明するものではないので、まずそういう前提だと受け入れてね
できない？じゃ、大学はあきらめて、田舎に帰って百姓しながら碁でも打ってね
552:１３２人目の素数さん
25/11/09 07:26:52.18 CA6TFgJW.net
>>539
>望月新一の”通常の方法”とは、
>「通常の環・スキーム論の環構造」
>のことで、
>”(Hodge theaterに登場するような）
>「抽象的なモノイド等」を扱う”
>が望月新一創案のIUTのキモ
（注：上記の「先生」とかいうキモ語はフルネームに変換
いかなる学問でも学界では呼び捨てが当然
これを侮蔑とかいう奴は正真正銘の●違い）
さて、なんかわかったふうなこといってる素人カラス君
環の定義は知ってる？
モノイドの定義は知ってる？
あきらかに環よりモノイドのほうが制約が少ない
そもそも前者は加法と乗法が出てくるが
後者は一つの演算しかでてこないし
その演算における逆元は通常存在しない
あきらかに環構造のうち乗法だけ見るという意図で
モノイドを出してきたと想像されるが
理論の常として一般化すればするほど
（つまり公理を弱めれば弱めるほど）
証明できる定理は少なくなる
まあ、望月新一の”タイヒミューラー理論”の意図は
「環のうち乗法だけを保存し加法は保存されない写像を考える」
ということなのだろうが、言うは易し、行うは難しで
ｘ∈ｘなんてキテレツなアイデアを正当化しようとしてる時点で
うまくいってないんだろう
キテレツだから間違ってるとはいわないが
うまく公理化できてないなら、意味がない
それだけのこと
わかったかい？
大学１年のコーシー列と線形独立の定義が理解できなくて
ものの見事に落第した素人カラス君
553:１３２人目の素数さん
25/11/09 07:30:30.69 CA6TFgJW.net
>>540
大学１年のコーシー列と線形独立の定義が分からず
1>0.999…とか、正方行列は正則行列とか、
初歩レベルの誤りをドヤ顔で語る素人カラス君
まあ、述語論理の∀と∃の読み方から頑張って勉強して、
（一階）述語論理恐怖症を克服してくれたまえ
554:１３２人目の素数さん
25/11/09 07:37:20.32 CA6TFgJW.net
>>535
＞＞IUT理論の研究ネットワークはありますかね？
＞＞IUT理論の研究者を育てていかねば
＞＞たとえまともなものであったとしてもいずれ廃れます
>>542
＞いやいや、これで良いのですよ
＞RIMS”次世代幾何学＊＊センター”の予算で
＞AHGTが作られて、ここに フランスの予算も入っている
＞（ENS, FR、それに Lille大, FRも？）
＞IUTを含む ”次世代幾何学”の研究ですよ
いい加減なこといって、国から研究費をむしる学界詐欺の典型ですな（嘲）
税金毟られて喜ぶとかカラスはどんだけマゾなんだ（笑）
555:１３２人目の素数さん
25/11/09 07:47:13.54 CA6TFgJW.net
>>543
＞君は、他人の理解 うんぬんが すきだねぇ〜〜
＞どうでもいいじゃん、他人の理解など
話し手が、話していることを理解しているかどうかは、最も重要
自分が理解できてないことを話すヤツの話を聞くのは時間の無駄だからね
＞要は、自分がどう理解するかだけよ
自分が理解するために、
理解できている人から話を聞く
理解できてない奴はクソだから焼く
便所の💩の掃除は大事
さて、本題の💩の掃除
＞私？ 私は、まずは
＞「頑張れ 日本！」
＞の範囲で理解できればいいのです
＞つぎは、
＞「日本 チャチャチャ」
＞です
なんでそこでニッポンがでてくるのか分からん
自分が大学１年レベルの数学に負けたから
自分を日本人全体に拡大して、
「オレが負けた現代数学に、日本人の誰かが勝ってくれ」
といいたいのかな？
だったら別に日本人に限定せず、人類全体に拡大しなよ
どうせン万年だかン十万年だか辿ればどこの人も共通祖先にたどり着くよ
３０万年という説があるけど、その場合まさに１万世代前の祖先だな
これがほんとの万世一系、八紘一宇か？（笑）
神武天皇はカメルーンにいた、ってか？（笑）
人類バンザーイ
●違いモッチーも、天才ショルツェも、遠い遠い親類
人類みな一家 仲良くしような（マジ）
556:１３２人目の素数さん
25/11/09 07:52:21.85 CA6TFgJW.net
>>548
トロン → アイデアは良かったが、実現に至らず
リニア → 技術はいいが、トンネル工事でトラブルつづきで、いつ開通できるやら
天皇 → 実質的には承久の乱後、権力喪失 南北朝のせいで完全に「いるだけの存在」になる
557:１３２人目の素数さん
25/11/09 07:56:25.82 CA6TFgJW.net
日本人はもう８割方、半島と大陸の血が入ってる
Y染色体ハプログループでいえば
O1b2は朝鮮半島から来た
O2は中国大陸から朝鮮半島を経て来た
日本の自己愛国粋野郎が中国・朝鮮・韓国を嫌うのはまさに近親憎悪
日本の自己愛国粋野郎は日本を中国や北朝鮮のような完全に全体主義的な国家にしたがってる
要するに中国や北朝鮮のような統制国家が「ぼくのかんがえるさいこうのくに」らしい（笑）
キモチワルイ 実にキモチワルイ
558:１３２人目の素数さん
25/11/09 08:00:47.11 CA6TFgJW.net
アナトリアの住民が昔ギリシャ語、今トルコ語をしゃべってる時点で
言語とか民族としてのアイデンティティとかいうものは
遺伝形質でもなんでもないということがわかる
人が生きるのにアイデンティティは要らない 最低、食料があればいい
559:１３２人目の素数さん
25/11/09 08:21:47.71 drNebvvD.net
十年一日のごとき〇〇〇〇節ですな
560:１３２人目の素数さん
25/11/09 08:26:36.54 KzrJNEj3.net
黒人蔑視のジェームズ・ワトソンと
同世代なのだろう
561:現代数学の系譜 雑談
25/11/09 08:48:41.89 QrKJGO9s.net
>>544
>>abc予想が解決したことになってないだろ
>という現状で進めるのではどんどん評判落とすことになりましょう
いやいや 間違っていますよ
”数学はやればやるほど簡単になるはずであり、組み合わせの数は無限であっても、行き詰るはずはないのである。
岡潔 『一葉舟』角川ソフィア文庫”
多分、数学は 最先端は常に難しいが、先に進めば 難しかった定理の証明に 簡明な別証が見つかったり するものだと
そして、万一 望月IUTのabc予想証明に ギャップが見つかったとしても、それも数学の進歩というものです
そのギャップを、他の人が埋めるか
あるいは、新しい証明を考えるか、それも 数学の進歩というもの
なので、”2019年 次世代幾何学研究センター設置[3]（2022年に次世代幾何学国際センターに拡充[9]）”>>542
は、数学の王道です
(参考)
chrome-extension://efaidnbmnnnibpcajpcglclefindmkaj/URLﾘﾝｸ(www2.math.kyushu-u.ac.jp)
九州大学 集中講義 2019.11
解析接続の問題に現れる解析と幾何
大沢健夫
数学はやればやるほど簡単になるはずであり、組み合わせの数は無限であっても、行き詰るはずはないのである。岡潔 『一葉舟』角川ソフィア文庫
（ついで）
URLﾘﾝｸ(www.math.sci.hokudai.ac.jp)
幾何学者石川剛郎
URLﾘﾝｸ(www.math.sci.hokudai.ac.jp)
第２６回 沼津改め 静岡研究会 ２０１９年３月
--- 幾何，数理物理，そして量子論 ---
URLﾘﾝｸ(www.math.sci.hokudai.ac.jp)
解析接続の解析と幾何
大沢健夫 2019
562:現代数学の系譜 雑談
25/11/09 09:04:05.58 QrKJGO9s.net
>>545
>>君は、他人の理解 うんぬんが すきだねぇ～～ｗｗｗ
>理解して居れば曖昧にはしないからですよ
>IUT理論を強力に後押ししないのは理解して居ないからかも知れません
>あなたのように理解はしていないが強力に後押ししたい気持を抑えきれない人もいるみたいですけれど
いやいや 間違っていますよ
>>8より再録
(参考)
URLﾘﾝｸ(hiroyukikojima.)<)
数論幾何入門 森北出版
モジュラー曲線から大定理・大予想へ
東京大学准教授 博士（数理科学） 三枝洋一 (著)
《数論幾何学の世界をめぐるための格好のガイドブック》
整数論の問題を幾何学的手法で解く―それが数論幾何学と呼ばれる代数学の分野です。フェルマー予想をはじめ、志村-谷山予想、ラングランズ予想、佐藤-テイト予想、BSD予想、ヴェイユ予想といった魅力的な大定理・大予想を数多く備えながらも、その理論は非常に抽象的かつ難解であるがゆえに、これまで初学者への門戸は開かれていませんでした。
本書は、そんな数論幾何学の世界に足を踏み入れるための入門書です。抽象的な一般論ではなく、「モジュラー曲線」と呼ばれる具体例を軸に解説されているので、特別な予備知識がなくても数論幾何学の考え方が理解できます。
前半では主にモジュラー曲線について解説し、後半では上記の大定理・大予想の内容の理解を目指します
(引用終り)
別に、加藤文元先生の宇宙本が バカ売れしたという
”宇宙と宇宙をつなぐ数学 IUT理論の衝撃 | 加藤 文元”
さらに、別に 数学者による 市民講演会というがある
要するに、21世紀の現代においては 数学は 社会から孤立した学問ではないのです
今、IUTに欠けているのは >>13-14 "加藤文元氏 メンタルピクチャー、形式化図式と数学の「理解」"と
"＜“big picture”＞" Career advice Terence Tao です
三枝洋一 「モジュラー曲線から大定理・大予想へ」レベルの本が存在していない！
”メンタルピクチャー”、“big picture” が 欠けている
それは、いずれ出てくる。IUTが正しければね。それが 数学の進歩です
563:現代数学の系譜 雑談
25/11/09 09:05:49.30 QrKJGO9s.net
>>562 タイポ訂正
さらに、別に 数学者による 市民講演会というがある
↓
さらに、別に 数学者による 市民講演会というのがある
564:１３２人目の素数さん
25/11/09 09:14:00.76 iDJjSeAH.net
ギャップというよりそもそも数学の文章として成立するための基礎論すらない。数学的証明に変換する変換先が定義されてない。どこそこわからないんじゃなくて丸ごと全部変換できない。
565:現代数学の系譜 雑談
25/11/09 09:33:40.90 QrKJGO9s.net
>>546
>>”Promenade in Inter-Universal Teichmüller Theory”でしょう（当時IUTを理解している10人の人たち）
>その分野の専門家で理解ができているなら
まず、IUTを数学的に否定した 文献は世界にたった一つ
“Why ABC is still a conjecture” [URLﾘﾝｸ(www.math.uni-bonn.de)
by Peter Scholze のみ。これを認めよう！ （他は woitブログとか 文学系ですｗ）
そして、Scholze氏のは ”radical simplifications”という明白な ストローマン論法なので
これを、公に支持する 数論の数学者も また 皆無（専門違いの圏論屋が一人）
さて、”理解”とは 何か？ 大学入試ならば ある部屋にカンニング無しで 一定時間にある問題を解かせた 点数だろう
院試なら、上記に加えて 口頭試問がある
ところで、専門分野のIUTについては、このような手段は存在しない
”理解”の客観的な指標は存在しない
だが、多分 IUTの専門家同士で話をすれば、「ああ この人は分っている」と感じるものがあるでしょうね
私？ 私は IUTなど ”さっぱり妖精”（下記） （＾＾
三枝洋一 「モジュラー曲線から大定理・大予想へ」を 読むのが 精一杯ｗ
(参考)
URLﾘﾝｸ(dic.pixiv.net)
さっぱり妖精 ピクシブ百科事典
「魔法陣グルグル」に登場するキャラクター
URLﾘﾝｸ(i.pximg.net)
>>476-477より再録
下記 “Why ABC is still a conjecture”中 の
”2.1.Glossary: IUTT-terminologyandhowwemaythinkoftheseobjects.
This will involve certain radical simplifications, and it might be argued that such simplifications strip awayall the interesting mathematics that forms the core of Mochizuki’s proof.”
ここで ”radical simplifications”が、ストローマンでアウト！
（政治ディベートでは ストローマンは常套手段だが、数学では許されない！）
(参考)
URLﾘﾝｸ(zbmath.org)
zbMATH Reviewer: Peter Scholze (Bonn)
Inter-universal Teichmüller theory. I: Construction of Hodge theaters(2021).
(抜粋)
“Why ABC is still a conjecture” [URLﾘﾝｸ(www.math.uni-bonn.de) that discusses the issues in slightly more detail.
URLﾘﾝｸ(ja.wikipedia.org)
ストローマン（straw man）は、議論において、相手の考え・意見を歪めて引用し、その歪められた主張に対してさらに反論するという間違っている論法のこと、あるいはその歪められた架空の主張そのものを指す
566:現代数学の系譜 雑談
25/11/09 09:35:48.49 QrKJGO9s.net
>>564
ヒキコモリ数学基礎論くんか
妄想デンパ出まくりですよ
お薬のみましょう
567:１３２人目の素数さん
25/11/09 09:45:41.45 iDJjSeAH.net
ないやん。どこにかいてあるの？
568:１３２人目の素数さん
25/11/09 09:46:50.07 wauc0h2b.net
>>556
>天皇 → 実質的には承久の乱後、権力喪失 南北朝のせいで完全に「いるだけの存在」になる
しかし「いるだけの存在」は続き決して無くなることはなかった。
それどころか歴史の要所要所で存在感を発揮した。勝てば官軍負ければ賊軍、王政復古の大号令、皇軍、等。
先の大戦の敗戦により敗軍の将となり国民主権となったにもかかわらず国家国民の象徴としてなお存続した。
それらは日本人の心の中に常に畏敬崇拝の念があったからだ（時の権力者がそれを利用した）。
そして現在、天皇は世界で唯一の皇帝（Emperor）である。
天皇制が気に入らないなら日本から出ていくことだ。気に入らない国に我慢して居続けることはない。
569:１３２人目の素数さん
25/11/09 10:10:22.35 wauc0h2b.net
>>557
>日本の自己愛国粋野郎が中国・朝鮮・韓国を嫌うのはまさに近親憎悪
中国は人民の不満が中共政府に向かわぬようそのはけ口として国の外に日本という敵を作っている。尖閣領海への侵犯を繰り返している。武漢肺炎パンデミックを起こしたのに謝罪しない。
韓国は日韓請求権協定締結により戦後賠償問題は完全かつ最終的に解決したにも関わらず日本に言いがかりつけゆすり集りしてくる。
朝鮮は拉致被害者を返さない。ミサイル撃ってくる。
これらの国を嫌う合理的理由がちゃんとある。
>日本の自己愛国粋野郎は日本を中国や北朝鮮のような完全に全体主義的な国家にしたがってる
>要するに中国や北朝鮮のような統制国家が「ぼくのかんがえるさいこうのくに」らしい（笑）
>キモチワルイ 実にキモチワルイ
その思い込みこそがキモチワルイ 実にキモチワルイ
570:現代数学の系譜 雑談
25/11/09 10:11:04.73 QrKJGO9s.net
>>550
>例えば、「箱入り無数目」定理について
下記「箱入り無数目」は、定理にはなっていない
実際、時枝氏も 数学セミナーの記事の最後は、”むにゃむにゃ”とお経を唱えてゴマカシたｗ
なお、数学セミナー誌は 査読のある新規論文投稿の雑誌ではない
また、「箱入り無数目」以外の同趣旨の査読論文も皆無だし
さらに、「箱入り無数目」に賛同する 日本の大学の確率論学者も皆無
さらに、大学レベルの確率論を修めた人で 「箱入り無数目」に賛同する人皆無
「箱入り無数目」の大問題は、下記 確率の公理 P(Ω)=1 を 決定番号が満たせないことにある
つまり、決定番号は 全ての自然数を渡るが
Ω＝自然数の集合N とすると、数え上げ測度で 無限大に発散するため P(Ω)=1 は与えられない
よって 例えば、自然数Nで 半分は奇数、”半分は偶数だから P(偶数)=1/2” はダメ！！■
（直感的には 言えそうだが、厳密な数学ではない）
(参考)
ｽﾚﾘﾝｸ(math板)
スレタイ 箱入り無数目を語る部屋29
(参考)時枝記事
URLﾘﾝｸ(imgur.com) (リンク切れてしまったが そのうちにｗ)
数学セミナー201511月号「箱入り無数目」
ｽﾚﾘﾝｸ(math板:401番)-406 純粋・応用数学（含むガロア理論）8 より
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
URLﾘﾝｸ(ja.wikipedia.org)
確率の公理
コルモゴロフによる公理系
Ω は、根元事象と呼ばれる要素の集合、
F は Ω の部分集合から構成される族であり、その要素は事象と呼ばれる。
P は F 上の集合関数とする。
4. P(Ω)=1.
URLﾘﾝｸ(ja.wikipedia.org)
数え上げ測度（英: counting measure; 計数測度）とは、集合の元の個数を数えるという方法でその "大きさ"（あるいは "容積"）を測る
571:１３２人目の素数さん
25/11/09 10:14:06.75 wauc0h2b.net
>>558
>人が生きるのにアイデンティティは要らない
じゃ日本から出てけば？
572:１３２人目の素数さん
25/11/09 10:20:28.07 KzrJNEj3.net
数学と食料さえあれば
宇宙空間で独りぼっちでも
人が生きるのには十分
573:１３２人目の素数さん
25/11/09 10:27:13.46 wauc0h2b.net
>>570
>下記「箱入り無数目」は、定理にはなっていない
なってる。君が勘違いしてるだけ。
>実際、時枝氏も 数学セミナーの記事の最後は、”むにゃむにゃ”とお経を唱えてゴマカシたｗ
ごまかしてるのは君。
>なお、数学セミナー誌は 査読のある新規論文投稿の雑誌ではない
>また、「箱入り無数目」以外の同趣旨の査読論文も皆無だし
「正しい定理は査読を通ったものだけ」が間違い
>さらに、「箱入り無数目」に賛同する 日本の大学の確率論学者も皆無
>さらに、大学レベルの確率論を修めた人で 「箱入り無数目」に賛同する人皆無
箱入り無数目成立を公言した大学教員
Stanford大学教授 時枝正
Kusiel-Vorreuter大学教授 Sergiu Hart
Baylor大学教授 Alexander Pruss
箱入り無数目不成立を公言した大学教員
無し
箱入り無数目は集合論を使った数学パズルだから確率論学者は関係無い。
>「箱入り無数目」の大問題は、下記 確率の公理 P(Ω)=1 を 決定番号が満たせないことにある
>つまり、決定番号は 全ての自然数を渡るが
>Ω＝自然数の集合N とすると、数え上げ測度で 無限大に発散するため P(Ω)=1 は与えられない
正しくは Ω={1,2,・・・,100}。君が誤解してるだけ。
>よって 例えば、自然数Nで 半分は奇数、”半分は偶数だから P(偶数)=1/2” はダメ！！■
>（直感的には 言えそうだが、厳密な数学ではない）
箱入り無数目は厳密に成り立つ。直感頼りで間違ってるのが君。
574:１３２人目の素数さん
25/11/09 10:30:46.25 KzrJNEj3.net
ABCに戻ろう
575:１３２人目の素数さん
25/11/09 10:36:02.05 wauc0h2b.net
>>561
君、相変わらず言葉が通じないね、会話がかみ合ってないよ
576:１３２人目の素数さん
25/11/09 10:38:57.65 KzrJNEj3.net
IUTについては
かみ合う議論が難しい
577:１３２人目の素数さん
25/11/09 10:46:14.53 CA6TFgJW.net
>>561
>>561
＞”数学はやればやるほど簡単になるはずであり、
＞組み合わせの数は無限であっても、
＞行き詰るはずはないのである。”
＞岡潔 『一葉舟』
最初の行は、情報量の定義に反する
二行目三行目は正しいが
そこから最初の行の主張は導けない
（完）
＞多分、数学は 最先端は常に難しいが、
難しいのではなく、分かってない
素人は言葉を知らんね
＞先に進めば 難しかった定理の証明に
＞簡明な別証が見つかったり するものだと
常にそうなるとは言えない
もしそういえるとすると情報量の定義と矛盾する（笑）
578:１３２人目の素数さん
25/11/09 10:50:44.05 CA6TFgJW.net
>>562
＞今、IUTに欠けているのは メンタルピクチャ（加藤文元） big picture（Terence Tao）
ヒルベルトなら「無矛盾性」 タルスキなら「モデルの存在」 というところだね
＞それは、いずれ出てくる。IUTが正しければね。
間違ってたら、永遠に出てこないけどね。
御愁傷様 国粋●違いはギャンブルで大穴に賭けてものの見事に負けました！（笑）
579:１３２人目の素数さん
25/11/09 10:53:14.79 drNebvvD.net
>>572
「孤独は死に至る病じゃ」
独りぼっちで生きていけるなら、なぜひとのいる掲示板に出てくる？
580:１３２人目の素数さん
25/11/09 10:53:32.23 CA6TFgJW.net
>>565
＞私？ 私は IUTなど ”さっぱり妖精”
君はそもそも実数論も線形空間論も”さっぱり妖精”だろ（笑）
コーシー列の定義も理解できん
線形独立の定義も理解できん
それじゃ微積も線形代数も落第だわな
581:１３２人目の素数さん
25/11/09 10:54:49.72 wauc0h2b.net
>>562
望月はショルツェを納得させられなかった。それどころか逆ギレして罵倒した。望月自身がIUTを理解していないことを白状したも同然。理解していたら駄々っ子みたいに逆ギレする必要は無い。
それを見た数学コミュニティは「こりゃダメだ」と相手にするのをやめた。望月のかつての師も「自分の研究に時間を使うことにした」とやんわり突き放したｗ
582:１３２人目の素数さん
25/11/09 10:56:03.07 CA6TFgJW.net
>>566
コピペ国粋●違いの君は
誇大妄想出まくりだけどな
たかが公立高→二流国立大工学部卒の”一般人”が数学者ぶるなよ
コーシー列も線形独立も分からん奴は数学者どころか
大学１年の微積と線形代数の単位もとれねえよ（笑）
583:現代数学の系譜 雑談
25/11/09 10:58:04.76 QrKJGO9s.net
>>548-549
>トロン万歳！ リニア万歳！ 天皇陛下万歳！
>トロンと坂村健の嘘
>URLﾘﾝｸ(ikedanobuo.livedoor.biz)
>>556
トロン → アイデアは良かったが、実現に至らず
(引用終り)
"トロン" みたいな話は、IT業界には山ほどある（敗れ去ったもの話 IT界の時間の流れは速い）
例えば、OSの歴史では いまLinuxが標準になってしまった
また、スマホも Androidは、Linuxカーネル（アップルiOSは BSD系UNIXらしい 下記）
その中で、"トロン" 自身は 戦いに敗れたかもしれないが
日本のIT界に残した 人材と知的財産の遺産は 大きいと思いますよ
池田 信夫さん、下記 1978年（昭和53年）東京大学経済学部卒業、1978年（昭和53年）NHK入局か
まあ、文系さんだね（理系の深いところは 彼は 理解できていないようだ・・）
(参考)
URLﾘﾝｸ(news.yahoo.co.jp)
意外と知らない日本発の世界標準OS『TRON』は何が凄いのか？
5/13(火) スマホライフPLUS
OSと言えば『Windows』『Linux』などを想起する方は多いでしょう。しかし『TRON』はリアルタイム処理とオープンアーキテクチャで組み込みシステムのデファクトスタンダードとなり、世界標準のOSとして無数のデバイスに搭載されています。IoTの先駆けとなり、小惑星探査機『はやぶさ2』にも採用されています。
URLﾘﾝｸ(ja.wikipedia.org)
TRONプロジェクト
電電公社によるCTRONプロジェクトは成功し、1990年頃よりNTT社内において、DEXのOSである「DEX-OS」とDIPSのOSである「DIPS-OS」が、CTRON準拠の「IROS（Interface for Realtime Operating System）」に切り替わった
URLﾘﾝｸ(ja.wikipedia.org)
Linux
2017年のLinux Foundationによる報告書は、99%のスーパーコンピュータ、90%のパブリッククラウド、82%のスマートフォン、62%の組み込みシステムがLinuxで動作していると主張している[13]
つづく
584:現代数学の系譜 雑談
25/11/09 10:58:40.35 QrKJGO9s.net
つづき
URLﾘﾝｸ(ja.wikipedia.org)(%E3%82%AA%E3%83%9A%E3%83%AC%E3%83%BC%E3%83%86%E3%82%A3%E3%83%B3%E3%82%B0%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0)
Android（アンドロイド）は、Googleが開発した汎用モバイルオペレーティングシステムである[3][4][注釈 1]。Linuxカーネルやオープンソースソフトウェアがベースで、主にスマートフォンやタブレットなどのタッチスクリーンモバイルデバイス向けにデザインされている
URLﾘﾝｸ(ja.wikipedia.org)
オペレーティングシステム（英: operating system、略称:OS、オーエス）
歴史
1980年代後半-2000年代初頭 次世代オペレーティングシステムへの流れ
1991年に、Linuxが自由ソフトウェアとして公開された
Linuxは保守的な設計とバザール方式という不特定多数の担い手による開発手法を採用し、迅速な開発が進められ、PC-UNIXのデファクトスタンダードとなった
2000年代中盤 オペレーティングシステムの多様化
オープンソースの流れでは、従来よりGNUがUNIX向けのツール群を開発していたが、これらをLinuxカーネルと組み合わせたGNU/Linuxが、2000年頃よりUnix系オペレーティングシステムの主流となった
組み込みシステム
オープンソースのTOPPERSのITRONを含むTRON系オペレーティングシステム・APIが、2020年現在、組み込みオペレーティングシステムの60%のシェアを持っている[10]。
URLﾘﾝｸ(ja.wikipedia.org)
iOS（アイオーエス）とは、Appleが開発および提供する、iPhoneとiPod touch向けのモバイルオペレーティングシステム（組み込みプラットフォーム）であり、BSD系UNIXから開発されたNeXTのOPENSTEPを起源とするMacintosh専用のmacOSをモバイル機器用途に改変したものである
URLﾘﾝｸ(ja.wikipedia.org)
池田 信夫（いけだ のぶお、1953年〈昭和28年〉10月23日[1] - ）は、日本の経済評論家[3][4][5][6]、ブロガー
学歴
1972年（昭和47年） - 京都府立洛北高等学校[44] 卒業。
1978年（昭和53年） - 東京大学経済学部卒業[7]。
1996年（平成8年） - 慶應義塾大学大学院政策・メディア研究科政策・メディア専攻修士課程修了。同年、同大学院政策・メディア研究科政策・メディア専攻後期博士課程中退[7]。
2005年（平成17年） - 「情報通信産業のアーキテクチャについての研究」により、慶應義塾大学大学院政策・メディア研究科より博士（政策・メディア）を授与[45]される
職歴
1978年（昭和53年） - NHK入局[7]。
1993年（平成5年） - NHKを退職[7]。
1997年（平成9年） - 国際大学グローバルコミュニケーションセンター (GLOCOM) 助教授（-2000年）[7]
(引用終り)
以上
585:１３２人目の素数さん
25/11/09 11:01:10.58 iDJjSeAH.net
これもセタの小学生構文、「駄々をこねる」、重い通りにいかないから話の筋道通ってようがなかろうがお構いなしに言いたいことを相手がい相手にするの嫌になって引いていくまでひたすら「駄々をこねる」。長文コピペもおなじ。思春期時代にそういう「駄々をこねる」という行為が人間としてみっともない、恥ずかしい行為であることを学ぶ機会がなかったんやろ。
そして「駄々をこねる」ことで、他人に白い目で見られることと引き換えに、無理を通す成功体験を通じて理性的に判断して自説の誤りを認めることも時には必要ということを学ぶ機会を失って結果、理性的判断よりも「自分が負けることはゆるされない、どんな場合でも、現実自分がまちがっていたとしても」という感情判断の方を優先する“人格障害”に陥ってしまったんやろ。
もうまともな人間にもどるのは無理やろな
586:１３２人目の素数さん
25/11/09 11:05:29.28 wauc0h2b.net
>>565
>まず、IUTを数学的に否定した 文献は世界にたった一つ
相手にされてないから否定すらしてもらえない
逆に肯定してるのは望月一味だけ
これが現実
587:１３２人目の素数さん
25/11/09 11:10:23.67 CA6TFgJW.net
>>568
（天皇）
＞しかし「いるだけの存在」は続き決して無くなることはなかった。
日本人は骨董マニア（笑）
＞それどころか歴史の要所要所で存在感を発揮した。
＞勝てば官軍負ければ賊軍、王政復古の大号令、皇軍、等。
明治以降の政府が天皇を利用しただけ
天皇自身は基本何もしてない
明治天皇は何した？ 言えないだろ？ だって何もしてないもん（笑）
＞先の大戦の敗戦により敗軍の将となり
＞国民主権となったにもかかわらず
＞国家国民の象徴としてなお存続した。
昭和天皇は戦争の終結にはちょっとは寄与した
ただぶっちゃけかなり遅すぎた
１９４４年のサイパン陥落の時点で降参すべきだった
そうすれば六大都市を中心とした空襲はなかった
沖縄も戦場にならなかった
特攻なんて愚劣なことは起きなかった
大正世代の男性の１割を超える戦死者をだすこともなかった
＞それらは日本人の心の中に常に畏敬崇拝の念があったからだ（時の権力者がそれを利用した）。
ないよそんなもんは
権力によって畏敬崇拝を強制させられた
中国や北朝鮮がやってることと全然変わんないよ（笑）
むしろカルト宗教度では両者より上かもしれん
＞そして現在、天皇は世界で唯一の皇帝（Emperor）である。
中国の皇帝と、ローマのインペラトールは異なる
前者では世襲は重要だが、後者は軍事司令官の意味が強く世襲の意味はない
ヨーロッパで世襲制の意味が強いのはむしろ王（king）である
せめてこの程度の常識を知ったうえで、フカしてくれないと
只の夜郎自大馬鹿野郎と鼻先で笑われるだけ
そこの万年中二病自己愛野郎の相手をするほど、ボクは人類愛には目覚めてない（笑）
＞天皇制が気に入らないなら日本から出ていくことだ。
＞気に入らない国に我慢して居続けることはない。
ここは日本ではない（笑）
ここに日本はないので、「日本人」はここから出ていくことだ
勝手にここを日本だと詐称するのはやめような
大体日本って中国からみて東という蔑称だって知らない馬鹿は失せろよ シッシッ！！
588:１３２人目の素数さん
25/11/09 11:15:36.48 wauc0h2b.net
>>587
>>568を読んで理解してから反論しろ馬鹿
589:１３２人目の素数さん
25/11/09 11:17:39.81 wauc0h2b.net
>ここは日本ではない（笑）
そうなの？ じゃおまえはどこにいるの？
590:１３２人目の素数さん
25/11/09 11:18:29.04 CA6TFgJW.net
>>569
＞中国は人民の不満が中共政府に向かわぬよう
＞そのはけ口として国の外に日本という敵を作っている。
中国は日本なんて敵と思っちゃいない（笑）
朝鮮だろうが日本だろうが
ベトナムだろうがミャンマーだろうが
マレーシアだろうがインドネシアだろうが
全部目下 基本的に侵略対象ではない
中国本土よりいい場所なんて周りにないから
まあ、中国人はどこへでもいくから
華僑とかいってあふれまくってるけどね
日本はかつて朝鮮だけでなく満州そして中国本土まで侵略してきた
しかも一度も謝罪しない
日本は島の土人のくせに自分だけが人間だと思ってる
イスラエルのごとき身の程知らずの自己愛●違い野郎
アジア諸国が日本を憎む理由はある
だれが殺人鬼強姦魔強盗犯を歓迎するのか？
591:１３２人目の素数さん
25/11/09 11:22:35.36 CA6TFgJW.net
>>５８９
>おまえはどこにいるの？
ここ（笑）
592:１３２人目の素数さん
25/11/09 11:24:37.16 wauc0h2b.net
>>591
日本にいて、日本語話して、日本の庇護を受けて日々平和を享受して生きてるのに、ここは日本ではないとか言っちゃう基地外だったか
593:１３２人目の素数さん
25/11/09 11:26:35.51 wauc0h2b.net
>>590
>中国は日本なんて敵と思っちゃいない（笑）
ほんとおまえ話通じねえな 言語障害か？
敵と思ってるなんて一言も言ってない
人民にとっての敵を作ってると言っている
594:現代数学の系譜 雑談
25/11/09 11:27:26.19 QrKJGO9s.net
>>583 タイポ訂正
"トロン" みたいな話は、IT業界には山ほどある（敗れ去ったもの話 IT界の時間の流れは速い）
↓
"トロン" みたいな話は、IT業界には山ほどある（敗れ去ったものの話 IT界の時間の流れは速い）
＜余談＞
下記 ソニーのNEWS-OS（UNIX）、Σプロジェクトとか 商業的には成功しなかった
しかし、ソニー プレステとか ニンテンドーとか 知識と人材がゲーム機で生きている気がする
第五世代コンピュータも、AIの先取りで 商業的には成功しなかったが
知識と人材は、いまの時代に 生きている気がする
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
UNIX
NEWS-OS
ソニー製のNEWSワークステーション専用のUNIX。当初は4.2BSDベースであったが、後に4.3BSDベースとなる。終末期にはSVR4.2ベースとなった(NEWS-OS6.x)。
URLﾘﾝｸ(ja.wikipedia.org)
Σプロジェクト（シグマプロジェクト）とは、1985年（昭和60年）から1990年（平成2年）にかけて進められた日本政府の国家プロジェクトである。Σ計画（シグマけいかく）とも呼ばれる。シグマ（SIGMA）とは「Software Industrialized Generator and Maintenance Aids」の頭字語であり「ソフトウェア生産工業化システム」と別称されていた[1]。通商産業省（現経済産業省）所管の情報処理振興事業協会 (IPA) が民間コンピュータ企業と連携しての推進役になり、総額で250億円（日本経済新聞1992年6月10日朝刊では218億円）の国家予算が投じられている
UNIXの採用は妥当であったが、ポピュラーなBSDではなくSystem Vが選択されるなどしていた。最終的に250億円の国家予算が投入されたと言われているが、有用なソフトウェア生産が得られたなどの評判はほとんど聞かれないままにプロジェクト終了を迎えている
URLﾘﾝｸ(ja.wikipedia.org)
第五世代コンピュータ（だいごせだいコンピュータ）計画とは、1982年から1992年にかけて日本の通商産業省（現経済産業省）所管の新世代コンピュータ技術開発機構（ICOT）が進めた国家プロジェクトで、いわゆる人工知能コンピュータの開発を目的に総額540億円の国家予算が投入された。
プロジェクトの三本柱は、非ノイマン型計算ハードウェア、知識情報処理ソフトウェア、並行論理プログラミング言語とされた。
論理プログラミング研究による学術振興をもたらして情報工学の後進育成に寄与したとする肯定的な見方もあるが
日本が特に研究したPrologのISO規格化の際にもそれほど大きな影響力を持てなかった
595:１３２人目の素数さん
25/11/09 11:28:22.50 wauc0h2b.net
基地外は日本から出てけよ
おまえは日本を要らない
日本はおまえを要らない
win-winじゃんｗ
596:１３２人目の素数さん
25/11/09 11:30:59.75 CA6TFgJW.net
まあ、「日本国」とかいう「反社会的勢力」がこのあたりを縄張りにして
カタギの衆からみかじめ料をとってるけどな ほんと迷惑（笑）
そこの組長は、代々「天皇」とかいう中二病的肩書を襲名してるらしい
２６００年以上とかいってるけどそんなわけない
天皇は７世紀ごろの唐の君主の称号だから（笑）
せいぜい１３００年くらいの歴史しかない
はっきりいって、ここの一番平和な時代は縄文時代だろう
半島とか大陸から金属製の武器持ってやってきたクソ野郎どものせいで
ここはすっかり腐敗堕落した
正直アマゾンのピダハンみたいに字も書かない数も数えない生活で十分だ
小賢しさは人を陥れる悪知恵でしかない
ID:wauc0h2bみたいな自己愛野郎は、いっぺん●んだほうがいい
ほんと迷惑 殺人強姦強盗しかしない凶悪犯罪者なんて
597:１３２人目の素数さん
25/11/09 11:34:09.44 CA6TFgJW.net
＞日本の庇護
ｗｗｗｗｗｗｗ
カタギの衆から散々金毟ってる反社のチンピラがなにいってんだ
いいかげんその真珠の珠いれた●ンポコ見せびらかすのやめろ
キモチワルイんだよ おまえの自慢のいちいちがな
いっぺん●んで生まれ変わってこい 何のとりえもないチンピラ野郎（嘲）
598:１３２人目の素数さん
25/11/09 11:45:55.04 P3lbYVWX.net
>>565
>だが、多分 IUTの専門家同士で話をすれば、「ああ この人は分っている」と感じるものがあるでしょうね
>私？ 私は IUTなど ”さっぱり妖精”（下記） （＾＾
はぁ
査読をした人が理解してないと言いたいのですね？
599:１３２人目の素数さん
25/11/09 11:46:46.44 P3lbYVWX.net
>>562
無い物ねだりはお得意ですか
600:１３２人目の素数さん
25/11/09 11:48:43.31 P3lbYVWX.net
>>561
間違っているかも知れないと言われていることを
間違いを修正しようとはせずに更に進めることで
折角のRIMSの評判はがた落ちになります
残念ですね
601:１３２人目の素数さん
25/11/09 11:49:33.78 wauc0h2b.net
>>596
>まあ、「日本国」とかいう「反社会的勢力」がこのあたりを縄張りにして
>カタギの衆からみかじめ料をとってるけどな ほんと迷惑（笑）
じゃあおまえの大好きな中国様にでも帰化しろよｗ
>そこの組長は、代々「天皇」とかいう中二病的肩書を襲名してるらしい
>２６００年以上とかいってるけどそんなわけない
>天皇は７世紀ごろの唐の君主の称号だから（笑）
>せいぜい１３００年くらいの歴史しかない
ほとんどの日本人は神話と史実を混同してないだろ
古事記、日本書記に天皇の記述があることからせいぜいじゃなく少なくとも１３００年な
>はっきりいって、ここの一番平和な時代は縄文時代だろう
証拠は？ 妄想？
時代が古ければ古いほど平和から遠い これが現実
実際、ホモサピエンスはホモサピエンス以外の人類をすべて絶滅させた 生物学的に近い種ほど競合するからな これが人類史において最も平和から遠い時代
>自己愛野郎
おまえレッテル貼り大好きだなｗ
日本を愛さないおまえを日本は愛さない さっさと帰化しろ基地外
602:１３２人目の素数さん
25/11/09 11:54:29.54 wauc0h2b.net
>>597
平和維持にコストがかかるのは当然だろ 平和は空気みたいにただだと思ってるのか？ これだから頭お花畑の左翼は
コスト負担するのが嫌なら日本から出ていけばよい その自由は保障されている 自由を行使せずに日本にしがみついてるのがおまえ
603:１３２人目の素数さん
25/11/09 11:55:07.00 P3lbYVWX.net
>>565
>そして、Scholze氏のは ”radical simplifications”という明白な ストローマン論法なので
>これを、公に支持する 数論の数学者も また 皆無（専門違いの圏論屋が一人）
内容も分からずにそう断定するのは誹謗中傷の類いですね
どっちかというと
世界的にはscholzeという人の指摘の方が妥当性が高いと思われているようです
ですので証明は認められていないわけです
これは証明が間違っていると断定されているのとは違いますよ
まあ正直なところでは早く結着して欲しいと思ってましょうけど
604:１３２人目の素数さん
25/11/09 11:58:06.32 P3lbYVWX.net
>>565
>私？ 私は IUTなど ”さっぱり妖精”（下記） （＾＾
つまり
あなたが引用することはサッパリ本質を表してないのでしょう
結局答えてはくれないんですね>>472,481,484
それから>>458に
ストローマンさん