Pythonライブラリ(数式処理)：SymPy