{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00022200","sets":["1164:1384:1474:1481"]},"path":["1481"],"owner":"1","recid":"22200","title":["日常的世界観にもとづく言語NAIVEによる実行可能な仕様記述"],"pubdate":{"attribute_name":"公開日","attribute_value":"1992-02-06"},"_buckets":{"deposit":"96f3ea35-4f50-4062-816c-c335141e79f2"},"_deposit":{"id":"22200","pid":{"type":"depid","value":"22200","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"日常的世界観にもとづく言語NAIVEによる実行可能な仕様記述","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"日常的世界観にもとづく言語NAIVEによる実行可能な仕様記述"},{"subitem_title":"The Specification Language NAIVE that is based on Everyday World View","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"1992-02-06","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"富士通（株）"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"FUJITSU Ltd.","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/22200/files/IPSJ-SE91083007.pdf"},"date":[{"dateType":"Available","dateValue":"1994-02-06"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SE91083007.pdf","filesize":[{"value":"1.4 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":"90450eea-4290-4e44-a75e-10bff07bda21","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1992 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"日野, 克重"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Katsushige, Hino","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":"日常的世界観にもとづく実行可能な仕様記述言語NAIVEを提案する．当言語は，実世界を自然かつ直接的に記述することを目標とした言語である．本稿では，当言語について，その背後にある世界観，言語仕様，および記述例を中心に述べる．","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"A executable specification language NAIVE is proposed. We can develop reactive and complicated software systems more easily using the language NAIVE. In this paper, the world view behind the language NAIVE, the language specification of NAIVE, and some examples of description in NAIVE are presented.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"56","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告ソフトウェア工学（SE） "}],"bibliographicPageStart":"49","bibliographicIssueDates":{"bibliographicIssueDate":"1992-02-06","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"10(1991-SE-083)","bibliographicVolumeNumber":"1992"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"id":22200,"updated":"2025-01-22T20:58:41.920285+00:00","links":{},"created":"2025-01-18T22:53:56.319751+00:00"}