Conti-Traverso アルゴリズム を実装中。
負の係数を許すようにするところが、まだちょっと分かってない……