2002 Fiscal Year Annual Research Report
| Project/Area Number |
14780248
|
|---|
| Research Institution | National Institute of Informatics |
|---|
Principal Investigator |
細部 博史 国立情報学研究所, ソフトウェア研究系, 助手 (60321577)
|
|---|
| Keywords | 制約プログラミング / ユーザインタフェース |
|---|
| Research Abstract |
本研究では,コンピュータ上の大規模なネットワーク構造を持つ情報を効果的に視覚化し,ユーザに対して直感的に働きかける「柔らかい」インタラクション方式を新たに確立し,そのための効率的な実現技術を開発することを目的とする.その基盤として制約プログラミングを採用することで様々なシステムで容易に利用可能な技術とすることを目指し,それを可能にする形式的枠組みとして力学的アプローチに基づく新しい制約システムを構築する.
初年度である平成14年度においては,本研究の基盤となるべき柔らかい制約システムに関する基礎研究を行った.具体的には,最初に,柔らかい制約システムの性質に関する理論的考察を行った.その際の重点として,制約の集合を効率的に解消できるようにするために望ましい条件を,可能な限り一般的な観点から明らかにすることに努めた.これによって,従来の制約解消法に対して,理論的な観点から裏付けを与えることが可能になった.
次に,制約の集合を実際に解消するためのアルゴリズムに関する研究開発を行った.研究開発したアルゴリズムには,2つのものがある.第1のアルゴリズムでは,数千個の線形等式・不等式制約からなる集合を効率的に解消することを実現した.一方,第2のアルゴリズムでは,非線形制約が含まれる集合を処理できるようにすることで,対話型3次元グラフィクスのように高度な表現力を有するアプリケーションの構築を可能にした.これらのアルゴリズムは制約解消系ソフトウェアとして応用性の高い形で実装を行っており,平成15年度以降もさらなる改良を加えていく予定である.
|
-
[Publications] Hiroshi Hosobe, Satoshi Matsuoka: "A Foundation of Solution Methods for Constraint Hierarchies"Constraints. 8(1). 41-59 (2003)
-
[Publications] Hiroshi Hosobe: "A Geometric Constraint Library for 3D Graphical Applications"Proceedings of the 2nd International Symposium on Smart Graphics. 94-101 (2002)
-
[Publications] 細部博史: "ユーザインタフェースのための線形等式・不等式制約解消系"コンピュータソフトウェア. 19(6). 13-20 (2002)
-
[Publications] 細部博史: "対話型3次元アプリケーションのための幾何制約解消法"情報処理学会論文誌. 44(2). 486-495 (2003)
-
[Publications] 細部博史: "Chorus3D:対話型3次元アプリケーションのための幾何制約解消系"日本ソフトウェア科学会第19回大会論文集. (2002)
-
[Publications] 細部博史: "高次元配置を用いたグラフの視覚"情報処理学会第65回全国大会講演論文集. 4. 63-64 (2003)
