{"created":"2021-03-01T06:27:52.975001+00:00","id":20313,"links":{},"metadata":{"_buckets":{"deposit":"05d6bd0f-3680-4419-a22c-ed6cb60bdbb4"},"_deposit":{"id":"20313","owners":[],"pid":{"revision_id":0,"type":"depid","value":"20313"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:00020313","sets":["697:765:766"]},"author_link":["59241","59242"],"item_12_alternative_title_19":{"attribute_name":"その他のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"ECCの直観主義的な集合論的モデルの構築について","subitem_alternative_title_language":"ja"}]},"item_12_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2015-03-25","bibliographicIssueDateType":"Issued"}}]},"item_12_date_granted_64":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"2015-03-25"}]},"item_12_degree_grantor_62":{"attribute_name":"学位授与機関","attribute_value_mlt":[{"subitem_degreegrantor":[{"subitem_degreegrantor_language":"ja","subitem_degreegrantor_name":"名古屋大学"},{"subitem_degreegrantor_language":"en","subitem_degreegrantor_name":"Nagoya University"}],"subitem_degreegrantor_identifier":[{"subitem_degreegrantor_identifier_name":"13901","subitem_degreegrantor_identifier_scheme":"kakenhi"}]}]},"item_12_degree_name_61":{"attribute_name":"学位名","attribute_value_mlt":[{"subitem_degreename":"博士(数理学)","subitem_degreename_language":"ja"}]},"item_12_dissertation_number_65":{"attribute_name":"学位授与番号","attribute_value_mlt":[{"subitem_dissertationnumber":"甲第10946号"}]},"item_12_identifier_60":{"attribute_name":"URI","attribute_value_mlt":[{"subitem_identifier_type":"HDL","subitem_identifier_uri":"http://hdl.handle.net/2237/22388"}]},"item_12_select_15":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_select_item":"ETD"}]},"item_12_text_63":{"attribute_name":"学位授与年度","attribute_value_mlt":[{"subitem_text_value":"2014"}]},"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":"Sato, Masahiro","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"59241","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"佐藤, 雅大","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"59242","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2017-09-26"}],"displaytype":"detail","filename":"k10946_abstract.pdf","filesize":[{"value":"700.8 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"k10946_abstract.pdf ","objectType":"abstract","url":"https://nagoya.repo.nii.ac.jp/record/20313/files/k10946_abstract.pdf"},"version_id":"00147cf1-c2d2-40ed-a1fe-91d2f3d75b31"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-21"}],"displaytype":"detail","filename":"k10946_review.pdf","filesize":[{"value":"563.2 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"k10946_review.pdf ","objectType":"other","url":"https://nagoya.repo.nii.ac.jp/record/20313/files/k10946_review.pdf"},"version_id":"b976ddb3-2000-4bbd-927a-008854eaf165"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-21"}],"displaytype":"detail","filename":"k10946_thesis.pdf","filesize":[{"value":"261.4 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"k10946_thesis.pdf ","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/20313/files/k10946_thesis.pdf"},"version_id":"daad84d8-5d42-4c51-8fef-921002da4a6c"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"doctoral thesis","resourceuri":"http://purl.org/coar/resource_type/c_db06"}]},"item_title":"An Intuitionistic Set-theoretical Model of the Extended Calculus of Constructions","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"An Intuitionistic Set-theoretical Model of the Extended Calculus of Constructions","subitem_title_language":"en"}]},"item_type_id":"12","owner":"1","path":["766"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2015-06-09"},"publish_date":"2015-06-09","publish_status":"0","recid":"20313","relation_version_is_last":true,"title":["An Intuitionistic Set-theoretical Model of the Extended Calculus of Constructions"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-16T04:50:31.056077+00:00"}