| 講演名 | 1999/1/23 有機的プログラミング言語GAEAの単一化について 石川 洋, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 我々は有機的プログラミング言語GAEAの操作的意味を定義し, それに基づく言語システムやプログラムの解析, 言語理解のためのドキュメントを作成するために, 言語システムの項書換え系による表現を提案している.GAEAは論理型言語Prologに似た構文規則や意味を持っているが, 報子と呼ばれるラベル付きデータを新たなデータ構造として備えている.したがって, 項の単一化は従来のそれでは対応できない.本稿では, 報子と呼ばれるデータ構造を扱うことができるの単一化の操作的意味を与えるための考察を行っている. |
| 抄録(英) | One of our current reserch interests is to give an operational semantic of GAEA, called Organic Programming Language, to analyze some interesting properties of itself, to guide how we should or should not write programs in GAEA, and so on.GAEA has a new data type called infons.An infon is a unit of information that is a compound term with some arguments consist of role-value pairs. Unification algorithms used in ordinary prolog systems cannot deal with it.In this paper, we mentioned some significant points to give an operational semantics of unification that can deal with infons. |
| キーワード(和) | 有機的プログラミング言語GAEA / 単一化 / 報子 |
| キーワード(英) | Organic Programming Language GAEA / Unification / Infons |
| 資料番号 | SS98-48 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 1999/1/23(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 有機的プログラミング言語GAEAの単一化について |
| サブタイトル（和） | |
| タイトル（英） | On Unification of Organic Programming Language GAEA |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 有機的プログラミング言語GAEA / Organic Programming Language GAEA |
| キーワード(2)（和/英） | 単一化 / Unification |
| キーワード(3)（和/英） | 報子 / Infons |
| 第 1 著者 氏名（和/英） | 石川 洋 / Hiroshi Ishikawa |
| 第 1 著者 所属（和/英） | 福山大学工学部情報処理工学科 Information Process Engineering, Fukuyama University |
| 発表年月日 | 1999/1/23 |
| 資料番号 | SS98-48 |
| 巻番号（vol） | vol.98 |
| 号番号（no） | 559 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |