ちなみにACL2の賞金って来期の予算計上になるんかな？
夏の補強予算は25年の決算からすでに組んでいると思うので、ACL2の賞金は関係ないんじゃないかなと思ったんやけど