Wolfram言語で解く高度な微分方程式