吉永良正と竹内薫はどっちが上?
https://ai.2ch.sc/test/read.cgi/math/1631993986/
last-modified: 2021-12-26 17:42:44