数式処理と数値計算の融合 / 関川 浩