可能性のかけら—Communications of JSSACへの論文投稿のお願いII—

摘要

「工学分野における数式処理の実用応用への道はまだまだ険しい」と私が数式処理学会誌に書いたのは，2003年のことである．それから10年，さすがにGr?bner baseやQuantifier Elimination,近似代数などをフル活用するには至っていないものの，物理モデルシミュレータとしてMapleSimが自動車産業で使われ始めるなど，数式処理が一部の研究者や数学マニアのための技術ではなく，多くの可能性を持った基本技術として認知されてきているように感じる．また，教育分野では従来から様々な取り組みが行われていることは，会員の皆さhもご存知の通りである．