{"created":"2021-03-01T07:31:52.918332+00:00","id":51452,"links":{},"metadata":{"_buckets":{"deposit":"0472c14e-bed1-40ae-b174-aaf56335bb50"},"_deposit":{"created_by":188,"id":"51452","owners":[188],"pid":{"revision_id":0,"type":"depid","value":"51452"},"status":"published"},"_oai":{"id":"oai:tsukuba.repo.nii.ac.jp:00051452","sets":["3:267:281"]},"author_link":["212073"],"item_12_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2019","bibliographicIssueDateType":"Issued"}}]},"item_12_date_granted_46":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"2019-03-25"}]},"item_12_degree_grantor_44":{"attribute_name":"学位授与大学","attribute_value_mlt":[{"subitem_degreegrantor":[{"subitem_degreegrantor_language":"ja","subitem_degreegrantor_name":"筑波大学"},{"subitem_degreegrantor_language":"en","subitem_degreegrantor_name":"University of Tsukuba"}],"subitem_degreegrantor_identifier":[{"subitem_degreegrantor_identifier_name":"12102","subitem_degreegrantor_identifier_scheme":"kakenhi"}]}]},"item_12_degree_name_43":{"attribute_name":"取得学位","attribute_value_mlt":[{"subitem_degreename":"博士（理学）"},{"subitem_degreename":"Doctor of Philosophy in Science"}]},"item_12_description_45":{"attribute_name":"学位授与年度","attribute_value_mlt":[{"subitem_description":"2018","subitem_description_type":"Other"}]},"item_12_description_5":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"【要旨】","subitem_description_language":"ja","subitem_description_type":"Other"}]},"item_12_dissertation_number_47":{"attribute_name":"報告番号","attribute_value_mlt":[{"subitem_dissertationnumber":"甲第8930号"}]},"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":"ISHII, Hiromi","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"212073","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_access","date":[{"dateType":"Available"}],"displaytype":"detail","filename":"A8930.pdf","filesize":[{"value":"248.3 kB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"objectType":"abstract","url":"https://tsukuba.repo.nii.ac.jp/record/51452/files/A8930.pdf"},"version_id":"aa6bbb4c-9426-4cc6-9faa-483659b48788"}]},"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":"Bidirectional Interplay between Mathematics and Computer Science: Safety and Extensibility in Computer Algebra and Haskell","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Bidirectional Interplay between Mathematics and Computer Science: Safety and Extensibility in Computer Algebra and Haskell","subitem_title_language":"en"},{"subitem_title":"数学と計算機科学の相互作用：計算代数とHaskellにおける安全性と拡張性","subitem_title_language":"ja"}]},"item_type_id":"12","owner":"188","path":["281"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2019-06-27"},"publish_date":"2019-06-27","publish_status":"0","recid":"51452","relation_version_is_last":true,"title":["Bidirectional Interplay between Mathematics and Computer Science: Safety and Extensibility in Computer Algebra and Haskell"],"weko_creator_id":"188","weko_shared_id":-1},"updated":"2023-06-12T06:01:59.122014+00:00"}