Rigid Cohomology and Its Application