細部のアルゴリズム
Hosobe's algorithm
様々な制約解決アルゴリズムの研究
Solve various constraint solvers
等式/不等式を高速に解く
Solve equations and inequalities