45391 posts 614 follows 441 followers
アイコンは @akkiesoft 氏作
普通の(?)プロセスと違って、ABC予想の件の場合はそれ自体は公開されたからちょっと話が違ってる