{"_buckets": {"deposit": "c7ba1ce4-1c52-44eb-8b6f-1a00aec3ced6"}, "_deposit": {"created_by": 4, "id": "2202", "owners": [4], "pid": {"revision_id": 0, "type": "depid", "value": "2202"}, "status": "published"}, "_oai": {"id": "oai:kutarr.kochi-tech.ac.jp:00002202", "sets": ["7"]}, "author_link": ["7275"], "item_4_alternative_title_20": {"attribute_name": "その他のタイトル", "attribute_value_mlt": [{"subitem_alternative_title": "Verification of an Algorithm for Persistent Object in Non-Volatile Memory Using Spin Model Checker"}]}, "item_4_biblio_info_7": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2022-03", "bibliographicIssueDateType": "Issued"}, "bibliographic_titles": [{}]}]}, "item_4_identifier_registration": {"attribute_name": "ID登録", "attribute_value_mlt": [{"subitem_identifier_reg_text": "10.32149/00002476", "subitem_identifier_reg_type": "JaLC"}]}, "item_4_publisher_34": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "高知工科大学"}]}, "item_4_text_37": {"attribute_name": "アドバイザー", "attribute_value_mlt": [{"subitem_text_value": "高田　喜朗"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "飯干, 寛幸"}], "nameIdentifiers": [{"nameIdentifier": "7275", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2022-06-27"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "1245115.pdf", "filesize": [{"value": "525.3 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 525300.0, "url": {"label": "ｍ_1245115.pdf", "url": "https://kutarr.kochi-tech.ac.jp/record/2202/files/1245115.pdf"}, "version_id": "0d57a3c2-f862-4333-b60e-4d1ff0ad4ce6"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "thesis", "resourceuri": "http://purl.org/coar/resource_type/c_46ec"}]}, "item_title": "不揮発性メモリ向けオブジェクト永続化アルゴリズムのモデル検査器Spinを用いた検証", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "不揮発性メモリ向けオブジェクト永続化アルゴリズムのモデル検査器Spinを用いた検証"}]}, "item_type_id": "4", "owner": "4", "path": ["7"], "permalink_uri": "https://doi.org/10.32149/00002476", "pubdate": {"attribute_name": "公開日", "attribute_value": "2022-06-27"}, "publish_date": "2022-06-27", "publish_status": "0", "recid": "2202", "relation": {}, "relation_version_is_last": true, "title": ["不揮発性メモリ向けオブジェクト永続化アルゴリズムのモデル検査器Spinを用いた検証"], "weko_shared_id": -1}