>>1195387
そこまでレベル高く無いからこそ、若手試せる良い機会になるしね。ACL2も悪くは無い。