数式処理(その2)_最近の話題から