不変計算の実装における数値方法