氏名: 宮下 大 (089333675)
論文題目: 項書換え系の設計解析のための知的支援手法に関する研究
論文概要
項書換え系(TRS)は、項の書換えのみで計算が進む、
単純な関数型言語モデルの一つである。TRSの関数の
型を表すシグニチャは規則の解析に有用であるが、一般
には明示されていないことが多い。本研究では、TRS
のシグニチャを自動的に推論し視覚的に表示するツール
を提案する。シグニチャの推論は、項と規則によって定
まるソートの同値関係の導出によって行なわれ、得られ
た同値類にはユーザーが名前をつけることができる。ま
た、基本的な関数のシグニチャの情報をデータベースに
保持し、名前づけに援用することにより、知識に基づく
支援を可能にしている。
目次に戻る