zkat’s diary

概要 Knuth-Bendixの完備化アルゴリズムを実装したツールを作ってみました。いくつかの簡単な問題に対して使ってみながら紹介します。 github.com なお、Knuth-Bendixの完備化アルゴリズムの詳細自体については、こちらのページが分かりやすいです。 www.nue.ie.niigata-u.ac.jp インストールの仕方 Linux/Windowsのそれぞ…