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

**１３２人目の素数さん** · 2021/12/28(火) 23:28:06.67

（前“応援”スレが、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スレの中ではこのスレ立ては最初だったのです！（＾＾；）

つづく
https://twitter.com/5chan_nel (5ch newer account)

**１３２人目の素数さん** · 2021/12/30(木) 08:11:11.65

>>170-173
>おれ？おれは、高木類体論もあんまし分かってない

それどころか正則行列もコーシー列も無限も分かってないでしょう

任意の自然数で成り立つからって、
即、無限順序数ωで成り立つとは言えませんよ
任意の自然数をネストとする元があるからって、
即、無限順序数ωをネストとする元があるとは言えませんよ
任意の自然数ｎについてｎ回実現可能だからといって
即、無限順序数ωについてω回実現可能とはいえませんよ

あなたの再三の誤りはみな同じ根を持っている
それは「任意有限（可能無限）」と「実無限」を全く同値と混同する誤り

>二次元統一類体論って、ジャンプの４回転半みたいな話で、すごいと思うな
あなた自身が「2回転半」だなんていわれないように
https://oshiete.goo.ne.jp/qa/2664417.html

**１３２人目の素数さん** · 2021/12/30(木) 08:19:38.58

「アキレスと亀」は任意有限回と無限回が異なることを示す典型例

スタート（０回目）
アキレス　地点０
亀　　　　地点０．９

アキレス、亀が最初にいた位置に到達（１回目）
アキレス　地点０．９
亀　　　　地点０．９９

アキレス、亀が１回目にいた位置に到達（２回目）
アキレス　地点０．９９
亀　　　　地点０．９９９

・・・

アキレス、亀がｎ回目にいた位置に到達（ｎ＋１回目）
アキレス　地点０．９…（ｎ個）…９
亀　　　　地点０．９…（ｎ＋１個）…９

ここからゼノンが考えたこと
「任意の自然数ｎについて、ｎ回目では
　必ず亀はアキレスの前にいる
　だから、アキレスは亀に決して追い付かない」

しかし実際には任意のｎ回目を全て実行した直後（ω回目）

アキレス　地点０．９９…＝１
亀　　　　地点０．９９…＝１

両者の位置は等しい

つまり
「任意有限回終了で亀がアキレスの前にいるからといって
　無限回終了で亀がアキレスの前にいる、とはいえない」

**１３２人目の素数さん** · 2021/12/30(木) 08:24:25.70

>>168
>世の中全てが憎くて憎くて
>エントロピー増大則に従って全てが無に帰すことを望む、
>ちょっと自分の人生に困っている人

資本主義体制による格差の拡大が続けば
あなたもいずれそうなることでしょう

https://www.businessinsider.jp/post-244037

**１３２人目の素数さん** · 2021/12/30(木) 08:37:10.04

>>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
は、言い過ぎかもね（しかし、新しい研究をやっていないとも言い切れないので、判断保留）

一応追加訂正

**１３２人目の素数さん** · 2021/12/30(木) 08:43:21.54

>>178
素人君は
来年(2022年)、望月新一氏が
「金メダル」（IMUから授与される賞）
をとらなかったら負けを認めて
永遠に黙ってね

それから
「任意有限回（可能無限）」と
「無限回（実無限）」の
違いを理解してね
大人として恥ずかしいよ

**１３２人目の素数さん** · 2021/12/30(木) 08:48:03.96

2022年のICMは
ロシア　サンクト・ペテルスブルクにて
7/6-14　開催

ここで望月新一氏のABC予想解決に対して何の賞も出なかったら　
望月新一氏と彼を熱烈に応援するナニワの愛国素人君の惨敗決定！

https://icm2022.org/

**１３２人目の素数さん** · 2021/12/30(木) 09:01:29.69

>>174
ID無しキチガイジおばさんは世間知らずだから相手するのも馬鹿馬鹿しいんだけどな

リアルタイムを知らないからそういう屁理屈が出るんだろうけど
1980年代時点ではCAML(Category Abstract Machine Language)や型変数を導入したML方言が登場
1990年代に入ってSML NJやHaskelが登場してようやく圏論的プログラミングが専門課程のカリキュラムに組み込まれた状態だから
その当時の学生にとっては、80年代は定理証明系と型を命題と捉えたカリー=ハワード同型対応プログラミングがせいぜいの所

