How many Tornadoes in the US in May? | Polytreasury：予測市場の自動化