Snap-dragging等を含む、制約ベースお絵かきシステム 「Briar」について。 制約を明示的に指定せず、Snap-draggingなどの操作から 推論して暗黙的に指定するのが特徴。 (Augmented Snap-Draggingと呼んでいる) ・どこがスナッピングしているかをビジュアルに フィードバックする。 ・アラインメントオブジェクトというのがある CHI92にも2ページだけビデオの説明がある。

直接操作による制約インタフェースのサーベイ。 Gleicherの作ったBrierというエディタについても 言及している。

Snap-dragging等を含む、制約ベースお絵かきシステム 「Briar」について。 制約を明示的に指定せず、Snap-draggingなどの操作から 推論して暗黙的に指定するのが特徴。 (Augmented Snap-Draggingと呼んでいる) ・どこがスナッピングしているかをビジュアルに フィードバックする。 ・アラインメントオブジェクトというのがある CHI92にも2ページだけビデオの説明がある。

論理言語は制約パラダイムのサブセットである。論理プロ グラミングは純粋に論理だけでできているわけではなく、 算術計算や入出力のような論理的でない部分を含んでいる ので汎用の制約記述言語の方がよい。制約言語はインプ リシットな並列動作記述に向いている。局所的な制約伝播 により制約を解決する。(制約を満たす値の集合を各制約間 でやりとりする。) (並行オブジェクト指向のメッセージ通 信みたいなものか) 並列性はAND,ORなどの演算子と∀のような記号により導か れる。

Zanden_constraint1では属性文法でグラフィックの 制約をうまく記述できるといっていたが属性文法では記述 がむずかしい場合が多いので新たに「制約文法(constraint grammar)」を提案している。属性文法の制限とは、1) 木構 造しか取り扱えない 2) 制約の伝播が単方向である という 2点である。これを解決するため、制約が双方向であり木構 造以外の(almost-hierarchicalな)DAGも許すようにしたも のが制約文法である。制約はインクリメンタルに解決する。 制約文法ではある程度semanticsからsyntaxを制御すること ができる。 制約解決機構の例を以下に示す。 logic programming - 離散的なものしか扱えない、インク リメンタルにできない、バックトラックは重い。 ニュートン法 IDEALの方法 自由度伝播 - Sketchpad, Thinglab breadth-first - GoslingのMagritte 制約文法では自由度伝播方式を採用している。

スプレッドシートモデルとActive Valueを融合したモデル。 変数に"action procedure"が付属しており、状態が変化した ときに呼び出される(Active Value的)。またスプレッドシート 的に制約解決システムが自動的に呼び出される。これらの 融合によりプログラミングが楽になるとしている。

制約を使用したグラフィックUIMS。制約は数値的に解かず 記号的に解く。

D. L. Waltzによる画像理解アルゴリズムを基本とした汎用 制約記述言語CONSATの解説。 ○ 制約記述方式 許されるパターンの列挙、または制約が満たされていな い変数の値を計算する関数の列挙。 ○ 値の計算方式 可能な値をしらみつぶしに調べて条件に適合するもの だけ残した集合を作る。(適合する結果の集合は多くな いということを仮定?)

既存システムの例としてWaltzのものとSteele,SussmanのEL しかとりあげていない。 Steeleのシステムは数値のみしかとり扱えず、また集合も 扱えないので困るといっている。 バッチ式(インクリメンタルでない)のシステムであり速度 は速くないであろう。

サイクリックなものを含む線型制約を解くことのできるシ ステム。連立方程式を解くのと同じやり方で線型な制約(方 程式)を探しつつ変数の置換えをしていく。

MEL is an object-oriented, event-based language extension to Common Lisp incorporating mechanisms for constraints and fundamental graphics control.

SOCLEはフレームシステムのスロット間に制約を記述できる ようにしたシステムである。スロットの値はフレーム構造 により決まる場合と制約により決まる場合があるのでこれ らの間の調停が必要である。

結局フレームシステムに制約を付加すると便利だというこ との解説になっているだけのようである。

インクリメンタルな制約解決の方法についても書いてある そうである

論理言語は制約パラダイムのサブセットである。論理プロ グラミングは純粋に論理だけでできているわけではなく、 算術計算や入出力のような論理的でない部分を含んでいる ので汎用の制約記述言語の方がよい。制約言語はインプ リシットな並列動作記述に向いている。局所的な制約伝播 により制約を解決する。(制約を満たす値の集合を各制約間 でやりとりする。) (並行オブジェクト指向のメッセージ通 信みたいなものか) 並列性はAND,ORなどの演算子と∀のような記号により導か れる。

制約論理プログラミングは論理プログラミングに算術的制 約を付加したものである。ただの制約プログラミングは全 てのオブジェクトをHerbrand空間に写像しなければならな かったが、算術的制約を直接書くことができると直感的に わかりやすくなる。算術的制約解決には従来の制約解決手 法を適用することができる。 プログラムはホーン節の述語の替わりに制約記述も許す格 好をしており、ゴールリダクション手法を適用した後制約 だけが残るように動く。