80年代国内ではcoq以前にMisarという処理系を先行導入している研究室があって、ハギャ先生一行がその研究室を訪問した記録には心を躍らせていた
そこら辺含めて、自分はどっちの方向に向かっても定理証明系、型=命題の証明的プログラミング、そして圏論的プログラミングに到達する状況だったのだけど

お前が今現在起こしているアカデミックハラスメントで憂慮すべき事態が起きていたので、誘われた研究室を断り専攻を変えて、アカデミックハラスメント問題を影の主専攻にした

**１３２人目の素数さん** · 2021/12/30(木) 09:04:21.01

正確に書いた方がいいな

お前が今現在起こしているアカデミックハラスメントと同様な問題が数年前から起きていて
お前と同様なメンヘラが次々と犠牲者を出す状況が目の前にあったので、誘われた研究室は断り専攻を変えて、アカデミックハラスメント問題を影の主専攻にした

**１３２人目の素数さん** · 2021/12/30(木) 09:09:23.67

ID無しの人は自分が愚かで世間知らずでルサンチマンを抱えていつもネガティヴな言動をしている自覚が無いから、
やたら他人にマウントを取ろうとして後知恵でものを言い出すのが幼稚極まりないね
こんな幼稚な妄言ばかりの50代准教を教員扱いしなければならない職場の同僚や学生はいい面の皮だ

**１３２人目の素数さん** · 2021/12/30(木) 09:14:48.13

>>176
それお前が愚言を連ねているパラドックススレでやれよ
IUTとは無関係、お前個人が抱えている問題に過ぎない

**１３２人目の素数さん** · 2021/12/30(木) 09:22:36.74

> 一つ質問ですが、圏論ではそういうモジュラー・プログラミング　ないしはオブジェクト指向プログラミングといった雰囲気は微塵も感じなかったのでしょうか？
>
> あなたの実際の専攻を存じ上げないのであなたがプログラミングをどれだけ知っているのかわかりませんが

それ30年前から俺が言ってる話で、匿名掲示板では20年前から何度も書いている話だから
いまさらなに幼稚な事を言い出したのって爆笑してしまった

お前が学位論文研究のプログラミングができずにdBase業務プログラミング開発バイトでドヤ顔していた当時から常識だろ
SML NJのオブジェクト指向はその話
時代感覚が30年ズレている

**１３２人目の素数さん** · 2021/12/30(木) 09:25:16.36

>>181
20世紀の情報科学か、なにもかもみな懐かしい…

>その当時の学生にとっては、
>80年代は定理証明系と型を命題と捉えた
>カリー=ハワード同型対応プログラミング
>がせいぜいの所

90年代だったと思いますが、当時龍谷大にいた小林聡氏が
「実は古典論理でもカリー・ハワード対応で
　プログラム抽出できる」
という話をして
「えっ、今まで排中律を使うと構成的じゃないから
　プログラム抽出できないっていってたのは
　いったいなんだったんですか？」
と驚いたのをおぼえてますね

ま、今では常識なんでしょうけど
（詳しいことは
　照井一成氏「コンピュータは数学者になれるのか？」
　第５章　5.3　２つの論理　とか読んでください
　これ、いい本ですよ）

**１３２人目の素数さん** · 2021/12/30(木) 09:28:09.97

>>184
結論としてID無し連投の人物は
IUT無関係な自分の疑問を誰にも教えてもらえず
自分より賢い人にぶつけて答えを貰おうとする
知恵乞食に過ぎないから
そのパラドックススレに帰ってもらった方がいいね

**１３２人目の素数さん** · 2021/12/30(木) 09:30:23.36

昔話、つづけますか

>>181
>80年代国内ではcoq以前にMisarという処理系を先行導入している研究室があって、
信州大学の中村八束さんでしたっけ？

>ハギャ先生一行がその研究室を訪問した記録には心を躍らせていた
萩谷昌己氏ならよく存じあげていますよ
7bitsのThemskyのm氏でしょ
「止まれ！」は実にいい解説文でしたね
巨大数愛好家の人はぜひ読んでほしいな
https://www.youtube.com/watch?v=M8KNbSKEH08&;ab_channel=12129momo

