機械に現れる可縮非線形微分方程式について | Synapse