数式処理(その3)_将来に向けて