824691☆ああ 2025/03/08 22:37 (Chrome)

ACL2でまだよかったと思おう。
ジェルマンを夏に獲ったとして、
ACLEでやらかしてたらどうしようもなかった。