**１３２人目の素数さん** · 2021/12/30(木) 09:32:52.90

>>186
小林聡氏の構成的プログラミングは構成的型論理を使った話だから意外性を感じるだけであって
プログラミング手法としてのカリー=ハワード同型対応プログラミングは、構成的プログラミング以前から発想があるわけだから当たり前だよな

リアルタイムで追っかけずに歴史を未来から順番に追っかけているから意外性を感じるだけだろう

**１３２人目の素数さん** · 2021/12/30(木) 09:34:21.15

>>188
お前の話っておれが匿名掲示板で何度も出した話を繰り返し持ち出すだけで昔話でもなんでもなく全く意外性がないな

**１３２人目の素数さん** · 2021/12/30(木) 09:36:33.63

>>182
>アカデミックハラスメント問題が数年前から起きていて
>メンヘラが次々と犠牲者を出す状況が目の前にあったので、
>誘われた研究室は断り専攻を変えて、
>アカデミックハラスメント問題を影の主専攻にした

そうですか　
ま、結果的には情報科学を専攻しなくて
よかったんじゃないですか？
型理論とかもう古典芸能でしょう
数学関係ではHoTTとかリバイバルヒットしてるみたいですけど
正直どこまで研究進んでるのか知りません

**１３２人目の素数さん** · 2021/12/30(木) 09:38:37.17

IUT全く関係ない匿名掲示板知識を書き殴るID無し

**１３２人目の素数さん** · 2021/12/30(木) 09:40:58.16

>>191
まじツッコミすると
> 型理論

って何？造語症？

**１３２人目の素数さん** · 2021/12/30(木) 09:41:13.42

>>195
>> 一つ質問ですが、圏論では
>>そういうモジュラー・プログラミング　
>>ないしはオブジェクト指向プログラミング
>>といった雰囲気は微塵も感じなかったのでしょうか？
>それ30年前から俺が言ってる話で、
ということは、20世紀中ですか

>匿名掲示板では20年前から何度も書いている話だから
そうですか、いったいどの程度のことを書かれてたのですか？

>いまさらなに幼稚な事を言い出したのって爆笑してしまった
まあそう興奮しないで　
いまどき古典芸能を守る貴方のような存在は実に奇特ですから

**１３２人目の素数さん** · 2021/12/30(木) 09:42:03.24

>>194のアンカーは正しくは>>185

**１３２人目の素数さん** · 2021/12/30(木) 09:45:35.16

> ま、結果的には情報科学を専攻しなくて
> よかったんじゃないですか？
> 型理論とかもう古典芸能でしょう

この書き込みでコイツの程度がわかってしまうのが
匿名掲示板の面白いところだね

自分が不得意な分野はそれ以上追撃がないように
(相手は専攻していない！)という思い込みを滲ませ
自分が知らない話は古典の一言で片付け、おまけに用語を間違える

匿名掲示板でしか生きられない下層民の悲哀が滲む書き込みだね

**１３２人目の素数さん** · 2021/12/30(木) 09:48:14.02

> いまどき古典芸能を守る貴方のような存在は実に奇特ですから

健常者向け翻訳「その事はよく知らないのでこれ以上話を広げて私に恥をかかせないで下さいね、
そのカタリロンは古典、これは宇宙の真理ですから
カタリロンの話をする奴は時代遅れの古典芸能継承者だとレッテル貼りしておきますよ」

カタリロンって何だよw
パタリロンの親戚か

**１３２人目の素数さん** · 2021/12/30(木) 09:48:31.68

>>185
>お前が学位論文研究のプログラミングができずに
>dBase業務プログラミング開発バイトで
>ドヤ顔していた当時から常識だろ
>SML NJのオブジェクト指向はその話
>時代感覚が30年ズレている

dBASE業務プログラミング開発バイトされてたんですか　ふ~ん

私がオブジェクト指向なる言葉を聞いたのは
大学のゼミに入るときでしたね
教授がゼミで読む本の１つとしてあげたのが
GoldbergのSMALLTALKの本でしたね
結局その本は読まなかったんですけどね

**１３２人目の素数さん** · 2021/12/30(木) 09:50:36.51

この手の手合いは訳もわからずマウントしてくるだけで、マウントの下側がガラ空きの無防備状態だから笑えるね

