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
は、言い過ぎかもね （しかし、新しい研究をやっていないとも言い切れないので、判断保留）
一応追加訂正
189:１３２人目の素数さん
21/12/30 08:43:21.54 .net
>>178
素人君は
来年(2022年)、望月新一氏が
「金メダル」（IMUから授与される賞）
をとらなかったら負けを認めて
永遠に黙ってね
それから
「任意有限回（可能無限）」と
「無限回（実無限）」の
違いを理解してね
大人として恥ずかしいよ
190:１３２人目の素数さん
21/12/30 08:48:03.96 .net
2022年のICMは
ロシア サンクト・ペテルスブルクにて
7/6-14 開催
ここで望月新一氏のABC予想解決に対して何の賞も出なかったら
望月新一氏と彼を熱烈に応援するナニワの愛国素人君の惨敗決定！
URLﾘﾝｸ(icm2022.org)
191:１３２人目の素数さん
21/12/30 09:01:29.69 4jYBn4KQ.net
>>174
ID無しキチガイジおばさんは世間知らずだから相手するのも馬鹿馬鹿しいんだけどな
リアルタイムを知らないからそういう屁理屈が出るんだろうけど
1980年代時点ではCAML(Category Abstract Machine Language)や型変数を導入したML方言が登場
1990年代に入ってSML NJやHaskelが登場してようやく圏論的プログラミングが専門課程のカリキュラムに組み込まれた状態だから
その当時の学生にとっては、80年代は定理証明系と型を命題と捉えたカリー=ハワード同型対応プログラミングがせいぜいの所
80年代国内ではcoq以前にMisarという処理系を先行導入している研究室があって、ハギャ先生一行がその研究室を訪問した記録には心を躍らせていた
そこら辺含めて、自分はどっちの方向に向かっても定理証明系、型=命題の証明的プログラミング、そして圏論的プログラミングに到達する状況だったのだけど
お前が今現在起こしているアカデミックハラスメントで憂慮すべき事態が起きていたので、誘われた研究室を断り専攻を変えて、アカデミックハラスメント問題を影の主専攻にした
192:１３２人目の素数さん
21/12/30 09:04:21.01 4jYBn4KQ.net
正確に書いた方がいいな
お前が今現在起こしているアカデミックハラスメントと同様な問題が数年前から起きていて
お前と同様なメンヘラが次々と犠牲者を出す状況が目の前にあったので、誘われた研究室は断り専攻を変えて、アカデミックハラスメント問題を影の主専攻にした
193:１３２人目の素数さん
21/12/30 09:09:23.67 QPhtoI66.net
ID無しの人は自分が愚かで世間知らずでルサンチマンを抱えていつもネガティヴな言動をしている自覚が無いから、
やたら他人にマウントを取ろうとして後知恵でものを言い出すのが幼稚極まりないね
こんな幼稚な妄言ばかりの50代准教を教員扱いしなければならない職場の同僚や学生はいい面の皮だ
194:１３２人目の素数さん
21/12/30 09:14:48.13 QPhtoI66.net
>>176
それお前が愚言を連ねているパラドックススレでやれよ
IUTとは無関係、お前個人が抱えている問題に過ぎない
195:１３２人目の素数さん
21/12/30 09:22:36.74 4jYBn4KQ.net
> 一つ質問ですが、圏論ではそういうモジュラー・プログラミング ないしはオブジェクト指向プログラミングといった雰囲気は微塵も感じなかったのでしょうか？
>
> あなたの実際の専攻を存じ上げないのであなたがプログラミングをどれだけ知っているのかわかりませんが
それ30年前から俺が言ってる話で、匿名掲示板では20年前から何度も書いている話だから
いまさらなに幼稚な事を言い出したのって爆笑してしまった
お前が学位論文研究のプログラミングができずにdBase業務プログラミング開発バイトでドヤ顔していた当時から常識だろ
SML NJのオブジェクト指向はその話
時代感覚が30年ズレている
196:１３２人目の素数さん
21/12/30 09:25:16.36 .net
>>181
20世紀の情報科学か、なにもかもみな懐かしい…
>その当時の学生にとっては、
>80年代は定理証明系と型を命題と捉えた
>カリー=ハワード同型対応プログラミング
>がせいぜいの所
90年代だったと思いますが、当時龍谷大にいた小林聡氏が
「実は古典論理でもカリー・ハワード対応で
プログラム抽出できる」
という話をして
「
197:えっ、今まで排中律を使うと構成的じゃないから プログラム抽出できないっていってたのは いったいなんだったんですか？」 と驚いたのをおぼえてますね ま、今では常識なんでしょうけど （詳しいことは 照井一成氏「コンピュータは数学者になれるのか？」 第５章 5.3 ２つの論理 とか読んでください これ、いい本ですよ）
198:１３２人目の素数さん
21/12/30 09:28:09.97 4jYBn4KQ.net
>>184
結論としてID無し連投の人物は
IUT無関係な自分の疑問を誰にも教えてもらえず
自分より賢い人にぶつけて答えを貰おうとする
知恵乞食に過ぎないから
そのパラドックススレに帰ってもらった方がいいね
199:１３２人目の素数さん
21/12/30 09:30:23.36 .net
昔話、つづけますか
>>181
>80年代国内ではcoq以前にMisarという処理系を先行導入している研究室があって、
信州大学の中村八束さんでしたっけ？
>ハギャ先生一行がその研究室を訪問した記録には心を躍らせていた
萩谷昌己氏ならよく存じあげていますよ
7bitsのThemskyのm氏でしょ
「止まれ！」は実にいい解説文でしたね
巨大数愛好家の人はぜひ読んでほしいな
URLﾘﾝｸ(www.youtube.com)
200:１３２人目の素数さん
21/12/30 09:32:52.90 4jYBn4KQ.net
>>186
小林聡氏の構成的プログラミングは構成的型論理を使った話だから意外性を感じるだけであって
プログラミング手法としてのカリー=ハワード同型対応プログラミングは、構成的プログラミング以前から発想があるわけだから当たり前だよな
リアルタイムで追っかけずに歴史を未来から順番に追っかけているから意外性を感じるだけだろう
201:１３２人目の素数さん
21/12/30 09:34:21.15 4jYBn4KQ.net
>>188
お前の話っておれが匿名掲示板で何度も出した話を繰り返し持ち出すだけで昔話でもなんでもなく全く意外性がないな
202:１３２人目の素数さん
21/12/30 09:36:33.63 .net
>>182
>アカデミックハラスメント問題が数年前から起きていて
>メンヘラが次々と犠牲者を出す状況が目の前にあったので、
>誘われた研究室は断り専攻を変えて、
>アカデミックハラスメント問題を影の主専攻にした
そうですか
ま、結果的には情報科学を専攻しなくて
よかったんじゃないですか？
型理論とかもう古典芸能でしょう
数学関係ではHoTTとかリバイバルヒットしてるみたいですけど
正直どこまで研究進んでるのか知りません
203:１３２人目の素数さん
21/12/30 09:38:37.17 4jYBn4KQ.net
IUT全く関係ない匿名掲示板知識を書き殴るID無し
204:１３２人目の素数さん
21/12/30 09:40:58.16 4jYBn4KQ.net
>>191
まじツッコミすると
> 型理論
って何？造語症？
205:１３２人目の素数さん
21/12/30 09:41:13.42 .net
>>195
>> 一つ質問ですが、圏論では
>>そういうモジュラー・プログラミング
>>ないしはオブジェクト指向プログラミング
>>といった雰囲気は微塵も感じなかったのでしょうか？
>それ30年前から俺が言ってる話で、
ということは、20世紀中ですか
>匿名掲示板では20年前から何度も書いている話だから
そうですか、いったいどの程度のことを書かれてたのですか？
>いまさらなに幼稚な事を言い出したのって爆笑してしまった
まあそう興奮しないで
いまどき古典芸能を守る貴方のような存在は実に奇特ですから
206:１３２人目の素数さん
21/12/30 09:42:03.24 .net
>>194のアンカーは正しくは>>185
207:１３２人目の素数さん
21/12/30 09:45:35.16 4jYBn4KQ.net
> ま、結果的には情報科学を専攻しなくて
> よかったんじゃないですか？
> 型理論とかもう古典芸能でしょう
この書き込みでコイツの程度がわかってしまうのが
匿名掲示板の面白いところだね
自分が不得意な分野はそれ以上追撃がないように
(相手は専攻していない！)という思い込みを滲ませ
自分が知らない話は古典の一言で片付け、おまけに用語を間違える
匿名掲示板でしか生きられない下層民の悲哀が滲む書き込みだね
208:１３２人目の素数さん
21/12/30 09:48:14.02 4jYBn4KQ.net
> いまどき古典芸能を守る貴方のような存在は実に奇特ですから
健常者向け翻訳「その事はよく知らないのでこれ以上話を広げて私に恥をかかせないで下さいね、
そのカタリロンは古典、これは宇宙の真理ですから
カタリロン�
209:ﾌ話をする奴は時代遅れの古典芸能継承者だとレッテル貼りしておきますよ」 カタリロンって何だよw パタリロンの親戚か
210:１３２人目の素数さん
21/12/30 09:48:31.68 .net
>>185
>お前が学位論文研究のプログラミングができずに
>dBase業務プログラミング開発バイトで
>ドヤ顔していた当時から常識だろ
>SML NJのオブジェクト指向はその話
>時代感覚が30年ズレている
dBASE業務プログラミング開発バイトされてたんですか ふ~ん
私がオブジェクト指向なる言葉を聞いたのは
大学のゼミに入るときでしたね
教授がゼミで読む本の１つとしてあげたのが
GoldbergのSMALLTALKの本でしたね
結局その本は読まなかったんですけどね
211:１３２人目の素数さん
21/12/30 09:50:36.51 4jYBn4KQ.net
この手の手合いは訳もわからずマウントしてくるだけで、マウントの下側がガラ空きの無防備状態だから笑えるね
212:１３２人目の素数さん
21/12/30 09:53:09.51 .net
>>189
>プログラミング手法としてのカリー=ハワード同型対応プログラミングは、
>構成的プログラミング以前から発想があるわけだから当たり前だよな
今となってはそう思いますが、
「大域脱出call/ccが実は排中律だった！」
と気づいたのは1990年らしいですから
（小林氏の話はその直後）
昭和時代に大学生＆院生だった私にとっては
リアルタイムの衝撃でしたけどね
213:１３２人目の素数さん
21/12/30 09:54:06.16 4jYBn4KQ.net
>>198
出してくる文献が古過ぎるやん
その時代にはPalo Alto帰りの研究者が菊と刀というハードウェアと処理系を作っているし
そっから10年以上の進歩があって圏論プログラミングが実現しているわけで
リアルタイムを知らないから古過ぎる有名著書の名前しか出せない素人なのがよくわかるね
お前は何のために薄っぺらい匿名掲示板知識を書き連ねて時間を浪費してるんだよ
頭が悪過ぎる
214:１３２人目の素数さん
21/12/30 09:56:04.25 .net
>>190
情報科学関係の人にとっては「いつか来た道」ですからね
そりゃ別に目新しいことは何もないでしょう
215:１３２人目の素数さん
21/12/30 09:58:45.97 4jYBn4KQ.net
GoldbergのSmalltalk本は未翻訳のパープルブックに処理系(Byte code VM)の詳細がある程度で
バイトコードマシンの実装もしない人がゼミで読んでも何の意味もないだろうね
216:１３２人目の素数さん
21/12/30 10:01:35.87 4jYBn4KQ.net
結局ID無しの人は、無知を誤魔化すために意味不明なレッテル貼りマウントを試みる下等生物だね
> いまどき古典芸能を守る貴方のような存在は実に奇特ですから
この類のルサンチマンのこもったマウント発言を始終繰り返す下等生物はどこへ行っても相手にされない
217:１３２人目の素数さん
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
218:１３２人目の素数さん
21/12/30 10:05:10.28 4jYBn4KQ.net
このID無しの話はどれも幼稚な聞き齧りと能書き垂れとマウントばかりで、いったい何年前から匿名掲示板廃人をやっているのか疑問を感じる
219:１３２人目の素数さん
21/12/30 10:07:46.22 4jYBn4KQ.net
書き込みに脈絡がなく、話のテーマがコロコロ変わって安定しない所から見て、精神分裂症を患って長年廃人状態なのだろう
他の人の書き込みはIUTに即した話を1日数回書き込むだけなのに
コイツの書き込みはワードサラダ状態
220:１３２人目の素数さん
21/12/30 10:09:06.68 .net
>>201
＞リアルタイムを知らないから
昭和時代から知ってるなら「型理論」くらい知ってますよ
type theoryをこう言ってたんですよ てっきり御存知かと思いましたが
もしかしてアメリカの大学出身ですか？だったら日本語知らなくても仕方ないけど
221:１３２人目の素数さん
21/12/30 10:13:55.34 .net
>>203
ああ、そういえば色ついてましたね、３色くらい
どれを読もうといったのかはもう覚えてないですね
222:１３２人目の素数さん
21/12/30 10:14:20.17 4jYBn4KQ.net
俺はtype theoryの話はしていないね
型論理を型理論と読み違えて訂正しないからツッコミを入れたら
type theoryは昭和時代の知識だと言い出して頭の悪さに大爆笑
223:１３２人目の素数さん
21/12/30 10:15:07.33 4jYBn4KQ.net
>>209
言ってることが全部幼稚なんだけど、書き込み担当者がバイト時給800円くらいの奴にすり替わったんか
224:１３２人目の素数さん
21/12/30 10:16:22.32 .net
>>206
>いったい何年前から匿名掲示板廃人をやっているのか
2chは始まりの頃から知ってますよ
あなたは「30年前から言っている」といってますけど
それってJUNETのnetnewsのことですか？
225:１３２人目の素数さん
21/12/30 10:18:35.11 4jYBn4KQ.net
昨日前スレ末の午前4時台の方の書き込みは近い将来に向かったビジョンがあって感銘を受けたけど
ID無し愚民の書き込みは全て過去の話ばかりで、既に確定した話しか扱えない閉世界仮説の住人なのだろうな
時間の無駄
226:１３２人目の素数さん
21/12/30 10:19:04.99 .net
>>211
そうですか
それにしてもスモールトークの話にはがっついてきたのに
論理の話には全然食いついてこないですね
もしかして、論理はご存じない？
あぁ、じゃあやっぱり情報科学専攻じゃないんですね
227:１３２人目の素数さん
21/12/30 10:20:49.33 4jYBn4KQ.net
これはツッコミ入れられて当然の世迷言
お前風情のSmalltalk知ってるネタにガッツクのはお前だけ
209 名前:１３２人目の素数さん [sage] :2021/12/30(木) 10:13:55.34
>>203
ああ、そういえば色ついてましたね、３色くらい
どれを読もうといったのかはもう覚えてないですね
228:１３２人目の素数さん
21/12/30 10:22:21.74 4jYBn4KQ.net
結局頭が馬鹿で誰にも相手にされないから
この年末にぼんやりとした話を延々と連投して
「自分はロンリなら最狂」とかやってるんだろうね
とんでもない狂人だ
229:１３２人目の素数さん
21/12/30 10:24:52.55 4jYBn4KQ.net
狂人ビジョン
・レスがあった＝相手はガッついている
・スルーされてレスが無かった=相手は無知
・自演埋め立て＝スレが盛況
・過去の話＝閉世界仮説で真
・未来の話＝閉世界仮説で偽
230:１３２人目の素数さん
21/12/30 10:24:58.87 .net
>>210
小林聡氏の構成的プログラミングも型理論ですけどね
Martin-Lo”fとかと同じ流れ
Martin-Lo”fの論文で覚えてるのは
今となっては順序数Γ0が出てきたことくらいですか
逆数学でいうとATR_0ってことですかね
231:１３２人目の素数さん
21/12/30 10:27:38.87 4jYBn4KQ.net
何でコイツの話って、人がしていない話を突然持ち出して断片的な匿名掲示板知識を書いておしまいなんだろうね
下等生物の行動パターンは単純過ぎて眠くなる
232:１３２人目の素数さん
21/12/30 10:28:11.58 .net
>>217
閉世界仮説は御存知なんですね
じゃ、二階論理上の自然数論で
標準モデルだけが唯一のモデル
だというのが実は閉世界仮説
だってことも御存知ですか？
233:１３２人目の素数さん
21/12/30 10:29:29.27 4jYBn4KQ.net
相手がしている話を誠実に受け止める習慣が欠如しているから、相手の話から勝手に連想した取り留めもない話を延々と書いて、IUTとは無関係な戯言でスレを埋め立てるんだろうね
この種の下等生物は存在価値がない
234:１３２人目の素数さん
21/12/30 10:29:44.60 .net
>>219
いろいろエサを落としてみて
どれが当たりがあるか見てます
235:１３２人目の素数さん
21/12/30 10:30:46.94 4jYBn4KQ.net
ID無しの書き込みを一言で言えば
「統合失調患者のワードサラダ状態」
脈絡のない話を一人でずうっと書き込む狂人
236:１３２人目の素数さん
21/12/30 10:31:07.74 4jYBn4KQ.net
>>222
お前の話はつまらない
237:１３２人目の素数さん
21/12/30 10:32:13.53 QPhtoI66.net
【IUT応援スレは統合失調患者のワードサラダ連投スレに変わりました】
238:１３２人目の素数さん
21/12/30 10:32:37.45 .net
>>221
>相手がしている話を誠実に受け止める
今のところあなたが圏論とオブジェクト指向の関係について
数学的もしくは情報科学的に興味ある話を一つもできていないので
「ああ、あれはただのフカシだったのかな」と思ってます
２ｃｈではよくあることなので受け流してます（死語）
239:１３２人目の素数さん
21/12/30 10:34:35.96 QPhtoI66.net
【統合失調患者が妄想と思い込みで「相手は自分を満足させる書き込みをする義務がある」と発狂するのを眺める精神病院閉鎖病棟スレ】
240:１３２人目の素数さん
21/12/30 10:35:04.60 .net
>>224
当たりがないですね
どれもこれも情報科学知ってる人なら
速攻で食いつくエサなんですけどね
241:１３２人目の素数さん
21/12/30 10:36:54.32 QPhtoI66.net
このスレの現状にタイトルを付ける遊びは面白いね
【統合失調患者が自分の期待する知識を与えてくれる人が現れるまでひたすら構って乞食を繰り返す知識乞食スレ】
242:１３２人目の素数さん
21/12/30 10:39:16.95 QPhtoI66.net
>>228
無知なのマウントしたがる統合失調患者と会話をしたがるのは職業的意識の高い精神分析医しか居ないだろうな
キチガイの話は妄想でしかないから、聞く価値がない
243:１３２人目の素数さん
21/12/30 10:39:28.92 .net
なんか眠れないみたいですね
244:１３２人目の素数さん
21/12/30 10:40:01.85 QPhtoI66.net
>>228
無知なのにマウントしたがる統合失調患者と会話をしたがるのは職業的意識の高い精神分析医しか居ないだろうな、あとは心理学者の帯広畜産大ナベさんとか
キチガイの話は妄想でしかないから、聞く価値がない
245:１３２人目の素数さん
21/12/30 10:41:19.32 QPhtoI66.net
時間帯が違う世界から書き込んでいる事が判明して草
昭和連呼で話が古いところから見て20～30年前の時空から書き込んでいるのかな、狂人の主観的に
246:１３２人目の素数さん
21/12/30 10:44:01.00 QPhtoI66.net
こんなキチガイ相手に生真面目に対応していた人は偉いな
こんなんキチガイ本人以外にとっては砂を噛むように退屈なやり取りでしかないわけで
247:１３２人目の素数さん
21/12/30 10:44:19.26 .net
>>233
何をいらついてるんでしょうね このお爺さんは
248:１３２人目の素数さん
21/12/30 10:45:36.66 .net
>>234
あなたが誰とも退屈なやり取りしかできないとしたら
あなたが精神を患ってる可能性大です
249:１３２人目の素数さん
21/12/30 10:48:43.51 .net
ところで
＞精神分析医
いま、そういう人って居るんですかね？
精神科医は沢山いますけどね
精神分析医ってフロイト理論に基づく医者ってことですよね？
250:１３２人目の素数さん
21/12/30 10:53:57.29 .net
やっと眠れたようですね おじい様
精神分析という言葉、久しぶりに聞きました
平成生まれの若者たちは知らないんじゃないかな？
251:１３２人目の素数さん
21/12/30 10:55:53.93 QPhtoI66.net
【キチガイジおばさんの統合失調妄想日記スレ】
山形大学医学部附属病院精神科担当医の責任
252:１３２人目の素数さん
21/12/30 10:56:32.88 xpBZhjtz.net
>>171
フェセンコ氏による類体論一般化の
方向は望ましいものと思うんだけれども
なぜに彼は、IUTが遠アーベルの2次元版に
相当するなどと考えてしまったのだろうか
本当にそれは正しい見方といえるのか？
他に誰もそんなこと言ってないのが不思議
253:１３２人目の素数さん
21/12/30 10:56:44.87 .net
フロイトは「無意識」に着目した点では有意義だったけど
精神分析の方法論は結果としては適切でなかったね
マルクスが「搾取」に着目した点で有意義だったけど
社会主義の実現について「プロレタリアート独裁」を唱えた点で
適切でなかったように
254:１３２人目の素数さん
21/12/30 10:58:01.39 QPhtoI66.net
キチガイジおばさん、IUT無関係な話をするなら
例の戯言で埋まったパラドックススレに書くか
誰も読まない自身のホムペでやれよ
255:１３２人目の素数さん
21/12/30 11:00:06.68 QPhtoI66.net
>>240
あなたの話は常に「他の人が言っていない話をするのはおかしい」という論調だから
いくらIDを付けてもID無しの閉世界仮説の人と区別するのが難しいね
256:１３２人目の素数さん
21/12/30 11:01:50.14 .net
おじいさんにとって慰めになるかどうかわからないけど
「古典的な情報科学専攻してもそんなにバラ色の未来はなかったよ」
bitもなくなっちゃったしね
今や情報科学も機械学習とかのさばってきたし
ま、いいんですけどね
257:１３２人目の素数さん
21/12/30 11:03:59.74 .net
>>242
最初にIUTから脱線したのは>>166のおじいちゃんだけどね
258:１３２人目の素数さん
21/12/30 11:05:44.55 .net
>>243
あなたも浪人買ってID消してみたら？
hissiチェッカーでトレースされないから
「ID真っ赤！」とかいわれなくていいよ
259:１３２人目の素数さん
21/12/30 11:06:50.84 QPhtoI66.net
やっぱりID無しは山形大学医学部附属病院精神科の患者だね
突然ストローマン論法で性別と年齢の決めつけを始めるのは滋賀県出身者と山形県在住者に特徴的な風土病
260:１３２人目の素数さん
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) ※ 上記写真はみなし国家公務員＝国立大学法人職員＝公人の公開イベントで撮影され公開済みの写真でありその「所属機関」と「役職」の目的と使命に鑑みて、これら写真の参照は国民の行政監視の権利を満たしている。
【事例1】天羽 優子 @apjは21年前からネットハラスメント常習犯として有名
[ソース] fj.soc.law 2000/2/17 17:00のスレッド URLﾘﾝｸ(groups.google.com)
【事例2】天羽 優子 @apjは13年前に自身が担当する実験講義学生を係争相手業者と誤認し誤爆ハラスメント問題を起こし、被害者学生が身元を明かして誤爆だと判明した後もネットハラスメントを継続した
[ソース] 山形大学・天羽准教授による鬱への差別 (過去ログ) URLﾘﾝｸ(itest.5ch.net)
【事例3】自称 天羽 優子 は4年前にレコード大賞受賞者に対し誹謗中傷を行なった末に逆ギレし、親告罪スラップ訴訟恫喝をした。法務省担当部署はそれを、匿名の長期誹謗中傷犯が自身の身元を明かす訴訟を起こすと称する無効な恫喝だと説明した
[ソース] J-WAVE 81.3FM (76) [無断転載禁止](過去ログ) ｽﾚﾘﾝｸ(am板:912番) ｽﾚﾘﾝｸ(am板:925番) ｽﾚﾘﾝｸ(am板:948番)
261:１３２人目の素数さん
21/12/30 11:08:10.54 .net
「自然数論でその存在が証明できない元は自然数として存在しない」
とすると、非標準的な元を排除できて標準的な自然数だけになる
しかしそういうことが一階論理ではできない
262:１３２人目の素数さん
21/12/30 11:10:23.22 QPhtoI66.net
まあ顔写真と体型を見れば判る通り
明らかに廃人だよね
社会性があったらそんな容姿で居られない筈なのに
社会性の欠如を気にしない廃人生活を何十年も送ってきた残骸がこの写真
URLﾘﾝｸ(blog-imgs-17.fc2.com) URLﾘﾝｸ(b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com)
263:１３２人目の素数さん
21/12/30 11:12:44.66 .net
また、発作がおきちゃったね
滋賀とか山形とか、ここにはそんな人いないよ
264:１３２人目の素数さん
21/12/30 11:13:34.03 QPhtoI66.net
>>244
�
265:ｨばあちゃんの人生はもう取り返しが付かないけど 「ラマン散乱やってもバラ色の未来はない」 事は1990年代から明らかで、気の利いた研究者はさっさと分野替えしたのに 2021年末になっても未だに匿名掲示板で狂人扱いされる人生は大変だね
266:１３２人目の素数さん
21/12/30 11:15:16.54 QPhtoI66.net
>>251
そのキーワードへの反応が着弾確認になるから無問題
もう10年以上前からとっくにバレてるのに
毎回反応してご苦労
267:１３２人目の素数さん
21/12/30 11:16:02.23 .net
滋賀県民は他府県民から滋賀作と言われることが癪です
URLﾘﾝｸ(undecided-blog.com)
埼玉県民は「翔んで埼玉」の大人気を歓迎してるそうだ
・・・埼玉県民って心が広いよな（賞賛）
268:１３２人目の素数さん
21/12/30 11:17:02.59 C5tQJ/hk.net
>>253
優子さんは年下のイケメン彼氏とコミケデート中だぞ
君みたいな非モテとは違うのだよ
269:１３２人目の素数さん
21/12/30 11:17:15.98 QPhtoI66.net
>>249-250の写真は見る人によっては精神的ブラクラとして作用するので、心の弱い人は見ない事を推奨(公開イベントの公開写真だけどw
270:１３２人目の素数さん
21/12/30 11:20:03.99 .net
>>253
その着弾確認が誤りかと
私は根っからの東京人なので、
「ああ、なんか別の人と勘違いしてるな」
と分かるわけで、親切で教えてあげてるわけです
自分が他人から親切にしてもらったら嬉しいでしょ
だから他人には親切にしてあげるもんです
と私は父母からそう教わったし、
自分でも「そりゃそうだな」と思ったので
そうしているわけです
他人を欺いたら得するとかいう発想は
関ヶ原の西ではどうだかしりませんが
少なくとも箱根の東では好まれませんよ
271:１３２人目の素数さん
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
> 年末年始にヤリまくれるセフレ募集中です
272:１３２人目の素数さん
21/12/30 11:22:13.69 QPhtoI66.net
>>257
ID無しでいくら妄想を書いても誰も読まないぞ
273:１３２人目の素数さん
21/12/30 11:23:37.13 .net
山形といえば、久保史緒里（乃木坂４６）の母親が山形県出身だそうで
郷土料理として「水かけご飯」を紹介したのだが、メンバーからの評価は
すこぶる低調だったらしい・・・めげるな、久保チャン
URLﾘﾝｸ(www.rbbtoday.com)
274:１３２人目の素数さん
21/12/30 11:24:33.01 .net
>>259
おじいちゃんも浪人買ってID消して見れば？
275:１３２人目の素数さん
21/12/30 11:26:15.98 QPhtoI66.net
二目と見れない容姿の豚おばさんが
同性愛の嗜好にあった芸能人の名前を挙げて
性的妄想を書き殴る山形大学医学部附属病院精神病棟スレ
276:１３２人目の素数さん
21/12/30 11:27:51.86 .net
>>262
どうしても妄想から抜け出せないようだけど
それ書き続けてもあなたが損するだけですよ
いまだに２０世紀を生きてるおじいちゃん
277:１３２人目の素数さん
21/12/30 11:28:26.23 QPhtoI66.net
この豚おばさんは西村博之の狂信者で
fjで総スカンを食って2ちゃんに逃げ込んだ直後から
西村博之親衛隊こと運用ボランティアに応募して
ID消しやワッチョイ偽装にやだらとこだわる
統合失調患者だね
278:１３２人目の素数さん
21/12/30 11:29:37.72 QPhtoI66.net
>>263
現在も昭和を生きる時代遅れな豚おばさん乙
279:１３２人目の素数さん
21/12/30 11:30:00.96 .net
浪人買った上で、名前欄に
!id:ignore
と書けば、ID消せます
簡単でしょ？
280:１３２人目の素数さん
21/12/30 11:31:19.01 QPhtoI66.net
これは今ほど容姿の基準が高くなかった昭和時代でも厳しいね
容姿を整える努力を全放棄して社会性を失った生物の残骸
URLﾘﾝｸ(blog-imgs-17.fc2.com) URLﾘﾝｸ(b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com)
281:１３２人目の素数さん
21/12/30 11:31:42.06 .net
>>264
やっぱり、fjを知ってましたね
どこのNGにいました？
282:１３２人目の素数さん
21/12/30 11:34:34.82 xpBZhjtz.net
>>243
そもそも類体論に関係があるなら
望月氏自身が類体論一般化の方向で
自身の理論を展開したらどうなのか
IUTにはゼータ関数すら出てこない
283:１３２人目の素数さん
21/12/30 11:35:18.71 QPhtoI66.net
>>268
こんな精神病院状態のスレで実名ニュースグループの話をするのは、総スカンを食ったおばさんだけだろ
1995年頃キチガイおばさんの書き込みが登場した時点で、fjニュースグループ全体が精神病棟臭くなって離脱するのが当時の健常者の一般的反応
日本語ニュースグループは情報が薄くて読む価値なかったし
284:１３２人目の素数さん
21/12/30 11:36:08.49 .net
>>264
ひろゆき嫌いならここに書きこむどころか読むことすらしなきゃいいのに
お友達がいなくて淋しいんだね
いいよ つきあってあげます
・・・私って、なんていい人なんでしょう
285:１３２人目の素数さん
21/12/30 11:37:54.28 QPhtoI66.net
あのおばさんヤバいなぁと思ってfjを開かなくなって10年以上経ってから検索してみたら
やっぱりトラブルを起こしていてワロタよ
誰が見てもメンヘラのトラブルメーカーだったから大納得した
fj.soc.law 2000/2/17 17:00のスレッド URLﾘﾝｸ(groups.google.com)
286:１３２人目の素数さん
21/12/30 11:37:55.77 .net
>>270
正直 天羽優子って名前は
今年あなたがこのスレッドで連呼して
はじめて知ったんですよ
いったいどこのNGにいたんですか�
287:H
288:１３２人目の素数さん
21/12/30 11:38:59.48 .net
fj.soc.law なんて一度も見たことないから知らないなぁ
fj.rec.idol はよく見てましたが
289:１３２人目の素数さん
21/12/30 11:41:07.94 QPhtoI66.net
fjに居たのにキチガイおばさん登場のインパクトを知らないのはキチガイおばさん本人のみ
このスレや掲示板と同様、そこら中で支離滅裂で殺気のこもった書き込みをしていたから、それを見ないようにするのは無理となって、fj離脱者が相次いだ
もともと退屈な場所だしね
290:１３２人目の素数さん
21/12/30 11:42:35.47 .net
>「大丈夫。医学がだめでも科学があります。歩けるどころか、
> 空だって飛べるようになりますよ....」
なんかこれ見たことあるなあ
私が知ってるNGの有名人って
・mohta
・ヘミ猫の人
くらいかな
291:１３２人目の素数さん
21/12/30 11:45:18.13 QPhtoI66.net
で、そんだけfjにのめり込んでいたキチガイおばさんが、今年の今月までフェルマーの最終定理の問題定義を知らなかった事が判明したのにはビックリしたな
当時海外ニュースグループでは大きな話題で、ハリー針谷の高温超伝導ブレットインと並ぶ理系コンテンツだったのに
それを知らなかったのはやっぱり英語がよめないひとだったんだなぁ、と
292:１３２人目の素数さん
21/12/30 11:48:33.30 QPhtoI66.net
米国エネルギー省からブランチの出た数式処理系のメンテナーが、新婚旅行で心臓発作を起こして亡くなった事件は不謹慎だけどちょっと笑った
ロシア系の60代教授が院生と結婚してハネムーンで房事過多でしぼんぬってどんだけだよと思った
293:１３２人目の素数さん
21/12/30 11:50:04.67 .net
>>277
ああ、フェルマースレに行ったんですね
あそこの日高って人はいわゆる「フェルマー屋」ですよ
（「フェルマー屋」とは「角の三等分屋」と類似の人）
まあ、でもいろんなスレにいって
♪これも天羽 それも天羽
たぶん天羽 きっと天羽
っていうのは、やばいですよ マジで
294:１３２人目の素数さん
21/12/30 11:53:54.14 QPhtoI66.net
キチガイおばさんの名前に抵抗なく反応するのは
キチガイおばさん本人のみだから
着弾確認にしかならないね
普通の人はメンヘラの名前を見かけても
心の隅に覚えてNGするだけで反応しない
295:１３２人目の素数さん
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
このおっさんは天羽優子の粘着ストーカーだったけど結婚を申し込んで拒絶されて
以降自分の気にくわない事やら理解できない事を書く奴はみんな天羽優子に見えるという病気を患ってるらしい
296:１３２人目の素数さん
21/12/30 11:56:28.36 QPhtoI66.net
こうやってスキャンしてみると
1995年以前のニュースグループの話題には反応できない
海外ニュースグループの数学関連の大きな話題にも反応できない
やっぱり1995年fjデビューの英語をろくに読めない人物というプロフィールを再確認できるね
297:１３２人目の素数さん
21/12/30 12:02:36.43 QPhtoI66.net
URLﾘﾝｸ(blog-imgs-17.fc2.com) URLﾘﾝｸ(b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com)
以降、この人物の書き込みは全面禁止
IUTの話題に戻します
298:１３２人目の素数さん
21/12/30 12:04:06.19 .net
>>280
>＊＊＊＊おばさんの名前に抵抗なく反応するのは
>＊＊＊＊おばさん本人のみだから
その仮説は正しくないよ
自分でも気づいてるんでしょう？
間違ってるってことにさ
299:１３２人目の素数さん
21/12/30 12:08:44.14 QPhtoI66.net
>>269 他人のモチベーションを理解する努力をせずに 自分の思い付き通りに物事が発展しない事に文句を言うのは 自分では何もやらない人固有の視点だね 気になるなら自分の手を動かせ
301:１３２人目の素数さん
21/12/30 12:09:09.84 .net
＞普通の人は＊＊＊＊の名前を見かけても
＞心の隅に覚えてNGするだけで反応しない
それは
「オレの天羽優子への歪んだ愛の叫びを
無関係な奴は皆そっとNGしてくれ」
という身勝手なお願い？
御免、再三同じこと書きこまれると
流石に鬱陶しいんでね
NGで済む問題ではないな
302:１３２人目の素数さん
21/12/30 12:11:29.99 .net
>>285
あなた、自分の手動かしてないけど
fjの記事読んでるだけじゃ数学は1gも理解できないよ
ああ、そうそう
fj.sci.mathの1990年代の有名人を
３人挙げて見て
303:１３２人目の素数さん
21/12/30 12:11:45.72 QPhtoI66.net
ID無しキチガイジおばさんは書き込み禁止
304:１３２人目の素数さん
21/12/30 12:14:32.08 .net
>>288
QPhtoI66 のおじいちゃん曰く
「優子ォォォォォ！！！」
愛って…怖いよね
305:１３２人目の素数さん
21/12/30 12:15:21.08 QPhtoI66.net
ID:xpBZhjtzに対する書き込み>>285に
ID無し豚おばさんが即レスをつけているのは
ID:xpBZhjtzは豚おばさん本人ということか
「他の人が言っていない事を言い出すのはおかしい」
「Aの発言を踏まえてBは行動すべきだ」
自分の手は動かさず他人に文句を言うだけの貧困な知的姿勢が露わになるね
306:１３２人目の素数さん
21/12/30 12:19:41.31 .net
>>290
２つ誤りがあります
１．私は、あなたが愛する天羽優子ではありません
２．xpBZhjtzは、私ではありません
xpBZhjtzが天羽優子かどうかは私には分かりませんが
私が思うには、違うでしょう
ここにはあなたの愛する天羽優子はいません
他をお探しください
これは貴方に対する親切心で述べているので
正直に受け止めるほうがよいでしょう
私が嘘をついていると思うのは不健全です
307:１３２人目の素数さん
21/12/30 12:21:52.24 .net
昼食をとったのでしばらく昼寝します
QPhtoI66 あなたも眠ったほうがいいよ
308:１３２人目の素数さん
21/12/30 12:32:18.26 QPhtoI66.net
IUTスレを妄想日記帳にしている精神障害者のひとが
やっと死んだ模様
このスレ大変だね
309:１３２人目の素数さん
21/12/30 12:36:13.73 QPhtoI66.net
とりあえずこの精神障害者のひとは
1. 本人主張によれば他人であるID:xpBZhjtzへのレス>>285に即レスをしたり
2. ID:xpBZhjtzとID無しが別人であるという証明不可能な事をクドクドと言い訳する癖
は辞めて、自身のホムペで妄想日記を書きなさい
以降書き込み禁止
310:１３２人目の素数さん
21/12/30 13:26:10.63 TBEEDP8X.net
>>248
あグロ
311:１３２人目の素数さん
21/12/30 13:26:43.57 4HoSZTlT.net
>>285
はたして理解しようと努めるほどに
価値のあるモチベーションなのかどうか
まずはそこに疑問を感じてしまうわけで
手を動かすほどでもないんだよなぁ
312:１３２人目の素数さん
21/12/30 13:26:50.65 TBEEDP8X.net
>>250
あグロ
313:１３２人目の素数さん
21/12/30 13:26:59.62 TBEEDP8X.net
>>267
あグロ
314:１３２人目の素数さん
21/12/30 13:27:07.72 TBEEDP8X.net
>>283
あグロ
315:１３２人目の素数さん
21/12/30 13:28:22.13 iSpwwK0D.net
kakyoukyoutiba|day1-post-meridiem|cml-office|IerWI2I7OREJ|1212628738|1503813609
316:１３２人目の素数さん
21/12/30 13:30:33.09 C5tQJ/hk.net
>>287の質問に答えられないa_watcher
317:１３２人目の素数さん
21/12/30 13:34:10.52 DqBYeFmB.net
>>185
a_watcherの「爆笑」の誤用を確認
318:１３２人目の素数さん
21/12/30 13:36:47.97 w1qlG2qm.net
ただの疑心暗鬼かと思ったら意外と反応あるのね
本当に関係者も来とるんけ？
319:１３２人目の素数さん
21/12/30 13:40:24.93 xO8sqbsv.net
>>173
>おれ？ おれは、高木類体論もあんまし分かってない
君は大学1年4月に習うεN論法すら分かってないでしょうに
君口開くと間違うじゃん
320:１３２人目の素数さん
21/12/30 13:40:35.15 dZDCXOlt.net
>>303 a_watcherは他の板でも全く同じように(=ワンパターン)暴れてるから 逆にa_watcherをおもちゃにして遊ぶ人も多い
322:１３２人目の素数さん
21/12/30 13:44:12.31 QPhtoI66.net
>>300
下記URLを気に病んで執拗にNG指定を求める理由は何故ですか
2000年ネットニュースfj.soc.lawスレッド URLﾘﾝｸ(groups.google.com)
2007年科教協ちば ニセ科学フォーラム２００７ URLﾘﾝｸ(blog-imgs-17.fc2.com)
2008年 Research frontier of water URLﾘﾝｸ(b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com)
2008年メンタルサロン板スレッド URLﾘﾝｸ(itest.5ch.net)
2008年学外移転ホームページ URLﾘﾝｸ(cml-office.org)
2017年ラジオ番組板スレッド ｽﾚﾘﾝｸ(am板:912番) ｽﾚﾘﾝｸ(am板:925番) ｽﾚﾘﾝｸ(am板:948番)
323:１３２人目の素数さん
21/12/30 13:48:42.17 QPhtoI66.net
>>303
朝から半可通の統合失調患者が
取り留めもない妄想話をを延々と書き殴っていただけ
本人は気付いていないようだけど
自分が何かやった、自分が何かを学んだという話は一個もなくて、ただ専門書のタイトルは知っている、中身は読んでいないという話が延々と続いて
その精神の荒廃っぷりにビックリしたよ
324:１３２人目の素数さん
21/12/30 13:48:51.35 AbXGzZ4e.net
>>304
間違う前に分からんのもそうだが、分かる前に考えてすらいないだろ。だって積み木遊び爺だもん
>>293
的屋のバイトに駆り出されちまっただけかも知れないぜ
だって積み木遊び爺の盆暮れだもん
325:１３２人目の素数さん
21/12/30 13:49:35.69 AbXGzZ4e.net
積み木ぃーいつ働くんだよ積み木ぃー
326:１３２人目の素数さん
21/12/30 13:54:50.65 QPhtoI66.net
>>296
IDをコロコロ変えて、他人のモチベーションを理解しないまま他人が思い通りに動かない事に癇癪を起こしたり、自分の手を動かさない言い訳ばかり繰り返すのは
今朝暴れていた統合失調患者と区別がつかないので書き込まなくていいです
327:１３２人目の素数さん
21/12/30 14:14:14.33 TBEEDP8X.net
>>306
あグロ
328:１３２人目の素数さん
21/12/30 14:14:52.37 dZDCXOlt.net
kakyoukyoutiba|day1-post-meridiem|cml-office|IerWI2I7OREJ|1212628738|1503813609
329:１３２人目の素数さん
21/12/30 14:16:04.84 dZDCXOlt.net
>>306
>>30
330:１３２人目の素数さん
21/12/30 14:25:58.38 QPhtoI66.net
>>312
下記URLを気に病んで執拗にNG指定を求める理由は何故ですか？本人である事を認めた印と受け止めるしかないようですね
2000年ネットニュースfj.soc.lawスレッド URLﾘﾝｸ(groups.google.com)
2007年科教協ちば ニセ科学フォーラム２００７ URLﾘﾝｸ(blog-imgs-17.fc2.com)
2008年 Research frontier of water URLﾘﾝｸ(b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com)
2008年メンタルサロン板スレッド URLﾘﾝｸ(itest.5ch.net)
2008年学外移転ホームページ URLﾘﾝｸ(cml-office.org)
2017年ラジオ番組板スレッド ｽﾚﾘﾝｸ(am板:912番) ｽﾚﾘﾝｸ(am板:925番) ｽﾚﾘﾝｸ(am板:948番)
331:１３２人目の素数さん
21/12/30 14:27:08.68 TBEEDP8X.net
>>314
あグロ
332:１３２人目の素数さん
21/12/30 14:27:24.70 dZDCXOlt.net
kakyoukyoutiba|day1-post-meridiem|cml-office|IerWI2I7OREJ|1212628738|1503813609
333:１３２人目の素数さん
21/12/30 14:27:38.73 dZDCXOlt.net
>>314
>>30
334:１３２人目の素数さん
21/12/30 14:29:38.08 QPhtoI66.net
>>314
わかりました
以降、このURLの本人である事を示したい時は何回でもその文字列を書いてください
2000年ネットニュースfj.soc.lawスレッド URLﾘﾝｸ(groups.google.com)
2007年科教協ちば ニセ科学フォーラム２００７ URLﾘﾝｸ(blog-imgs-17.fc2.com)
2008年 Research frontier of water URLﾘﾝｸ(b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com)
2008年メンタルサロン板スレッド URLﾘﾝｸ(itest.5ch.net)
2008年学外移転ホームページ URLﾘﾝｸ(cml-office.org)
2017年ラジオ番組板スレッド ｽﾚﾘﾝｸ(am板:912番) ｽﾚﾘﾝｸ(am板:925番) ｽﾚﾘﾝｸ(am板:948番)
335:１３２人目の素数さん
21/12/30 14:29:47.80 4HoSZTlT.net
>>310
他人のモチベーション理解しなかったり他人が
思い通りに動かない事に癇癪を起こしたりして
発狂したりとか自己紹介お疲れさんです～
336:１３２人目の素数さん
21/12/30 14:31:56.52 QPhtoI66.net
>>319
あなたに積極的に何かを期待する事は決してないので
部屋の隅で膝をかかえて息を止めてみてはいかがでしょうか
きっと悩みもモチベーションも消えて楽になりますよ
337:１３２人目の素数さん
21/12/30 14:35:08.70 tkJweXwg.net
>>240
どうもです
スレ主です
>なぜに彼は、IUTが遠アーベルの2次元版に
>相当するなどと考えてしまったのだろうか
>本当にそれは正しい見方といえるのか？
>他に誰もそんなこと言ってないのが不思議
詳しくは、正直分かりません
でも、ある物理の人(ポーランド)が、余剰次元に例えて、二人のドイツ人の間違いだと主張した話がありました
（∧∨論文へのコメントですが）
（確か、math jinのサイトで読んだと思った。必要なら検索してみますが、過去ログにも書いてます）
あと、IUTに縦横二次元の矢印図出てきますよね
どちらかが、プライムストリップだと思った（縦かな？）
それかもって、勝手に想像しています
また、フェセンコ氏の説に反対する人もいないみたいですね
（彼がこの説を最初に投稿したのは5月頃ですから、半年経っています。）
なお、Hig
338:her local class field theory ”General higher local class field theory was developed by Kazuya Kato[8] and by Ivan Fesenko.[9][10]”（>>173） なので、Fesenko氏独特の（一流の？ｗ）カンもあるのでは？ >>269 >望月氏自身が類体論一般化の方向で >自身の理論を展開したらどうなのか 素人でよく分かりませんが 遠アーベルそのものが類体論の一般化であることは、遠アーベルの人には空気みたいなものでは？ で、高木－伊原－中村・玉川・望月 という系譜があるわけで フェセンコ氏は、その先の自分の土俵の”Kato[8] and by Ivan Fesenko”路線にIUTを引き込もうって戦略と見ました つづく
339:１３２人目の素数さん
21/12/30 14:35:48.02 tkJweXwg.net
>>321
つづき
>IUTにはゼータ関数すら出てこない
この話は、ちょっとだけ出てきます。
山下先生の指摘で、IUTに「1/2」なる係数があって
それが、リーマンゼータのゼロ点 1/2と関係しているというと
望月先生が喜んで「おー、そうか！」と、IUT論文のどこかに取り入れて書いて、
それ残っていると思います（多分 IUT IVかな）
で、山下先生がこの件で科研費とって研究したそうです
それが、どういう訳か、Tafula氏のSiegel zeroesの話に化けた
（ゼータは共通だとは思うけどｗ。かつ、”1/2”くらいでリーマンゼータに飛躍するところが、「さすが天才だｗ」と思いましたけど（多分”1/2”にも天才たちには見えるものがあるのでしょうねｗ）
なお、Tafula氏は望月研の修士で、DRはカナダでやるそうです。）
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Christian Tafula Santos From ABC to L: On singular moduli and Siegel zeroes, Reference: [Tafula].
(引用終り)
以上
340:１３２人目の素数さん
21/12/30 14:36:32.77 QPhtoI66.net
朝から暴れていた統合失調患者がやっと静かになったようで一件落着
341:１３２人目の素数さん
21/12/30 14:42:48.34 .net
>>323
それはよかった
あなたも入院すればこのスレから
統合失調症患者はいなくなりますね
是非入院してください
天羽優子への恋愛妄想に狂う
統合失調症患者の老いぼれ爺様
342:１３２人目の素数さん
21/12/30 14:47:04.02 .net
>>321
＞スレ主です
前から訊こうと思ってたんですが
これは「すれっしゅ」と読むんですか？
＞詳しくは、正直分かりません
あなたに数学が理解できたことがあるんですか？
「任意有限回実行できれば、無限回実行できる」
と初歩的な嘘を絶叫し発狂する素人の貴方に
＞素人でよく分かりませんが
あなたは類体論とかガロア理論とかいう前に
まず線型代数の初歩から勉強したほうがいいでしょう
任意の正方行列が正則行列となるわけではないことは理解しましたか？
ランクがｎでないｎ×ｎ行列は行列式が０になるし逆行列を持ちませんよ
343:１３２人目の素数さん
21/12/30 14:47:28.76 oQfnXEhK.net
>>248
元日の朝生のパネリストに名前があったよ
344:１３２人目の素数さん
21/12/30 14:48:42.03 .net
>>322
山下剛氏は何か成果を上げたのですか？
奇妙な恰好と髭以外 何も記憶にないのですが
345:１３２人目の素数さん
21/12/30 14:50:45.63 c7vK74jl.net
>>323
犯罪予備軍の軍曹さん
今日もお勤めご苦労様です
346:１３２人目の素数さん
21/12/30 14:51:53.48 QPhtoI66.net
>>324
部屋の隅で膝を抱えて息を止めたままレスを付けるとはなかなかしぶといですね
3分間息を止めたら楽になるので頑張ればいいね
あなたには何も期待していませんけど
347:１３２人目の素数さん
21/12/30 14:54:03.23 QPhtoI66.net
>>325
部屋の隅で膝を抱えて息を止めながらそれだけ長い長文を書くとはなかなかやりますね
鰓呼吸でもできるようになりましたか？
348:１３２人目の素数さん
21/12/30 14:57:05.20 QPhtoI66.net
>>326
12月30日に誇大妄想リスト>>258に新規項目追加とはなかなかやりますね
リストが長大化して複数レスに跨る事態になるとは痛し痒しですね
349:１３２人目の素数さん
21/12/30 14:57:33.32 .net
>>301
a_watcherってツイッターのアカウントだったんですね
twitter.com/a_watcher
そういえば、その昔 fj.sci.mathにいたみなさんも
ツイッターのアカウント持ってますね
twitter.com/genkuroki
twitter.com/kamo_hiroyasu
twitter.com/Eukie_M_SHIRAIS
上の２人は最後の人と並べられることを
最も嫌うでしょうが致し方ありません
(deleted an unsolicited ad)
350:１３２人目の素数さん
21/12/30 14:59:00.79 QPhtoI66.net
若年性認知症でもう忘れてしまったようですが
午前連投したID無し統合失調患者の方は書き込み禁止ですよ、っと
351:１３２人目の素数さん
21/12/30 15:00:23.02 .net
>>329-330
一応自室の真ん中にいますが 実は暖房がないんで寒いんですよ
あと呼吸はしてます 息を止める？ なぜ？
＞あなたには何も期待していませんけど
いいことです 他人に何かを期待するのは不健全ですから
私もあなたには何も期待しません それが健全な大人の関係というものです
誰であれそうあるのが自然です
352:１３２人目の素数さん
21/12/30 15:02:10.33 QPhtoI66.net
若年性認知症で忘れやすいのでしょうけれど
息を止めるのは忘れてはいけませんよ
息を止めるのを忘れたらまた午前中のような暖簾に腕押の統失トークでこのスレが埋め立てられてしまいますよ
353:１３２人目の素数さん
21/12/30 15:03:28.12 .net
>>333
覚えていますが、あなたにはその権限がないので従いません
私はあなたが統合失調症ではないかと思っています
あなたは侮蔑の意味でその言葉を用いているようですが
私は違います あなたを心配しています
誰彼なく愛する天羽優子だと思い込むその有様を見れば
皆そう思うでしょう 他の人はあなたを迷惑な奴を思うでしょう
私はといえは、あなたを心配しています
あなたはまともに生活できているのでしょうか？
354:１３２人目の素数さん
21/12/30 15:06:10.33 .net
>>335
意識的に息を止めることは無理ですね
あなたにもできないでしょう？
自分にできないことを他人に求めてはいけませんね
おとうさんやおかあさんにそう教わりませんでしたか？
＞暖簾に腕押
あなたがカリーハワードという言葉しか知らなかったことに呆れています
あんな簡単なことが理解できないなんて！
私にいわせれば陰関数定理よりも簡単ですよ
355:１３２人目の素数さん
21/12/30 15:06:48.01 QPhtoI66.net
午前中の統失のひとは意味不明だったね
他人にレスをつけて延々と絡んでいるので
何事かと思ったら
書籍タイトルを自分で挙げては読んでない内容を知らないという誰も興味がない話を延々と書き綴り
その人生の空虚さが明らかになったのに
相手が自分の期待する答えを返さないのが悪いという意味不明な言いがかりをつけていて
これが統合失調症の事例なのだと気付きました
356:１３２人目の素数さん
21/12/30 15:11:17.15 QPhtoI66.net
>>337
それは緑色アイコン氏の証明プログラミングツイートに噛み付いていた底辺大准教授氏の話だね
カリー=ハワード対応は小野先生の教科書ができるだいぶ前に自分なりに発見して後から副専攻で取らなかった講義の教科書で名前を知った話だな
そんな大昔の話を50過ぎの底辺大教員が知らずに緑色アイコン氏を罵倒していたのがあまりにも惨めだったので
その底辺大教員氏にカリー=ハワード同型対応を教えてやったのは10年ほど前の出来
357:事だな どっかにログが残ってるだろ
358:１３２人目の素数さん
21/12/30 15:12:21.95 QPhtoI66.net
結局、ID無し統合失調患者が復活しちゃったのね
この人物のメンタル疾患特有の「反応の異常性」とは
己にとり受け入れられない現実を
■「日本語がおかしい」
■「専門用語の用法がおかしい」
■「数学の初歩を理解していない」
■「恋愛感情に違いない」
■「宇宙の法則が乱れる」(ビッグバン宇宙論からホログラフィック宇宙論への学問的世代交代に関して)
等々、自分に都合のよい曲解を駆使して
ネガティヴな言動をする現象
359:１３２人目の素数さん
21/12/30 15:14:06.62 .net
>>338
＞意味不明
誰も彼もを天羽優子呼ばわりする貴方ほどではないでしょう
あなたの行動こそ統合失調症の典型的な妄想の症状だと
わたしだけでなく誰もが思うでしょう
それほど彼女を愛しているのですか？
蓼食う虫も好き好きだといいますが…
360:１３２人目の素数さん
21/12/30 15:16:31.36 QPhtoI66.net
結局、何も成果を期待しようのない統合失調患者の反応を観察しているだけなので
お気になさらずいつものように自由に妄言連投罵倒連投をすればよろしい
そうやって反応の記録が蓄積されれば、統合失調患者へのより良い対応方法の知見が自然と見出され
統合失調患者によるアカハラ事件再発の歯止めとなる
361:１３２人目の素数さん
21/12/30 15:18:55.09 QPhtoI66.net
>>341
現状、その精神異常者の名前に拘っているのはあなた一人だよ
あなたが反応するから、その名前がスキャン材料として出てくるだけであって
もしその名前の人が過剰反応し発狂しハラスメント犯罪の手が止まるようなハッピーな副作用が無ければ
誰もそんな名前は書かないよ
362:１３２人目の素数さん
21/12/30 15:18:59.97 TBEEDP8X.net
>>318
あグロ
363:１３２人目の素数さん
21/12/30 15:19:19.35 ztu7bs2W.net
kakyoukyoutiba|day1-post-meridiem|cml-office|IerWI2I7OREJ|1212628738|1503813609
364:１３２人目の素数さん
21/12/30 15:19:29.52 .net
>>339
ツイッターの話は知りませんよ
＞小野先生の教科書
ああ、日本評論社から出た本ね
大学院出たあとに出版されましたね
365:１３２人目の素数さん
21/12/30 15:21:12.07 oQfnXEhK.net
>>342
レスの数だけ天羽優子嬢への愛情がわかる
年末だから寂しいのだろう、俺も同じだから気持ち解るよ
来年はお互い恋が実る年にしたいね
366:１３２人目の素数さん
21/12/30 15:21:34.63 QPhtoI66.net
統合失調患者の身元は確定
緑色のアイコンの人の証明プログラミングツイートに因縁を付けていた同じく緑色の虫ケラアイコンが犯人
367:１３２人目の素数さん
21/12/30 15:22:13.52 .net
>>343
正直、天羽優子なる名前に全く聞き覚えがありません
「大丈夫。医学がだめでも科学があります。
歩けるどころか、空だって飛べるようになりますよ....」
とかいう文句は記憶がありますけど、どこで見たかは覚えてません
368:１３２人目の素数さん
21/12/30 15:23:03.71 QPhtoI66.net
統合失調患者さんが精神異常者の名前に固執して
何回もその名前を書き始めたのはハッピーだね
山形の精神異常者と山形の統合失調患者なら
住んでる場所も近いだろうからさっさと入籍しろ
369:１３２人目の素数さん
21/12/30 15:25:11.94 QPhtoI66.net
この手の下等生物は雌雄同体で自己受精で増殖するのか、それとも細胞分裂で増殖するのか
「物質生命化学」的に興味深い研究テーマになりそうだね
やったね山形の人の来年の科研費獲得確実じゃん
370:１３２人目の素数さん
21/12/30 15:28:10.61 c7vK74jl.net
>>350
日本に匿名掲示板の書き込みは天羽優子氏の仕業に見える奇病の統合失調精神異常者は長野県飯田市に一人しかいませんよ
371:１３２人目の素数さん
21/12/30 15:28:56.49 .net
>>348
＞緑色のアイコンの人の証明プログラミングツイート
「緑色のアイコンの人」って誰？
372:１３２人目の素数さん
21/12/30 15:31:13.14 .net
>>352
その長野県飯田市在住の方は一般人ですか？
つまり大学に職を得た研究者ではない人ですか？
一般人なら名前とか要らないんで結構です
一般人が死のうがどうしようが興味ないので
373:１３２人目の素数さん
21/12/30 15:32:54.22 QPzdFf9Z.net
>>318
「このURLの本人」という文法の破綻からNG喚起が効果ありと認む
374:１３２人目の素数さん
21/12/30 15:38:27.52 QPhtoI66.net
統合失調患者の妄言パターンその1が炸裂
1.「日本語がおかしい」
2.「専門用語の用法がおかしい」
3.「数学の初歩を理解していない」
4.「恋愛感情に違いない」
5.「宇宙の法則が乱れる」(ビッグバン宇宙論からホログラフィック宇宙論への学問的世代交代に関して)
355 名前:１３２人目の素数さん [sage] :2021/12/30(木) 15:32:54.22 ID:QPzdFf9Z
>>318
「このURLの本人」という文法の破綻からNG喚起が効果ありと認む
375:１３２人目の素数さん
21/12/30 15:40:45.37 QPhtoI66.net
>>354
本人書き込みによれば
その滋賀県出身山形在住だった人物は
山形で叔母さんにいじめられて
河内長野に引っ越すつもりが
長野県飯田市に引っ越して
トランスジェンダー男性として生息している
緑色の虫ケラアイコンの人物
376:１３２人目の素数さん
21/12/30 15:42:41.97 hWI6TLJ/.net
>>345
ありがとう、すっきりした
自動で正規表現にフォーカスしてくれるんだな知らなかった
377:１３２人目の素数さん
21/12/30 15:44:28.80 .net
>>357
自己紹介有り難うございます
万が一違うということであれば
その方のツイッターアカウントを
ここに書いてください
それ以外は「証明」として認めませんよ
a_watcherさん
378:１３２人目の素数さん
21/12/30 15:45:21.14 QPhtoI66.net
>>354
そうそう、その人物は
キャンパスハラスメント委員会の謝罪勧告の場で
被害者に謝るポーズを取って面罵して和解はお流れ
最終的に職場を追い出された事は確定している
今頃は長野県飯田市でトランス男性として春をひさぎながら匿名掲示板でID無し書き込みをしているらしいよ
風の噂では
379:１３２人目の素数さん
21/12/30 15:47:38.51 .net
>>360
私は東京都民の男性なのでその方ではありませんよ
380:１３２人目の素数さん
21/12/30 15:48:38.17 QPhtoI66.net
>>358
あなたは、下記URLの写真や文章で扱われている人物本人である事を示したくて連投したのですね、わかります
ところで、なぜあなたは匿名掲示板の場であなた自身の身元を1日何回も自己開示するのですか？
2000年ネットニュースfj.soc.lawスレッド URLﾘﾝｸ(groups.google.com)
2007年科教協ちば ニセ科学フォーラム２００７ URLﾘﾝｸ(blog-imgs-17.fc2.com)
2008年 Research frontier of water URLﾘﾝｸ(b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com)
2008年メンタルサロン板スレッド URLﾘﾝｸ(itest.5ch.net)
2008年学外移転ホームページ URLﾘﾝｸ(cml-office.org)
2017年ラジオ番組板スレッド ｽﾚﾘﾝｸ(am板:912番) ｽﾚﾘﾝｸ(am板:925番) ｽﾚﾘﾝｸ(am板:948番)
381:１３２人目の素数さん
21/12/30 15:52:34.97 TBEEDP8X.net
>>362
あグロ
382:１３２人目の素数さん
21/12/30 15:52:51.65 YgLWO/kY.net
kakyoukyoutiba|day1-post-meridiem|cml-office|IerWI2I7OREJ|1212628738|1503813609
383:１３２人目の素数さん
21/12/30 15:53:12.73 .net
>>362
いえ、あなたには全く関心がないのですが
あなたがいう
「緑色アイコンの人」
「緑色の虫ケラアイコンの人」
の当該ツイートにのみ関心があるのでね
あなたは論理学を全く知らない素人なので
上記2名のツイッターのアカウントさえ
白状してくれたら用無しですよ
嬉しいでしょう？
384:１３２人目の素数さん
21/12/30 15:53:22.65 QPhtoI66.net
>>361
>>354で言及のある人物の話をしているのに
急にその人物とあなたが別人だと言い出したのは何故ですか
ID無しでもスレタイに沿った見識のある書き込みであれば誰もあなたの身元を疑いませんし
統合失調患者氏と同レベルの書き込みが続けば、同一人物とみなされてもしょうがないのではないですか
ID無しオプションの選択は識別可能性の放棄であり
識別不可能な事柄についてくどくどと言い訳をしないように午前中も注意したはずです
若年性認知症はすぐ話を忘れて記憶がゼロリセットされるので大変ですね
385:１３２人目の素数さん
21/12/30 15:55:23.97 QPhtoI66.net
統合失調患者の妄言パターンその2のバリエーション炸裂
1.「日本語がおかしい」
2.「専門用語の用法がおかしい」
3.「数学の初歩を理解していない」
4.「恋愛感情に違いない」
5.「宇宙の法則が乱れる」(ビッグバン宇宙論からホログラフィック宇宙論への学問的世代交代に関して)
やっぱり定常行動で同じことを1日何十回も繰り返す若年性認知症患者か
365 名前:１３２人目の素数さん [sage] :2021/12/30(木) 15:53:12.73
あなたは論理学を全く知らない素人なので
386:１３２人目の素数さん
21/12/30 15:56:12.99 7pwwrpi3.net
必死で敬語をた持とうとしたいるが
必死で平静であるかの様に振る舞うが
必死で理知的であるかの様に見せているが
必死で論理的に主張しているつもりだが
何一つ出来ておらず看破される
それがa_watcherクオリティ
387:１３２人目の素数さん
21/12/30 15:57:18.05 QPhtoI66.net
このひと、>>362
388:URLの写真や文章が指す 緑色虫ケラアイコン氏とお話しし始めちゃったよ これも若年性認知症か 365 名前:１３２人目の素数さん [sage] :2021/12/30(木) 15:53:12.73 >>362 いえ、あなたには全く関心がないのですが
389:１３２人目の素数さん
21/12/30 15:59:22.36 QPhtoI66.net
午後は物凄いスピードで精神の劣化が進んでいてかわいそうな感じだね
390:１３２人目の素数さん
21/12/30 15:59:56.24 .net
>>366
あなたが例によって混同する妄想をしていると思ったのでね
ここは素人による荒らしスレッドですよ
IUTに興味がある人は別スレッドで書き込みします
つまりここにはある特定の人物「１」と遊びたい
暇人が訪れるスレッドなのですよ
あなたは「１」のお友達なんですか？
まさか「１」本人ではないですよね？
あまりにも芸風が違い過ぎるのでね
で、もったいぶらずに
「緑色アイコンの人」
「緑色の虫ケラアイコンの人」
のツイッターアカウントを白状しなさい
そうすればあなたのことは只の●人として
レス一つ返しませんから
それがあなたのお望みなんでしょう？
391:１３２人目の素数さん
21/12/30 16:02:17.49 oZuGW8qN.net
あの時a_watcherが彼女に勝てなかった敗因がよく現れている
a_watcherあの時の敗因と反省点を覚えよう
392:１３２人目の素数さん
21/12/30 16:04:09.03 .net
「緑色の虫ケラアイコン」＝apj=天羽優子
ってことみたいですね
この人の過去のツイートを検索してもいいんですが面倒なんで
「緑色アイコンの人」のアカウントを教えてください
いったいどんなことをいったのか興味あるので
apj氏は数学も情報科学も疎いみたいなんで関心ないです
393:１３２人目の素数さん
21/12/30 16:05:19.85 QPhtoI66.net
>>365は緑色虫ケラアイコン氏を指して
「あなた」呼ばわりし
緑色虫ケラアイコンのTwitterアカウントを教えろと迫っている
これってやっぱりID無し統合失調患者氏が
緑色虫ケラアイコン氏の素性を探って
プロポーズするハッピーエンドパターンかな
一心同体なんだからさっさと入籍して
自家受精なり細胞分裂なりして家族を増やせばいい
394:１３２人目の素数さん
21/12/30 16:07:09.25 QPhtoI66.net
緑色虫ケラアイコン氏が山形の精神異常者と判明したなら本人に聞けばいいじゃんwバカじゃないかコイツ
統合失調患者と山形の精神異常者のカップル誕生おめでとう
395:１３２人目の素数さん
21/12/30 16:07:29.95 .net
>>374
>プロポーズするハッピーエンドパターン
それはないです
僕には久保史緒里さんがいますので（マジ）
396:１３２人目の素数さん
21/12/30 16:09:22.05 .net
>>375
いや、あなたに聞いたほうが早いです
さっさと「緑色アイコンの人」のアカウントを教えなさい
397:１３２人目の素数さん
21/12/30 16:09:37.76 QPhtoI66.net
このID無し統合失調患者の書き込み
午前も午後も砂を噛むように退屈であくびが出る
山形あたりのメンタルクリニックか精神病院に
収容してもらえばこのスレも平和になるのにね
398:１３２人目の素数さん
21/12/30 16:09:47.93 oQfnXEhK.net
既に天羽氏は資産家と結婚して子供もいます
出来るなら不倫でしょうが天羽氏はそんな下等な人間ではないので無理でしょうね
399:１３２人目の素数さん
21/12/30 16:10:57.68 QPhtoI66.net
>>377
他人に何かを期待して答えを迫るのは
強迫性人格障害の症状です
山形大学医学部附属病院精神科での治療をお勧めします
400:１３２人目の素数さん
21/12/30 16:10:58.92 1/F1C1wb.net
確かに面白い書き込みとはこの様ですな物を指す
URLﾘﾝｸ(i.imgur.com)
401:１３２人目の素数さん
21/12/30 16:12:57.11 QPhtoI66.net
>>379
さっきも指摘したのだけど
現状でその名前の人に固執しているのは
ID無し統合失調の人と
ID有り精神異常のあなたの
二人だけだよ
さっさと二人で結婚して自家受精なり細胞分裂で家族を増やせよ下等生物は手数がかかるな
402:１３２人目の素数さん
21/12/30 16:16:42.79 .net
>>382
いや、apj氏は素人なんでどうでもいいです
「緑色アイコンの人」にのみ興味があります
教えなさい 白状すれば、同じく素人の貴方は用済みです
403:１３２人目の素数さん
21/12/30 16:18:22.89 QPhtoI66.net
他人事だからどうでもいいけど
年明けの旧物質生命化学研究室は阿鼻叫喚の地獄になるだろうな
正月明けで皆がハッピーなのに一匹だけ鬱病を拗らせた下等生物が排泄�
404:ｨ臭を漂わせて入室する場面を想像したら、さすがに胸が痛くなるね
405:１３２人目の素数さん
21/12/30 16:19:28.63 QPhtoI66.net
>>383
あなたのような下等生物には一切興味がないのでレスをつけないでください
他人に何かを期待して答えを迫るのは
強迫性人格障害の症状です
山形大学医学部附属病院精神科での治療をお勧めします
406:１３２人目の素数さん
21/12/30 16:21:34.96 oQfnXEhK.net
>>382
天羽氏の名前に固執してるのは世界で貴方だけです
自分が見えてない残念な人なのですね
ご冥福をお祈りします ザーメン
407:１３２人目の素数さん
21/12/30 16:25:40.35 c7vK74jl.net
>>385
私はロスに住んでいます
何で日本の山形県の病院に行かなければいけないのですか？
あなたは狂ってますね 山形病です 狂人28号ですね
408:１３２人目の素数さん
21/12/30 16:29:28.44 .net
>>385
＞他人に何かを期待して答えを迫るのは
＞強迫性人格障害の症状です
強迫されるのは当人であって他人ではないけど
いま、ツイッターで「証明プログラミング」
というキーワードで検索かけてるが
当該ツイートが見つからない
本当にあったのか？妄想じゃないのか？（疑）
409:１３２人目の素数さん
21/12/30 16:40:07.40 4jYBn4KQ.net
緑色虫ケラアイコン氏に直接聞くか
10年分の過去ツイート総ざらいすればいいだろうに
それができないのは発達障害か
あと発端はツイートだとしても
やり取りがツイッターに残ってるとは
限らないんじゃないかな
ここは匿名掲示板だから、匿名掲示板の話をして
いるのにツイート検索ワロタ
あとつけ加えるなら
ツイート上の「証明プログラミングに関する話」を
ニセ科学だと言い出す知恵遅れが居たので
カリー=ハワード同型対応を使った証明プログラミング研究が虫ケラアイコンの在籍時に同じ大学の他研究科研究室で行われていた話を紹介しただけであって
そいつがバカでキチガイのトラブルメーカーであることを見越して、
該当研究室メンバーの所へ直接殴り込みに行かないように着地させただーけー
410:１３２人目の素数さん
21/12/30 16:44:05.36 4jYBn4KQ.net
例の緑色虫ケラアイコンは
雪氷学会研究会にも殴り込みをかけて、
未科学相手に「ニセ科学の疑いがあるからオブザーバーとして見学のみする」「科学的には興味がない」
とまで啖呵を切ったのに
2017～2020年に現象解明論文が出ても一言も謝罪をしていない真性のクズだから座敷牢的な縛りが必要なんだよね、大変なことに
411:１３２人目の素数さん
21/12/30 16:46:20.45 .net
>>389
たまらず登場ですか 情報科学素人さん
ツイッター上のケンカじゃないなら仕方ないな
５ｃｈのレスバトルまで調べる気はない
まあ、素人のこんな初心なツイートは見つけたけど
watcher
@a_watcher
·
2018年2月4日
自分がCurry-Howard同型対応の存在に薄々と勘付いたきっかけは
元々数式処理システムに関心を持っていたのと
ANSI C標準の簡単な型システムが予想外に深遠で、
型定義とその証明からなる証明プログラミング・スタイルを
実践できる事に気付いた頃かなぁ
その後世界が急に開けたけどあんま開拓できなかた
412:１３２人目の素数さん
21/12/30 16:50:13.19 25h59fz+.net
計算外のことが起きているな
カオスだな
413:１３２人目の素数さん
21/12/30 16:55:02.15 .net
>>392
カオスといえばこの歌ですね
URLﾘﾝｸ(www.youtube.com)
414:１３２人目の素数さん
21/12/30 17:00:04.45 4jYBn4KQ.net
未科学とは、科学的取り扱いをする手段がまだ不十分な為、科学的研究が充分に行われておらず
科学的決着を付ける段階にまだない領域のこと
森羅万象の中で科学的取り扱いが充分になされている領域はごく僅かで、広大な未科学領域が広がっているというのが普通の認識
ところが緑色の虫ケラアイコンは
415:バカだから未科学の概念を知らず、「未科学=科学的に真と確定していない領域は閉世界仮説により偽となる」という大胆な思い込みで「未科学はニセ科学である」と断定して その件とあまり関係のない雪氷学会相手に喧嘩を売ってしまった 緑色虫ケラアイコンの起こすトラブルでは 「閉世界仮説」や「排中律」に基づく屁理屈がとても多かったので、非古典論理学くらい勉強しろと再三忠告したのだけど その結果がこのスレのIUT無関係な妄言連投だとしたら、IUT関係者にとっては想定外のトラブルだね コイツはただの知恵遅れだから相手にする価値はない
416:１３２人目の素数さん
21/12/30 17:00:17.01 25h59fz+.net
>>393
そういうことではない
今まで考えてもいなかったスレの成り行きになっている
417:１３２人目の素数さん
21/12/30 17:00:36.99 .net
この調子ならうまくいけば今年中にこのスレ使いきれますかね
418:１３２人目の素数さん
21/12/30 17:05:47.04 .net
>>394
＞非古典論理学くらい勉強しろ
そう、特に資源問題について考えるならば部分構造論理
特に縮約規則のない線型論理が大事だね
100円でコーヒーもミネラルウォーターも買える
しかし100円で買えるのはどちらか一方
100円を200円に増やすことは許されない
419:１３２人目の素数さん
21/12/30 17:06:06.65 tkJweXwg.net
>>327
どうもです
スレ主です
＞山下剛氏は何か成果を上げたのですか？
えーと、外野からですが、IUTサーベイリポートは完成しました
（彼のホームページから辿れます。Promenade in Inter-Universal Teichmuller Theory >>3 のDebes氏の講演資料で言及があるので、ある程度の評価はあるのでは？
（私には、お経でしかありません（ど素人なので）。もう少し簡略化した分かり易い版がほしいと個人的には思いますけど））
なお、IUTサーベイリポート内にフェセンコ氏へのパワハラ言及記載があり、多分これで出版がストップではないかと思います。（ここは、単に私個人の見解です）
IUTの解説講義・講演は何回かあります
科研費とって研究して、かれが最終報告は書いています。
知る限りは、これだけです。外野からなので、これ以外にもあるかも
ああ、科研費の最終報告では、Tafula氏>>322の”Siegel zeroes”の研究をやるって
あったから、てっきり ここ山下先生の講演があると予想していましけど
外野なので、仔細は分かりません
420:１３２人目の素数さん
21/12/30 17:07:13.12 .net
>>395
面白いからいいじゃないですか
正直言って、「任意有限回と無限回の混同」とか
陳腐な誤りのネタにうんざりしていたので
421:１３２人目の素数さん
21/12/30 17:07:42.69 oQfnXEhK.net
虫ケラの人はこのスレだけだけど長野県の石の下のゲジゲジおじさんはいたるスレで頓珍漢だからなあ
虫ケラ>>>>>>>>ゲジゲジは明らかだろ
422:１３２人目の素数さん
21/12/30 17:10:11.41 .net
>>398
あんたもう要らないよ スレッシュだっけ？
線型代数 復習してる？ 正則行列くらい理解しような
消去法で階段行列つくったとき サイズと同じ段数になるのが正則行列
正則行列が分からないようじゃ、旗多様体とかブリュア分解とか理解できないよ
423:１３２人目の素数さん
21/12/30 17:13:39.75 .net
>>400
一般人いじめちゃ駄目だよ
飯田なんて国立大学もない田舎なんだから
424:１３２人目の素数さん
21/12/30 17:15:43.75 4jYBn4KQ.net
「石の下のゲジゲジ」とは
緑色虫ケラアイコンに付けられたあだ名
虫ケラ氏が職場でつけられているあだ名
「うんちのしみ」と比べれば
一応生物扱いだし、本人が自己認識する虫キャラの範�
425:eだから大きな問題はないはずだが その「石の下のゲジゲジ」というあだ名で興奮している人が居るのは(>>400)新たなる求婚者かな 虫ケラアイコン氏に求婚者が複数現れる事態は想定外だね まあ自己受精か細胞分裂でしか増殖できないパターンだろうけど
426:１３２人目の素数さん
21/12/30 17:18:59.76 4jYBn4KQ.net
>>400
上の方にある本人解説によれば飯田というのは
虫ケラアイコン氏が山形で叔母さんにいじめられて
引っ越した先の地方都市で
虫ケラアイコン氏はそこでトランスジェンダー男性として暮らしているとのことだから
そっとしておいてあげればいいんじゃないかな
虫キャラ自体は本人自認だし
石の下のゲジゲジも立派な虫なのだから
飯田が田舎だとかトランス男はおかしいとか
批判するまでもない
427:１３２人目の素数さん
21/12/30 17:21:33.78 4jYBn4KQ.net
>>402
新型コロナで山形から飯田に引っ越してリモート勤務じゃないかな
大学勤務というより作業所勤務で
毎日の仕事はネットサーフィンらしいけど
428:１３２人目の素数さん
21/12/30 17:22:15.38 .net
>>404
あなた、叔母さんにいじめられた飯田在住のトランスジェンダー男性なの？
429:１３２人目の素数さん
21/12/30 17:23:16.75 .net
>>405
あなた、作業所に通ってるの？
430:１３２人目の素数さん
21/12/30 17:26:23.93 c8LjGeeD.net
このスレ、なんでこんなに回転はやいの
431:１３２人目の素数さん
21/12/30 17:27:52.32 4jYBn4KQ.net
無印IDがまた発狂し始めたよ
主語は全て緑色虫ケラアイコンと書いてあるのに
「あなた」という気持ち悪い呼びかけがあるのは
緑色虫ケラアイコン氏本人と話しているつもりなのだろうな
緑色虫ケラアイコン氏は自分自身にレスを付ける自演癖が激しいな
432:１３２人目の素数さん
21/12/30 17:29:09.38 4jYBn4KQ.net
>>408
今朝からずっと一日中、ID無し氏が取り留めのない妄想を連投してスレを埋め立てている
433:１３２人目の素数さん
21/12/30 17:30:50.09 4jYBn4KQ.net
>>407
緑色虫ケラアイコン氏本人の事だから
本人に直接問い合わせろ
いちいちスレを汚すな知恵遅れ
434:１３２人目の素数さん
21/12/30 17:35:28.60 oQfnXEhK.net
正確には何かの間違いで山形大学に入学したのはよいが、やはり着いて行けずとうとう学生実験で成績Fを取ってしまい担当教員と学校相手に揉めて退学。当時から匿名掲示板で荒らしを行なっており自ら精神病と言っていたが、長野県飯田市に戻ってからは担当教員が精神病と言い出しネットの気に食わない書き込みは全部彼女だと執拗に思い込み、性的な書き込みやオナニー実況まで始める重症化が進んでいる童貞で糖尿病でシンセが買えないおじさんこと尻太郎侍かな。