班紹介描画班一同.

班紹介描画班一同

描画班の目的快適でインタラクティブな描画環境の実現制約を用いたシステムの開発
主に論文やプレゼンテーションなどに使用するような論理的な概念や関係を表すようなものを対象とする制約を用いたシステムの開発

制約とは？成立すべき関係を宣言的に記述したもの数学的には変数間の関係式で表現される例 : P.y = Q.y（2点のy座標が等しい）
x x Y座標が同じという制約がかかっているのでQも自動的に動く Pを動かすと・・・

制約ソルバ制約の集合から制約を満たす解を求めるシステム x + y = 5 制約ソルバ x = 3 y + z = 3 y = 2
z + x = 4 x = 3 y = 2 z = 1

過去の研究（Udraw）制約に基づいた描画アプリケーション GUI上の操作で幾何学的な制約を図形に付加することが可能

メンバー紹介（仮） ★中村好一（M2）若槻聡一郎（M1）大野太郎（B5）（★はリーダー）描画班の上下関係

メンバー紹介（真実）中村好一（M2）若槻聡一郎（M1）大野太郎（B5）大野 B4 中村若槻みんな仲良くやってます

こんな人、募集してます強い制約研究室によくきてくれる人制約関係に興味のある人弱い制約留年しない自信のある人スポーツ好き

制約に基づくアニメーション作成システムGrifonにおけるデータ構造の設計と実装
3604U162-8 若槻聡一郎

研究の概要本研究ではGrifonにおけるアニメーションのデータ構造についての設計と実装を行った
- 物体の落下・衝突 - ビリヤードの玉の動作

制約を用いたアニメーション作成システムGrifon

Grifonの特徴制約を用いて設計したアニメーションライブラリを備え、アニメーションの階層的な表現ができる
Hybrid並行制約言語に基づき、時間的な変化を表現した幾何制約により図形の空間的な関係を表現したアニメーションライブラリを備え、アニメーションの階層的な表現ができる

Hybrid並行制約時間軸上の離散的・連続的な変化を表現するのに適している例: X = 10, X’ = 0,
hence {if X > 0 then X’’ = -10, if X = 0 then X’ = -0.5 * X’} t=0 t=0+ t=1.414- t=1.414

幾何制約パラメタ間の幾何学的関係を表現するための制約例: 実数方程式により定義される 2点のx座標が等しい
ある点が別の2点の中点に位置する実数方程式により定義される P1.x = P2.x P3.x = (P1.x + P2.x) / 2 P3.y = (P1.y + P2.y) / 2

PSVG（Parametrized SVG）
一般的なベクター画像情報(SVG, Scalable Vector Graphics)にパラメタが付加されたもの Grifonではこのパラメタを制約のドメインとして扱う

Grifonのシステム構成 Javaで実装主に以下の要素からなる GUI環境内部データ構造アニメータ制約処理系

GUI環境アニメーションの作成・表示を行うキャンバスにJHotDrawを使用ライブラリキャンバススクリプトパネル

制約充足系 Grifonの制約充足系は、幾何制約とHybrid並行制約を一括して処理する Hybrid並行制約充足系幾何制約充足系
V.Guptaによる既存実装を使用幾何制約充足系 Cassowaryを使用

アニメータ制約処理系からサンプリングデータを受け取ってキャンバス上にアニメーションを表示させるオブジェクト
アニメーションの一時停止やアニメーション表示前の状態へのリセットを行う

課題システムの実装図形の回転機能の追加制約ソルバの改良 GUI上での機能の充実作業の保存機能アニメーションの一般形式での出力
Hybrid並行制約処理系のJavaでの実装幾何制約の処理にchorusを使用

メンバー紹介（仮）２ ★中村好一（M2）若槻聡一郎（M1）大野太郎（B5）班ゼミの風景

アニメーションの作成方法必要なPSVGの図形データ・制約のデータをアニメーションライブラリから呼び出す制約とパラメタのマッチングを行う
制約を制約ソルバに解かせてアニメーションのデータであるサンプリングデータを生成する

Presentation on theme: "班紹介描画班一同."— Presentation transcript: