21/12/29 18:07:35.62 BTt4Yy5S.net
>>92 補足
>>それに対し的確な解説コメントを行なった人々と
なお、そこは私も同意
的確な解説コメントだと思ったよ
101:１３２人目の素数さん
21/12/29 18:08:21.11 .net
>>73
>ABCの解決だけでも凄いけど
解決していないことのどこが凄いのですが
妄想が凄いのですか？
それが、高木CFT（類体論）の系譜であり、LC（ラングランズ）とも関連していて、
加藤和也氏の高次CFTとも関連しているというのが、IVAN FESENKO氏の予想
102:１３２人目の素数さん
21/12/29 18:09:27.70 .net
>>73
>それが、高木CFT（類体論）の系譜であり、LC（ラングランズ）とも関連していて、
>加藤和也氏の高次CFTとも関連しているというのが、IVAN FESENKO氏の予想
妄想でしょう
FESENKO氏も焼きが回ったようです
103:１３２人目の素数さん
21/12/29 18:10:55.89 BTt4Yy5S.net
>>93
>>IUTも(4回転半ジャンプと)同じだよ
>>凄いじゃない、IUT
>理解できないことを凄いというのは歷だけですね
そんなことを言い出せば
いまどきのノーベル賞や
拓郎先生のブレークスルー3億円も同じだよ
あんた、拓郎先生の論文読める？
読めないでしょ？ おれ、当然読めないけど
「拓郎先生、すごい」と言って
何が悪い？
104:１３２人目の素数さん
21/12/29 18:11:06.26 .net
>>73
>数学の大技・4回転アクセル（4回転半）＝IUT だと思ってみています
そもそも「回ってない」んじゃないですか？
あなた見てないでしょう？
見えないものを見たと思うのは精神の病ですよ
105:１３２人目の素数さん
21/12/29 18:12:19.94 BG85dKWg.net
ID非表示は一日中繰り言を書き続ける狂人なのでNG推奨
【Android・iOS・PC】ワッチョイ隠し、id隠しの書き込みをNGにする方法
URLﾘﾝｸ(hobby23.net)
106:１３２人目の素数さん
21/12/29 18:12:50.89 .net
>>73
>果たして、うまく着地できるでしょうか？
はたして、あなたは生きている間に
「任意無限回」と「無限回」の違いが
理解できるでしょうか？
107:１３２人目の素数さん
21/12/29 18:13:52.30 lfES2Ayi.net
【Android・iOS・PC】
a_watcherの書き込みをNGにする方法
kakyoukyoutiba|day1-post-meridiem|cml-office|IerWI2I7OREJ|1212628738|1503813609
108:１３２人目の素数さん
21/12/29 18:14:45.74 .net
>>86
>前スレのID:EeC8ikNf氏の視点は重要と思うし
数学の初歩も理解してない素人の妄想でしょう
109:１３２人目の素数さん
21/12/29 18:15:53.90 BG85dKWg.net
>>95
統合失調なんだろうけど、おまえの書き込みは頻繁に個体識別がブレるのが特徴だな
とりあえず救急車を呼んで精神病院に緊急入院して、3が日明けに山形大学医学部附属病院精神科に転院した方がいい
110:１３２人目の素数さん
21/12/29 18:16:54.81 BTt4Yy5S.net
>>98
>>それが、高木CFT（類体論）の系譜であり、LC（ラングランズ）とも関連していて、
>>加藤和也氏の高次CFTとも関連しているというのが、IVAN FESENKO氏の予想
>妄想でしょう
>FESENKO氏も焼きが回ったようです
現役数学者さんは分かると思うけど
書き物で発表するって、結構重い行為ですよね
つまり、”妄想”書いて、間違っていたら、”妄想”数学者になってしまうわけ
だから、不確かなことで、単なる予想ならば、「単なる予想」と書くし
確かで自信があることは、そのように書くよ
FESENKO氏の>>13を読めば、彼がこの件でどれくらい自信があるか、読めるだろう
111:１３２人目の素数さん
21/12/29 18:19:02.89 .net
>>86
>彼(ID:EeC8ikNf氏)は、
>ショルツェ氏には全面的には賛成していないが、
>望月氏側にも説明不足があって、
>数学者のコミュニティに受け入れられていない
>という意見と読みました
ショルツが間違ってる、と言ってる？
そう聞こえるなら妄想でしょう
望月はショルツが考えてないことを考えてる、といってるが
だから望月が正しい、とは言っていない
112:１３２人目の素数さん
21/12/29 18:20:06.11 f4Ni1LpG.net
a_watcherの反応を確認
113:１３２人目の素数さん
21/12/29 18:21:16.75 .net
>>86
>それは、妥当な見解だと思う
「望月氏は数学者のコミュニティに受け入れられていない」
というのが妥当な見解なら、
「望月氏は4回転半ジャンプを飛べてない」
と認めたわけですね
114:１３２人目の素数さん
21/12/29 18:22:18.74 BG85dKWg.net
>>104
数学板の誰が見ても、お前がIUTの前提を取り違えて一人で幼稚な繰り言を繰り返しているだけだと認識そるだろうな
非線形非平衡統計力学の未科学問題を
古典熱力学とは矛盾するからニセ科学だ
と断定した狂人と全く同じ繰り言を
今回も繰り返している
学習院大田崎晴明氏の名前を出して
「『この問題は非線形非平衡物理ではない』と田崎が言った」
などという虚言をしていた事もしっかり覚えているが
それは「田崎の扱う非線形非平衡物理の前提条件とは異なる」という意味だと解釈できなかったのは
お前の愚かさの表れだ
諦めロン
115:１３２人目の素数さん
21/12/29 18:22:56.49 BTt4Yy5S.net
>>101 >>103
ありがとうございます
へー、なるほどね
自分では思いつかなかったな
なんか手はあると思ったが
この手（正規表現）は、スレの検索抽出に使えるかも
私も、idなし氏は出来るだけスルーしますです
116:１３２人目の素数さん
21/12/29 18:23:29.58 .net
>>92
中卒素人の貴方には死ぬまで分からないよ
考えられず見て動くだけの動物の貴方には
117:１３２人目の素数さん
21/12/29 18:24:19.06 c0a1qlNx.net
また一人、a_watcherの愚鈍な書き込みを非表示させる事に成功
118:１３２人目の素数さん
21/12/29 18:25:42.78 .net
>>96
素人氏はポストモダンに簡単にひっかかるおそれがあるから
気を付けたほうがいいですね
難しい術語を駆使しただけで中身があると錯覚すると失敗しますよ
119:１３２人目の素数さん
21/12/29 18:27:26.98 BG85dKWg.net
【山形キチガイジおばさん55歳の妄想ポエム大連投スレ】
120:１３２人目の素数さん
21/12/29 18:27:36.30 .net
>>99
>あんた、拓郎先生の論文読める？
>読めないでしょ？
だから、望月拓郎氏についてコメントしませんよ
それが正常な人間というものです
>「拓郎先生、すごい」と言って何が悪い？
理解できないことをすごいというのは精神が悪いですね
121:１３２人目の素数さん
21/12/29 18:30:31.77 .net
>>106
>現役数学者さんは分かると思うけど
>書き物で発表するって、結構重い行為ですよね
だから発表したことが必ず正しい、といえるわけではないですよ
あなたはどうも「ニッポン最高！！！」といいたいために
黒いものも白く見えてしまうようだ それでは失敗しますよ
冷静に発狂したら人間おしまいです
122:１３２人目の素数さん
21/12/29 18:31:04.95 BG85dKWg.net
【山形キチガイジおばさんは年始年末セフレ大募集中…12/23アワビをご馳走になったお友達はどうなった？！】
キチガイ天羽の妄想書き込み内容の変遷 (2021年11月21日更新)
￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
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/26(日) 20:24:47.44
> 年末年始にヤリまくれるセフレ募集中です
123:１３２人目の素数さん
21/12/29 18:34:14.47 .net
>>111
＞idなし氏は出来るだけスルーしますです
任意有限回と無限回の違いについての指摘に反論できずに
無視しつづけて恥を書くのはあなたですよ
124:１３２人目の素数さん
21/12/29 18:37:58.45 kHQNkHgn.net
a_watcher
なんにも出来ず
大 発 狂
125:１３２人目の素数さん
21/12/29 18:38:08.71 BG85dKWg.net
狂人の繰り言をスルーするのは
健常者として当然の振る舞い
狂人の構って乞食に精神分析医のような職業意識を発揮するのは帯広畜産大のナベさんくらいな物だ
126:１３２人目の素数さん
21/12/29 18:38:17.15 .net
>>110
>非線形非平衡統計力学
ムペンバ効果の数学について語るなら聞きますけど
そうじゃないなら、他所にいってくれますか？
ここは数学板ですよ
127:１３２人目の素数さん
21/12/29 18:40:21.42 .net
>>121
>狂人の繰り言をスルーするのは
>健常者として当然の振る舞い
私を天羽優子氏と思ってるならそれ妄想ですから
精神科で診てもらったほうがいいですよ
統合失調症ですから
128:１３２人目の素数さん
21/12/29 18:40:40.41 BTt4Yy5S.net
>>56
基礎論好き さん、どうもです
>僕は数論の専門家じゃないですし全く詳しくないですが、「望月さんが正しい！」と断言してる人は現状
>望月研の人々、望月さんの共同研究者、PRIMSの編集者しかいないんじゃないですか？
私は違うと思っています。>>46は国内の参加者をピックアップしましたが
海外の参加者も多数いますし、特筆すべきは、仏リール大の参加者が多数いることですね
（仏リール大とは共同研究ないと認識しています）
>他の研究者からIUTの理解者が増えるといいですね
同意です
Ivan Fesenko氏は、それを考えていると思います
下記の彼のホームページを見ると、多くの門下生を抱えて
何本もの研究を走らせているようです
Ivan Fesenko氏は、IUTは彼の幾つかの研究分野のネタとして使えると見ているようですね
それが、>>13の論説と見ましたよ
URLﾘﾝｸ(ivanfesenko.org)
Research ? Ivan Fesenko
L Anabelian geometry and IUT theory of Shinichi Mochizuki, and applications
K 2d adelic analysis and geometry, and applications
J Adelic structure
129:s on arithmetic and geometric surfaces, and applications I Higher integration, harmonic analysis and zeta integrals B Class field theories, one-dimensional and higher dimensional
130:１３２人目の素数さん
21/12/29 18:42:56.02 BG85dKWg.net
>>74の間が抜けていたので補足
908 名前:１３２人目の素数さん [sage] :2021/12/28(火) 20:56:41.90 ID:IQKnQwAx
>>906
つづき
P74
Remark 3.3.1.
(i) One well-known consequence of the axiom of foundation of axiomatic set
theory is the assertion that “∈-loops”
a ∈ b ∈ c ∈ ... ∈ a
can never occur in the set theory in which one works. On the other hand, there
are many situations in mathematics in which one wishes to somehow “identify”
mathematical objects that arise at higher levels of the ∈-structure of the set theory
under consideration with mathematical objects that arise at lower levels of this
∈-structure.
P75
That is to say, the mathematical objects at
both higher and lower levels of the ∈-structure constitute examples of the same
mathematical notion of a “set”, so that one may consider “bijections of sets” between those sets without violating the axiom of foundation. In some sense, the
notion of a species may be thought of as a natural extension of this observation.
That is to say,
the notion of a “species” allows one to consider, for instance, speciesisomorphisms between species-objects that occur at different levels of the
∈-structure of the set theory under consideration - i.e., roughly speaking,
to “simulate ∈-loops” - without violating the axiom of foundation.
131:１３２人目の素数さん
21/12/29 18:43:03.66 BG85dKWg.net
That is to say, the mathematical objects at
both higher and lower levels of the ∈-structure constitute examples of the same
mathematical notion of a “set”, so that one may consider “bijections of sets” between those sets without violating the axiom of foundation. In some sense, the notion of a species may be thought of as a natural extension of this observation.
That is to say,
the notion of a “species” allows one to consider, for instance, speciesisomorphisms between species-objects that occur at different levels of the
∈-structure of the set theory under consideration - i.e., roughly speaking,
to “simulate ∈-loops” - without violating the axiom of foundation.
以上
132:１３２人目の素数さん
21/12/29 18:44:07.76 BG85dKWg.net
> 私を天羽優子氏と思ってるならそれ妄想ですから
一人称が女性代名詞になっているのが草
133:１３２人目の素数さん
21/12/29 18:45:57.30 BG85dKWg.net
このひと普段の一人称は「俺」、通所先作業所での社会的性別もほぼ男なんだよね
わざわざ書かなくていい言い訳で、生物学的性別をコソッと漏らしてしまうのが狂人クオリティ
134:１３２人目の素数さん
21/12/29 18:46:51.34 TaOLxecL.net
a_watcherの疑心暗鬼を確認
135:１３２人目の素数さん
21/12/29 18:47:47.98 BG85dKWg.net
【山形キチガイジおばさん55歳の妄想ポエム大連投大発狂スレ】
136:１３２人目の素数さん
21/12/29 18:48:02.06 .net
愛国素人君の２つの誤り
１．無限に関する初歩的誤解
「全ての自然数を要素とする集合」は無限順序数ωを要素として持つと思ってる
「任意有限回実行可能」なら無限回実行可能と思ってる
n<ωとなる任意のnについて性質Pが成り立つなら、ωについてPが成り立つと思ってる
２．日本人に対する妄想
日本人が世界で最も優秀な民族であると思い込んでいる
それ故望月新一氏のABC予想解決が当然のことだと思い込んでいる
もちろん、どちらも誤りです
「全ての自然数を要素する集合」は無限集合ですが、
無限順序数ωは上記集合の要素ではありません
また望月新一氏のABC予想解決は誤報でしょう
137:１３２人目の素数さん
21/12/29 18:49:41.47 BG85dKWg.net
【山形キチガイジおばさん55歳(年始年末セフレ大募集中)の欲求不満妄想ポエム大連投大発狂スレ】
138:１３２人目の素数さん
21/12/29 18:52:46.06 BG85dKWg.net
>>131項番2のココロは下記★部参照
【悲報】山形キチガイジ俺おばさん55歳、数学板でまた発狂
【見どころ】
①ストーキングは女性対象の恋愛限定だとする俺様定義は天羽の屁理屈の典型
②フェルマーの最終定理を55歳にもなって初めて理解したと称する妄言が知恵遅れ
③謎の「朝鮮人」連呼(天羽優子の祖先が朝鮮半島出身という事なのかどうか意味不明)★
【該当スレ】
偶奇によるフェルマーの最終定理の証明.6
ｽﾚﾘﾝｸ(math板:885番)-886
865 名前:１３２人目の素数さん
:2021/12/15(水) 23:00:30.90 ID:R5pJ8YRY
>>860
開幕のその人って日本語がおかしい。
思考能力が小中学生レベルの証明がない。
お前の思い込み。
ストーキングとは女性に恋愛感情で付きまとう行為。
どの話に絡みつけないのかレス版で教えろ
レッテル張りの朝鮮思考バカ。★
馬鹿な事を言って何が悪い？
馬鹿を馬鹿にするやつの方がはるかに悪い。
お前は犯罪思考の朝鮮人思考。★
専門スレのわりにフェルマーの最終定理の事
なんて書いてなかったし気違いがいただけじゃん。
>>842は俺のレスだが？
リンク先は俺のレスじゃない。
底辺大教員の
866 名前:１３２人目の素数さん
:2021/12/15(水) 23:02:20.46 ID:R5pJ8YRY
この、シフト押して改行すると書き込み設定いつからなんだ。
頭の悪いふるまいって何？日本語使えてないよ？
フェルマーの定理って大体わかったから用はないは。
139:１３２人目の素数さん
21/12/29 18:53:13.18 .net
>>124
>>「望月さんが正しい！」と断言してる人は現状
>>望月研の人々、望月さんの共同研究者、PRIMSの編集者
>>しかいないんじゃないですか？
>私は違うと思っています。
私も違うと思っています
望月新一氏本人を除けば、フェセンコ氏と加藤文元氏くらいのもんでしょう
山下氏は脱落したでしょう 星氏も仕方ないからつきあってるけど
内心は「もうだめだな」と思ってるでしょう
>国内の参加者をピックアップしましたが
>海外の参加者も多数いますし、
>特筆すべきは、仏リール大の参加者が多数いることですね
>（仏リール大とは共同研究ないと認識しています）
参加したから賛同したと思うのは妄想ですね
140:１３２人目の素数さん
21/12/29 18:56:09.49 .net
>>124
>>他の研究者からIUTの理解者が増えるといいですね
>同意です
哀れですね
今年のICMで望月新一氏に関して賞どころか何の言及もなければ
IUTTは終わったということですよ いくら待っても無駄でしょう
>Ivan Fesenko氏は、それを考えていると思います
>下記の彼のホームページを見ると、多くの門下生を抱えて
>何本もの研究を走らせているようです
>Ivan Fesenko氏は、IUTは彼の幾つかの研究分野のネタとして
>使えると見ているようですね
フェセンコ氏も望月新一氏と同様の精神的問題を抱えているようですね
141:１３２人目の素数さん
21/12/29 18:56:28.33 BG85dKWg.net
【山形キチガイジおばさん55歳(年始年末セフレ大募集中)の欲求不満妄想ポエム大連投大発狂毒宴会スレ】
142:１３２人目の素数さん
21/12/29 18:57:32.75 .net
>>127
「私」は男性も使いますよ
むしろ最近の女性はあまり使いませんね
143:１３２人目の素数さん
21/12/29 18:58:26.56 BG85dKWg.net
> フェセンコ氏も望月新一氏と同様の精神的問題を抱えているようですね
これ精神病患者が健常者に毒突く時の定番の台詞だね
担当医さんは、その手の発言は思い止まるように患者に言いくるめなかったのかな
144:１３２人目の素数さん
21/12/29 19:00:39.71 .net
BG85dKWg氏が
「だれもかれもが愛する天羽優子氏に見えてしまう恋愛妄想状態」
に陥ってることは明らかですね
ちなみに私の好みは乃木坂46の久保史緒里ですが何か？
145:１３２人目の素数さん
21/12/29 19:02:13.98 BTt4Yy5S.net
>>124 追加
あと、注目しているのは、下記のComo Schoolです
ここで、Ivan Fesenko氏が>>13と同様の講演をして、Wojciech Porowskiも講演をした
Wojciech Porowskiの持ちネタは、言わずと知れた IUTの明示公式理論でしょう（多分）
他の錚々たるメンバーにまじって
こんな場所で、IUTについての講演が、まさかショルツェ氏の主張するようなデタラメだったら、講演ができるはずがないでしょ
ショルツェ氏の主張：「IUTはデタラメ千万」は極論すぎる（だからショルツェ氏の主張は不成立）と思っています
URLﾘﾝｸ(ivanfesenko.org)
IVAN FESENKO
Selected coorganised workshops since 2014
・Como School “Unifying themes in Geometry”, September 27-30 2021
URLﾘﾝｸ(utge.lakecomoschool.org)
Unifying Themes In Geometry
Lake Como School of Advanced Studies, 27 - 30 September 2021
Organizers and school lecturers
Olivia Caramello (University of Insubria and IHES)
Ivan Fesenko (University of Nottingham)
Laurent Lafforgue (Huawei)
Supporting lecturers
Wojciech Porowski (University of Nottingham)
Invited speakers
Alain Connes (IHES)
Misha Gromov (IHES and Courant Institute, N.Y.)
Maxim Kontsevich (IHES)
Barry Mazur (Harvard University)
Sponsors
We gratefully acknowledge the support of the Lake Como School of Advanced Studies, the University of Insubria and the EPSRC Programme Grant Symmetries and Correspondences.
146:１３２人目の素数さん
21/12/29 19:02:39.02 BG85dKWg.net
キチガイジおばさんの症状
・朝鮮人連呼(>>137)…自己愛性人格障害症状
147:１３２人目の素数さん
21/12/29 19:04:24.04 BG85dKWg.net
キチガイジおばさんの症状2
・誰も興味のない狂人の同性愛の嗜好について余計な説明を試みる(>>139)…自己愛性人格障害症状
148:１３２人目の素数さん
21/12/29 19:07:19.87 .net
>>140
programmeの英文が全く読めなかったようですね
Wojciech Porowski: “Introduction to anabelian geometry” [slides available here; video available here]
Abstract:
After recalling the notion of the étale fundamental group of a scheme,
we will discuss how various properties of a hyperbolic curve can be reconstructed from its fundamental group.
149:１３２人目の素数さん
21/12/29 19:08:52.69 lfES2Ayi.net
今回のサンプル
a_watcher発狂の流れが面白過ぎる
これは永久保存決定w
URLﾘﾝｸ(i.imgur.com)
150:１３２人目の素数さん
21/12/29 19:10:21.37 .net
>>142
>同性愛の嗜好について
久保史緒里がLではないかという疑惑は多々ありますね
URLﾘﾝｸ(nogiviola.livedoor.biz)
私は男ですが、男性に恋愛感情を抱いたことはないです
151:１３２人目の素数さん
21/12/29 19:15:45.94 .net
>>144
本当の病人をあんまりからかったらいけませんよ
152:１３２人目の素数さん
21/12/29 19:22:00.28 p66XXbUm.net
英語が苦手なエイワッチャー
153:１３２人目の素数さん
21/12/29 19:42:35.32 BTt4Yy5S.net
>>143
>Wojciech Porowski: “Introduction to anabelian geometry” [slides available here; video available here]
なるほど、ありがとう
slide見た
IUTは無かった
なので、Porowski氏はフェセンコ先生のプログラムに沿って、新しい研究を開始していると見ました
だけど、Wojciech Porowskiは優秀だよね
これ見ると、IUTの明示公式理論が正しそうだと思えるよ
（実際、2020年にIUTの明示公式理論関連でDRを取ったと理解している）
但し、フェセンコ先生の講演は、ほぼ>>13と類似で、IUTがしっかり入っていることを確認した
（IUTの国際会議での講演もほぼ同じ内容です）
URLﾘﾝｸ(utge.lakecomoschool.org)
Ivan Fesenko: “Higher adelic theory” [slides available here; video available here]
Abstract:
This talk starts a series of lectures on higher adelic theory (HAT) in the case of arithmetic surfaces and its applications. 2D objects associated to the surfaces and two different adelic structures on the surfaces will be introduced. The use of analytic adelic structures in higher zeta integrals and applications will be presented. The talk will start with the origin of several key developments in modern number theory: class field theory and its generalisations.
URLﾘﾝｸ(www.dropbox.com)
slides available here Ivan Fesenko: “Higher adelic theory”20210927
154:１３２人目の素数さん
21/12/29 19:43:10.80 XncdaMzv.net
>>140
まさに語るに落ちるというやつだ
その研究集会でFesenkoはIUTの位置づけについて少々触れた程度で
abcについては一切何も語らず、
IUTの詳細はRIMS集会の記録と引き続くPorowski氏の講演に押し付けてる
それを受けたPorowskiの講演ではIUTガン無視で存在しないかのようだった
IUTのオワコン感ハンパない
155:１３２人目の素数さん
21/12/29 20:25:46.43 EeC8ikNf.net
>>72なんだけども、前スレでホッジ理論に注意すべきだと書いたのは、確かこのループの話の動機付けが
まさにホッジ理論の一般化にあると記憶していたからです
ですが、このスレにはその問題を気にするレスが見当たりませんでした
ドラームコホモロジーやその分解に起源を持つ話が、何故HTのIUTになってしまったのかは大変重要な論点です
まあ、別に術語を羅列したまやかしだと言われても個人的には気になりませんw 与太話は事実なので
156:１３２人目の素数さん
21/12/29 20:37:21.73 fg6xAAEu.net
>>21
ごめん
また君の奥さんでシコってしまった
157:１３２人目の素数さん
21/12/29 20:52:56.49 EeC8ikNf.net
「どういう数学的モチベーションからIUTが出来たのか」が一番学びに役立つ見方と言えると、そういうスタンス
「単なるデタラメだ」とか「何となく凄いから正しいに違いない」とか、それはあんまり実入りがないのかなと
例えば、K.Joshiの論文とかガウスーマニン接続の一般化とかの話が、一応この問題意識から適切に考えると
全て繋がる。しかしその上で正しいと判断するかどうかもあくまでも自分で行ったほうが良い
158:１３２人目の素数さん
21/12/29 21:01:41.33 BTt4Yy5S.net
>>148 補足
>URLﾘﾝｸ(www.dropbox.com)
>slides available here Ivan Fesenko: “Higher adelic theory”20210927
このスライドの最後に、下記がある
URLﾘﾝｸ(ivanfesenko.org)
Ivan Fesenko Higher adelic theory Como School, September 27 2021 36 / 37
List of open problems in HAT
Selected open problems in 2d adelic analysis and geometry (updated December 2018)
(D stands for ‘done’, P stands for ‘in progress’)
40 problems, 6 done, 9 partially done
へー、こんな未解決チャレンジ問題のリスト作っているんだ、フェセンコ先生は
”6 done, 9 partially done”
か
一流だね、フェセンコ先生
159:１３２人目の素数さん
21/12/29 21:03:02.85 m+OcAqb/.net
この勢いで正月突入して
明けおめかよ
しょーもな
日本人で難問解決するすごい数学者はいないの？
160:１３２人目の素数さん
21/12/29 21:05:27.00 .net
>>152
モチベーションとしては否定しませんよ
161:１３２人目の素数さん
21/12/29 21:12:10.44 BTt4Yy5S.net
>>150 >>152
ありがとう
>>72の話は面白いと思ったが、半分「ポカーン」です
”ああ、そういう見方あるんだ。殆ど単語を追うのが精一杯だ”が、私のレベルで
なお、ご所望のレスは、本格的な学会でないと無理では？ ここは場末の５ちゃんねる
来年、星先生が整数論サマースクールに呼ばれたらしいけど、参加できるなら、捕まえて小一時間問い詰めたらどうよ？ｗ おっと もしウェブなら捕まえるのは無理かｗ
162:１３２人目の素数さん
21/12/29 21:29:26.61 8zEdQo/7.net
>>154
(・ω・)ノ
163:１３２人目の素数さん
21/12/29 21:33:19.92 BG85dKWg.net
【告知】ID無し書き込みは精神異常者と判明済みなのでスルーして下さい
164:１３２人目の素数さん
21/12/29 21:57:06.5
165:5 ID:MjTorXke.net
166:１３２人目の素数さん
21/12/29 21:58:06.77 pnMcoi0F.net
ID付けても付けなくても反応の異常性やネガティヴ性で身元が即バレるのはこの人物特有だね
167:１３２人目の素数さん
21/12/29 21:58:22.15 BTt4Yy5S.net
>>158
告知ありがとうございます
彼は、クスリは飲んでいるらしいけどね
168:１３２人目の素数さん
21/12/29 22:02:52.37 H/YhGbXb.net
飯田市のセフレ募集中の尻の穴舐めたがりおじさんのIDがサルの尻のように真っ赤だ
169:１３２人目の素数さん
21/12/29 22:05:52.94 EeC8ikNf.net
>>155
馬鹿にはできない心情だなと。というのは、望月の精神史というのがあって、IUTは他の数学者からしたら
その終着点の最適解ではないのかもしれないけども、精神史の中でそれなりの総決算を考えた痕跡があるので
モチベーションを汲み取っておいて、より広く受け入れられるものに昇華するのが一つの好ましい態度だろうと
つまり、単なるご臨終だとは思わないわけです
170:１３２人目の素数さん
21/12/29 22:09:30.75 pnMcoi0F.net
この人物のメンタル疾患特有の「反応の異常性」とは
己にとり受け入れられない現実を
■「日本語がおかしい」
■「専門用語の用法がおかしい」
■「数学の初歩を理解していない」
■「恋愛感情に違いない」
■「宇宙の法則が乱れる」(ビッグバン宇宙論からホログラフィック宇宙論への学問的世代交代に関して)
等々、自分に都合のよい曲解を駆使して
ネガティヴな言動をする現象
冗談として匿名掲示板界隈では
滋賀県出身者(滋賀作)と山形県在住者(マット民)とラマン散乱実験屋(ラマン民:天羽小波)に特有の風土病だと受け取られている
171:１３２人目の素数さん
21/12/29 22:13:02.89 p66XXbUm.net
a_watcherの学歴コンプレックスは異常
172:１３２人目の素数さん
21/12/29 22:24:30.82 pnMcoi0F.net
まああまり病的な人の話ばかりしては何なので
個人的感想を述べると
前スレ末から>>72-82にコピーさせて頂いた内容を今朝4時過ぎにリアルタイムで拝見してとても感銘を受けた
自分自身80年代から定理証明系に興味を持ち、一度はそちら方面の専攻を考えた(一応誘われた)者なので
M氏の仕事を一般報道で初めて知った時、数学の形をとったモジュラー・プログラミング的な物(あるいは数学系のセンスではオブジェクト指向プログラミング的な物)なのだろうという我流の理解をした
そのあたりが徐々に解明されていくことを期待します
173:１３２人目の素数さん
21/12/29 22:29:21.30 F3ixTfm/.net
a_watcherが>>75,78,80に感銘を受けた事を確認
174:１３２人目の素数さん
21/12/29 22:29:55.71 pnMcoi0F.net
>>163
おっしゃる通りです
臨終を望む人は世の中全てが憎くて憎くて
エントロピー増大則に従って全てが無に帰すことを望む、ちょっと自分の人生に困っている人なのだと思います
175:１３２人目の素数さん
21/12/29 23:15:32.27 8iBpNmx1.net
フェセンコのHigher adelicて
せいぜい2次元なのかツマらんな
176:１３２人目の素数さん
21/12/30 00:00:24.89 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:１３２人目の素数さん
21/12/30 00:10:35.66 En9CqBVW.net
>>169
>フェセンコのHigher adelicて
>せいぜい2次元なのかツマらんな
そういう見方もありだろうが下記
類体論には、三つの一般化の方向があって
フェセンコ氏は、2次元における三つの一般化を統合する一般化の類体論の理論はどうよ？ って話と読んだけど
(参考)
URLﾘﾝｸ(en.wikipedia.org)
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:１３２人目の素数さん
21/12/30 07:45:26.44 En9CqBVW.net
>>171 追加
（google訳 一部手直し）
類体論の一般化
3つの主要な一般化があり、それぞれが非常に興味深いものです。それらは、ラングランズプログラム、遠アーベル幾何学、および高次類体論です。
多くの場合、ラングランズ対応は非可換類体論と見なされます。それが完全に確立された場合、それは大域体の非アーベルガロア拡大の特定の理論を含むでしょう。ただし、ラングランズ対応には、アーベルの場合の類体論ほど多くの有限ガロア拡大に関する算術情報は含まれていません。また、類体論における存在定理の類似物も含まれていません。類体論の概念は、ラングランズ対応には存在しません。ラングランズ通信の観点に代わるものを提供する、ローカルおよびグローバルの他のいくつかの非アーベル理論があります。
類体論のもう1つの一般化は、完全な絶対ガロア群または代数基本群の知識から元のオブジェクト（たとえば、数体またはその上の双曲線）を復元するためのアルゴリズムを研究する遠アーベル幾何学です。[5]
もう1つの自然な一般化は、より高次局所類体論とより高次グローバル類体論に分けられる、より高次類体論です。高次局所体と高次大域体のアーベル拡大とを記述します。後者は、整数に対する有限型のスキームの関数フィールドと、それらの適切なローカリゼーションおよび補完として提供されます。代数的K理論を使用し、適切なミルナーKグループで 一次元類体論で使用されているK1を 一般化します 。
(引用終り)
>類体論には、三つの一般化の方向があって
>フェセンコ氏は、2次元における三つの一般化を統合する一般化の類体論の理論はどうよ？ って話と読んだけど
"ラングランズプログラム、遠アーベル幾何学、および高次類体論"の３つで
高次類体論の2次元は既にあって（加藤和也とか）
IUTが遠アーベルの2次元版だとフェセンコ先生は見ていて
で、ラングランズの2次元版作って
三つをぐっと眺めれば
三つを統一する二次元統一類体論できるだろう
って話と読んだ
180:１３２人目の素数さん
21/12/30 07:56:55.51 En9CqBVW.net
>>172 関連追加
URLﾘﾝｸ(en.wikipedia.org)
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.
URLﾘﾝｸ(en.wikipedia.org)
Langlands program
4 Current status
4.1 Local Langlands conjectures
4.2 Fundamental lemma
4.3 Implications
URLﾘﾝｸ(en.wikipedia.org)
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:１３２人目の素数さん
21/12/30 08:01:17.29 .net
>>166
>80年代から定理証明系に興味を持ち、
>一度はそちら方面の専攻を考えた(一応誘われた)者
なるほど しかしそれは論理学もしくは情報科学であって
数論ではありませんね
>M氏の仕事を一般報道で初めて知った時、
>数学の形をとったモジュラー・プログラミング的な物
>(あるいは数学系のセンスではオブジェクト指向プログラミング的な物)
>なのだろうという我流の理解をした
一つ質問ですが、圏論ではそういう
モジュラー・プログラミング ないしは
オブジェクト指向プログラミング
といった雰囲気は微塵も感じなかったのでしょう
182:か？ あなたの実際の専攻を存じ上げないので あなたがプログラミングをどれだけ 知っているのかわかりませんが
183:１３２人目の素数さん
21/12/30 08:11:11.65 .net
>>170-173
>おれ？ おれは、高木類体論もあんまし分かってない
それどころか正則行列もコーシー列も無限も分かってないでしょう
任意の自然数で成り立つからって、
即、無限順序数ωで成り立つとは言えませんよ
任意の自然数をネストとする元があるからって、
即、無限順序数ωをネストとする元があるとは言えませんよ
任意の自然数ｎについてｎ回実現可能だからといって
即、無限順序数ωについてω回実現可能とはいえませんよ
あなたの再三の誤りはみな同じ根を持っている
それは「任意有限（可能無限）」と「実無限」を全く同値と混同する誤り
>二次元統一類体論って、ジャンプの４回転半みたいな話で、すごいと思うな
あなた自身が「2回転半」だなんていわれないように
URLﾘﾝｸ(oshiete.goo.ne.jp)
184:１３２人目の素数さん
21/12/30 08:19:38.58 .net
「アキレスと亀」は任意有限回と無限回が異なることを示す典型例
スタート（０回目）
アキレス 地点０
亀 地点０．９
アキレス、亀が最初にいた位置に到達（１回目）
アキレス 地点０．９
亀 地点０．９９
アキレス、亀が１回目にいた位置に到達（２回目）
アキレス 地点０．９９
亀 地点０．９９９
・・・
アキレス、亀がｎ回目にいた位置に到達（ｎ＋１回目）
アキレス 地点０．９…（ｎ個）…９
亀 地点０．９…（ｎ＋１個）…９
ここからゼノンが考えたこと
「任意の自然数ｎについて、ｎ回目では
必ず亀はアキレスの前にいる
だから、アキレスは亀に決して追い付かない」
しかし実際には任意のｎ回目を全て実行した直後（ω回目）
アキレス 地点０．９９…＝１
亀 地点０．９９…＝１
両者の位置は等しい
つまり
「任意有限回終了で亀がアキレスの前にいるからといって
無限回終了で亀がアキレスの前にいる、とはいえない」
185:１３２人目の素数さん
21/12/30 08:24:25.70 .net
>>168
>世の中全てが憎くて憎くて
>エントロピー増大則に従って全てが無に帰すことを望む、
>ちょっと自分の人生に困っている人
資本主義体制による格差の拡大が続けば
あなたもいずれそうなることでしょう
URLﾘﾝｸ(www.businessinsider.jp)
186:１３２人目の素数さん
21/12/30 08:37:10.04 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:１３２人目の素数さん
21/12/30 08:43:21.54 .net
>>178
素人君は
来年(2022年)、望月新一氏が
「金メダル」（IMUから授与される賞）
をとらなかったら負けを認めて
永遠に黙ってね
それから
「任意有限回（可能無限）」と
「無限回（実無限）」の
違いを理解してね
大人として恥ずかしいよ
188:１３２人目の素数さん
21/12/30 08:48:03.96 .net
2022年のICMは
ロシア サンクト・ペテルスブルクにて
7/6-14 開催
ここで望月新一氏のABC予想解決に対して何の賞も出なかったら
望月新一氏と彼を熱烈に応援するナニワの愛国素人君の惨敗決定！
URLﾘﾝｸ(icm2022.org)
189:１３２人目の素数さん
21/12/30 09:01:29.69 4jYBn4KQ.net
>>174
ID無しキチガイジおばさんは世間知らずだから相手するのも馬鹿馬鹿しいんだけどな
リアルタイムを知らないからそういう屁理屈が出るんだろうけど
1980年代時点ではCAML(Category Abstract Machine Language)や型変数を導入したML方言が登場
1990年代に入ってSML NJやHaskelが登場してようやく圏論的プログラミングが専門課程のカリキュラムに組み込まれた状態だから
その当
190:時の学生にとっては、80年代は定理証明系と型を命題と捉えたカリー=ハワード同型対応プログラミングがせいぜいの所 80年代国内ではcoq以前にMisarという処理系を先行導入している研究室があって、ハギャ先生一行がその研究室を訪問した記録には心を躍らせていた そこら辺含めて、自分はどっちの方向に向かっても定理証明系、型=命題の証明的プログラミング、そして圏論的プログラミングに到達する状況だったのだけど お前が今現在起こしているアカデミックハラスメントで憂慮すべき事態が起きていたので、誘われた研究室を断り専攻を変えて、アカデミックハラスメント問題を影の主専攻にした
191:１３２人目の素数さん
21/12/30 09:04:21.01 4jYBn4KQ.net
正確に書いた方がいいな
お前が今現在起こしているアカデミックハラスメントと同様な問題が数年前から起きていて
お前と同様なメンヘラが次々と犠牲者を出す状況が目の前にあったので、誘われた研究室は断り専攻を変えて、アカデミックハラスメント問題を影の主専攻にした
192:１３２人目の素数さん
21/12/30 09:09:23.67 QPhtoI66.net
ID無しの人は自分が愚かで世間知らずでルサンチマンを抱えていつもネガティヴな言動をしている自覚が無いから、
やたら他人にマウントを取ろうとして後知恵でものを言い出すのが幼稚極まりないね
こんな幼稚な妄言ばかりの50代准教を教員扱いしなければならない職場の同僚や学生はいい面の皮だ
193:１３２人目の素数さん
21/12/30 09:14:48.13 QPhtoI66.net
>>176
それお前が愚言を連ねているパラドックススレでやれよ
IUTとは無関係、お前個人が抱えている問題に過ぎない
194:１３２人目の素数さん
21/12/30 09:22:36.74 4jYBn4KQ.net
> 一つ質問ですが、圏論ではそういうモジュラー・プログラミング ないしはオブジェクト指向プログラミングといった雰囲気は微塵も感じなかったのでしょうか？
>
> あなたの実際の専攻を存じ上げないのであなたがプログラミングをどれだけ知っているのかわかりませんが
それ30年前から俺が言ってる話で、匿名掲示板では20年前から何度も書いている話だから
いまさらなに幼稚な事を言い出したのって爆笑してしまった
お前が学位論文研究のプログラミングができずにdBase業務プログラミング開発バイトでドヤ顔していた当時から常識だろ
SML NJのオブジェクト指向はその話
時代感覚が30年ズレている
195:１３２人目の素数さん
21/12/30 09:25:16.36 .net
>>181
20世紀の情報科学か、なにもかもみな懐かしい…
>その当時の学生にとっては、
>80年代は定理証明系と型を命題と捉えた
>カリー=ハワード同型対応プログラミング
>がせいぜいの所
90年代だったと思いますが、当時龍谷大にいた小林聡氏が
「実は古典論理でもカリー・ハワード対応で
プログラム抽出できる」
という話をして
「えっ、今まで排中律を使うと構成的じゃないから
プログラム抽出できないっていってたのは
いったいなんだったんですか？」
と驚いたのをおぼえてますね
ま、今では常識なんでしょうけど
（詳しいことは
照井一成氏「コンピュータは数学者になれるのか？」
第５章 5.3 ２つの論理 とか読んでください
これ、いい本ですよ）
196:１３２人目の素数さん
21/12/30 09:28:09.97 4jYBn4KQ.net
>>184
結論としてID無し連投の人物は
IUT無関係な自分の疑問を誰にも教えてもらえず
自分より賢い人にぶつけて答えを貰おうとする
知恵乞食に過ぎないから
そのパラドックススレに帰ってもらった方がいいね
197:１３２人目の素数さん
21/12/30 09:30:23.36 .net
昔話、つづけますか
>>181
>80年代国内ではcoq以前にMisarという処理系を先行導入している研究室があって、
信州大学の中村八束さんでしたっけ？
>ハギャ先生一行がその研究室を訪問した記録には心を躍らせていた
萩谷昌己氏ならよく存じあげていますよ
7bitsのThemskyのm氏でしょ
「止まれ！」は実にいい解説文でしたね
巨大数愛好家の人はぜひ読んでほしいな
URLﾘﾝｸ(www.youtube.com)
198:１３２人目の素数さん
21/12/30 09:32:52.90 4jYBn4KQ.net
>>186
小林聡氏の構成的プログラミングは構成的型論理を使った話だから意外性を感じるだけであって
プログラミング手法としてのカリー=ハワード同型対応プログラミングは、構成的プログラミング以前から発想があるわけだから当たり前だよな
リアルタイムで追っかけずに歴史を未来から順番に追っかけているから意外性を感じるだけだろう
199:１３２人目の素数さん
21/12/30 09:34:21.15 4jYBn4KQ.net
>>188
お前の話っておれが匿名掲示板で何度も出した話を繰り返し持ち出すだけで昔話でもなんでもなく全く意外性がないな
200:１３２人目の素数さん
21/12/30 09:36:33.63 .net
>>182
>アカデミックハラスメント問題が数年前から起きていて
>メンヘラが次々と犠牲者を出す状況が目の前にあったので、
>誘われた研究室は断り専攻を変えて、
>アカデミックハラスメント問題を影の主専攻にした
そうですか
ま、結果的には情報科学を専攻しなくて
よかったんじゃないですか？
型理論とかもう古典芸能でしょう
数学関係ではHoTTとかリバイバルヒットしてるみたいですけど
正直どこまで研究進んでるのか知りません
201:１３２人目の素数さん
21/12/30 09:38:37.17 4jYBn4KQ.net
IUT全く関係ない匿名掲示板知識を書き殴るID無し
202:１３２人目の素数さん
21/12/30 09:40:58.16 4jYBn4KQ.net
>>191
まじツッコミすると
> 型理論
って何？造語症？
203:１３２人目の素数さん
21/12/30 09:41:13.42 .net
>>195
>> 一つ質問ですが、圏論では
>>そういうモジュラー・プログラミング
>>ないしはオブジェクト指向プログラミング
>>といった雰囲気は微塵も感じなかったのでしょうか？
>それ30年前から俺が言ってる話で、
ということは、20世紀中ですか
>匿名掲示板では20年前から何度も書いている話だから
そうですか、いったいどの程度のことを書かれてたのですか？
>いまさらなに幼稚な事を言い出したのって爆笑してしまった
まあそう興奮しないで
いまどき古典芸能を守る貴方のような存在は実に奇特ですから
204:１３２人目の素数さん
21/12/30 09:42:03.24 .net
>>194のアンカーは正しくは>>185
205:１３２人目の素数さん
21/12/30 09:45:35.16 4jYBn4KQ.net
> ま、結果的には情報科学を専攻しなくて
> よかったんじゃないですか？
> 型理論とかもう古典芸能でしょう
この書き込みでコイツの程度がわかってしまうのが
匿名掲示板の面白いところだね
自分が不得意な分野はそれ以上追撃がないように
(相手は専攻していない！)という思い込みを滲ませ
自分が知らない話は古典の一言で片付け、おまけに用語を間違える
匿名掲示板でしか生きられない下層民の悲哀が滲む書き込みだね
206:１３２人目の素数さん
21/12/30 09:48:14.02 4jYBn4KQ.net
> いまどき古典芸能を守る貴方のような存在は実に奇特ですから
健常者向け翻訳「その事はよく知らないのでこれ以上話を広げて私に恥をかかせないで下さいね、
そのカタリロンは古典、これは宇宙の真理ですから
カタリロンの話をする奴は時代遅れの古典芸能継承者だとレッテル貼りしておきますよ」
カタリロンって何だよw
パタリロンの親戚か
207:１３２人目の素数さん
21/12/30 09:48:31.68 .net
>>185
>お前が学位論文研究のプログラミングができずに
>dBase業務プログラミング開発バイトで
>ドヤ顔していた当時から常識だろ
>SML NJのオブジェクト指向はその話
>時代感覚が30年ズレている
dBASE業務プログラミング開発バイトされてたんですか ふ~ん
私がオブジェクト指向なる言葉を聞いたのは
大学のゼミに入るときでしたね
教授がゼミで読む本の１つとしてあげたのが
GoldbergのSMALLTALKの本でしたね
結局その本は読まなかったんですけどね
208:１３２人目の素数さん
21/12/30 09:50:36.51 4jYBn4KQ.net
この手の手合いは訳もわからずマウントしてくるだけで、マウントの下側がガラ空きの無防備状態だから笑えるね
209:１３２人目の素数さん
21/12/30 09:53:09.51 .net
>>189
>プログラミング手法としてのカリー=ハワード同型対応プログラミングは、
>構成的プログラミング以前から発想があるわけだから当たり前だよな
今となってはそう思いますが、
「大域脱出call/ccが実は排中律だった！」
と気づいたのは1990年らしいですから
（小林氏の話はその直後）
昭和時代に大学生＆院生だった私にとっては
リアルタイムの衝撃でしたけどね
210:１３２人目の素数さん
21/12/30 09:54:06.16 4jYBn4KQ.net
>>198
出してくる文献が古過ぎるやん
その時代にはPalo Alto帰りの研究者が菊と刀というハードウェアと処理系を作っているし
そっから10年以上の進歩があって圏論プログラミングが実現しているわけで
リアルタイムを知らないから古過ぎる有名著書の名前しか出せない素人なのがよくわかるね
お前は何のために薄っぺらい匿名掲示板知識を書き連ねて時間を浪費してるんだよ
頭が悪過ぎる
211:１３２人目の素数さん
21/12/30 09:56:04.25 .net
>>190
情報科学関係の人にとっては「いつか来た道」ですからね
そりゃ別に目新しいことは何もないでしょう
212:１３２人目の素数さん
21/12/30 09:58:45.97 4jYBn4KQ.net
GoldbergのSmalltalk本は未翻訳のパープルブックに処理系(Byte code VM)の詳細がある程度で
バイトコードマシンの実装もしない人がゼミで読んでも何の意味もないだろうね
213:１３２人目の素数さん
21/12/30 10:01:35.87 4jYBn4KQ.net
結局ID無しの人は、無知を誤魔化すために意味不明なレッテル貼りマウントを試みる下等生物だね
> いまどき古典芸能を守る貴方のような存在は実に奇特ですから
この類のルサンチマンのこもったマウント発言を始終繰り返す下等生物はどこへ行っても相手にされない
214:１３２人目の素数さん
21/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:１３２人目の素数さん
21/12/30 10:05:10.28 4jYBn4KQ.net
このID無しの話はどれも幼稚な聞き齧りと能書き垂れとマウントばかりで、いったい何年前から匿名掲示板廃人をやっているのか疑問を感じる
216:１３２人目の素数さん
21/12/30 10:07:46.22 4jYBn4KQ.net
書き込みに脈絡がなく、話のテーマがコロコロ変わって安定しない所から見て、精神分裂症を患って長年廃人状態なのだろう
他の人の書き込みはIUTに即した話を1日数回書き込むだけなのに
コイツの書き込みはワードサラダ状態
217:１３２人目の素数さん
21/12/30 10:09:06.68 .net
>>201
＞リアルタイムを知らないから
昭和時代から知ってるなら「型理論」くらい知ってますよ
type theoryをこう言ってたんですよ てっきり御存知かと思いましたが
もしかしてアメリカの大学出身ですか？だったら日本語知らなくても仕方ないけど
218:１３２人目の素数さん
21/12/30 10:13:55.34 .net
>>203
ああ、そういえば色ついてましたね、３色くらい
どれを読もうといったのかはもう覚えてないですね
219:１３２人目の素数さん
21/12/30 10:14:20.17 4jYBn4KQ.net
俺はtype theoryの話はしていないね
型論理を型理論と読み違えて訂正しないからツッコミを入れたら
type theoryは昭和時代の知識だと言い出して頭の悪さに大爆笑
220:１３２人目の素数さん
21/12/30 10:15:07.33 4jYBn4KQ.net
>>209
言ってることが全部幼稚なんだけど、書き込み担当者がバイト時給800円くらいの奴にすり替わったんか
221:１３２人目の素数さん
21/12/30 10:16:22.32 .net
>>206
>いったい何年前から匿名掲示板廃人をやっているのか
2chは始まりの頃から知ってますよ
あなたは「30年前から言っている」といってますけど
それってJUNETのnetnewsのことですか？
222:１３２人目の素数さん
21/12/30 10:18:35.11 4jYBn4KQ.net
昨日前スレ末の午前4時台の方の書き込みは近い将来に向かったビジョンがあって感銘を受けたけど
ID無し愚民の書き込みは全て過去の話ばかりで、既に確定した話しか扱えない閉世界仮説の住人なのだろうな
時間の無駄
223:１３２人目の素数さん
21/12/30 10:19:04.99 .net
>>211
そうですか
それにしてもスモールトークの話にはがっついてきたのに
論理の話には全然食いついてこないですね
もしかして、論理はご存じない？
あぁ、じゃあやっぱり情報科学専攻じゃないんですね
224:１３２人目の素数さん
21/12/30 10:20:49.33 4jYBn4KQ.net
これはツッコミ入れられて当然の世迷言
お前風情のSmalltalk知ってるネタにガッツクのはお前だけ
209 名前:１３２人目の素数さん [sage] :2021/12/30(木) 10:13:55.34
>>203
ああ、そういえば色ついてましたね、３色くらい
どれを読もうといったのかはもう覚えてないですね
225:１３２人目の素数さん
21/12/30 10:22:21.74 4jYBn4KQ.net
結局頭が馬鹿で誰にも相手にされないから
この年末にぼんやりとした話を延々と連投して
「自分はロンリなら最狂」とかやってるんだろうね
とんでもない狂人だ
226:１３２人目の素数さん
21/12/30 10:24:52.55 4jYBn4KQ.net
狂人ビジョン
・レスがあった＝相手はガッついている
・スルーされてレスが無かった=相手は無知
・自演埋め立て＝スレが盛況
・過去の話＝閉世界仮説で真
・未来の話＝閉世界仮説で偽
227:１３２人目の素数さん
21/12/30 10:24:58.87 .net
>>210
小林聡氏の構成的プログラミングも型理論ですけどね
Martin-Lo”fとかと同じ流れ
Martin-Lo”fの論文で覚えてるのは
今となっては順序数Γ0が出てきたことくらいですか
逆数学でいうとATR_0ってことですかね
228:１３２人目の素数さん
21/12/30 10:27:38.87 4jYBn4KQ.net
何でコイツの話って、人がしていない話を突然持ち出して断片的な匿名掲示板知識を書いておしまいなんだろうね
下等生物の行動パターンは単純過ぎて眠くなる
229:１３２人目の素数さん
21/12/30 10:28:11.58 .net
>>217
閉世界仮説は御存知なんですね
じゃ、二階論理上の自然数論で
標準モデルだけが唯一のモデル
だというのが実は閉世界仮説
だってことも御存知ですか？
230:１３２人目の素数さん
21/12/30 10:29:29.27 4jYBn4KQ.net
相手がしている話を誠実に受け止める習慣が欠如しているから、相手の話から勝手に連想した取り留めもない話を延々と書いて、IUTとは無関係な戯言でスレを埋め立てるんだろうね
この種の下等生物は存在価値がない
231:１３２人目の素数さん
21/12/30 10:29:44.60 .net
>>219
いろいろエサを落としてみて
どれが当たりがあるか見てます
232:１３２人目の素数さん
21/12/30 10:30:46.94 4jYBn4KQ.net
ID無しの書き込みを一言で言えば
「統合失調患者のワードサラダ状態」
脈絡のない話を一人でずうっと書き込む狂人
233:１３２人目の素数さん
21/12/30 10:31:07.74 4jYBn4KQ.net
>>222
お前の話はつまらない
234:１３２人目の素数さん
21/12/30 10:32:13.53 QPhtoI66.net
【IUT応援スレは統合失調患者のワードサラダ連投スレに変わりました】
235:１３２人目の素数さん
21/12/30 10:32:37.45 .net
>>221
>相手がしている話を誠実に受け止める
今のところあなたが圏論とオブジェクト指向の関係について
数学的もしくは情報科学的に興味ある話を一つもできていないので
「ああ、あれはただのフカシだったのかな」と思ってます
２ｃｈではよくあることなので受け流してます（死語）
236:１３２人目の素数さん
21/12/30 10:34:35.96 QPhtoI66.net
【統合失調患者が妄想と思い込みで「相手は自分を満足させる書き込みをする義務がある」と発狂するのを眺める精神病院閉鎖病棟スレ】
237:１３２人目の素数さん
21/12/30 10:35:04.60 .net
>>224
当たりがないですね
どれもこれも情報科学知ってる人なら
速攻で食いつくエサなんですけどね
238:１３２人目の素数さん
21/12/30 10:36:54.32 QPhtoI66.net
このスレの現状にタイトルを付ける遊びは面白いね
【統合失調患者が自分の期待する知識を与えてくれる人が現れるまでひたすら構って乞食を繰り返す知識乞食スレ】
239:１３２人目の素数さん
21/12/30 10:39:16.95 QPhtoI66.net
>>228
無知なのマウントしたがる統合失調患者と会話をしたがるのは職業的意識の高い精神分析医しか居ないだろうな
キチガイの話は妄想でしかないから、聞く価値がない
240:１３２人目の素数さん
21/12/30 10:39:28.92 .net
なんか眠れないみたいですね
241:１３２人目の素数さん
21/12/30 10:40:01.85 QPhtoI66.net
>>228
無知なのにマウントしたがる統合失調患者と会話をしたがるのは職業的意識の高い精神分析医しか居ないだろうな、あとは心理学者の帯広畜産大ナベさんとか
キチガイの話は妄想でしかないから、聞く価値がない
242:１３２人目の素数さん
21/12/30 10:41:19.32 QPhtoI66.net
時間帯が違う世界から書き込んでいる事が判明して草
昭和連呼で話が古いところから見て20～30年前の時空から書き込んでいる
243:のかな、狂人の主観的に
244:１３２人目の素数さん
21/12/30 10:44:01.00 QPhtoI66.net
こんなキチガイ相手に生真面目に対応していた人は偉いな
こんなんキチガイ本人以外にとっては砂を噛むように退屈なやり取りでしかないわけで
245:１３２人目の素数さん
21/12/30 10:44:19.26 .net
>>233
何をいらついてるんでしょうね このお爺さんは
246:１３２人目の素数さん
21/12/30 10:45:36.66 .net
>>234
あなたが誰とも退屈なやり取りしかできないとしたら
あなたが精神を患ってる可能性大です
247:１３２人目の素数さん
21/12/30 10:48:43.51 .net
ところで
＞精神分析医
いま、そういう人って居るんですかね？
精神科医は沢山いますけどね
精神分析医ってフロイト理論に基づく医者ってことですよね？
248:１３２人目の素数さん
21/12/30 10:53:57.29 .net
やっと眠れたようですね おじい様
精神分析という言葉、久しぶりに聞きました
平成生まれの若者たちは知らないんじゃないかな？
249:１３２人目の素数さん
21/12/30 10:55:53.93 QPhtoI66.net
【キチガイジおばさんの統合失調妄想日記スレ】
山形大学医学部附属病院精神科担当医の責任
250:１３２人目の素数さん
21/12/30 10:56:32.88 xpBZhjtz.net
>>171
フェセンコ氏による類体論一般化の
方向は望ましいものと思うんだけれども
なぜに彼は、IUTが遠アーベルの2次元版に
相当するなどと考えてしまったのだろうか
本当にそれは正しい見方といえるのか？
他に誰もそんなこと言ってないのが不思議
251:１３２人目の素数さん
21/12/30 10:56:44.87 .net
フロイトは「無意識」に着目した点では有意義だったけど
精神分析の方法論は結果としては適切でなかったね
マルクスが「搾取」に着目した点で有意義だったけど
社会主義の実現について「プロレタリアート独裁」を唱えた点で
適切でなかったように
252:１３２人目の素数さん
21/12/30 10:58:01.39 QPhtoI66.net
キチガイジおばさん、IUT無関係な話をするなら
例の戯言で埋まったパラドックススレに書くか
誰も読まない自身のホムペでやれよ
253:１３２人目の素数さん
21/12/30 11:00:06.68 QPhtoI66.net
>>240
あなたの話は常に「他の人が言っていない話をするのはおかしい」という論調だから
いくらIDを付けてもID無しの閉世界仮説の人と区別するのが難しいね
254:１３２人目の素数さん
21/12/30 11:01:50.14 .net
おじいさんにとって慰めになるかどうかわからないけど
「古典的な情報科学専攻してもそんなにバラ色の未来はなかったよ」
bitもなくなっちゃったしね
今や情報科学も機械学習とかのさばってきたし
ま、いいんですけどね
255:１３２人目の素数さん
21/12/30 11:03:59.74 .net
>>242
最初にIUTから脱線したのは>>166のおじいちゃんだけどね
256:１３２人目の素数さん
21/12/30 11:05:44.55 .net
>>243
あなたも浪人買ってID消してみたら？
hissiチェッカーでトレースされないから
「ID真っ赤！」とかいわれなくていいよ
257:１３２人目の素数さん
21/12/30 11:06:50.84 QPhtoI66.net
やっぱりID無しは山形大学医学部附属病院精神科の患者だね
突然ストローマン論法で性別と年齢の決めつけを始めるのは滋賀県出身者と山形県在住者に特徴的な風土病
258:１３２人目の素数さん
21/12/30 11:07:32.70 QPhtoI66.net
>>246
■長期専門板荒らし 天羽 優子 @apj とは…
￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
21年前からネットハラスメント常習者だった証拠がネット上の各所に残っているネット異常者 (※ ソースはインターネットやネットニュースの公開情報で確認可能)
【特徴1】ソース URLﾘﾝｸ(blog-imgs-17.fc2.com) URLﾘﾝｸ(b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com)
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:１３２人目の素数さん
21/12/30 11:08:10.54 .net
「自然数論でその存在が証明できない元は自然数として存在しない」
とすると、非標準的な元を排除できて標準的な自然数だけになる
しかしそういうことが一階論理ではできない
261:１３２人目の素数さん
21/12/30 11:10:23.22 QPhtoI66.net
まあ顔写真と体型を見れば判る通り
明らかに廃人だよね
社会性があったらそんな容姿で居られない筈なのに
社会性の欠如を気にしない廃人生活を何十年も送ってきた残骸がこの写真
URLﾘﾝｸ(blog-imgs-17.fc2.com) URLﾘﾝｸ(b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com)
262:１３２人目の素数さん
21/12/30 11:12:44.66 .net
また、発作がおきちゃったね
滋賀とか山形とか、ここにはそんな人いないよ
263:１３２人目の素数さん
21/12/30 11:13:34.03 QPhtoI66.net
>>244
おばあちゃんの人生はもう取り返しが付かないけど
「ラマン散乱やってもバラ色の未来はない」
事は1990年代から明らかで、気の利いた研究者はさっさと分野替えしたのに
2021年末になっても未だに匿名掲示板で狂人扱いされる人生は大変だね
264:１３２人目の素数さん
21/12/30 11:15:16.54 QPhtoI66.net
>>251
そのキーワードへの反応が着弾確認になるから無問題
もう10年以上前からとっくにバレてるのに
毎回反応してご苦労
265:１３２人目の素数さん
21/12/30 11:16:02.23 .net
滋賀県民は他府県民から滋賀作と言われることが癪です
URLﾘﾝｸ(undecided-blog.com)
埼玉県民は「翔んで埼玉」の大人気を歓迎してるそうだ
・・・埼玉県民って心が広いよな（賞賛）
266:１３２人目の素数さん
21/12/30 11:17:02.59 C5tQJ/hk.net
>>253
優子さんは年下のイケメン彼氏とコミケデート中だぞ
君みたいな非モテとは違うのだよ
267:１３２人目の素数さん
21/12/30 11:17:15.98 QPhtoI66.net
>>249-250の写真は見る人によっては精神的ブラクラとして作用するので、心の弱い人は見ない事を推奨(公開イベントの公開写真だけどw
268:１３２人目の素数さん
21/12/30 11:20:03.99 .net
>>253
その着弾確認が誤りかと
私は根っからの東京人なので、
「ああ、なんか別の人と勘違いしてるな」
と分かるわけで、親切で教えてあげてるわけです
自分が他人から親切にしてもらったら嬉しいでしょ
だから他人には親切にしてあげるもんです
と私は父母からそう教わったし、
自分でも「そりゃそうだな」と思ったので
そうしているわけです
他人を欺いたら得するとかいう発想は
関ヶ原の西ではどうだかしりませんが
少なくとも箱根の東では好まれませんよ
269:１３２人目の素数さん
21/12/30 11:21:25.75 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:１３２人目の素数さん
21/12/30 11:22:13.69 QPhtoI66.net
>>257
ID無しでいくら妄想を書いても誰も読まないぞ
271:１３２人目の素数さん
21/12/30 11:23:37.13 .net
山形といえば、久保史緒里（乃木坂４６）の母親が山形県出身だそうで
郷土料理として「水かけご飯」を紹介したのだが、メンバーからの評価は
すこぶる低調だったらしい・・・めげるな、久保チャン
URLﾘﾝｸ(www.rbbtoday.com)
272:１３２人目の素数さん
21/12/30 11:24:33.01 .net
>>259
おじいちゃんも浪人買ってID消して見れば？
273:１３２人目の素数さん
21/12/30 11:26:15.98 QPhtoI66.net
二目と見れない容姿の豚おばさんが
同性愛の嗜好にあった芸能人の名前を挙げて
性的妄想を書き殴る山形大学医学部附属病院精神病棟スレ
274:１３２人目の素数さん
21/12/30 11:27:51.86 .net
>>262
どうしても妄想から抜け出せないようだけど
それ書き続けてもあなたが損するだけですよ
いまだ
275:に２０世紀を生きてるおじいちゃん
276:１３２人目の素数さん
21/12/30 11:28:26.23 QPhtoI66.net
この豚おばさんは西村博之の狂信者で
fjで総スカンを食って2ちゃんに逃げ込んだ直後から
西村博之親衛隊こと運用ボランティアに応募して
ID消しやワッチョイ偽装にやだらとこだわる
統合失調患者だね
277:１３２人目の素数さん
21/12/30 11:29:37.72 QPhtoI66.net
>>263
現在も昭和を生きる時代遅れな豚おばさん乙
278:１３２人目の素数さん
21/12/30 11:30:00.96 .net
浪人買った上で、名前欄に
!id:ignore
と書けば、ID消せます
簡単でしょ？
279:１３２人目の素数さん
21/12/30 11:31:19.01 QPhtoI66.net
これは今ほど容姿の基準が高くなかった昭和時代でも厳しいね
容姿を整える努力を全放棄して社会性を失った生物の残骸
URLﾘﾝｸ(blog-imgs-17.fc2.com) URLﾘﾝｸ(b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com)
280:１３２人目の素数さん
21/12/30 11:31:42.06 .net
>>264
やっぱり、fjを知ってましたね
どこのNGにいました？
281:１３２人目の素数さん
21/12/30 11:34:34.82 xpBZhjtz.net
>>243
そもそも類体論に関係があるなら
望月氏自身が類体論一般化の方向で
自身の理論を展開したらどうなのか
IUTにはゼータ関数すら出てこない
282:１３２人目の素数さん
21/12/30 11:35:18.71 QPhtoI66.net
>>268
こんな精神病院状態のスレで実名ニュースグループの話をするのは、総スカンを食ったおばさんだけだろ
1995年頃キチガイおばさんの書き込みが登場した時点で、fjニュースグループ全体が精神病棟臭くなって離脱するのが当時の健常者の一般的反応
日本語ニュースグループは情報が薄くて読む価値なかったし
283:１３２人目の素数さん
21/12/30 11:36:08.49 .net
>>264
ひろゆき嫌いならここに書きこむどころか読むことすらしなきゃいいのに
お友達がいなくて淋しいんだね
いいよ つきあってあげます
・・・私って、なんていい人なんでしょう
284:１３２人目の素数さん
21/12/30 11:37:54.28 QPhtoI66.net
あのおばさんヤバいなぁと思ってfjを開かなくなって10年以上経ってから検索してみたら
やっぱりトラブルを起こしていてワロタよ
誰が見てもメンヘラのトラブルメーカーだったから大納得した
fj.soc.law 2000/2/17 17:00のスレッド URLﾘﾝｸ(groups.google.com)
285:１３２人目の素数さん
21/12/30 11:37:55.77 .net
>>270
正直 天羽優子って名前は
今年あなたがこのスレッドで連呼して
はじめて知ったんですよ
いったいどこのNGにいたんですか？
286:１３２人目の素数さん
21/12/30 11:38:59.48 .net
fj.soc.law なんて一度も見たことないから知らないなぁ
fj.rec.idol はよく見てましたが
287:１３２人目の素数さん
21/12/30 11:41:07.94 QPhtoI66.net
fjに居たのにキチガイおばさん登場のインパクトを知らないのはキチガイおばさん本人のみ
このスレや掲示板と同様、そこら中で支離滅裂で殺気のこもった書き込みをしていたから、それを見ないようにするのは無理となって、fj離脱者が相次いだ
もともと退屈な場所だしね
288:１３２人目の素数さん
21/12/30 11:42:35.47 .net
>「大丈夫。医学がだめでも科学があります。歩けるどころか、
> 空だって飛べるようになりますよ....」
なんかこれ見たことあるなあ
私が知ってるNGの有名人って
・mohta
・ヘミ猫の人
くらいかな
289:１３２人目の素数さん
21/12/30 11:45:18.13 QPhtoI66.net
で、そんだけfjにのめり込んでいたキチガイおばさんが、今年の今月までフェルマーの最終定理の問題定義を知らなかった事が判明したのにはビックリしたな
当時海外ニュースグループでは大きな話題で、ハリー針谷の高温超伝導ブレットインと並ぶ理系コンテンツだったのに
それを知らなかったのはやっぱり英語がよめないひとだったんだなぁ、と
290:１３２人目の素数さん
21/12/30 11:48:33.30 QPhtoI66.net
米国エネルギー省からブランチの出た数式処理系のメンテナーが、新婚旅行で心臓発作を起こして亡くなった事件は不謹慎だけどちょっと笑った
ロシア系の60代教授が院生と結婚してハネムーンで房事過多でしぼんぬってどんだけだよと思った
291:１３２人目の素数さん
21/12/30 11:50:04.67 .net
>>277
ああ、フェルマースレに行ったんですね
あそこの日高って人はいわゆる「フェルマー屋」ですよ
（「フェルマー屋」とは「角の三等分屋」と類似の人）
まあ、でもいろんなスレにいって
♪これも天羽 それも天羽
たぶん天羽 きっと天羽
っていうのは、やばいですよ マジで
292:１３２人目の素数さん
21/12/30 11:53:54.14 QPhtoI66.net
キチガイおばさんの名前に抵抗なく反応するのは
キチガイおばさん本人のみだから
着弾確認にしかならないね
普通の人はメンヘラの名前を見かけても
心の隅に覚えてNGするだけで反応しない
293:１３２人目の素数さん
21/12/30 11:56:00.33 C5tQJ/hk.net
a_watcherの正体↓
642 名前:名無しサンプリング＠48kHz (ﾜｯﾁｮｲ 55f6-lG/V) :2017/10/07(土) 17:35:10.18 ID:LIH6TxLT0
>>638
このおっさんは天羽優子の粘着ストーカーだったけど結婚を申し込んで拒絶されて
以降自分の気にくわない事やら理解できない事を書く奴はみんな天羽優子に見えるという病気を患ってるらしい
294:１３２人目の素数さん
21/12/30 11:56:28.36 QPhtoI66.net
こうやってスキャンしてみると
1995年以前のニュースグループの話題には反応できない
海外ニュースグループの数学関連の大きな話題にも反応できない
やっぱり1995年fjデビューの英語をろくに読めない人物というプロフィールを再確認できるね
295:１３２人目の素数さん
21/12/30 12:02:36.43 QPhtoI66.net
URLﾘﾝｸ(blog-imgs-17.fc2.com) URLﾘﾝｸ(b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com)
以降、この人物の書き込みは全面禁止
IUTの話題に戻します
296:１３２人目の素数さん
21/12/30 12:04:06.19 .net
>>280
>＊＊＊＊おばさんの名前に抵抗なく反応するのは
>＊＊＊＊おばさん本人のみだから
その仮説は正しくないよ
自分でも気づいてるんでしょう？
間違ってるってことにさ
297:１３２人目の素数さん
21/12/30 12:08:44.14 QPhtoI66.net
>>269
他人のモチベーションを理解する努力をせずに
自分の思い付き通りに物事が発展しない事に文句を言うのは
自分では何もやらない人固有の視点だね
気になるなら自分の手を動かせ
298:１３２人目の素数さん
21/12/30 12:09:09.84 .net
＞普通の人は＊＊＊＊の名前を見かけても
＞心の隅に覚えてNGするだけで反応しない
それは
「オレの天羽優子への歪んだ愛の叫びを
無関係な奴は皆そっとNGしてくれ」
という身勝手なお願い？
御免、再三同じこと書きこまれると
流石に鬱陶しいんでね
NGで済む問題ではないな
299:１３２人目の素数さん
21/12/30 12:11:29.99 .net
>>285
あなた、自分の手動かしてないけど
fjの記事読んでるだけじゃ数学は1gも理解できないよ
ああ、そうそう
fj.sci.mathの1990年代の有名人を
３人挙げて見て
300:１３２人目の素数さん
21/12/30 12:11:45.72 QPhtoI66.net
ID無しキチガイジおばさんは書き込み禁止
301:１３２人目の素数さん
21/12/30 12:14:32.08 .net
>>288
QPhtoI66 のおじいちゃん曰く
「優子ォォォォォ！！！」
愛って…怖いよね
302:１３２人目の素数さん
21/12/30 12:15:21.08 QPhtoI66.net
ID:xpBZhjtzに対する書き込み>>285に
ID無し豚おばさんが即レスをつけているのは
ID:xpBZhjtzは豚おばさん本人ということか
「他の人が言っていない事を言い出すのはおかしい」
「Aの発言を踏まえてBは行動すべきだ」
自分の手は動かさず他人に文句を言うだけの貧困な知的姿勢が露わになるね
303:１３２人目の素数さん
21/12/30 12:19:41.31 .net
>>290
２つ誤りがあります
１．私は、あなたが愛する天羽優子ではありません
２．xpBZhjtzは、私ではありません
xpBZhjtzが天羽優子かどうかは私には分かりませんが
私が思うには、違うでしょう
ここにはあなたの愛する天羽優子はいません
他をお探しください
これは貴方に対する親切心で述べているので
正直に受け止めるほうがよいでしょう
私が嘘をついていると思うのは不健全です
304:１３２人目の素数さん
21/12/30 12:21:52.24 .net
昼食をとったのでしばらく昼寝します
QPhtoI66 あなたも眠ったほうがいいよ
305:１３２人目の素数さん
21/12/30 12:32:18.26 QPhtoI66.net
IUTスレを妄想日記帳にしている精神障害者のひとが
やっと死んだ模様
このスレ大変だね
306:１３２人目の素数さん
21/12/30 12:36:13.73 QPhtoI66.net
とりあえずこの精神障害者のひとは
1. 本人主張によれば他人であるID:xpBZhjtzへのレス>>285に即レスをしたり
2. ID:xpBZhjtzとID無しが別人であるという証明不可能な事をクドクドと言い訳する癖
は辞めて、自身のホムペで妄想日記を書きなさい
以降書き込み禁止
307:１３２人目の素数さん
21/12/30 13:26:10.63 TBEEDP8X.net
>>248
あグロ
308:１３２人目の素数さん
21/12/30 13:26:43.57 4HoSZTlT.net
>>285
はたして理解しようと努めるほどに
価値のあるモチベーションなのかどうか
まずはそこに疑問を感じてしまうわけで
手を動かすほどでもないんだよなぁ
309:１３２人目の素数さん
21/12/30 13:26:50.65 TBEEDP8X.net
>>250
あグロ
310:１３２人目の素数さん
21/12/30 13:26:59.62 TBEEDP8X.net
>>267
あグロ
311:１３２人目の素数さん
21/12/30 13:27:07.72 TBEEDP8X.net
>>283
あグロ
312:１３２人目の素数さん
21/12/30 13:28:22.13 iSpwwK0D.net
kakyoukyoutiba|day1-post-meridiem|cml-office|IerWI2I7OREJ|1212628738|1503813609
313:１３２人目の素数さん
21/12/30 13:30:33.09 C5tQJ/hk.net
>>287の質問に答えられないa_watcher