**１３２人目の素数さん** · 2021/12/30(木) 09:53:09.51

>>189
>プログラミング手法としてのカリー=ハワード同型対応プログラミングは、
>構成的プログラミング以前から発想があるわけだから当たり前だよな
今となってはそう思いますが、
「大域脱出call/ccが実は排中律だった！」
と気づいたのは1990年らしいですから
（小林氏の話はその直後）
昭和時代に大学生＆院生だった私にとっては
リアルタイムの衝撃でしたけどね

**１３２人目の素数さん** · 2021/12/30(木) 09:54:06.16

>>198
出してくる文献が古過ぎるやん
その時代にはPalo Alto帰りの研究者が菊と刀というハードウェアと処理系を作っているし
そっから10年以上の進歩があって圏論プログラミングが実現しているわけで
リアルタイムを知らないから古過ぎる有名著書の名前しか出せない素人なのがよくわかるね

お前は何のために薄っぺらい匿名掲示板知識を書き連ねて時間を浪費してるんだよ
頭が悪過ぎる

**１３２人目の素数さん** · 2021/12/30(木) 09:56:04.25

>>190
情報科学関係の人にとっては「いつか来た道」ですからね
そりゃ別に目新しいことは何もないでしょう

**１３２人目の素数さん** · 2021/12/30(木) 09:58:45.97

GoldbergのSmalltalk本は未翻訳のパープルブックに処理系(Byte code VM)の詳細がある程度で
バイトコードマシンの実装もしない人がゼミで読んでも何の意味もないだろうね

**１３２人目の素数さん** · 2021/12/30(木) 10:01:35.87

結局ID無しの人は、無知を誤魔化すために意味不明なレッテル貼りマウントを試みる下等生物だね

> いまどき古典芸能を守る貴方のような存在は実に奇特ですから

この類のルサンチマンのこもったマウント発言を始終繰り返す下等生物はどこへ行っても相手にされない

**１３２人目の素数さん** · 2021/12/30(木) 10:03:21.57

>>201
>出してくる文献が古過ぎるやん
仕方ないですよ　昭和時代末期の話ですからね
>圏論プログラミング
　Lambek, J. and Scott, P. J., 1986.
　Introduction to Higher Order Categorical Logic,
　Cambridge University Press.
という本は大学の図書館で見ましたよ　
まあ読まなかったんですけど

学部の時読んだのは、これですか
　David Gries
　The Science of Programming

**１３２人目の素数さん** · 2021/12/30(木) 10:05:10.28

このID無しの話はどれも幼稚な聞き齧りと能書き垂れとマウントばかりで、いったい何年前から匿名掲示板廃人をやっているのか疑問を感じる

**１３２人目の素数さん** · 2021/12/30(木) 10:07:46.22

書き込みに脈絡がなく、話のテーマがコロコロ変わって安定しない所から見て、精神分裂症を患って長年廃人状態なのだろう

他の人の書き込みはIUTに即した話を1日数回書き込むだけなのに
コイツの書き込みはワードサラダ状態

**１３２人目の素数さん** · 2021/12/30(木) 10:09:06.68

>>201
＞リアルタイムを知らないから
　昭和時代から知ってるなら「型理論」くらい知ってますよ
　type theoryをこう言ってたんですよ　てっきり御存知かと思いましたが
　もしかしてアメリカの大学出身ですか？だったら日本語知らなくても仕方ないけど

**１３２人目の素数さん** · 2021/12/30(木) 10:13:55.34

>>203
ああ、そういえば色ついてましたね、３色くらい
どれを読もうといったのかはもう覚えてないですね

**１３２人目の素数さん** · 2021/12/30(木) 10:14:20.17

俺はtype theoryの話はしていないね
型論理を型理論と読み違えて訂正しないからツッコミを入れたら
type theoryは昭和時代の知識だと言い出して頭の悪さに大爆笑

**１３２人目の素数さん** · 2021/12/30(木) 10:15:07.33

>>209
言ってることが全部幼稚なんだけど、書き込み担当者がバイト時給800円くらいの奴にすり替わったんか

**１３２人目の素数さん** · 2021/12/30(木) 10:16:22.32

>>206
>いったい何年前から匿名掲示板廃人をやっているのか
2chは始まりの頃から知ってますよ

