ほとんどが書きかけ・未完成です。

数学を機械に行わせるために必要なものを作っていきます。内部での処理方法のメモしたり、様々な実験を行っていきます。
DBも作っていきます。word,token,ThmがDBに登録されていきます。