1106198☆ああ 2025/12/18 09:49 (Android)

>>1106195
ACL2にそこまでのタイトル価値があるとは思わないけど、とはいえ国内だけよりは海外へのアピール出来るとは思う。まあそこを我々が言い争っても仕方ない。実際のところはわからんわけだし