単位付きの方程式を解く

記号関数と数値関数の両方を使って，単位付きの方程式を解く．