高機能ユ-ザ-インタ-フェ-スの研究

1990 年度 実績報告書

• 研究課題/領域番号: 02249105
• 研究機関: 東京大学
• 研究代表者: 武市 正人 東京大学, 工学部, 助教授 (10011165)
• 研究分担者: 大槻 説乎 九州工業大学, 情報工学部, 教授 (70037745) ; 川合 慧 東京大学, 教養学部, 教授 (50011664) ; 田中 稔 広島大学, 工学部, 助教授 (40112023)
• キーワード: ユ-ザ-インタ-フェ-ス / ユ-ザ-モデル / グラフィックスインタ-フェ-ス

研究概要

本研究は高機能ユ-ザ-インタ-フェ-スを以下の4点でとらえ、種々のパラダイムに基づくユ-ザ-インタ-フェ-スの高機能化を目指すものである。本年度は分担者がそれぞれこれらの課題を研究した。
「抽象化によるユ-ザ-インタ-フェ-スの設計」の研究では、ユ-ザ-とシステムとの対話を抽象化して宣言的に定義することにより、ユ-ザ-インタ-フェ-スのプロトタイピングを可能にする手法を追究することを目標とした。そのために、ユ-ザ-インタ-フェ-スの宣言的な定義によるプロトタイピングの試みを行ない、ウィンドウシステムを関数プログラムで構築した。通常のプログラミングではイベントに対する処理を詳細に記述するという複雑で難解な構成になりがちであるが、これを宣言的に記述することによって簡潔に表現することができ、関数プログラムによるプロトタイピングの事例研究として有用な知見が得られた。
「ユ-ザ-モデルの構築と応用」の研究では、デ-タベ-ス環境におけるアクションモデル、およびソフトウェア開発環境における活動結果の利用に関して検討した。これらの研究を通じて、高機能なユ-ザ-インタ-フェ-スの実現には人間の活動領域(問題領域)の構造やその上での活動結果を利用してユ-ザ-を支援する機能が重要であるとの立場が適切であるという見通しを得た。
「グラフィックスインタ-フェ-スの概念設計」では、抽象概念と図表現とのあいだの写像に関して、順序付き集合に対しての自由曲線(パス)に沿って要素図形を配置してゆく図化方法、および平面的グラフの一意な埋め込みのための条件(路線図条件)の明確化と図化への適用、の2つの課題について研究した。前者については満足すべき結果を得た。また、後者については問題点と今後の研究指針とを得ることができた。
「ユ-ザ-の意図のモデル化」の研究では、高機能ユ-ザ-インタ-フェ-スに基本的に必要な要素を明らかにするために、論理的思考を育むための操作環境と語学の習得を目的とした操作環境とのDirect Manipulation Systemを製作し、実験的に使用した。また、分数計算を素材にして、ユ-ザ-の意図を推定し、ユ-ザ-モデルを生成するシステムについて研究した。
これらの研究において、本年度の補助金で購入したワ-クステ-ションによる実験が本質的な役割を果たした。分担者は年度内に2回の研究会で討議したほか、頻繁に電子メ-ルによる情報交換を行ない、本年度の研究は計画通りに進行した。来年度はこれらの成果をもとに研究を発展させる計画である。

研究成果

• [文献書誌] 武市 正人: "関数プログラミングの実際" コンピュ-タソフトウェア. 8. 3-11 (1991)
• [文献書誌] Nakayama,K.: "Visualization of Abstract Concepts Using Generalised Path Binding" Proc.Computer Graphics Intl.'90. 377-401 (1990)
• [文献書誌] 西村 幸浩: "アイコニックプログラミングにおけるユ-ザ操作の解釈" 情報処理学会研究会資料 ソフトウェア工学77ー15. (1991)
• [文献書誌] 森本 康彦: "オブジェクト指向環境におけるジェネリックオブジェクト" 情報処理学会研究会資料 ソフトウェア工学77ー2. (1991)
• [文献書誌] 白根 美香: "RIイメ-ジの解析に基づく脳の各部位の抽出" 情報処理学会研究会資料 コンピュ-タビジョン70ー22. (1991)
• [文献書誌] 中村 航一: "非直接的なデ-タベ-ス問合わせに対する協調的応答" 人工知能学会研究会資料 SIGーKBSー9004ー12. (1991)
• [文献書誌] Hirakawa,M.: "HIーVISUAL Iconic Programming Environment" Visual Languages and Applications. 121-145 (1990)
• [文献書誌] Hirakawa,M.: "An Iconic Programming System,HIーVISUAL" IEEE Tr.Software Engineering. 16. 1178-1184 (1990)
• [文献書誌] 天満 隆夫: "プログラムの変更とその支援ー型の変更に対する自動修正" 電子情報通信学会 論文誌. J73ーDーI. 510-520 (1990)
• [文献書誌] 竹内 章: "知的CAIとその対話環境" 電子情報通信学会「言語とその環境シンポジウム」. (1990)
• [文献書誌] Mori,E.: "Thinking Tool:Improving Student's Reasoning Abilities" Proc.Intl.Conf.Advanced Research on Computers in Education. 49-56 (1990)
• [文献書誌] Kondou,H.: "ITS:Recognizing the Context and Guiding Reduction Processes for Fractional Colculation" Proc.Intl.Conf.Advanced Research on Computers in Education. 31-37 (1990)