あなたは「30年前から言っている」といってますけど
それってJUNETのnetnewsのことですか？

**１３２人目の素数さん** · 2021/12/30(木) 10:18:35.11

昨日前スレ末の午前4時台の方の書き込みは近い将来に向かったビジョンがあって感銘を受けたけど

ID無し愚民の書き込みは全て過去の話ばかりで、既に確定した話しか扱えない閉世界仮説の住人なのだろうな
時間の無駄

**１３２人目の素数さん** · 2021/12/30(木) 10:19:04.99

>>211
そうですか
それにしてもスモールトークの話にはがっついてきたのに
論理の話には全然食いついてこないですね
もしかして、論理はご存じない？
あぁ、じゃあやっぱり情報科学専攻じゃないんですね

**１３２人目の素数さん** · 2021/12/30(木) 10:20:49.33

これはツッコミ入れられて当然の世迷言
お前風情のSmalltalk知ってるネタにガッツクのはお前だけ

209 名前:１３２人目の素数さん [sage] :2021/12/30(木) 10:13:55.34
>>203
ああ、そういえば色ついてましたね、３色くらい
どれを読もうといったのかはもう覚えてないですね

**１３２人目の素数さん** · 2021/12/30(木) 10:22:21.74

結局頭が馬鹿で誰にも相手にされないから
この年末にぼんやりとした話を延々と連投して
「自分はロンリなら最狂」とかやってるんだろうね

とんでもない狂人だ

**１３２人目の素数さん** · 2021/12/30(木) 10:24:52.55

狂人ビジョン

・レスがあった＝相手はガッついている
・スルーされてレスが無かった=相手は無知
・自演埋め立て＝スレが盛況
・過去の話＝閉世界仮説で真
・未来の話＝閉世界仮説で偽

**１３２人目の素数さん** · 2021/12/30(木) 10:24:58.87

>>210
小林聡氏の構成的プログラミングも型理論ですけどね
Martin-Lo”fとかと同じ流れ

Martin-Lo”fの論文で覚えてるのは
今となっては順序数Γ0が出てきたことくらいですか
逆数学でいうとATR_0ってことですかね

**１３２人目の素数さん** · 2021/12/30(木) 10:27:38.87

何でコイツの話って、人がしていない話を突然持ち出して断片的な匿名掲示板知識を書いておしまいなんだろうね

下等生物の行動パターンは単純過ぎて眠くなる

**１３２人目の素数さん** · 2021/12/30(木) 10:28:11.58

>>217
閉世界仮説は御存知なんですね

じゃ、二階論理上の自然数論で
標準モデルだけが唯一のモデル
だというのが実は閉世界仮説
だってことも御存知ですか？

**１３２人目の素数さん** · 2021/12/30(木) 10:29:29.27

相手がしている話を誠実に受け止める習慣が欠如しているから、相手の話から勝手に連想した取り留めもない話を延々と書いて、IUTとは無関係な戯言でスレを埋め立てるんだろうね

この種の下等生物は存在価値がない

**１３２人目の素数さん** · 2021/12/30(木) 10:29:44.60

>>219
いろいろエサを落としてみて
どれが当たりがあるか見てます

**１３２人目の素数さん** · 2021/12/30(木) 10:30:46.94

ID無しの書き込みを一言で言えば

「統合失調患者のワードサラダ状態」

脈絡のない話を一人でずうっと書き込む狂人

**１３２人目の素数さん** · 2021/12/30(木) 10:31:07.74

>>222
お前の話はつまらない

**１３２人目の素数さん** · 2021/12/30(木) 10:32:13.53

【IUT応援スレは統合失調患者のワードサラダ連投スレに変わりました】

**１３２人目の素数さん** · 2021/12/30(木) 10:32:37.45

>>221
>相手がしている話を誠実に受け止める

今のところあなたが圏論とオブジェクト指向の関係について
数学的もしくは情報科学的に興味ある話を一つもできていないので
「ああ、あれはただのフカシだったのかな」と思ってます
２ｃｈではよくあることなので受け流してます（死語）

**１３２人目の素数さん** · 2021/12/30(木) 10:34:35.96

