数式処理システムを用いた芸術における数理科学的アプローチ