【検算】 ケンザン 計算の結果が正しいかどうか調べる。