>>41

ＴａoはKdV方程式の広域的解の存在を証明した。
間違いなくNavier-Stokesの解の存在証明を狙っている。