ジャンボくんはどうなるのかな？
ACL2とか出てるしすごい経験もしてるが。