ACL2はコスパの高い大会？優勝すれば賞金＋出場ボーナスで約5億円ゲット