@techreport{oai:ipsj.ixsq.nii.ac.jp:00022373,
 author = {大蒔和仁 and 五反田, 隆広 and 小野, 昌秀 and 佐藤嘉一 and 藤田, 朋生 and 新田, 徹 and 田中, 功一 and 堀田, 英一 and 五ノ井敏行 and 内山, 光一 and 島田, 明宏 and K., Ohmaki and T., Gotanda and M., Ono and Y., Sato and T., Fujita and T., Nitta and K., Tanaka and E., Horita and T., Gonoi and M., Uchiyama and A., Shimada},
 issue = {52(1989-SE-066)},
 month = {Jun},
 note = {通信プロトコルOSIのための形式的仕様記述言語LOTOSがISO8807として制定された。我々はLOTOSの妥当性を探ることを目的としてLOTOS研究会を行なっている。そこではLOTOSの記述のためのGuidelineの調査、LOTOSによる実際のプロトコルの記述実験、LOTOSに関係する文献調査、等を行なっている。研究会の構成メンバは、(1)実際にOSIのプロトコル開発に携わっている人、(2)プロセス記述の理論的な研究をしている人、(3)LOTOS以外の形式記述言語に詳しい人、(4)C等の言語プロセッサ開発に携わっている人、(5)LOTOSが提案され出したころから勉強している人、等から成っている。研究会ではLOTOSとはどんな言語であるかを知るための練習問題として「哲学者の食事問題」を取り上げ、幾つかの記述実験を行なった。本稿はこの記述実験をとおして我々が得たLOTOSの仕様記述言語としての感想を述べる。LOTOSによる「哲学者の食事問題」の解法についてはすでに文献に現れているが、本稿の目的は初めてLOTOSに触れた人がこの有名な問題に対してどのように取り組んだかを示し、LOTOSに対して抱いた率直な感想や意見を述べることにある。, LOTOS is a language to specify OSI protocols formally. LOTOS has become ISO 8807 this February. We are organizing a research group for the language LOTOS, and studying its feasibility. Up to now, we are surveying the Guideline for LOTOS specification, writing a real OSI protocol in LOTOS, and reading papers related to LOTOS. The members of the group are (1) actually developing OSI protocols, (2) doing theoretical works on process description, (3) familiar with other formal description languages, (4) developing language processors like C compiler, or (5) studying the language specification of LOTOS at the early stages. To know what LOTOS is, we have described the dining philosphers problem by several approaches. In this paper, we present our impressions on LOTOS through these experiences. Although the dining philosoper's problem has already been written in literature, the main purpose of this paper is to show how we approach the specifications for the first time as LOTOS users. We also give the controversial comments on LOTOS.},
 title = {哲学者の食事問題のLOTOSによる記述実験},
 year = {1989}
}