>>679539
多分ACL2の優勝決まるのは来年だから、現実的に今年4つを狙うのは無理って意味かと。