| 講演名 | 2014/1/23 言語間の関係に基づく意味を保つ表現間変換を表す処理モデル 古宇田 フミ子, 近山 隆, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 計算機システムの利用者が必要な処理を容易に見つけられないことは少なくない。この問題の解決のために、処理を意味を保存する表現間変換と捉える新たなモデルを提案し、利用者の意図と処理との関係を形式的に記述する枠組を与える。コンピュータシステム中のデータは、なんらかの意味をなんらかの表現法で表すものである。この表現法をここでは一般に「言語」と呼び、表現から意味への関数と捉え、処理は意味を保存する言語変換と捉える。このモデルでは、利用者の意図は、入力の表現、それを解釈する言語、出力を解釈できる言語の三つ組で指定する。これによって意味を明示的に指定することなしに要求される処理を提案する機構を構成することができる。 |
| 抄録(英) | Users of computer systems often feel difficulty in finding desired processing. To solve the problem, a new model of processing as representation conversion preserving the meaning is proposed, giving formal framework to describe the relationship of users's intention and processing. Data in computer systems represent some meaning in a certain representation scheme. Such schemes, generally called "languages" here, are modelled as functions that map representations to meanings, and processing is modelled as language translation preserving the meaning. In this model, users' objectives are specified as a three-tuple consisting of the input representation, the language to interpret the input, and the language that can interpret the output representation. This allows a mechanism to propose a desired process without explicitly specifying the meaning of the data. |
| キーワード(和) | 表現間変換 / 処理モデル / 言語関数 / 処理目的 |
| キーワード(英) | Representation-traslation / processing model / language function / purpose of processing |
| 資料番号 | SS2013-65,MSS2013-68 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 2014/1/23(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 言語間の関係に基づく意味を保つ表現間変換を表す処理モデル |
| サブタイトル（和） | |
| タイトル（英） | Computer processing model as language translation |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 表現間変換 / Representation-traslation |
| キーワード(2)（和/英） | 処理モデル / processing model |
| キーワード(3)（和/英） | 言語関数 / language function |
| キーワード(4)（和/英） | 処理目的 / purpose of processing |
| 第 1 著者 氏名（和/英） | 古宇田 フミ子 / Fumiko KOUDA |
| 第 1 著者 所属（和/英） | 東京大学大学院情報理工学系研究科 Graduate School of Information Science and Technology, The University of Tokyo |
| 第 2 著者 氏名（和/英） | 近山 隆 / Takashi CHIKAYAMA |
| 第 2 著者 所属（和/英） | 東京大学大学院工学系研究科 Graduate School of Engineering, The University of Tokyo |
| 発表年月日 | 2014/1/23 |
| 資料番号 | SS2013-65,MSS2013-68 |
| 巻番号（vol） | vol.113 |
| 号番号（no） | 422 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |