たぶんACLEかACL2かで使える予算が変わるから中々補強できなかったんだろうな。そう信じてる。