1474919☆ああ 2024/09/24 12:45 (Chrome)

>>1474916
4位に回ってくるのか？という問いだと思うが、準優勝がACL2に行くことになると思う。