ラムダ計算の図式表現とグラフ変換
スポンサーリンク
概要
- 論文の詳細を見る
ラムダ計算に登場するラムダ式の記号列表現は一般に構造が把握しにくく、誤計算の主因でもあるため、その適切な図式表現の導入は期待されるところである。本稿では、筆者の提案してきた当該図式表現をグラフの一種とみなし、図式に基づくラムダ計算をグラフ変換と考えることの妥当性を、実装中のグラフ変換系の事例研究として検討する。
- 社団法人電子情報通信学会の論文
- 1999-03-19
著者
関連論文
- グラフ処理用言語GML-56
- Westran : Fortran をベースとした構造的言語とその処理系
- グラフ処理システム GMS とその応用
- グラフ処理用2次元言語GMLとその機能
- 3-4 電総研における歴史に残すべき技術 (3. 企業や研究機関等ごとの歴史に残すべき技術) (電子情報通信分野の歴史に残すべき技術 : 産業界を中心として)
- ソフトウェアにおける信頼性 (高信頼化技術)
- 72-37 データ構造の理解をめざして
- 71-1 Genie コンパイラでの一般化配列の演算
- 69-37 BNF文法に対するパーザーの生成
- 68-37. ディジタル像のホログラフ化による表示
- 68-20. ブロック向きシステム設計における考察
- F-10. 計算機による計算機設計
- ラムダ計算と図式表現
- 型の扱いとグラフ変換
- SS2000-11 項書き換え系に基づく関数型言語処理とグラフ変換
- 組合せ論理に基づく関数型言語処理とグラフ変換
- 電子計算機の国産化と国策について
- 「碍子試験所」は公式に存在したか
- ラムダ計算の図式表現とグラフ変換