Historia del tiempo para Tokyo, Japan | Polytreasury: Automatización de mercados de predicción