条件過多の二次連立方程式を解析的に解くアルゴリズムを考えなくては