RT @math_jin: IUT理論の「審判の日」、 　　《当日》 #IUTABC 7/17(金)13:00 IUT理論のコンピューター検証に関する「LANAプロジェクト」 中間発表会 https://t.co/ZMPnw1H6eg