@techreport{oai:ipsj.ixsq.nii.ac.jp:00037426,
 author = {松林, 弘治 and 辻野, 嘉宏 and 都倉, 信樹 and Kohji, Matsubayashi and Yoshihiro, Tsujino and Nobuki, Tokura},
 issue = {7(1994-HI-058)},
 month = {Jan},
 note = {HCIの分野で，インタラクションの様々な側面を形式的にモデル化して評価や設計に援用しようという要求が高まっている．本縞では，コンピュータシステムとそれを利用するユーザとの間でダイアログ（対話）が行われるというインタラクションのモデルを提案する．このモデルでは，システムとユーザはそれぞれ内部状態を持っていると考え，このとき，相手からの入力記号の意味は，入力される前の内部状態から，入力された後の内部状態及び相手への出力記号への写像として与えられる．本縞では，GUIベースのアプリケーションについて，その具体的な適用例を説明する．, 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.},
 title = {GUIを持つシステムとユーザ間のダイアログを形式的に記述する試み},
 year = {1995}
}