@article{oai:nagoya.repo.nii.ac.jp:00013469,
 author = {河口, 信夫 and 坂部, 俊樹 and 稲垣, 康善 and KAWAGUCHI, Nobuo and SAKABE, Toshiki and INAGAKI, Yasuyoshi},
 issue = {1},
 journal = {コンピュータソフトウェア},
 month = {Jan},
 note = {項書換え系は単純で形式的操作の容易な計算モデルである.本論文では項書換え系の解析・検証・変換などの項書換え系の操作を直観的に支援するための手法として,項書換え系の項,計算,操作,情報の視覚化を提案する.項の視覚化は項の構造の直観的理解を支援するため,部分木の省略や正規形の抽象化を含み,色や形で関数記号に関する種々の情報をわかりやすくした木表現で項を表す.計算の視覚化は計算の動的な振舞いを理解するために,項の視覚化に基づいて項書換え系の計算過程を表す.操作の視覚化は視覚化された項や計算の操作を視覚的に直接実現し,情報の視覚化は計算から得られる様々な数値情報をグラフなどを用いて視覚的情報にする.我々はこれらの視覚化をグラフィカルユーザインタフェースを持つ視覚的項書換え支援環境TERSEとして実現している.この TERSE上でハノイの塔の例題を用いて視覚的支援の実際を示し,我々の提案する視覚的手法が項の構造の理解・解析や変換着目点の検出に対する支援手法として有効であることを確かめた.},
 pages = {23--36},
 title = {項書換え系の解析・検証・変換のための視覚的支援手法},
 volume = {13},
 year = {1996}
}