WEKO3
アイテム
LOGICAL PROGRAMMING FOR THE TELEGRAM ANALYSIS PROBLEM
https://ipsj.ixsq.nii.ac.jp/records/22520
https://ipsj.ixsq.nii.ac.jp/records/22520d1481ea1-2f41-4597-98fe-eb3bec657cf4
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE85046006.pdf (1.3 MB)
|
Copyright (c) 1986 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1986-02-06 | |||||||
| タイトル | ||||||||
| タイトル | LOGICAL PROGRAMMING FOR THE TELEGRAM ANALYSIS PROBLEM | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | LOGICAL PROGRAMMING FOR THE TELEGRAM ANALYSIS PROBLEM | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 大阪大学 | ||||||||
| 著者所属 | ||||||||
| 大阪大学 | ||||||||
| 著者所属 | ||||||||
| 大阪大学 | ||||||||
| 著者所属 | ||||||||
| 日本ユニバック | ||||||||
| 著者名 |
鳥居宏次
× 鳥居宏次
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | The telegram analysis problem posed by P.Henderson and R.A.Snowdon has been repeatedly taken into account. This paper adds yet another contribution to this problem. We propose rigorous specification methods and describe how programs can be derived from BNF to Definite Clause Grammar in Prolog in two different methods. One of them is especially useful for a large scale problem which has been applied to file manipulation and the other is for a simple problem. | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | The telegram analysis problem posed by P.Henderson and R.A.Snowdon has been repeatedly taken into account. This paper adds yet another contribution to this problem. We propose rigorous specification methods, and describe how programs can be derived from BNF to Definite Clause Grammar in Prolog in two different methods. One of them is especially useful for a large scale problem, which has been applied to file manipulation, and the other is for a simple problem. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10112981 | |||||||
| 書誌情報 |
情報処理学会研究報告ソフトウェア工学（SE） 巻 1986, 号 7(1985-SE-046), p. 41-48, 発行日 1986-02-06 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
