WEKO3
アイテム
宣言的プログラムの理論に基づく型付き論理型言語
https://ipsj.ixsq.nii.ac.jp/records/126600
https://ipsj.ixsq.nii.ac.jp/records/1266001f4446ff-18c8-4aad-8b1e-83f9c80678a5
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00001340089.pdf (136.5 kB)
|
|
| Item type | National Convention(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 1994-09-20 | |||||
| タイトル | ||||||
| タイトル | 宣言的プログラムの理論に基づく型付き論理型言語 | |||||
| タイトル | ||||||
| 言語 | en | |||||
| タイトル | An Typed LogicaI Language bascd on The Thcory of Declaratve programinng | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| 著者所属 | ||||||
| 苫小牧工業高等専門学校 | ||||||
| 著者所属 | ||||||
| 北海道大学工学部 | ||||||
| 著者所属 | ||||||
| 北海道大学工学部 | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Tomakomai National College of Technology | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Dept. of Engineeying,Hokkaidou University | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Dept. of Engineeying,Hokkaidou University | ||||||
| 論文抄録 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 従来から行われてきた型付きの計算は、以下のよう特徴付けられる方針で行われて来た。・型はデータとは区別された存在である。・型の計算とデータの計算は区別される。このため、型とデータの情報が混在したような計算を自然に記述することが難しく、また、それぞれの計算に対する理論をそれぞれ用意する必要があるので相互の関係をつかみにくくなり、理論的な明解さに欠けていた。そこで本研究では従来と異なる新しい立場から型付きの計算体系を構築することを試みる。それは以下のような全てを統合化し、単純で明解な計算体系を購築するという方針として示すことができる。・型とデータは対等で、区別されないものである。両者を計算対象として一つのものに統合する。・統合した計算対象の単一化(unify)のみを用いて計算を行なう。計算機構も一つに統合する。このように、計算の磯構としては計算対象同士の単一化のみを用いて計算を行うが、それを色々な側面から見ることにより、型の計算とかデータの計算などの意味付けがなされることになる。計算対象としても、その構造は単一のものが用いられるが、計算中の文脈によって型としての扱いを受けたりデータとしての扱いを受けたりする。本論文では、この統合された計算の機構を言語という形で示す。なお、利用者界面に関する議論は行わない。 | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00349328 | |||||
| 書誌情報 |
全国大会講演論文集 巻 第49回, 号 ソフトウェア, p. 1-2, 発行日 1994-09-20 |
|||||
| 出版者 | ||||||
| 言語 | ja | |||||
| 出版者 | 情報処理学会 | |||||
