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

高性能用户界面研究

• 批准号: 03235105
• 负责人: 武市 正人
• 金额: $ 6.08万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 1991
• 资助国家: 日本
• 起止时间: 1991 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-03235105/
• 关键词: ユ-ザ-インタ-フェ-ス; ユ-ザ-モデル; グラフィックスインタ-フェ-ス

高機能高品質ソフトウェアの構成原理を追究する上で、ソフトウェアの構成環境という観点からユ-ザ-インタ-フェ-スの研究は重要な課題である。本研究は高機能ユ-ザ-インタ-フェ-スを・抽象化によるユ-ザ-インタ-フェ-スの設計 ・ユ-ザ-モデルの構築と応用・グラフィックスインタ-フェ-スの概念設計 ・ユ-ザ-の意図のモデル化という点でとらえ、種々のパラダイムに基づくユ-ザ-インタ-フェ-スの高機能化を目指すものである。本年度の「抽象化によるユ-ザ-インタ-フェ-スの設計」の研究では、ユ-ザ-とシステムとの対話を抽象化して宣言的に定義する際の非決定性の取扱い方を研究した。関数プログラミングに非決定性の導入を試み、宣言的な仕様記述を直接実行するための実験システムを作成して有効性を確認した。「ユ-ザ-モデルの構築と応用」の研究では、アイコンを用いたユ-ザ-インタ-フェ-スとアイコンシステムの構築と実行環境について検討した。ユ-ザ-モデルをアイコンシステムに導入する試みは継続して検討中である。「グラフィックスインタ-フェ-スの概念設計」ではグラフィカルユ-ザ-インタ-フェ-スを構築する際の鍵とされるwidgetとよばれる可視対話部品の構成に関する検討を行ない、従来、きわめて複雑なプログラミングを必要としたインタ-フェ-スの作成に対する高水準な支援系の実現可能性を確認した。「ユ-ザ-の意図のモデル化」の研究では、高機能ユ-ザ-インタ-フェ-スに基本的に必要な要素を明らかにするために、知的マイクロワ-ルドのインタ-フェ-スの基礎となる知的インタ-フェ-ス生成環境を設計し、その基本要素を作成した。

High functional high quality ソ フ ト ウ ェ ア の principle す を investigated る で, ソ フ ト ウ ェ ア の pose environmental と い う 観 point か ら ユ ザ - イ ン タ - フ ェ - ス は の research important topic な で あ る. This study は high-functioning ユ ザ - イ ン タ - フ ェ - ス を · abstraction に よ る ユ ザ - イ ン タ - フ ェ - ス の design · ユ ザ - モ デ ル の build と 応 with · グ ラ フ ィ ッ ク ス イ ン タ - フ ェ - ス の conceptual design · ユ ザ - meaning の 図 の モ デ ル change と い う point で と ら え, kind of 々 の パ ラ ダ イ ム に base づ く ユ ザ - イ ン タ - フ ェ - ス の high functional を refers す も の で あ る. This year の "abstract に よ る ユ ザ - イ ン タ - フ ェ - ス の design" で の research は, ユ ザ - と シ ス テ ム と の words を seaborne abstraction し て に definition of the declaration of す る interstate の non-decisive の take Cha い party を research し た. Number of masato プ ロ グ ラ ミ ン グ に non-decisive の な shi of the declaration of import を み, others account を direct line be す る た め の be 験 シ ス テ ム を made し て have sharper sex を confirm し た. "ユ ザ - モ デ ル の build と 応 with" で の research は, ア イ コ ン を with い た ユ ザ - イ ン タ - フ ェ - ス と ア イ コ ン シ ス テ ム の build と be line environment に つ い て beg し 検 た. ユ ザ - モ デ ル を ア イ コ ン シ ス テ ム に import す る try み は 継 続 し て 検 beg in で あ る. "グ ラ フ ィ ッ ク ス イ ン タ - フ ェ - ス の concept design" で は グ ラ フ ィ カ ル ユ ザ - イ ン タ - フ ェ - ス を build す る interstate の key と さ れ る widget と よ ば れ る visual words part の constitute seaborne に masato す る 検 line for を な い, 従, き わ め て complex 雑 な プ ロ グ ラ ミ ン グ を necessary と し た イ ン タ - フ ェ - ス の に consummate The possibility of する high-level な support is を confirmed to be た た. "ユ - ザ - の 図 の モ デ ル" で の research は, high functional ユ ザ - イ ン タ - フ ェ - ス に に な necessary basic を Ming ら か に す る た め に, known as the マ イ ク ロ ワ - ル ド の イ ン タ - フ ェ - ス の based と な る known イ ン タ - フ ェ - ス し を generated environment design, そ の basic elements を made し た.

项目成果

S.Otsuki: "An empirical study on why,what,how and when" Education & Computing. 7. 383-386 (1991)

S.Otsuki：“关于为什么、什么、如何以及何时的实证研究” 教育

E.Mori,A.Takeuchi,and S.Otsuki: "Thinking Tool:Improving Student's Reasoning Abilities" Advanced Research on Computers in Education. 129-136 (1991)

E.Mori、A.Takeuchi、S.Otsuki：“思维工具：提高学生的推理能力”计算机教育高级研究。

T.Shingae,A.Takeuchi,and S.Otsuki: "Selection of Topics and Teaching Paradigm on ITS" Advanced Research on Computers in Education. 295-300 (1991)

T.Shingae、A.Takeuchi 和 S.Otsuki：“ITS 的主题选择和教学范式”计算机教育高级研究。

Liao Husheng and masato Takeichi: "Preliminary Arrangements of Arguments in Lazy Evaluation" New Generation Computing. 9. 135-147 (1991)

廖虎生、竹一正人：《惰性求值中的论据初步整理》新一代计算。

K.Tsuda,K.Yamamoto,M.Hirakawa,M.Tanaka,and T.Ichikawa: "MORE:An Object-Oriented Data Model with a Facility for Changing Object Structures" IEEE Trans.Knowledge and Data Engineering. 3. 444-460 (1991)

K.Tsuda、K.Yamamoto、M.Hirakawa、M.Tanaka 和 T.Ichikawa：“更多：具有更改对象结构功能的面向对象数据模型”IEEE Trans.Knowledge 和数据工程。