氏名: 進 直孝 (089333349)
論文題目: 項書換え系の完備化アルゴリズムの視覚的実現に関する研究
論文概要
Knuth-Bendixの完備化アルゴリズムは、合流性を満たさない項書換え系を、
合流性を満たす項書換え系に変換するアルゴリズムであり、等式証明や等
価性判定に有用である。しかし、このアルゴリズムは用いる戦略によって
は失敗する場合があり、失敗理由の解析が必要となる。本研究では、この
完備化アルゴリズムの解析や計算過程の理解のための視覚化の手法を提案
する。本手法は、アルゴリズムの実行過程に出現する項や規則を、単なる
記号列としてではなく図を用いて表示し、直観的な理解を可能にする。ま
た、逐次的な実行や戦略の選択・修正等の操作をマウスにより実現し、直
観的な操作を可能にする。
目次に戻る