acl2で若手を使えなくて、どこで使えるのさ
先輩達もう少ししっかりしてくれよ