でもNavier-Stokes方程式を捨てるものはいない。