{"_buckets": {"deposit": "32fdc5a5-ba92-4ca0-8bd4-a7bfca110ea4"}, "_deposit": {"id": "18324", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "18324"}, "status": "published"}, "_oai": {"id": "oai:soar-ir.repo.nii.ac.jp:00018324", "sets": []}, "author_link": ["51056"], "item_11_alternative_title_1": {"attribute_name": "\u305d\u306e\u4ed6\uff08\u5225\u8a00\u8a9e\u7b49\uff09\u306e\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_alternative_title": "Formal Verification System by using Hardware Compiler Fusioning of Theorem Prover and Model Checker on the Grid Environment"}]}, "item_11_biblio_info_6": {"attribute_name": "\u66f8\u8a8c\u60c5\u5831", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2014", "bibliographicIssueDateType": "Issued"}}]}, "item_11_description_19": {"attribute_name": "\u5185\u5bb9\u8a18\u8ff0", "attribute_value_mlt": [{"subitem_description": "\u7814\u7a76\u7a2e\u76ee\uff1a\u57fa\u76e4\u7814\u7a76\uff08\uff23\uff09", "subitem_description_type": "Other"}, {"subitem_description": "\u7814\u7a76\u671f\u9593\uff1a2011\uff5e2013", "subitem_description_type": "Other"}, {"subitem_description": "\u8ab2\u984c\u756a\u53f7\uff1a23500174", "subitem_description_type": "Other"}, {"subitem_description": "\u7814\u7a76\u4ee3\u8868\u8005\uff1a\u548c\u5d0e\u3000\u514b\u5df1", "subitem_description_type": "Other"}, {"subitem_description": "\u7814\u7a76\u8005\u756a\u53f7\uff1a70271492", "subitem_description_type": "Other"}]}, "item_11_description_30": {"attribute_name": "\u8cc7\u6e90\u30bf\u30a4\u30d7\uff08\u30b3\u30f3\u30c6\u30f3\u30c4\u306e\u7a2e\u985e\uff09", "attribute_value_mlt": [{"subitem_description": "Other", "subitem_description_type": "Other"}]}, "item_11_description_5": {"attribute_name": "\u5f15\u7528", "attribute_value_mlt": [{"subitem_description": "2011\uff5e2013\u5e74\u5ea6\u79d1\u5b66\u7814\u7a76\u8cbb\u52a9\u6210\u4e8b\u696d\uff08\u57fa\u76e4\u7814\u7a76\uff08\uff23\uff09\uff09\u7814\u7a76\u6210\u679c\u5831\u544a\u66f8\u3000\u8ab2\u984c\u756a\u53f7\uff1a23500174\u3000\u7814\u7a76\u4ee3\u8868\u8005\uff1a\u548c\u5d0e\u3000\u514b\u5df1", "subitem_description_type": "Other"}]}, "item_11_link_3": {"attribute_name": "\u4fe1\u5dde\u5927\u5b66\u7814\u7a76\u8005\u7dcf\u89a7\u3078\u306e\u30ea\u30f3\u30af", "attribute_value_mlt": [{"subitem_link_text": "\u548c\u5d0e, \u514b\u5df1", "subitem_link_url": "http://soar-rd.shinshu-u.ac.jp/profile/ja.gCnejaTN.html"}]}, "item_11_select_64": {"attribute_name": "\u8457\u8005\u7248\u30d5\u30e9\u30b0", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "item_1627890728808": {"attribute_name": "\u51fa\u7248\u30bf\u30a4\u30d7", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_970fb48d4fbd8a85", "subitem_version_type": "VoR"}]}, "item_creator": {"attribute_name": "\u8457\u8005", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "\u548c\u5d0e, \u514b\u5df1"}], "nameIdentifiers": [{"nameIdentifier": "51056", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "\u30d5\u30a1\u30a4\u30eb\u60c5\u5831", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-08-25"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "23500174seika.pdf", "filesize": [{"value": "653.5 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 653500.0, "url": {"label": "23500174seika.pdf", "url": "https://soar-ir.repo.nii.ac.jp/record/18324/files/23500174seika.pdf"}, "version_id": "78a8de35-56df-48a5-9d5b-f50e7fb33014"}]}, "item_language": {"attribute_name": "\u8a00\u8a9e", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "item_resource_type": {"attribute_name": "\u8cc7\u6e90\u30bf\u30a4\u30d7", "attribute_value_mlt": [{"resourcetype": "research report", "resourceuri": "http://purl.org/coar/resource_type/c_18ws"}]}, "item_title": "\u30b0\u30ea\u30c3\u30c9\u74b0\u5883\u306e\u5b9a\u7406\u8a3c\u660e\u5668\u3068\u30e2\u30c7\u30eb\u691c\u67fb\u5668\u3092\u30cf\u30fc\u30c9\u30a6\u30a7\u30a2\u30b3\u30f3\u30d1\u30a4\u30e9\u878d\u5408\u3057\u305f\u5f62\u5f0f\u691c\u8a3c\u7cfb", "item_titles": {"attribute_name": "\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_title": "\u30b0\u30ea\u30c3\u30c9\u74b0\u5883\u306e\u5b9a\u7406\u8a3c\u660e\u5668\u3068\u30e2\u30c7\u30eb\u691c\u67fb\u5668\u3092\u30cf\u30fc\u30c9\u30a6\u30a7\u30a2\u30b3\u30f3\u30d1\u30a4\u30e9\u878d\u5408\u3057\u305f\u5f62\u5f0f\u691c\u8a3c\u7cfb", "subitem_title_language": "ja"}]}, "item_type_id": "11", "owner": "1", "path": ["1221/1308/1770"], "permalink_uri": "http://hdl.handle.net/10091/00019086", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2016-08-25"}, "publish_date": "2016-08-25", "publish_status": "0", "recid": "18324", "relation": {}, "relation_version_is_last": true, "title": ["\u30b0\u30ea\u30c3\u30c9\u74b0\u5883\u306e\u5b9a\u7406\u8a3c\u660e\u5668\u3068\u30e2\u30c7\u30eb\u691c\u67fb\u5668\u3092\u30cf\u30fc\u30c9\u30a6\u30a7\u30a2\u30b3\u30f3\u30d1\u30a4\u30e9\u878d\u5408\u3057\u305f\u5f62\u5f0f\u691c\u8a3c\u7cfb"], "weko_shared_id": -1}