【統合失調患者が妄想と思い込みで「相手は自分を満足させる書き込みをする義務がある」と発狂するのを眺める精神病院閉鎖病棟スレ】

**１３２人目の素数さん** · 2021/12/30(木) 10:35:04.60

>>224
当たりがないですね
どれもこれも情報科学知ってる人なら
速攻で食いつくエサなんですけどね

**１３２人目の素数さん** · 2021/12/30(木) 10:36:54.32

このスレの現状にタイトルを付ける遊びは面白いね

【統合失調患者が自分の期待する知識を与えてくれる人が現れるまでひたすら構って乞食を繰り返す知識乞食スレ】

**１３２人目の素数さん** · 2021/12/30(木) 10:39:16.95

>>228
無知なのマウントしたがる統合失調患者と会話をしたがるのは職業的意識の高い精神分析医しか居ないだろうな

キチガイの話は妄想でしかないから、聞く価値がない

**１３２人目の素数さん** · 2021/12/30(木) 10:39:28.92

なんか眠れないみたいですね

**１３２人目の素数さん** · 2021/12/30(木) 10:40:01.85

>>228
無知なのにマウントしたがる統合失調患者と会話をしたがるのは職業的意識の高い精神分析医しか居ないだろうな、あとは心理学者の帯広畜産大ナベさんとか

キチガイの話は妄想でしかないから、聞く価値がない

**１３２人目の素数さん** · 2021/12/30(木) 10:41:19.32

時間帯が違う世界から書き込んでいる事が判明して草

昭和連呼で話が古いところから見て20～30年前の時空から書き込んでいるのかな、狂人の主観的に

**１３２人目の素数さん** · 2021/12/30(木) 10:44:01.00

こんなキチガイ相手に生真面目に対応していた人は偉いな
こんなんキチガイ本人以外にとっては砂を噛むように退屈なやり取りでしかないわけで

**１３２人目の素数さん** · 2021/12/30(木) 10:44:19.26

>>233
何をいらついてるんでしょうね　このお爺さんは

**１３２人目の素数さん** · 2021/12/30(木) 10:45:36.66

>>234
あなたが誰とも退屈なやり取りしかできないとしたら
あなたが精神を患ってる可能性大です

**１３２人目の素数さん** · 2021/12/30(木) 10:48:43.51

ところで
＞精神分析医
いま、そういう人って居るんですかね？

精神科医は沢山いますけどね
精神分析医ってフロイト理論に基づく医者ってことですよね？

**１３２人目の素数さん** · 2021/12/30(木) 10:53:57.29

やっと眠れたようですね　おじい様

精神分析という言葉、久しぶりに聞きました
平成生まれの若者たちは知らないんじゃないかな？

**１３２人目の素数さん** · 2021/12/30(木) 10:55:53.93

【キチガイジおばさんの統合失調妄想日記スレ】

山形大学医学部附属病院精神科担当医の責任

**１３２人目の素数さん** · 2021/12/30(木) 10:56:32.88

>>171
フェセンコ氏による類体論一般化の
方向は望ましいものと思うんだけれども
なぜに彼は、IUTが遠アーベルの2次元版に
相当するなどと考えてしまったのだろうか
本当にそれは正しい見方といえるのか？
他に誰もそんなこと言ってないのが不思議

**１３２人目の素数さん** · 2021/12/30(木) 10:56:44.87

フロイトは「無意識」に着目した点では有意義だったけど
精神分析の方法論は結果としては適切でなかったね

マルクスが「搾取」に着目した点で有意義だったけど
社会主義の実現について「プロレタリアート独裁」を唱えた点で
適切でなかったように

**１３２人目の素数さん** · 2021/12/30(木) 10:58:01.39

キチガイジおばさん、IUT無関係な話をするなら
例の戯言で埋まったパラドックススレに書くか
誰も読まない自身のホムペでやれよ

**１３２人目の素数さん** · 2021/12/30(木) 11:00:06.68

>>240
あなたの話は常に「他の人が言っていない話をするのはおかしい」という論調だから
いくらIDを付けてもID無しの閉世界仮説の人と区別するのが難しいね

**１３２人目の素数さん** · 2021/12/30(木) 11:01:50.14

おじいさんにとって慰めになるかどうかわからないけど
「古典的な情報科学専攻してもそんなにバラ色の未来はなかったよ」
bitもなくなっちゃったしね

