ACL2始まった時にどうなるかだよな、タイトル取るには今まで苦しめらてる過密日程を乗り越えないと