{"links":{},"id":22373,"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00022373","sets":["1164:1384:1496:1501"]},"path":["1501"],"owner":"1","recid":"22373","title":["哲学者の食事問題のLOTOSによる記述実験"],"pubdate":{"attribute_name":"公開日","attribute_value":"1989-06-27"},"_buckets":{"deposit":"370c1e01-3247-4c7e-babd-da5862b30cbe"},"_deposit":{"id":"22373","pid":{"type":"depid","value":"22373","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"哲学者の食事問題のLOTOSによる記述実験","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"哲学者の食事問題のLOTOSによる記述実験"},{"subitem_title":"Experimetal Descriptions of Dining Philosopher's Problem in LOTOS and Its Experience","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"1989-06-27","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"電子技術総合研究所情報アーキテクチャ部"},{"subitem_text_value":"沖電気工業（株）コンピュータシステム開発本部"},{"subitem_text_value":"沖電気工業（株）コンピュータシステム開発本部"},{"subitem_text_value":"沖電気工業（株）コンピュータシステム開発本部"},{"subitem_text_value":"日本電気（株）基本ソフトウェア開発本部"},{"subitem_text_value":"日本電気（株）基本ソフトウェア開発本部"},{"subitem_text_value":"三菱電機（株）情報電子研究所"},{"subitem_text_value":"日本電信電話（株）NTTソフトウェア研究所"},{"subitem_text_value":"富士通（株）情報システム事業本部"},{"subitem_text_value":"（株）東芝情報通信システム技術研究所"},{"subitem_text_value":"シャープ（株）技術本部"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Electrotechnical Laboratory","subitem_text_language":"en"},{"subitem_text_value":"Oki Electronic Industry Co., Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Oki Electronic Industry Co., Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Oki Electronic Industry Co., Ltd.","subitem_text_language":"en"},{"subitem_text_value":"NEC Corporation","subitem_text_language":"en"},{"subitem_text_value":"NEC Corporation","subitem_text_language":"en"},{"subitem_text_value":"Mitsubishi Electric Corporation","subitem_text_language":"en"},{"subitem_text_value":"Nippon Telegraph and Telephone Corporation","subitem_text_language":"en"},{"subitem_text_value":"Fujitsu Limited","subitem_text_language":"en"},{"subitem_text_value":"Toshiba Corporation","subitem_text_language":"en"},{"subitem_text_value":"Sharp Corporation","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/22373/files/IPSJ-SE89066004.pdf"},"date":[{"dateType":"Available","dateValue":"1991-06-27"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SE89066004.pdf","filesize":[{"value":"1.6 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":"12"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"dff1809b-afe6-41ba-8c16-5b24fb4c5dae","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1989 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"大蒔和仁"},{"creatorName":"五反田, 隆広"},{"creatorName":"小野, 昌秀"},{"creatorName":"佐藤嘉一"},{"creatorName":"藤田, 朋生"},{"creatorName":"新田, 徹"},{"creatorName":"田中, 功一"},{"creatorName":"堀田, 英一"},{"creatorName":"五ノ井敏行"},{"creatorName":"内山, 光一"},{"creatorName":"島田, 明宏"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"K., Ohmaki","creatorNameLang":"en"},{"creatorName":"T., Gotanda","creatorNameLang":"en"},{"creatorName":"M., Ono","creatorNameLang":"en"},{"creatorName":"Y., Sato","creatorNameLang":"en"},{"creatorName":"T., Fujita","creatorNameLang":"en"},{"creatorName":"T., Nitta","creatorNameLang":"en"},{"creatorName":"K., Tanaka","creatorNameLang":"en"},{"creatorName":"E., Horita","creatorNameLang":"en"},{"creatorName":"T., Gonoi","creatorNameLang":"en"},{"creatorName":"M., Uchiyama","creatorNameLang":"en"},{"creatorName":"A., Shimada","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10112981","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":"通信プロトコルOSIのための形式的仕様記述言語LOTOSがISO8807として制定された。我々はLOTOSの妥当性を探ることを目的としてLOTOS研究会を行なっている。そこではLOTOSの記述のためのGuidelineの調査、LOTOSによる実際のプロトコルの記述実験、LOTOSに関係する文献調査、等を行なっている。研究会の構成メンバは、(1)実際にOSIのプロトコル開発に携わっている人、(2)プロセス記述の理論的な研究をしている人、(3)LOTOS以外の形式記述言語に詳しい人、(4)C等の言語プロセッサ開発に携わっている人、(5)LOTOSが提案され出したころから勉強している人、等から成っている。研究会ではLOTOSとはどんな言語であるかを知るための練習問題として「哲学者の食事問題」を取り上げ、幾つかの記述実験を行なった。本稿はこの記述実験をとおして我々が得たLOTOSの仕様記述言語としての感想を述べる。LOTOSによる「哲学者の食事問題」の解法についてはすでに文献に現れているが、本稿の目的は初めてLOTOSに触れた人がこの有名な問題に対してどのように取り組んだかを示し、LOTOSに対して抱いた率直な感想や意見を述べることにある。","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"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.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"8","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告ソフトウェア工学（SE） "}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"1989-06-27","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"52(1989-SE-066)","bibliographicVolumeNumber":"1989"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"created":"2025-01-18T22:54:03.768910+00:00","updated":"2025-01-22T20:54:36.823554+00:00"}