{"created":"2025-01-18T23:05:16.292498+00:00","updated":"2025-01-22T13:47:54.042028+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00037426","sets":["1164:3027:3108:3114"]},"path":["3114"],"owner":"1","recid":"37426","title":["GUIを持つシステムとユーザ間のダイアログを形式的に記述する試み"],"pubdate":{"attribute_name":"公開日","attribute_value":"1995-01-19"},"_buckets":{"deposit":"1d0071bf-b55e-42b8-a39c-f9e3b6962107"},"_deposit":{"id":"37426","pid":{"type":"depid","value":"37426","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"GUIを持つシステムとユーザ間のダイアログを形式的に記述する試み","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"GUIを持つシステムとユーザ間のダイアログを形式的に記述する試み"},{"subitem_title":"AN APPLICATION OF THE DENOTATIONAL SPECIFICATION OF HUMAN - COMPUTER DIALOGUE TO GUI - BASED SYSTEMS","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"1995-01-19","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"大阪大学基礎工学部"},{"subitem_text_value":"大阪大学基礎工学部"},{"subitem_text_value":"大阪大学基礎工学部"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Faculty of Engineering Science, Osaka University","subitem_text_language":"en"},{"subitem_text_value":"Faculty of Engineering Science, Osaka University","subitem_text_language":"en"},{"subitem_text_value":"Faculty of Engineering Science, Osaka University","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/37426/files/IPSJ-HI94058006.pdf"},"date":[{"dateType":"Available","dateValue":"1997-01-19"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-HI94058006.pdf","filesize":[{"value":"1.2 MB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"33"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"577c3d4f-8c30-43fa-855a-db6fd1e11841","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1995 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"松林, 弘治"},{"creatorName":"辻野, 嘉宏"},{"creatorName":"都倉, 信樹"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Kohji, Matsubayashi","creatorNameLang":"en"},{"creatorName":"Yoshihiro, Tsujino","creatorNameLang":"en"},{"creatorName":"Nobuki, Tokura","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA1221543X","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"HCIの分野で，インタラクションの様々な側面を形式的にモデル化して評価や設計に援用しようという要求が高まっている．本縞では，コンピュータシステムとそれを利用するユーザとの間でダイアログ（対話）が行われるというインタラクションのモデルを提案する．このモデルでは，システムとユーザはそれぞれ内部状態を持っていると考え，このとき，相手からの入力記号の意味は，入力される前の内部状態から，入力された後の内部状態及び相手への出力記号への写像として与えられる．本縞では，GUIベースのアプリケーションについて，その具体的な適用例を説明する．","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"In the field of HCI, it has been a growing concern to give a formal model of interaction which is usable for the evaluation and development of computer system. In this paper, we propose the interaction model which specifies the dialogue between computer system and user. Both system and user are defined as have internal entities, and the input symbols to the opponent are strictly defined as a mapping from the current value of entities to those of the next and the output symbols from the opponent. We also present the application of this specification technique to Macintosh Finder^<TM>, a typical GUI-based application.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"44","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告ヒューマンコンピュータインタラクション（HCI）"}],"bibliographicPageStart":"37","bibliographicIssueDates":{"bibliographicIssueDate":"1995-01-19","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"7(1994-HI-058)","bibliographicVolumeNumber":"1995"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"id":37426,"links":{}}