{"created":"2023-06-20T12:56:25.949900+00:00","id":468,"links":{},"metadata":{"_buckets":{"deposit":"eaf24ff5-c39c-4ca2-941c-77e9fb84a609"},"_deposit":{"created_by":2,"id":"468","owners":[2],"pid":{"revision_id":0,"type":"depid","value":"468"},"status":"published"},"_oai":{"id":"oai:fun.repo.nii.ac.jp:00000468","sets":["22:33","25:26:35"]},"author_link":["809","810","808"],"item_9_biblio_info_5":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1983-09","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"984","bibliographicPageStart":"983","bibliographic_titles":[{}]}]},"item_9_description_3":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"制御論理をIF-THEN型ルールで記述する方式に対し、条件部の条件の抜けや冗長性を検証する方式を提案した。","subitem_description_type":"Abstract"}]},"item_9_description_4":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"情報処理学会第31回全国大会、5M－2","subitem_description_type":"Other"}]},"item_9_select_10":{"attribute_name":"単著共著","attribute_value_mlt":[{"subitem_select_item":"共著/joint"}]},"item_9_select_9":{"attribute_name":"研究業績種別","attribute_value_mlt":[{"subitem_select_item":"国内学会/Domestic Conference"}]},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right":"metadata only access","subitem_access_right_uri":"http://purl.org/coar/access_right/c_14cb"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"大場, 雅博"}],"nameIdentifiers":[{"nameIdentifier":"808","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"薦田, 憲久"}],"nameIdentifiers":[{"nameIdentifier":"809","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"藤井, みち子"}],"nameIdentifiers":[{"nameIdentifier":"810","nameIdentifierScheme":"WEKO"}]}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"conference paper","resourceuri":"http://purl.org/coar/resource_type/c_5794"}]},"item_title":"ルール型制御システムSCD用ルールの論理自動検証方式","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"ルール型制御システムSCD用ルールの論理自動検証方式"}]},"item_type_id":"9","owner":"2","path":["33","35"],"pubdate":{"attribute_name":"公開日","attribute_value":"2010-12-03"},"publish_date":"2010-12-03","publish_status":"0","recid":"468","relation_version_is_last":true,"title":["ルール型制御システムSCD用ルールの論理自動検証方式"],"weko_creator_id":"2","weko_shared_id":-1},"updated":"2023-06-20T14:25:40.274433+00:00"}