記号・代数計算に基づく計算技法の一般的適用方法論の確立と適用規模の拡大