>>4963177 ACL2を優勝したことはすごいと思うけど、アジアのチャンピオンだとイキるのは違うって言いたいだけだよ。