今や情報科学も機械学習とかのさばってきたし
ま、いいんですけどね

**１３２人目の素数さん** · 2021/12/30(木) 11:03:59.74

>>242
最初にIUTから脱線したのは>>166のおじいちゃんだけどね

**１３２人目の素数さん** · 2021/12/30(木) 11:05:44.55

>>243
あなたも浪人買ってID消してみたら？
hissiチェッカーでトレースされないから
「ID真っ赤！」とかいわれなくていいよ

**１３２人目の素数さん** · 2021/12/30(木) 11:06:50.84

やっぱりID無しは山形大学医学部附属病院精神科の患者だね

突然ストローマン論法で性別と年齢の決めつけを始めるのは滋賀県出身者と山形県在住者に特徴的な風土病

**１３２人目の素数さん** · 2021/12/30(木) 11:07:32.70

>>246
■長期専門板荒らし天羽優子 @apj とは…
￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
21年前からネットハラスメント常習者だった証拠がネット上の各所に残っているネット異常者 (※ ソースはインターネットやネットニュースの公開情報で確認可能)

【特徴1】ソース http://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 ※ 上記写真はみなし国家公務員＝国立大学法人職員＝公人の公開イベントで撮影され公開済みの写真でありその「所属機関」と「役職」の目的と使命に鑑みて、これら写真の参照は国民の行政監視の権利を満たしている。

【事例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

**１３２人目の素数さん** · 2021/12/30(木) 11:08:10.54

「自然数論でその存在が証明できない元は自然数として存在しない」
とすると、非標準的な元を排除できて標準的な自然数だけになる

しかしそういうことが一階論理ではできない

**１３２人目の素数さん** · 2021/12/30(木) 11:10:23.22

まあ顔写真と体型を見れば判る通り
明らかに廃人だよね
社会性があったらそんな容姿で居られない筈なのに
社会性の欠如を気にしない廃人生活を何十年も送ってきた残骸がこの写真
http://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

**１３２人目の素数さん** · 2021/12/30(木) 11:12:44.66

また、発作がおきちゃったね
滋賀とか山形とか、ここにはそんな人いないよ

**１３２人目の素数さん** · 2021/12/30(木) 11:13:34.03

>>244
おばあちゃんの人生はもう取り返しが付かないけど
「ラマン散乱やってもバラ色の未来はない」
事は1990年代から明らかで、気の利いた研究者はさっさと分野替えしたのに
2021年末になっても未だに匿名掲示板で狂人扱いされる人生は大変だね

**１３２人目の素数さん** · 2021/12/30(木) 11:15:16.54

>>251
そのキーワードへの反応が着弾確認になるから無問題

もう10年以上前からとっくにバレてるのに
毎回反応してご苦労

**１３２人目の素数さん** · 2021/12/30(木) 11:16:02.23

滋賀県民は他府県民から滋賀作と言われることが癪です
https://undecided-blog.com/shigasaku/

埼玉県民は「翔んで埼玉」の大人気を歓迎してるそうだ
・・・埼玉県民って心が広いよな（賞賛）

**１３２人目の素数さん** · 2021/12/30(木) 11:17:02.59

>>253
優子さんは年下のイケメン彼氏とコミケデート中だぞ
君みたいな非モテとは違うのだよ

**１３２人目の素数さん** · 2021/12/30(木) 11:17:15.98

