1334992☆ああ 2025/06/01 20:58 (iOS18.5)

アラーノのコメントありがとうございます
決定力は課題ですが期待するしかないですね
ACL2のためにももう少し頑張って欲しい