- 412 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 16:40:07.40 ID:4jYBn4KQ.net]
- 緑色虫ケラアイコン氏に直接聞くか
10年分の過去ツイート総ざらいすればいいだろうに
それができないのは発達障害か
あと発端はツイートだとしても
やり取りがツイッターに残ってるとは
限らないんじゃないかな
ここは匿名掲示板だから、匿名掲示板の話をして
いるのにツイート検索ワロタ
あとつけ加えるなら
ツイート上の「証明プログラミングに関する話」を
ニセ科学だと言い出す知恵遅れが居たので
カリー=ハワード同型対応を使った証明プログラミング研究が虫ケラアイコンの在籍時に同じ大学の他研究科研究室で行われていた話を紹介しただけであって
そいつがバカでキチガイのトラブルメーカーであることを見越して、
該当研究室メンバーの所へ直接殴り込みに行かないように着地させただーけー
