ラムダ計算と図式表現

• Item type: SIG Technical Reports(1)
• 公開日: 1994-03-01
• タイトル: ラムダ計算と図式表現
• タイトル / 言語: en
• タイトル: Lambda Calculus and its Diagrammatic Representations
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 電子技術総合研究所情報アーキテクチャ部言語システム研究室
• 著者所属(英): en
• 著者所属(英): Computer Language Section, Computer Science Division ELECTROTECHNICAL LABORATORY
• 著者名: 杉藤, 芳雄
• 著者名(英): Yoshio, Sugito
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: ラムダ計算に登場するラムダ式の記号列表現は一般に全体構造が把握しにくく、従って式の変換操作も間違いやすい。そのため、ラムダ式の図式化が研究されてきた。本稿では、ラムダ式の図式化に関する従来の提案の概観を、筆者の提案であったラムダチャートを含めて行ない、次いで、再帰関数のようにラムダ計算として大規模になる問題への対処として、ラムダチャートの基本精神を保持しつつ記述の分量や手間を軽減する略記法 （仮称ラムダ略図） を新たに提案する。そして、再帰関数の具体的な記述例として階乗関数を題材に採り上げ、本略記法の大規模問題への有効性を示す。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: As it is hard to recognize correctly the structure of string representations of expressions appeared in Lambda Calculus, we are apt to make an error in its manipulations. So, to cope with the situation, the studies on diagrammatical representations of Lambda expressions have been performed. In this paper, at first, we review the methods on diagrammatical representation of Lambda expressions to be proposed until now including our Lambda Chart. But unfortunately, in case of large scale problems such as a recursive function, it is tedious to describe precisely each element appeared in a diagram, and the size of a diagram is inclined to increase redundantly. Therefore, we propose a simplified version of the Lambda Chart as a new method for such problems. And, by means of showing concretely the change of diagrams in the converting process on a factorial function as an example of a large scale problem, we demonstrate the validity of our new method.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 情報処理学会研究報告ソフトウェア工学（SE）; 巻 1994, 号 18(1993-SE-097), p. 97-104, 発行日 1994-03-01
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会