著者

守屋 慎次 森田 利広 稲井 幸治 清水 聡

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.32, no.8, pp.1022-1029, 1991-08-15

被引用文献数

7

---

本論文の目的は次の三つである (1)「ストロークエディタ」という新しい種類のエディタを提唱し 実現したプロトタイプシステムについて述べることストロークエディタ上において入・出力し編集されるデータは利用者が書(描)いた筆跡であり この筆跡をエディタ内において表現するデータ型はストローク(点列)であるこのエディタの目的は 筆跡をそのままの姿でコンピュータに入力し 保存したり編存したり送信することであるこのエディタがその本質において必要としているハードウェアは 表示平面と入力平面とが一体となったいわば紙のようなコンピュータと スタイラスペンだけである(2)ストロークエディタでとられた対話の方式「直接指示・操作方式」を提唱してその性質を導き この方式の重要性を示すこと対話の方式を特徴づける上で また 使い易くする上で この方式が非常に重要であることを示す導出される性質の代表例として この方式により仮想物(例えばカーソノレ)が実物(例えばペン先)化されること 順次入力に必要な記号(カーソルや空白など)を利用者が意識する必要がなくなること そしてこの方式の必要十分条件がある(3)利用者へ機械を近づける方法を示すこと方法の主なものは 人が作業する場(本論文では筆削をするタブレット入力面)をそのまま受け入れる機械の場(本論文では液晶出力面) を作り上げることである

著者

守屋 慎次

出版者

一般社団法人情報処理学会

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.19, no.5, pp.p398-405, 1978-05-15

被引用文献数

1

---

Decision tables as control structures for programming languages have been used for many years. In regard to the conversion of decision tables to computer programs, formalization has been quite well investigated. However, most of the previous works left out the important issue of general formalization of decision tables. This paper formalizes mixed entry decision tables based on Boolean algebra, some of the notions informally used in the decision table literature are systematized, and several fundamental properties of mixed entry decision tables are also investigated.