>>1496108
決勝に行くまでの過程を考えたらACL2の方がだいぶ楽やとおもう。
決勝の相手だけを考えるとACL2の方が難しいと思う
だから他サポに舐められるのはしょうがなくもあり、腹立たしいですな