679542☆ああ 2024/06/14 21:00 (Android)

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