ACL2が正式に決まったとして、どれだけ予算を引っ張ってこられるか・・・。そこが鍵やな。決まらなければ特別登録期限に補強はないと思う。

現実的にいうと強化部のスタッフの強化が最優先。対処療法的な補強ではずっと這い上がる事はできない。その対処療法ですら上手くいってないなら尚更。