Inter-universal geometry と ABC予想 (応援スレ) 63

1 名前：１３２人目の素数さん [2021/12/28(火) 23:28:06.67 ID:IQKnQwAx.net] （前“応援”スレが、1000又は1000近くになったので、新スレ立てる） 前スレ：Inter-universal geometry と ABC予想 (応援スレ) 62 https://rio2016.5ch.net/test/read.cgi/math/1638933969/ 詳しいテンプレは、下記旧スレへのリンク先ご参照 Inter-universal geometry と ABC予想 (応援スレ) 52 https://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13 （参考） https://twitter.com/math_jin math_jin 出版序文リンク Andrew Putman 2021年3月6日 https://drive.google.com/file/d/1n1XMCNyQxswQGrxPIZnCCMx6wJka0ybh/view 望月Inter-universal Teichmuller theory (abbreviated as IUT) （下記）は、新しい局面に入りました。 査読が終り出版されました。また、“Explicit”版が公開され、査読は完了したようです。 IUTの4回の国際会議は無事終わり、Atsushi Shiho (Univ. Tokyo, Japan)先生が、参加したようです。 IUTが正しいことは、99％確定です。 このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。 （なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです！（＾＾；） つづく (deleted an unsolicited ad) 172 名前：１３２人目の素数さん mailto:sage [2021/12/29(水) 22:24:30.82 ID:pnMcoi0F.net] まああまり病的な人の話ばかりしては何なので 個人的感想を述べると 前スレ末から>>72-82にコピーさせて頂いた内容を今朝4時過ぎにリアルタイムで拝見してとても感銘を受けた 自分自身80年代から定理証明系に興味を持ち、一度はそちら方面の専攻を考えた(一応誘われた)者なので M氏の仕事を一般報道で初めて知った時、数学の形をとったモジュラー・プログラミング的な物(あるいは数学系のセンスではオブジェクト指向プログラミング的な物)なのだろうという我流の理解をした そのあたりが徐々に解明されていくことを期待します 173 名前：１３２人目の素数さん mailto:sage [2021/12/29(水) 22:29:21.30 ID:F3ixTfm/.net] a_watcherが>>75,78,80に感銘を受けた事を確認 174 名前：１３２人目の素数さん mailto:sage [2021/12/29(水) 22:29:55.71 ID:pnMcoi0F.net] >>163 おっしゃる通りです 臨終を望む人は世の中全てが憎くて憎くて エントロピー増大則に従って全てが無に帰すことを望む、ちょっと自分の人生に困っている人なのだと思います 175 名前：１３２人目の素数さん [2021/12/29(水) 23:15:32.27 ID:8iBpNmx1.net] フェセンコのHigher adelicて せいぜい2次元なのかツマらんな 176 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 00:00:24.89 ID:En9CqBVW.net] >>149 >その研究集会でFesenkoはIUTの位置づけについて少々触れた程度で >abcについては一切何も語らず、 >IUTの詳細はRIMS集会の記録と引き続くPorowski氏の講演に押し付けてる >それを受けたPorowskiの講演ではIUTガン無視で存在しないかのようだった >IUTのオワコン感ハンパない 一つの見方として、否定はしない ところで、上記のFesenko、Porowski氏の講演と 下記の同じ9月のIUT Summitとの差分を、とってみてよ Fesenko氏は、ほぼ同じ内容だが、上記は下記を含んでさらに� 177 名前：cらませた感じだね Porowski氏は、上記は https://www.dropbox.com/s/kuiz1n7sqdggj9x/PorowskiSlides.pdf?dl=0 で、 （ここのP19のBelyi cuspidalization (2)の図は、まさにIUTのアニメの図でしょ（ https://www.kurims.kyoto-u.ac.jp/~motizuki/project-2021-japanese.html 宇宙際タイヒミューラー理論の拡がり ） 　それから、P30 References (2) で more detailed presentation として、Oxford IUT workshop, December 2015, slides by J. Stix, Kyoto IUT workshop, July 2016, slides by K. Higashiyama の二つを挙げている ） Porowski氏の下記 Overview of IUT theory 今読むと、絶品ですね。分かり易いわ。Porowski氏は優秀だね （>>4より） https://www.kurims.kyoto-u.ac.jp/~motizuki/ExpHorizIUT21/WS4/ExpHorizIUT21-IUTSummit-notes.html Inter-universal Teichmuller Theory (IUT) Summit 2021, RIMS workshop, September 7 - September 10 2021 Notes and recordings of the workshop https://www.kurims.kyoto-u.ac.jp/~motizuki/ExpHorizIUT21/WS4/documents/Fesenko%20-%20IUT%20and%20modern%20number%20theory.pdf van Fesenko IUT and modern number theory. https://www.kurims.kyoto-u.ac.jp/~motizuki/ExpHorizIUT21/WS4/documents/Porowski%20-%20Overview%20of%20IUT.pdf Wojciech Porowski Overview of IUT theory 因みに、南出明示公式は下記 https://www.kurims.kyoto-u.ac.jp/~motizuki/ExpHorizIUT21/WS4/documents/Minamide%20-%20Explicit%20Estimate.pdf Arata Minamide Explicit Estimates in Inter-universal Teichmuller Theory I and II, Reference: [ExpEst]. [] [ここ壊れてます] 178 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 00:10:35.66 ID:En9CqBVW.net] >>169 >フェセンコのHigher adelicて >せいぜい2次元なのかツマらんな そういう見方もありだろうが下記 類体論には、三つの一般化の方向があって フェセンコ氏は、2次元における三つの一般化を統合する一般化の類体論の理論はどうよ？ って話と読んだけど (参考) https://en.wikipedia.org/wiki/Class_field_theory#Generalizations_of_class_field_theory Class field theory Generalizations of class field theory There are three main generalizations, each of great interest. They are: the Langlands program, anabelian geometry, and higher class field theory. Often, the Langlands correspondence is viewed as a nonabelian class field theory. If and when it is fully established, it would contain a certain theory of nonabelian Galois extensions of global fields. However, the Langlands correspondence does not include as much arithmetical information about finite Galois extensions as class field theory does in the abelian case. It also does not include an analog of the existence theorem in class field theory: the concept of class fields is absent in the Langlands correspondence. There are several other nonabelian theories, local and global, which provide alternatives to the Langlands correspondence point of view. Another generalization of class field theory is anabelian geometry, which studies algorithms to restore the original object (e.g. a number field or a hyperbolic curve over it) from the knowledge of its full absolute Galois group or algebraic fundamental group. Another natural generalization is higher class field theory, divided into higher local class field theory and higher global class field theory. It describes abelian extensions of higher local fields and higher global fields. The latter come as function fields of schemes of finite type over integers and their appropriate localizations and completions. It uses algebraic K-theory, and appropriate Milnor K-groups generalize the {\displaystyle K_{1}}K_{1} used in one-dimensional class field theory 179 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 07:45:26.44 ID:En9CqBVW.net] >>171 追加 （google訳 一部手直し） 類体論の一般化 3つの主要な一般化があり、それぞれが非常に興味深いものです。それらは、ラングランズプログラム、遠アーベル幾何学、および高次類体論です。 多くの場合、ラングランズ対応は非可換類体論と見なされます。それが完全に確立された場合、それは大域体の非アーベルガロア拡大の特定の理論を含むでしょう。ただし、ラングランズ対応には、アーベルの場合の類体論ほど多くの有限ガロア拡大に関する算術情報は含まれていません。また、類体論における存在定理の類似物も含まれていません。類体論の概念は、ラングランズ対応には存在しません。ラングランズ通信の観点に代わるものを提供する、ローカルおよびグローバルの他のいくつかの非アーベル理論があります。 類体論のもう1つの一般化は、完全な絶対ガロア群または代数基本群の知識から元のオブジェクト（たとえば、数体またはその上の双曲線）を復元するためのアルゴリズムを研究する遠アーベル幾何学です。[5] もう1つの自然な一般化は、より高次局所類体論とより高次グローバル類体論に分けられる、より高次類体論です。高次局所体と高次大域体のアーベル拡大とを記述します。後者は、整数に対する有限型のスキームの関数フィールドと、それらの適切なローカリゼーションおよび補完として提供されます。代数的K理論を使用し、適切なミルナーKグループで 一次元類体論で使用されているK1を 一般化します 。 (引用終り) >類体論には、三つの一般化の方向があって >フェセンコ氏は、2次元における三つの一般化を統合する一般化の類体論の理論はどうよ？ って話と読んだけど "ラングランズプログラム、遠アーベル幾何学、および高次類体論"の３つで 高次類体論の2次元は既にあって（加藤和也とか） IUTが遠アーベルの2次元版だとフェセンコ先生は見ていて で、ラングランズの2次元版作って 三つをぐっと眺めれば 三つを統一する二次元統一類体論できるだろう って話と読んだ 180 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 07:56:55.51 ID:En9CqBVW.net] >>172 関連追加 https://en.wikipedia.org/wiki/Anabelian_geometry Anabelian geometry More recently, Mochizuki introduced and developed a so called mono-anabelian geometry which restores, for a certain class of hyperbolic curves over number fields or some other fields, the curve from its algebraic fundamental group. Key results of mono-anabelian geometry were published in Mochizuki's "Topics in Absolute Anabelian Geometry." Anabelian geometry can be viewed as one of generalizations of class field theory. Unlike two other generalizations ? abelian higher class field theory and representation theoretic Langlands program ? anabelian geometry is highly non-linear and non-abelian. https://en.wikipedia.org/wiki/Langlands_program Langlands program 4 Current status 4.1 Local Langlands conjectures 4.2 Fundamental lemma 4.3 Implications https://en.wikipedia.org/wiki/Higher_local_field Higher local class field theory Higher local class field theory is compatible with class field theory at the residue field level, using the border map of Milnor K-theory to create a commutative diagram involving the reciprocity map on the level of the field and the residue field.[7] General higher local class field theory was developed by Kazuya Kato[8] and by Ivan Fesenko.[9][10] (引用終り) Higher local class field theory ”General higher local class field theory was developed by Kazuya Kato[8] and by Ivan Fesenko.[9][10]”ね Ivan Fesenko.出てくるね おれ？ おれは、高木類体論もあんまし分かってない 表面をなぜているだけだが 二次元統一類体論って、ジャンプの４回転半みたいな話で、すごいと思うな 181 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 08:01:17.29 .net] >>166 >80年代から定理証明系に興味を持ち、 >一度はそちら方面の専攻を考えた(一応誘われた)者 なるほど　しかしそれは論理学もしくは情報科学であって 数論ではありませんね >M氏の仕事を一般報道で初めて知った時、 >数学の形をとったモジュラー・プログラミング的な物 >(あるいは数学系のセンスではオブジェクト指向プログラミング的な物) >なのだろうという我流の理解をした 一つ質問ですが、圏論ではそういう モジュラー・プログラミング　ないしは オブジェクト指向プログラミング といった雰囲気は微塵も感じなかったのでしょう 182 名前：か？ あなたの実際の専攻を存じ上げないので あなたがプログラミングをどれだけ 知っているのかわかりませんが [] [ここ壊れてます] 183 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 08:11:11.65 .net] >>170-173 >おれ？ おれは、高木類体論もあんまし分かってない それどころか正則行列もコーシー列も無限も分かってないでしょう 任意の自然数で成り立つからって、 即、無限順序数ωで成り立つとは言えませんよ 任意の自然数をネストとする元があるからって、 即、無限順序数ωをネストとする元があるとは言えませんよ 任意の自然数ｎについてｎ回実現可能だからといって 即、無限順序数ωについてω回実現可能とはいえませんよ あなたの再三の誤りはみな同じ根を持っている それは「任意有限（可能無限）」と「実無限」を全く同値と混同する誤り >二次元統一類体論って、ジャンプの４回転半みたいな話で、すごいと思うな あなた自身が「2回転半」だなんていわれないように https://oshiete.goo.ne.jp/qa/2664417.html 184 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 08:19:38.58 .net] 「アキレスと亀」は任意有限回と無限回が異なることを示す典型例 スタート（０回目） アキレス　地点０ 亀　　　　地点０．９ アキレス、亀が最初にいた位置に到達（１回目） アキレス　地点０．９ 亀　　　　地点０．９９ アキレス、亀が１回目にいた位置に到達（２回目） アキレス　地点０．９９ 亀　　　　地点０．９９９ ・・・ アキレス、亀がｎ回目にいた位置に到達（ｎ＋１回目） アキレス　地点０．９…（ｎ個）…９ 亀　　　　地点０．９…（ｎ＋１個）…９ ここからゼノンが考えたこと 「任意の自然数ｎについて、ｎ回目では 　必ず亀はアキレスの前にいる 　だから、アキレスは亀に決して追い付かない」 しかし実際には任意のｎ回目を全て実行した直後（ω回目） アキレス　地点０．９９…＝１ 亀　　　　地点０．９９…＝１ 両者の位置は等しい つまり 「任意有限回終了で亀がアキレスの前にいるからといって 　無限回終了で亀がアキレスの前にいる、とはいえない」 185 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 08:24:25.70 .net] >>168 >世の中全てが憎くて憎くて >エントロピー増大則に従って全てが無に帰すことを望む、 >ちょっと自分の人生に困っている人 資本主義体制による格差の拡大が続けば あなたもいずれそうなることでしょう https://www.businessinsider.jp/post-244037 186 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 08:37:10.04 ID:En9CqBVW.net] >>170 補足 つらつら考えると Como Schoolの Porowskiの講演は、IUTの基礎の遠アーベルの部分で、講演自身ではIUTに触れてない>>148 だが、”P30 References (2) で more detailed presentation として、Oxford IUT workshop, December 2015, slides by J. Stix, Kyoto IUT workshop, July 2016, slides by K. Higashiyama の二つを挙げている”>>170 ことからすると 話の流れで、読む順は Como Schoolの Porowskiの講演 → IUT Summit Overview of IUT theory >>170 かも 「Porowski氏はフェセンコ先生のプログラムに沿って、新しい研究を開始していると見ました」>>148 は、言い過ぎかもね （しかし、新しい研究をやっていないとも言い切れないので、判断保留） 一応追加訂正 187 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 08:43:21.54 .net] >>178 素人君は 来年(2022年)、望月新一氏が 「金メダル」（IMUから授与される賞） をとらなかったら負けを認めて 永遠に黙ってね それから 「任意有限回（可能無限）」と 「無限回（実無限）」の 違いを理解してね 大人として恥ずかしいよ 188 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 08:48:03.96 .net] 2022年のICMは ロシア　サンクト・ペテルスブルクにて 7/6-14　開催 ここで望月新一氏のABC予想解決に対して何の賞も出なかったら　 望月新一氏と彼を熱烈に応援するナニワの愛国素人君の惨敗決定！ https://icm2022.org/ 189 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 09:01:29.69 ID:4jYBn4KQ.net] >>174 ID無しキチガイジおばさんは世間知らずだから相手するのも馬鹿馬鹿しいんだけどな リアルタイムを知らないからそういう屁理屈が出るんだろうけど 1980年代時点ではCAML(Category Abstract Machine Language)や型変数を導入したML方言が登場 1990年代に入ってSML NJやHaskelが登場してようやく圏論的プログラミングが専門課程のカリキュラムに組み込まれた状態だから その当 190 名前：時の学生にとっては、80年代は定理証明系と型を命題と捉えたカリー=ハワード同型対応プログラミングがせいぜいの所 80年代国内ではcoq以前にMisarという処理系を先行導入している研究室があって、ハギャ先生一行がその研究室を訪問した記録には心を躍らせていた そこら辺含めて、自分はどっちの方向に向かっても定理証明系、型=命題の証明的プログラミング、そして圏論的プログラミングに到達する状況だったのだけど お前が今現在起こしているアカデミックハラスメントで憂慮すべき事態が起きていたので、誘われた研究室を断り専攻を変えて、アカデミックハラスメント問題を影の主専攻にした [] [ここ壊れてます] 191 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 09:04:21.01 ID:4jYBn4KQ.net] 正確に書いた方がいいな お前が今現在起こしているアカデミックハラスメントと同様な問題が数年前から起きていて お前と同様なメンヘラが次々と犠牲者を出す状況が目の前にあったので、誘われた研究室は断り専攻を変えて、アカデミックハラスメント問題を影の主専攻にした 192 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 09:09:23.67 ID:QPhtoI66.net] ID無しの人は自分が愚かで世間知らずでルサンチマンを抱えていつもネガティヴな言動をしている自覚が無いから、 やたら他人にマウントを取ろうとして後知恵でものを言い出すのが幼稚極まりないね こんな幼稚な妄言ばかりの50代准教を教員扱いしなければならない職場の同僚や学生はいい面の皮だ 193 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 09:14:48.13 ID:QPhtoI66.net] >>176 それお前が愚言を連ねているパラドックススレでやれよ IUTとは無関係、お前個人が抱えている問題に過ぎない 194 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 09:22:36.74 ID:4jYBn4KQ.net] > 一つ質問ですが、圏論ではそういうモジュラー・プログラミング　ないしはオブジェクト指向プログラミングといった雰囲気は微塵も感じなかったのでしょうか？ > > あなたの実際の専攻を存じ上げないのであなたがプログラミングをどれだけ知っているのかわかりませんが それ30年前から俺が言ってる話で、匿名掲示板では20年前から何度も書いている話だから いまさらなに幼稚な事を言い出したのって爆笑してしまった お前が学位論文研究のプログラミングができずにdBase業務プログラミング開発バイトでドヤ顔していた当時から常識だろ SML NJのオブジェクト指向はその話 時代感覚が30年ズレている 195 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 09:25:16.36 .net] >>181 20世紀の情報科学か、なにもかもみな懐かしい… >その当時の学生にとっては、 >80年代は定理証明系と型を命題と捉えた >カリー=ハワード同型対応プログラミング >がせいぜいの所 90年代だったと思いますが、当時龍谷大にいた小林聡氏が 「実は古典論理でもカリー・ハワード対応で 　プログラム抽出できる」 という話をして 「えっ、今まで排中律を使うと構成的じゃないから 　プログラム抽出できないっていってたのは 　いったいなんだったんですか？」 と驚いたのをおぼえてますね ま、今では常識なんでしょうけど （詳しいことは 　照井一成氏「コンピュータは数学者になれるのか？」 　第５章　5.3　２つの論理　とか読んでください 　これ、いい本ですよ） 196 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 09:28:09.97 ID:4jYBn4KQ.net] >>184 結論としてID無し連投の人物は IUT無関係な自分の疑問を誰にも教えてもらえず 自分より賢い人にぶつけて答えを貰おうとする 知恵乞食に過ぎないから そのパラドックススレに帰ってもらった方がいいね 197 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 09:30:23.36 .net] 昔話、つづけますか >>181 >80年代国内ではcoq以前にMisarという処理系を先行導入している研究室があって、 信州大学の中村八束さんでしたっけ？ >ハギャ先生一行がその研究室を訪問した記録には心を躍らせていた 萩谷昌己氏ならよく存じあげていますよ 7bitsのThemskyのm氏でしょ 「止まれ！」は実にいい解説文でしたね 巨大数愛好家の人はぜひ読んでほしいな https://www.youtube.com/watch?v=M8KNbSKEH08&ab_channel=12129momo 198 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 09:32:52.90 ID:4jYBn4KQ.net] >>186 小林聡氏の構成的プログラミングは構成的型論理を使った話だから意外性を感じるだけであって プログラミング手法としてのカリー=ハワード同型対応プログラミングは、構成的プログラミング以前から発想があるわけだから当たり前だよな リアルタイムで追っかけずに歴史を未来から順番に追っかけているから意外性を感じるだけだろう 199 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 09:34:21.15 ID:4jYBn4KQ.net] >>188 お前の話っておれが匿名掲示板で何度も出した話を繰り返し持ち出すだけで昔話でもなんでもなく全く意外性がないな 200 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 09:36:33.63 .net] >>182 >アカデミックハラスメント問題が数年前から起きていて >メンヘラが次々と犠牲者を出す状況が目の前にあったので、 >誘われた研究室は断り専攻を変えて、 >アカデミックハラスメント問題を影の主専攻にした そうですか　 ま、結果的には情報科学を専攻しなくて よかったんじゃないですか？ 型理論とかもう古典芸能でしょう 数学関係ではHoTTとかリバイバルヒットしてるみたいですけど 正直どこまで研究進んでるのか知りません 201 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 09:38:37.17 ID:4jYBn4KQ.net] IUT全く関係ない匿名掲示板知識を書き殴るID無し 202 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 09:40:58.16 ID:4jYBn4KQ.net] >>191 まじツッコミすると > 型理論 って何？造語症？ 203 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 09:41:13.42 .net] >>195 >> 一つ質問ですが、圏論では >>そういうモジュラー・プログラミング　 >>ないしはオブジェクト指向プログラミング >>といった雰囲気は微塵も感じなかったのでしょうか？ >それ30年前から俺が言ってる話で、 ということは、20世紀中ですか >匿名掲示板では20年前から何度も書いている話だから そうですか、いったいどの程度のことを書かれてたのですか？ >いまさらなに幼稚な事を言い出したのって爆笑してしまった まあそう興奮しないで　 いまどき古典芸能を守る貴方のような存在は実に奇特ですから 204 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 09:42:03.24 .net] >>194のアンカーは正しくは>>185 205 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 09:45:35.16 ID:4jYBn4KQ.net] > ま、結果的には情報科学を専攻しなくて > よかったんじゃないですか？ > 型理論とかもう古典芸能でしょう この書き込みでコイツの程度がわかってしまうのが 匿名掲示板の面白いところだね 自分が不得意な分野はそれ以上追撃がないように (相手は専攻していない！)という思い込みを滲ませ 自分が知らない話は古典の一言で片付け、おまけに用語を間違える 匿名掲示板でしか生きられない下層民の悲哀が滲む書き込みだね 206 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 09:48:14.02 ID:4jYBn4KQ.net] > いまどき古典芸能を守る貴方のような存在は実に奇特ですから 健常者向け翻訳「その事はよく知らないのでこれ以上話を広げて私に恥をかかせないで下さいね、 そのカタリロンは古典、これは宇宙の真理ですから カタリロンの話をする奴は時代遅れの古典芸能継承者だとレッテル貼りしておきますよ」 カタリロンって何だよw パタリロンの親戚か 207 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 09:48:31.68 .net] >>185 >お前が学位論文研究のプログラミングができずに >dBase業務プログラミング開発バイトで >ドヤ顔していた当時から常識だろ >SML NJのオブジェクト指向はその話 >時代感覚が30年ズレている dBASE業務プログラミング開発バイトされてたんですか　ふ~ん 私がオブジェクト指向なる言葉を聞いたのは 大学のゼミに入るときでしたね 教授がゼミで読む本の１つとしてあげたのが GoldbergのSMALLTALKの本でしたね 結局その本は読まなかったんですけどね 208 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 09:50:36.51 ID:4jYBn4KQ.net] この手の手合いは訳もわからずマウントしてくるだけで、マウントの下側がガラ空きの無防備状態だから笑えるね 209 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 09:53:09.51 .net] >>189 >プログラミング手法としてのカリー=ハワード同型対応プログラミングは、 >構成的プログラミング以前から発想があるわけだから当たり前だよな 今となってはそう思いますが、 「大域脱出call/ccが実は排中律だった！」 と気づいたのは1990年らしいですから （小林氏の話はその直後） 昭和時代に大学生＆院生だった私にとっては リアルタイムの衝撃でしたけどね 210 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 09:54:06.16 ID:4jYBn4KQ.net] >>198 出してくる文献が古過ぎるやん その時代にはPalo Alto帰りの研究者が菊と刀というハードウェアと処理系を作っているし そっから10年以上の進歩があって圏論プログラミングが実現しているわけで リアルタイムを知らないから古過ぎる有名著書の名前しか出せない素人なのがよくわかるね お前は何のために薄っぺらい匿名掲示板知識を書き連ねて時間を浪費してるんだよ 頭が悪過ぎる 211 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 09:56:04.25 .net] >>190 情報科学関係の人にとっては「いつか来た道」ですからね そりゃ別に目新しいことは何もないでしょう 212 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 09:58:45.97 ID:4jYBn4KQ.net] GoldbergのSmalltalk本は未翻訳のパープルブックに処理系(Byte code VM)の詳細がある程度で バイトコードマシンの実装もしない人がゼミで読んでも何の意味もないだろうね 213 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:01:35.87 ID:4jYBn4KQ.net] 結局ID無しの人は、無知を誤魔化すために意味不明なレッテル貼りマウントを試みる下等生物だね > いまどき古典芸能を守る貴方のような存在は実に奇特ですから この類のルサンチマンのこもったマウント発言を始終繰り返す下等生物はどこへ行っても相手にされない 214 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:03:21.57 .net] >>201 >出してくる文献が古過ぎるやん 仕方ないですよ　昭和時代末期の話ですからね >圏論プログラミング 　Lambek, J. and Scott, P. J., 1986. 　Introduction to Higher Order Categorical Logic, 　Cambridge University Press. という本は大学の図書館で見ましたよ　 まあ読まなかったんですけど 学部の時読んだのは、これですか 　David Gries 　The Science of Programming 215 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:05:10.28 ID:4jYBn4KQ.net] このID無しの話はどれも幼稚な聞き齧りと能書き垂れとマウントばかりで、いったい何年前から匿名掲示板廃人をやっているのか疑問を感じる 216 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:07:46.22 ID:4jYBn4KQ.net] 書き込みに脈絡がなく、話のテーマがコロコロ変わって安定しない所から見て、精神分裂症を患って長年廃人状態なのだろう 他の人の書き込みはIUTに即した話を1日数回書き込むだけなのに コイツの書き込みはワードサラダ状態 217 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:09:06.68 .net] >>201 ＞リアルタイムを知らないから 　昭和時代から知ってるなら「型理論」くらい知ってますよ 　type theoryをこう言ってたんですよ　てっきり御存知かと思いましたが 　もしかしてアメリカの大学出身ですか？だったら日本語知らなくても仕方ないけど 218 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:13:55.34 .net] >>203 ああ、そういえば色ついてましたね、３色くらい どれを読もうといったのかはもう覚えてないですね 219 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:14:20.17 ID:4jYBn4KQ.net] 俺はtype theoryの話はしていないね 型論理を型理論と読み違えて訂正しないからツッコミを入れたら type theoryは昭和時代の知識だと言い出して頭の悪さに大爆笑 220 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:15:07.33 ID:4jYBn4KQ.net] >>209 言ってることが全部幼稚なんだけど、書き込み担当者がバイト時給800円くらいの奴にすり替わったんか 221 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:16:22.32 .net] >>206 >いったい何年前から匿名掲示板廃人をやっているのか 2chは始まりの頃から知ってますよ あなたは「30年前から言っている」といってますけど それってJUNETのnetnewsのことですか？ 222 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:18:35.11 ID:4jYBn4KQ.net] 昨日前スレ末の午前4時台の方の書き込みは近い将来に向かったビジョンがあって感銘を受けたけど ID無し愚民の書き込みは全て過去の話ばかりで、既に確定した話しか扱えない閉世界仮説の住人なのだろうな 時間の無駄 223 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:19:04.99 .net] >>211 そうですか それにしてもスモールトークの話にはがっついてきたのに 論理の話には全然食いついてこないですね もしかして、論理はご存じない？ あぁ、じゃあやっぱり情報科学専攻じゃないんですね 224 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:20:49.33 ID:4jYBn4KQ.net] これはツッコミ入れられて当然の世迷言 お前風情のSmalltalk知ってるネタにガッツクのはお前だけ 209 名前:１３２人目の素数さん [sage] :2021/12/30(木) 10:13:55.34 >>203 ああ、そういえば色ついてましたね、３色くらい どれを読もうといったのかはもう覚えてないですね 225 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:22:21.74 ID:4jYBn4KQ.net] 結局頭が馬鹿で誰にも相手にされないから この年末にぼんやりとした話を延々と連投して 「自分はロンリなら最狂」とかやってるんだろうね とんでもない狂人だ 226 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:24:52.55 ID:4jYBn4KQ.net] 狂人ビジョン ・レスがあった＝相手はガッついている ・スルーされてレスが無かった=相手は無知 ・自演埋め立て＝スレが盛況 ・過去の話＝閉世界仮説で真 ・未来の話＝閉世界仮説で偽 227 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:24:58.87 .net] >>210 小林聡氏の構成的プログラミングも型理論ですけどね Martin-Lo”fとかと同じ流れ Martin-Lo”fの論文で覚えてるのは 今となっては順序数Γ0が出てきたことくらいですか 逆数学でいうとATR_0ってことですかね 228 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:27:38.87 ID:4jYBn4KQ.net] 何でコイツの話って、人がしていない話を突然持ち出して断片的な匿名掲示板知識を書いておしまいなんだろうね 下等生物の行動パターンは単純過ぎて眠くなる 229 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:28:11.58 .net] >>217 閉世界仮説は御存知なんですね じゃ、二階論理上の自然数論で 標準モデルだけが唯一のモデル だというのが実は閉世界仮説 だってことも御存知ですか？ 230 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:29:29.27 ID:4jYBn4KQ.net] 相手がしている話を誠実に受け止める習慣が欠如しているから、相手の話から勝手に連想した取り留めもない話を延々と書いて、IUTとは無関係な戯言でスレを埋め立てるんだろうね この種の下等生物は存在価値がない 231 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:29:44.60 .net] >>219 いろいろエサを落としてみて どれが当たりがあるか見てます 232 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:30:46.94 ID:4jYBn4KQ.net] ID無しの書き込みを一言で言えば 「統合失調患者のワードサラダ状態」 脈絡のない話を一人でずうっと書き込む狂人 233 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:31:07.74 ID:4jYBn4KQ.net] >>222 お前の話はつまらない 234 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:32:13.53 ID:QPhtoI66.net] 【IUT応援スレは統合失調患者のワードサラダ連投スレに変わりました】 235 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:32:37.45 .net] >>221 >相手がしている話を誠実に受け止める 今のところあなたが圏論とオブジェクト指向の関係について 数学的もしくは情報科学的に興味ある話を一つもできていないので 「ああ、あれはただのフカシだったのかな」と思ってます ２ｃｈではよくあることなので受け流してます（死語） 236 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:34:35.96 ID:QPhtoI66.net] 【統合失調患者が妄想と思い込みで「相手は自分を満足させる書き込みをする義務がある」と発狂するのを眺める精神病院閉鎖病棟スレ】 237 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:35:04.60 .net] >>224 当たりがないですね どれもこれも情報科学知ってる人なら 速攻で食いつくエサなんですけどね 238 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:36:54.32 ID:QPhtoI66.net] このスレの現状にタイトルを付ける遊びは面白いね 【統合失調患者が自分の期待する知識を与えてくれる人が現れるまでひたすら構って乞食を繰り返す知識乞食スレ】 239 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:39:16.95 ID:QPhtoI66.net] >>228 無知なのマウントしたがる統合失調患者と会話をしたがるのは職業的意識の高い精神分析医しか居ないだろうな キチガイの話は妄想でしかないから、聞く価値がない 240 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:39:28.92 .net] なんか眠れないみたいですね 241 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:40:01.85 ID:QPhtoI66.net] >>228 無知なのにマウントしたがる統合失調患者と会話をしたがるのは職業的意識の高い精神分析医しか居ないだろうな、あとは心理学者の帯広畜産大ナベさんとか キチガイの話は妄想でしかないから、聞く価値がない 242 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:41:19.32 ID:QPhtoI66.net] 時間帯が違う世界から書き込んでいる事が判明して草 昭和連呼で話が古いところから見て20〜30年前の時空から書き込んでいる 243 名前：のかな、狂人の主観的に [] [ここ壊れてます] 244 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:44:01.00 ID:QPhtoI66.net] こんなキチガイ相手に生真面目に対応していた人は偉いな こんなんキチガイ本人以外にとっては砂を噛むように退屈なやり取りでしかないわけで 245 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:44:19.26 .net] >>233 何をいらついてるんでしょうね　このお爺さんは 246 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:45:36.66 .net] >>234 あなたが誰とも退屈なやり取りしかできないとしたら あなたが精神を患ってる可能性大です 247 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:48:43.51 .net] ところで ＞精神分析医 いま、そういう人って居るんですかね？ 精神科医は沢山いますけどね 精神分析医ってフロイト理論に基づく医者ってことですよね？ 248 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:53:57.29 .net] やっと眠れたようですね　おじい様 精神分析という言葉、久しぶりに聞きました 平成生まれの若者たちは知らないんじゃないかな？ 249 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:55:53.93 ID:QPhtoI66.net] 【キチガイジおばさんの統合失調妄想日記スレ】 山形大学医学部附属病院精神科担当医の責任 250 名前：１３２人目の素数さん [2021/12/30(木) 10:56:32.88 ID:xpBZhjtz.net] >>171 フェセンコ氏による類体論一般化の 方向は望ましいものと思うんだけれども なぜに彼は、IUTが遠アーベルの2次元版に 相当するなどと考えてしまったのだろうか 本当にそれは正しい見方といえるのか？ 他に誰もそんなこと言ってないのが不思議 251 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:56:44.87 .net] フロイトは「無意識」に着目した点では有意義だったけど 精神分析の方法論は結果としては適切でなかったね マルクスが「搾取」に着目した点で有意義だったけど 社会主義の実現について「プロレタリアート独裁」を唱えた点で 適切でなかったように 252 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:58:01.39 ID:QPhtoI66.net] キチガイジおばさん、IUT無関係な話をするなら 例の戯言で埋まったパラドックススレに書くか 誰も読まない自身のホムペでやれよ 253 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 11:00:06.68 ID:QPhtoI66.net] >>240 あなたの話は常に「他の人が言っていない話をするのはおかしい」という論調だから いくらIDを付けてもID無しの閉世界仮説の人と区別するのが難しいね 254 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 11:01:50.14 .net] おじいさんにとって慰めになるかどうかわからないけど 「古典的な情報科学専攻してもそんなにバラ色の未来はなかったよ」 bitもなくなっちゃったしね 今や情報科学も機械学習とかのさばってきたし ま、いいんですけどね 255 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 11:03:59.74 .net] >>242 最初にIUTから脱線したのは>>166のおじいちゃんだけどね 256 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 11:05:44.55 .net] >>243 あなたも浪人買ってID消してみたら？ hissiチェッカーでトレースされないから 「ID真っ赤！」とかいわれなくていいよ 257 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 11:06:50.84 ID:QPhtoI66.net] やっぱりID無しは山形大学医学部附属病院精神科の患者だね 突然ストローマン論法で性別と年齢の決めつけを始めるのは滋賀県出身者と山形県在住者に特徴的な風土病 258 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 11:07:32.70 ID:QPhtoI66.net] >>246 ■長期専門板荒らし 天羽 優子 @apj とは… ￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣ 21年前からネットハラスメント常習者だった証拠がネット上の各所に残っているネット異常者 (※ ソースはインターネットやネットニュースの公開情報で確認可能) 【特徴1】ソース blog-imgs-17.fc2.com/k/a/k/kakyoukyoutiba/CIMG8681.jpg https://b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com/site/researchfrontierofwater/photo-galler 259 名前：y/day1-post-meridiem/DSC_0021.JPG ※ 上記写真はみなし国家公務員＝国立大学法人職員＝公人の公開イベントで撮影され公開済みの写真でありその「所属機関」と「役職」の目的と使命に鑑みて、これら写真の参照は国民の行政監視の権利を満たしている。 【事例1】天羽 優子 @apjは21年前からネットハラスメント常習犯として有名 [ソース] fj.soc.law 2000/2/17 17:00のスレッド https://groups.google.com/g/fj.soc.law/c/oEr_UCdvnTg/m/IerWI2I7OREJ 【事例2】天羽 優子 @apjは13年前に自身が担当する実験講義学生を係争相手業者と誤認し誤爆ハラスメント問題を起こし、被害者学生が身元を明かして誤爆だと判明した後もネットハラスメントを継続した [ソース] 山形大学・天羽准教授による鬱への差別 (過去ログ) http://itest.5ch.net/life9/test/read.cgi/mental/1212628738/ 【事例3】自称 天羽 優子 は4年前にレコード大賞受賞者に対し誹謗中傷を行なった末に逆ギレし、親告罪スラップ訴訟恫喝をした。法務省担当部署はそれを、匿名の長期誹謗中傷犯が自身の身元を明かす訴訟を起こすと称する無効な恫喝だと説明した [ソース] J-WAVE 81.3FM (76) [無断転載禁止](過去ログ) https://itest.5ch.net/test/read.cgi/am/1503813609/912 https://itest.5ch.net/test/read.cgi/am/1503813609/925 https://itest.5ch.net/test/read.cgi/am/1503813609/948 [] [ここ壊れてます] 260 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 11:08:10.54 .net] 「自然数論でその存在が証明できない元は自然数として存在しない」 とすると、非標準的な元を排除できて標準的な自然数だけになる しかしそういうことが一階論理ではできない 261 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 11:10:23.22 ID:QPhtoI66.net] まあ顔写真と体型を見れば判る通り 明らかに廃人だよね 社会性があったらそんな容姿で居られない筈なのに 社会性の欠如を気にしない廃人生活を何十年も送ってきた残骸がこの写真 blog-imgs-17.fc2.com/k/a/k/kakyoukyoutiba/CIMG8681.jpg https://b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com/site/researchfrontierofwater/photo-gallery/day1-post-meridiem/DSC_0021.JPG 262 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 11:12:44.66 .net] また、発作がおきちゃったね 滋賀とか山形とか、ここにはそんな人いないよ 263 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 11:13:34.03 ID:QPhtoI66.net] >>244 おばあちゃんの人生はもう取り返しが付かないけど 「ラマン散乱やってもバラ色の未来はない」 事は1990年代から明らかで、気の利いた研究者はさっさと分野替えしたのに 2021年末になっても未だに匿名掲示板で狂人扱いされる人生は大変だね 264 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 11:15:16.54 ID:QPhtoI66.net] >>251 そのキーワードへの反応が着弾確認になるから無問題 もう10年以上前からとっくにバレてるのに 毎回反応してご苦労 265 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 11:16:02.23 .net] 滋賀県民は他府県民から滋賀作と言われることが癪です https://undecided-blog.com/shigasaku/ 埼玉県民は「翔んで埼玉」の大人気を歓迎してるそうだ ・・・埼玉県民って心が広いよな（賞賛） 266 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 11:17:02.59 ID:C5tQJ/hk.net] >>253 優子さんは年下のイケメン彼氏とコミケデート中だぞ 君みたいな非モテとは違うのだよ 267 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 11:17:15.98 ID:QPhtoI66.net] >>249-250の写真は見る人によっては精神的ブラクラとして作用するので、心の弱い人は見ない事を推奨(公開イベントの公開写真だけどw 268 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 11:20:03.99 .net] >>253 その着弾確認が誤りかと 私は根っからの東京人なので、 「ああ、なんか別の人と勘違いしてるな」 と分かるわけで、親切で教えてあげてるわけです 自分が他人から親切にしてもらったら嬉しいでしょ だから他人には親切にしてあげるもんです と私は父母からそう教わったし、 自分でも「そりゃそうだな」と思ったので そうしているわけです 他人を欺いたら得するとかいう発想は 関ヶ原の西ではどうだかしりませんが 少なくとも箱根の東では好まれませんよ 269 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 11:21:25.75 ID:QPhtoI66.net] >>255 このコピペ↓の末尾が凄いね どんだけ孤独を持て余して妄想世界に入り浸っているのやら 誇大妄想狂 天羽優子の妄想内容変遷 ￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣ 10月には総理大臣になりノーベル賞をとり学長になり衆院選で当選した(現在完了形)と言っていた人間が 2週間後には資産家と結婚して県議会議員になりたい と妄想バブル大崩壊 ■2021/10/07(木) 11:38:58.78 ID:a47+vyZ4 >　いつの時代も総理大臣が批判されるようなもんだ ■2021/10/08(金) 19:53:26.26 ID:3GIXAUpq0 >　山形の大島優子は次の総選挙に立候補すれば >　あれよあれよと女性初の総理大臣になるだろう ■2021/10/24(日) 17:50:54.16 ID:tdeJTnjr >　天才だと思う ノーベル賞も夢じゃないね ■2021/10/30(土) 18:29:54.51 ID:??? >　学長になるらしい ■2021/10/30(土) 18:35:23.99 ID:??? >　人望がある ■2021/10/31(日) 23:37:25.95 ID:??? >　・ノーベル賞を受賞する→来年をお楽しみに >　・総理大臣になる→5年後をお楽しみに >　・衆院選に出馬する→国民民主から立候補している >　・天羽が当選した→選挙速報見ろ ■2021/11/01(月) 11:33:08.67 ID:??? >　今回の衆議院選挙とは言っていない >　次の衆議院選挙に立候補している ■2021/11/13(土) 23:04:52.53 ID:??? > 　某女史は地元の資産家と結婚して > 　県議会議員になろうかとしている ■2021/11/18(木) 20:08:00.04 ID:??? > 　旦那さんは代議士になったしあげまん > 　だよなあ ■2021/11/19(金) 11:46:38.05 ID:??? > 　旦那さん弁護士たから訴えられるぞ ■2021/11/20(土) 18:53:45.95 ID:??? > 　立民の代表選に唯一女性候補として出たね > 　勝ったらこのコピペ主は社会から抹殺されるだろう ■2021/11/21(日) 21:25:18.84 ID:??? > 　地元の有力者がパトロンだから笑いごとではなくなるぞ ■2021/12/14(火) 18:36:08.64 ID:??? > 　まあ歴史の教科書に載るくらいの功績は残すだろうね ■2021/12/26(日) 20:24:47.44 > 　年末年始にヤリまくれるセフレ募集中です 270 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 11:22:13.69 ID:QPhtoI66.net] >>257 ID無しでいくら妄想を書いても誰も読まないぞ 271 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 11:23:37.13 .net] 山形といえば、久保史緒里（乃木坂４６）の母親が山形県出身だそうで 郷土料理として「水かけご飯」を紹介したのだが、メンバーからの評価は すこぶる低調だったらしい・・・めげるな、久保チャン https://www.rbbtoday.com/article/2021/11/08/193572.html 272 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 11:24:33.01 .net] >>259 おじいちゃんも浪人買ってID消して見れば？

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef