加法性を持つ拡張インタラクション・ネット : 線形論理に基づく新しいプログラミング言語

• Item type: Trans(1)
• 公開日: 1999-05-15
• タイトル: 加法性を持つ拡張インタラクション・ネット : 線形論理に基づく新しいプログラミング言語
• タイトル / 言語: en
• タイトル: Additive Interaction Nets : Yet Another Linear Logic Programming Language
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 発表概要
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 名古屋工業大学大学院工学研究科
• 著者所属(英): en
• 著者所属(英): Faculty of Engineering, Nagoya Institute of Technology
• 著者名: 松岡, 聡
• 著者名(英): Satoshi, Matsuoka
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: この論文では 新しいプログラミング言語を提案する. これはY.Lafontにより提案されたインタラクション・ネットの 加法性を付加することによる拡張である. 加法性の付加は一階のユニフィケーション変数の導入による : インタラクション・ネットの中のそれぞれのエージェントがユニフィケーション変数が含まれる一階の項を保持する. このことにより エージェントがインタラクションをするとき インタラクション・ネット上の情報が一階のユニフィケーションにより分散して送られる. J.-Y.Girardの乗法性と加法性をもつプルーフ・ネットはこの拡張インタラクション・ネットの特別なケースと考えられる. われわれはこの拡張インタラクション・ネットが ある種の並行オブジェクト指向プログラミング言語である後方証明探索に基づく線形論理プログラミング言語よりもある目的 特に最近Java BeansやActive Xなどで注目されているコンポーネント・べースのプログラミングの形式化においては利点をもつと考える. さらに SLD-レゾリューションやπ-計算に似た論理プログラミング言語をこの拡張インタラクション・ネットに埋め込むことができる.
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: We propose a new programming language, which is an extension of Lafont's interaction nets to the additive case. The extension here is to introduce first-order unification variables: each agent in interaction nets has several first order terms with unification variables. When agents interact, information on interaction nets can be distributed by first order unification. In contrast with the standard interaction nets, our interaction nets with first order terms do not have the Church-Rosser property: several rewrite rules may apply to an additive interaction net. Girard's additive proof nets can be considered as a special case of our interaction nets with first order terms. We consider the extended interaction nets as a better substitute for linear logic programming languages based on backward proof search, which is a concurrent object oriented programming language, for some purposes, especially for formalization of componentbased programming, which is a trend in real computing, e.g. Java Beans and Active X. We can encode a π-calculus-like logic programming language as well as the SLD-resolution into the additive interaction nets.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 40, 号 SIG04(PRO3), p. 72-72, 発行日 1999-05-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会