やらかしちゃいるけど私はACL2でやらかしで良かったと思っている。本当に欲しいタイトルはACLEだから。