>>866486
ACL2の件とこの現状を一緒にするなよ。
ACL2敗退直後ならともかく1ヶ月半前の事をまだ引きずってるなら本当に危機感持てよって思う。
ACL2や秋から始まるACLEがあるからって残留させてもらえるわけじゃないんだから。