パネル討論会_数式処理システムはいかにあるべきか?