Tyler: Braden Shick vs Aidan Mayo | Polytreasury:予測市場の自動化