{"created":"2021-03-01T06:19:36.365594+00:00","id":2983,"links":{},"metadata":{"_buckets":{"deposit":"ca3f1083-9010-4ac8-b627-fa0c732b95d0"},"_deposit":{"id":"2983","owners":[],"pid":{"revision_id":0,"type":"depid","value":"2983"},"status":"published"},"_oai":{"id":"oai:repository.dl.itc.u-tokyo.ac.jp:00002983","sets":["6:291:292","9:233:280"]},"item_7_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1991-02-14","bibliographicIssueDateType":"Issued"},"bibliographic_titles":[{}]}]},"item_7_date_granted_25":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"1991-02-14"}]},"item_7_degree_grantor_23":{"attribute_name":"学位授与機関","attribute_value_mlt":[{"subitem_degreegrantor":[{"subitem_degreegrantor_name":"University of Tokyo (東京大学)"}]}]},"item_7_degree_name_20":{"attribute_name":"学位名","attribute_value_mlt":[{"subitem_degreename":"工学博士"}]},"item_7_dissertation_number_26":{"attribute_name":"学位授与番号","attribute_value_mlt":[{"subitem_dissertationnumber":"乙第10041号"}]},"item_7_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.11501/3087339","subitem_identifier_reg_type":"JaLC"}]},"item_7_select_21":{"attribute_name":"学位","attribute_value_mlt":[{"subitem_select_item":"doctoral"}]},"item_7_text_22":{"attribute_name":"学位分野","attribute_value_mlt":[{"subitem_text_value":"Engineering (工学)"}]},"item_7_text_24":{"attribute_name":"研究科・専攻","attribute_value_mlt":[{"subitem_text_value":"Department of Information Engineering, Graduate School of Engineering (工学系研究科情報工学専攻)"}]},"item_7_text_27":{"attribute_name":"学位記番号","attribute_value_mlt":[{"subitem_text_value":"第10041号"}]},"item_7_text_4":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"工学系研究科情報工学専攻"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"後藤, 滋樹"}],"nameIdentifiers":[{"nameIdentifier":"7719","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2017-05-31"}],"displaytype":"detail","filename":"247682.pdf","filesize":[{"value":"12.2 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"247682.pdf","url":"https://repository.dl.itc.u-tokyo.ac.jp/record/2983/files/247682.pdf"},"version_id":"b732c8bd-d185-4ae3-9408-242869adf7a5"}]},"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":"構成的論理に基づくプログラムの合成と解析の研究","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"構成的論理に基づくプログラムの合成と解析の研究"}]},"item_type_id":"7","owner":"1","path":["280","292"],"pubdate":{"attribute_name":"公開日","attribute_value":"2012-03-01"},"publish_date":"2012-03-01","publish_status":"0","recid":"2983","relation_version_is_last":true,"title":["構成的論理に基づくプログラムの合成と解析の研究"],"weko_creator_id":"1","weko_shared_id":2},"updated":"2022-12-19T03:44:50.592631+00:00"}