不変微積分のための数値法とアルゴリズム