{"id":30612,"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00030612","sets":["1164:2386:2435:2436"]},"path":["2436"],"owner":"1","recid":"30612","title":["実世界モデルに基づく言語NAIVEの論理体系　（再論）"],"pubdate":{"attribute_name":"公開日","attribute_value":"1992-10-30"},"_buckets":{"deposit":"1fabdbf0-61ef-4990-bc3c-c7cc904e19e0"},"_deposit":{"id":"30612","pid":{"type":"depid","value":"30612","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 Logical System of The Language NAIVE that is based on Real World Model","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"1992-10-30","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/30612/files/IPSJ-PRO92009001.pdf"},"date":[{"dateType":"Available","dateValue":"1994-10-30"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-PRO92009001.pdf","filesize":[{"value":"1.2 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":"15"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"bc914ef2-aed8-44e9-ba0e-cce97f89a068","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":"AN10485570","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":"NAIVE is an executable specification language that is based on a real world model. In this paper, the logical system of the language NAIVE is proposed. The logical system is the one formalizing the real world model which is composed of concepts such as entity, relation, action, agent, field, and so on.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"8","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告プログラミング（PRO）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"1992-10-30","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"85(1992-PRO-009)","bibliographicVolumeNumber":"1992"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"updated":"2025-01-22T16:59:10.980201+00:00","created":"2025-01-18T23:00:09.876249+00:00","links":{}}