2022年度後期　数式処理特論（徳島大学大学院，火3・4）