言い訳は聞きたくないから今夏中にしっかり漏れの無い様に穴埋めしてな
無かったらACL2はどうでも良いんやなと判断します