{"created":"2021-03-01T06:21:05.740261+00:00","id":18039,"links":{},"metadata":{"_buckets":{"deposit":"10ed2db1-53a4-477b-a7b0-b8d6f781646e"},"_deposit":{"id":"18039","owners":[],"pid":{"revision_id":0,"type":"depid","value":"18039"},"status":"published"},"_oai":{"id":"oai:soar-ir.repo.nii.ac.jp:00018039","sets":["1162:1164:1167"]},"author_link":["50424"],"item_14_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2016-03-20","bibliographicIssueDateType":"Issued"}}]},"item_14_date_granted_8":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"2016-03-20"}]},"item_14_degree_grantor_10":{"attribute_name":"学位授与機関","attribute_value_mlt":[{"subitem_degreegrantor":[{"subitem_degreegrantor_name":"信州大学(Shinshu university)"}],"subitem_degreegrantor_identifier":[{"subitem_degreegrantor_identifier_name":"13601","subitem_degreegrantor_identifier_scheme":"kakenhi"}]}]},"item_14_degree_name_9":{"attribute_name":"学位名","attribute_value_mlt":[{"subitem_degreename":"博士（工学）"}]},"item_14_description_37":{"attribute_name":"資源タイプ（コンテンツの種類）","attribute_value_mlt":[{"subitem_description":"Thesis","subitem_description_type":"Other"}]},"item_14_description_5":{"attribute_name":"引用","attribute_value_mlt":[{"subitem_description":"中正　和久. Mizar による群の直和分解の形式化. 信州大学, 2015, 博士論文. 博士（工学）, 甲第654号, 平成28年03月20日授与.","subitem_description_type":"Other"}]},"item_14_dissertation_number_7":{"attribute_name":"学位授与番号","attribute_value_mlt":[{"subitem_dissertationnumber":"13601甲第654号"}]},"item_14_publisher_4":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"信州大学"}]},"item_14_text_11":{"attribute_name":"学位の区分","attribute_value_mlt":[{"subitem_text_value":"doctoral"}]},"item_14_text_12":{"attribute_name":"学位の分野","attribute_value_mlt":[{"subitem_text_value":"工学"}]},"item_14_text_13":{"attribute_name":"学位の報告番号","attribute_value_mlt":[{"subitem_text_value":"甲第654号"}]},"item_1627890986942":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_be7fb7dd8ff6fe43","subitem_version_type":"NA"}]},"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"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2016-04-26"}],"displaytype":"detail","filename":"13ST205F_yoshi.pdf","filesize":[{"value":"96.3 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"内容の要旨","url":"https://soar-ir.repo.nii.ac.jp/record/18039/files/13ST205F_yoshi.pdf"},"version_id":"e9587fba-bf62-430b-96ef-62fea6dfc2d5"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2016-04-26"}],"displaytype":"detail","filename":"13ST205F_shinsa.pdf","filesize":[{"value":"160.1 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"審査結果の要旨","url":"https://soar-ir.repo.nii.ac.jp/record/18039/files/13ST205F_shinsa.pdf"},"version_id":"e8e6b960-452c-4344-87b6-a4bf9455691b"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2016-04-26"}],"displaytype":"detail","filename":"13ST205F_ronbun.pdf","filesize":[{"value":"895.5 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"博士論文の全文","objectType":"fulltext","url":"https://soar-ir.repo.nii.ac.jp/record/18039/files/13ST205F_ronbun.pdf"},"version_id":"85d749c6-973b-45f2-a7e8-10ee6b2502d2"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"doctoral thesis","resourceuri":"http://purl.org/coar/resource_type/c_db06"}]},"item_title":"Mizar による群の直和分解の形式化","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Mizar による群の直和分解の形式化","subitem_title_language":"ja"}]},"item_type_id":"14","owner":"1","path":["1167"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2016-04-26"},"publish_date":"2016-04-26","publish_status":"0","recid":"18039","relation_version_is_last":true,"title":["Mizar による群の直和分解の形式化"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-04-13T05:56:29.355287+00:00"}