ガウスの消去法を追加

-   式が解を得るのに過不足ない場合以外assertion failureする
-   AOJ0004でテスト