飛行機が遅れたときの予約変更と保険手続きの全自動化ができるスマートコントラクト