経路積分の数学的厳密化