WEKO3
アイテム
融合型言語TAOにおける構造データと未定義値の扱い
https://ipsj.ixsq.nii.ac.jp/records/16867
https://ipsj.ixsq.nii.ac.jp/records/16867be2a6008-1bff-4dad-8120-fdc6af7f0c03
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-TPRO4207007.pdf (221.2 kB)
|
Copyright (c) 2001 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Trans(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2001-07-15 | |||||||
| タイトル | ||||||||
| タイトル | 融合型言語TAOにおける構造データと未定義値の扱い | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Structured Data and Undefined Value in TAO | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 通常論文 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| NTTドコモ | ||||||||
| 著者所属 | ||||||||
| エヌ・ティ・ティアイティ | ||||||||
| 著者所属 | ||||||||
| NTT | ||||||||
| 著者所属 | ||||||||
| 電気通信大学 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| NTT DoCoMo | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| NTT - IT | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| NTT | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| The University of Electro - Communications | ||||||||
| 著者名 |
山崎, 憲一
× 山崎, 憲一
|
|||||||
| 著者名(英) |
Kenichi, Yamazaki
× Kenichi, Yamazaki
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Lispに論理型言語の機能を融合する場合には，論理型言語特有の内部データ構造である未定義値（UNDEF）と，参照（REF）をどのように表現するかということが問題となる．本論文では，我々がTAO86およびTAOという2つの言語で採ったアプローチについて述べる．UNDEFには，必然的に構造データ中の「番地」という概念がともなうが，これをLispからどのように隠蔽するかがポイントとなる．TAO86では，UNDEFを即値とし，REFを処理系が自動的にたどる方法によって実装を行った．これにより言語が単純なものとなるが，いくつかのケースにおいては特有の問題を生じる．たとえば，REFやUNDEFを含む構造データの同一性を判定するために，アドホックな関数を必要とする．TAOでは同様の方法を採りつつも，論理変数を述語の値として返す関数型の機能，パターンマッチによる同一性の判定の機能などを用いて，これらの問題を解決する．また，本論文ではTAOのタグ割当てなど，実装の詳細についても述べる． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Lisp can have much expressive power by incorporating logic-programming facilities. In this paper, we discuss implementation issues of this incorporation, especially for internal data representation such as undefined value (`UNDEF') and reference (`REF'). We designed two Lisp-based multi-paradigm programming languages, TAO86 and TAO, to solve these issues. In TAO86, UNDEF is a first-class immediate value, and REF is dereferenced by the system automatically. This solution is quite simple but did not have enough power to handle the whole set of data so that TAO86 provides some adhoc builtin functions. TAO, a thoroughly redesigned successor of TAO86, has new features such as functional predicates and pattern-matching mechanism that give an elegant solution of TAO86 issues. This paper also describes the implementation of internal data representation and data handling mechanisms in detail. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11464814 | |||||||
| 書誌情報 |
情報処理学会論文誌プログラミング（PRO） 巻 42, 号 SIG07(PRO11), p. 70-83, 発行日 2001-07-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7802 | |||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
