| 講演名 | 2000/3/14 制約プログラミング言語Constraint Pascal 浅見 一尋, 徳田 雄洋, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 既存の命令型制約プログラミング言語およびその処理系では、特定の制約充足器のみを扱うことを前提としているため、他の制約充足器を扱うことは困難である。一方、制約充足器をライブラリとして従来のプログラミング言語を用いてプログラミングを行う場合、複数の制約充足器を扱うことは容易であるが、常に与えられた関係を満たすアプリケーションを作成することが困難である。本研究では、プログラミング言語Constraint Pascalとその処理系の実装法を提案する。この結果、常に与えられた関係を満たすアプリケーションの作成を容易にし、かつ、複数の制約充足器を扱え、他の制約充足器の追加が容易であるシステムが得られた。 |
| 抄録(英) | Existing imperative constraint programming languages and systems are usually designed to deal with specific constraint solvers. Hence it is difficult to handle different types of constraint solvers. On the other hand, if we use ordinary imperative programming languages with libraries to deal with various constraint solvers, it will be easy to handle different types of constraint solvers, but difficult to build systems always satisfying certain constraint relations. We propose a constraint programming language called Constraint Pascal and its implementation method. We have obtained a programming system with which we can easily build applications always satisfying certain constraint relations and dealing with different type of constraint solvers. |
| キーワード(和) | プログラミング言語 / 制約プログラミング / 制約充足器 |
| キーワード(英) | programming language / constraint programming / constraint solver |
| 資料番号 | SS99-73 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 2000/3/14(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 制約プログラミング言語Constraint Pascal |
| サブタイトル（和） | |
| タイトル（英） | Constraint Pascal, A Constraint Programming Language |
| サブタイトル（和） | |
| キーワード(1)（和/英） | プログラミング言語 / programming language |
| キーワード(2)（和/英） | 制約プログラミング / constraint programming |
| キーワード(3)（和/英） | 制約充足器 / constraint solver |
| 第 1 著者 氏名（和/英） | 浅見 一尋 / Kazuhiro Asami |
| 第 1 著者 所属（和/英） | 東京工業大学大学院情報理工学研究科計算工学専攻徳田研究室 Dept. of Computer Science Tokyo Inst. of Tech. |
| 第 2 著者 氏名（和/英） | 徳田 雄洋 / Takehiro Tokuda |
| 第 2 著者 所属（和/英） | 東京工業大学大学院情報理工学研究科計算工学専攻徳田研究室 Dept. of Computer Science Tokyo Inst. of Tech. |
| 発表年月日 | 2000/3/14 |
| 資料番号 | SS99-73 |
| 巻番号（vol） | vol.99 |
| 号番号（no） | 683 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |