ぼうメモ帳

2004-02-19 久しぶりに書いてみる

Completion

| Completionを含むブックマーク

Term Rewriting System の Completionの実装が完了する。NormalFormの取得方法やCriticalPairのRewriteRuleへの追加順序など検討しなければならないことは山ほど残ってるけど、とりあえず、コアの実装は完了。あとはGUIをがりがりと書くだけ。

トラックバック - http://d.hatena.ne.jp/susumu/20040219
254852