>>4033121
ACLEもACL2も両方大事ですよ。
対戦相手によって主力使ってますし。
勝利給もそれなりに貰えるので。
リーグのみ優先してたのは
遥か昔のレギュレーションの時だけ。