>>18
もういちいち説明や後進の育成に時間使わなくて良くなるから、強いABC予想にもIUTで取り組めるんじゃない