>>337
それは緑色アイコン氏の証明プログラミングツイートに噛み付いていた底辺大准教授氏の話だね

カリー=ハワード対応は小野先生の教科書ができるだいぶ前に自分なりに発見して後から副専攻で取らなかった講義の教科書で名前を知った話だな

そんな大昔の話を50過ぎの底辺大教員が知らずに緑色アイコン氏を罵倒していたのがあまりにも惨めだったので
その底辺大教員氏にカリー=ハワード同型対応を教えてやったのは10年ほど前の出来事だな
どっかにログが残ってるだろ