>>4963652
アジア王者ではないかもしれないけれど、ACL2という決して簡単ではない大会を制しているわけだから誇っていいと思うけどなあ。
そう簡単には獲れない、立派なACL2王者。