「ナヴィエ=ストークス方程式における解の滑らかさとその応用」