ラムダ計算の図式表現とグラフ変換  [in Japanese] On the Diagrammatical Representation for λ-Expressions and its Calculation via Graph Transformation System  [in Japanese]

ラムダ計算に登場するラムダ式の記号列表現は一般に構造が把握しにくく、誤計算の主因でもあるため、その適切な図式表現の導入は期待されるところである。本稿では、筆者の提案してきた当該図式表現をグラフの一種とみなし、図式に基づくラムダ計算をグラフ変換と考えることの妥当性を、実装中のグラフ変換系の事例研究として検討する。

Owing to the hardness of recognizing the whole structure of string representations for the expressions in Lambda Calculus(that is, Lambda expressions), we oftenmake an error in its manipulations. So, in order to cope with the situation, the studies on diagrammatical representations for Lambda expressions have been performed. In this paper, regarding our proposed diagrammatical representation for Lambda expressions as kind of graph representation, we examine the possibility of calculating the diagrammatical representation by means of the graph transformation system, now under inlplementation, as the case study of using the system.