Laplacianと微分演算子の交換則