ファーストクラス環境による単一化機構の関数型言語への組み込み

• Item type: Trans(1)
• 公開日: 2000-11-15
• タイトル: ファーストクラス環境による単一化機構の関数型言語への組み込み
• タイトル / 言語: en
• タイトル: Embedding of Unification Mechanism into Functional Language by Using First - Class Environments
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 発表概要
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 東京工業大学大学院情報理工学研究科計算工学専攻
• 著者所属: 東京工業大学工学部情報工学科
• 著者所属(英): en
• 著者所属(英): Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology
• 著者所属(英): en
• 著者所属(英): Department of Computer Science, Faculty of Engineering, Tokyo Institute of Technology
• 著者名: 西崎, 真也; 樋口, 貴志
• 著者名(英): Shin-Ya, Nishizaki; Takayuki, Higuchi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本論文では，ファーストクラス環境の機構を用いて単一化機構を関数型言語へ組み込む方法を提唱する．単一化子は変数上の代入として表現されるが，これを変数の束縛する環境とを同一視することにより，単一化の機構を関数型言語へ自然に組み込むことが可能となる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In this paper, we propose a way of embedding of the unification mechanism into function languages through facility of first-class environments, where unificands are introduced as expressions and their evaluation is defined as the first-order unification.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 41, 号 SIG09(PRO8), p. 103-103, 発行日 2000-11-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会