>>249-250の写真は見る人によっては精神的ブラクラとして作用するので、心の弱い人は見ない事を推奨(公開イベントの公開写真だけどw

**１３２人目の素数さん** · 2021/12/30(木) 11:20:03.99

>>253
その着弾確認が誤りかと

私は根っからの東京人なので、
「ああ、なんか別の人と勘違いしてるな」
と分かるわけで、親切で教えてあげてるわけです
自分が他人から親切にしてもらったら嬉しいでしょ
だから他人には親切にしてあげるもんです
と私は父母からそう教わったし、
自分でも「そりゃそうだな」と思ったので
そうしているわけです

他人を欺いたら得するとかいう発想は
関ヶ原の西ではどうだかしりませんが
少なくとも箱根の東では好まれませんよ

**１３２人目の素数さん** · 2021/12/30(木) 11:21:25.75

>>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
> 　年末年始にヤリまくれるセフレ募集中です

**１３２人目の素数さん** · 2021/12/30(木) 11:22:13.69

>>257
ID無しでいくら妄想を書いても誰も読まないぞ

**１３２人目の素数さん** · 2021/12/30(木) 11:23:37.13

山形といえば、久保史緒里（乃木坂４６）の母親が山形県出身だそうで
郷土料理として「水かけご飯」を紹介したのだが、メンバーからの評価は
すこぶる低調だったらしい・・・めげるな、久保チャン
https://www.rbbtoday.com/article/2021/11/08/193572.html

**１３２人目の素数さん** · 2021/12/30(木) 11:24:33.01

>>259
おじいちゃんも浪人買ってID消して見れば？

**１３２人目の素数さん** · 2021/12/30(木) 11:26:15.98

二目と見れない容姿の豚おばさんが
同性愛の嗜好にあった芸能人の名前を挙げて
性的妄想を書き殴る山形大学医学部附属病院精神病棟スレ

**１３２人目の素数さん** · 2021/12/30(木) 11:27:51.86

>>262
どうしても妄想から抜け出せないようだけど
それ書き続けてもあなたが損するだけですよ
いまだに２０世紀を生きてるおじいちゃん

**１３２人目の素数さん** · 2021/12/30(木) 11:28:26.23

この豚おばさんは西村博之の狂信者で
fjで総スカンを食って2ちゃんに逃げ込んだ直後から
西村博之親衛隊こと運用ボランティアに応募して
ID消しやワッチョイ偽装にやだらとこだわる
統合失調患者だね

**１３２人目の素数さん** · 2021/12/30(木) 11:29:37.72

>>263
現在も昭和を生きる時代遅れな豚おばさん乙

**１３２人目の素数さん** · 2021/12/30(木) 11:30:00.96

浪人買った上で、名前欄に
!id:ignore
と書けば、ID消せます

簡単でしょ？

**１３２人目の素数さん** · 2021/12/30(木) 11:31:19.01

これは今ほど容姿の基準が高くなかった昭和時代でも厳しいね
容姿を整える努力を全放棄して社会性を失った生物の残骸
http://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

**１３２人目の素数さん** · 2021/12/30(木) 11:31:42.06

>>264
やっぱり、fjを知ってましたね
どこのNGにいました？

**１３２人目の素数さん** · 2021/12/30(木) 11:34:34.82

>>243
そもそも類体論に関係があるなら
望月氏自身が類体論一般化の方向で
自身の理論を展開したらどうなのか
IUTにはゼータ関数すら出てこない

**１３２人目の素数さん** · 2021/12/30(木) 11:35:18.71

>>268
こんな精神病院状態のスレで実名ニュースグループの話をするのは、総スカンを食ったおばさんだけだろ
1995年頃キチガイおばさんの書き込みが登場した時点で、fjニュースグループ全体が精神病棟臭くなって離脱するのが当時の健常者の一般的反応

日本語ニュースグループは情報が薄くて読む価値なかったし

**１３２人目の素数さん** · 2021/12/30(木) 11:36:08.49

>>264
ひろゆき嫌いならここに書きこむどころか読むことすらしなきゃいいのに

お友達がいなくて淋しいんだね

いいよ　つきあってあげます

・・・私って、なんていい人なんでしょう

**１３２人目の素数さん** · 2021/12/30(木) 11:37:54.28

あのおばさんヤバいなぁと思ってfjを開かなくなって10年以上経ってから検索してみたら
やっぱりトラブルを起こしていてワロタよ

誰が見てもメンヘラのトラブルメーカーだったから大納得した
fj.soc.law 2000/2/17 17:00のスレッド https://groups.google.com/g/fj.soc.law/c/oEr_UCdvnTg/m/IerWI2I7OREJ

**１３２人目の素数さん** · 2021/12/30(木) 11:37:55.77

>>270
正直　天羽優子って名前は
今年あなたがこのスレッドで連呼して
はじめて知ったんですよ
いったいどこのNGにいたんですか？

**１３２人目の素数さん** · 2021/12/30(木) 11:38:59.48

fj.soc.law　なんて一度も見たことないから知らないなぁ
fj.rec.idol　はよく見てましたが