{"created":"2021-03-01T07:34:09.818854+00:00","id":53465,"links":{},"metadata":{"_buckets":{"deposit":"5e0b6d9b-54f2-4bc3-82ab-78a826843c91"},"_deposit":{"id":"53465","owners":[],"pid":{"revision_id":0,"type":"depid","value":"53465"},"status":"published"},"_oai":{"id":"oai:tsukuba.repo.nii.ac.jp:00053465","sets":["3:2658:6448"]},"author_link":["665"],"item_10_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2018","bibliographicIssueDateType":"Issued"}}]},"item_10_description_5":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"科学研究費助成事業 研究成果報告書：挑戦的萌芽研究2015-2017課題番号 : 15K12007","subitem_description_language":"ja","subitem_description_type":"Other"}]},"item_10_relation_39":{"attribute_name":"関連情報","attribute_value_mlt":[{"subitem_relation_type_id":{"subitem_relation_type_id_text":"https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-15K12007/","subitem_relation_type_select":"URI"}}]},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right":"open access","subitem_access_right_uri":"http://purl.org/coar/access_right/c_abf2"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"亀山, 幸義","creatorNameLang":"ja"},{"creatorName":"カメヤマ, ユキヨシ","creatorNameLang":"ja-Kana"},{"creatorName":"KAMEYAMA, Yukiyoshi","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"665","nameIdentifierScheme":"WEKO"},{"nameIdentifier":"10195000","nameIdentifierScheme":"e-Rad","nameIdentifierURI":"https://nrid.nii.ac.jp/ja/nrid/1000010195000"},{"nameIdentifier":"0000000936","nameIdentifierScheme":"筑波大学研究者総覧","nameIdentifierURI":"http://trios.tsukuba.ac.jp/researcher/0000000936"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2019-11-27"}],"displaytype":"detail","filename":"15K12007seika.pdf","filesize":[{"value":"90.4 kB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"objectType":"abstract","url":"https://tsukuba.repo.nii.ac.jp/record/53465/files/15K12007seika.pdf"},"version_id":"4a65d9b5-96d0-4f0d-b26b-9331417cf681"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"research report","resourceuri":"http://purl.org/coar/resource_type/c_18ws"}]},"item_title":"マルチステージ証明記述言語の設計と開発","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"マルチステージ証明記述言語の設計と開発","subitem_title_language":"ja"},{"subitem_title":"Design and development of multi-stage languages for verification","subitem_title_language":"en"}]},"item_type_id":"10","owner":"1","path":["6448"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2019-11-27"},"publish_date":"2019-11-27","publish_status":"0","recid":"53465","relation_version_is_last":true,"title":["マルチステージ証明記述言語の設計と開発"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-03-29T06:47:39.203306+00:00"}