WEKO3
アイテム
プログラム仕様に用いる自然語の形式的意味定義について
https://ipsj.ixsq.nii.ac.jp/records/49742
https://ipsj.ixsq.nii.ac.jp/records/497427d1daf24-765f-436b-9ef1-788376f856a9
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-NL87063007.pdf (1.4 MB)
|
Copyright (c) 1987 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1987-09-25 | |||||||
| タイトル | ||||||||
| タイトル | プログラム仕様に用いる自然語の形式的意味定義について | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | On a Formal Definition of a Fragment of English Used for Writing Program Specifications | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 大阪大学基礎工学部情報工学科 | ||||||||
| 著者所属 | ||||||||
| 大阪大学基礎工学部情報工学科 | ||||||||
| 著者所属 | ||||||||
| 大阪大学基礎工学部情報工学科 | ||||||||
| 著者所属 | ||||||||
| 大阪大学基礎工学部情報工学科 | ||||||||
| 著者所属 | ||||||||
| 大阪大学基礎工学部情報工学科 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information and Computer Sciences Faculty of Engineering Science, Osaka University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information and Computer Sciences Faculty of Engineering Science, Osaka University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information and Computer Sciences Faculty of Engineering Science, Osaka University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information and Computer Sciences Faculty of Engineering Science, Osaka University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information and Computer Sciences Faculty of Engineering Science, Osaka University | ||||||||
| 著者名 |
並河, 英二
× 並河, 英二
|
|||||||
| 著者名(英) |
Eiji, Nabika
× Eiji, Nabika
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | プログラム仕様の記述に有用と思われる英語の部分言語L_<NS>の構文と意味を代数的言語ASL／＊を用いて定義している．L_<NS>の構文は，文脈自由文法で定義し，L_<NS>の意味は，論理式への変換則を定義する公理と，個々の語句を定義する公理によって定義する．仕様記述に用いる自然語を対象としていることを考慮し，個々の語句は，抽象的データタイプの上の演算や述語として定義する．L_<NS>の構文は，文脈自由文法の記述法の一つであるGPSGを用いて定義した．特に，データタイプに関する構文情報を非終端記号の引数として表現し，構文を精密化した．変換則については，我々の当初の定義を拡張し，複数形名詞句，いわゆるdonkey文，及び等位接続に関する形式的定義を与えた． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | A 'fragment' of English which is used for writing program specifications is defined by algebraic language ASL/*. The syntax of L_<NS>is defined by giving a generalized phrase structure grammar and the semantics of L_<NS> is defined by giving algebraic axioms which define the transformation rules from sentences in L_<NS> into formulas, and axioms which define the semantics of 'non-logical' words as operations or predicates on abstract data types. To refine the syntax, for each phrase, the data types of the phrase and its arguments are specified as features (arguments) of non-terminal symbols. We also describe the transformation rules which define, among others, the semantics of plural noun phrases, so called 'donkey sentences' and coordinations. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10115061 | |||||||
| 書誌情報 |
情報処理学会研究報告自然言語処理（NL） 巻 1987, 号 68(1987-NL-063), p. 1-8, 発行日 1987-09-25 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
