WEKO3
アイテム
遅延ナローイング計算系と制約解消系の融合
https://ipsj.ixsq.nii.ac.jp/records/16970
https://ipsj.ixsq.nii.ac.jp/records/169705b322d79-564f-480a-a44a-cca722dc3501
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-TPRO4010014.pdf (152.2 kB)
|
Copyright (c) 1999 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Trans(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1999-12-15 | |||||||
| タイトル | ||||||||
| タイトル | 遅延ナローイング計算系と制約解消系の融合 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Integration of Lazy Narrowing Calculi and Constraint Systems | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 発表概要 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| 秋田大学教育文化学部 | ||||||||
| 著者所属 | ||||||||
| RISC University of Linz | ||||||||
| 著者所属 | ||||||||
| 筑波大学電子情報工学系 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Education and Human Studies, Akita University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| RISC, University of Linz | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Institute of Information Sciences and Electronics, University of Tsukuba | ||||||||
| 著者名 |
佐々木, 重雄
× 佐々木, 重雄
|
|||||||
| 著者名(英) |
Shigeo, Sasaki
× Shigeo, Sasaki
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 制約解消系は 意図する計算領域上の制約を解くための専用の計算系である.論理型言語や関数論理型言語に制約解消系を導入することにより 計算モデルの整合性を保ちつつ 特定の領域の計算を 効率よく行うことが可能になる.さらに 計算領域ごとに複数の制約解消系を用意すれば 様々な領域の計算が可能になる.本論文では 関数論理型言語に 計算領域ごとに独立した制約解消系を導入したシステムの設計と実装について述べる.このシステムは 遅延ナローイング計算系を計算モデルとする関数論理型言語インタプリタで 制約の指定およびAND並列性 OR並列性の指定を可能とするものである.制約解消系は 計算領域ごとに （1）シンプレックス法による線形方程式 （2）グレブナ基底アルゴリズムによる多項式方程式 （3）微分方程式 （4）偏微分方程式を解くことが可能なものを用意した.制約解消系はMathematicaで実装されており 分散クラスタ・システム上で並列して制約を解くことができる. | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | A constraint solver is a special computation system to solve constraints over the inteded computation domain. Incorporating constraint systems, logic and functional-logic programming languages can solve constraints efficiently. If we provide various constraint system, we can solve various domain constraints. Semantic consistency is another advantage of the combination of constraint systems and logic / functional-logic programming languages. In this paper we describe the architecture and implementation of a system of a functional logic programming language with solving techniques of various constraint solvers. The system is a lazy narrowing calculus based functional-logic programming language interpreter extended in two directions: the possibility to specify constraints, and the possibility to specify AND- and OR-parallelism. The following solvers are provided: (1) a linear equation solver by simplex algorithm, (2) a polynomial equation solver by Grobner base algorithm, (3) an ordinary differential equation solver and (4) a partial differential equation solver. These solvers are implemented in Mathematica and are parallelly executed over a distributed cluster system. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11464814 | |||||||
| 書誌情報 |
情報処理学会論文誌プログラミング（PRO） 巻 40, 号 SIG10(PRO5), p. 81-81, 発行日 1999-12-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7802 | |||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
