条件過多の方程式なんて解析的に解くしかないよなあ