どこから大きなポンプが来ているの?