ACL2のベストイレブンって発表される？

>>1554947
おそらく無いよね。
もしあればガンバからはジェバリの他に安部と山下は絶対入るね。