ACL2は今のJ1と比べるとかなりレベル落ちる？
優勝して当たり前とかのレベルなんかなぁ
そーゆうのが逆に難しかったりするよね