Pythonで数式処理

きっかけは奥村先生の以下のツイートです。