>>633480
ACL2のタイトル取った事になるね。
アジアを取ったと言えるのはACLEを取った時だな。
この2つには大きな差があるからな。