In this preliminary talk, we consider the regularity issues of the incompressible Navier-Stokes equations on the basis of probabilistic methods. In the stream function (vector potential) formulation, the Navier-Stokes equations are recast in path-integral forms by "the Feynman-Kac formula". We discuss the regularity of solutions on this basis.