氏名: 大野健治 (l0461618)
論文題目: 項書換え系の書換え関係による解析の視覚的支援に関する研究
論文概要
項書換え系の直観的理解・洞察を深め、その解析・検証・変換を容易にす
る視覚的手法として、項の視覚化、計算の視覚化、操作の視覚化、情報の
視覚化が提案されており、その実現として「視覚的項書換え支援環境TERSE」
がある。本研究では、計算の視覚化の1つである書換え関係の視覚化につ
いて詳細に考察し、その手法を提案するとともに実現を行った。書換え
関係は、書換え系列中の1つの項をノードとし、書換え数を階層とする有
向グラフで表され、同じ書換え規則に基づく複数の書換え系列が同じグラ
フ上に表示される。また、この視覚化が、戦略の比較・評価、および項書
換え系の設計時の誤りの発見に有効であることを確かめた。
目次に戻る