Tropical Value Distribution Theory And Ultra-discrete Equations