{"created":"2021-03-01T06:21:34.872222+00:00","id":4900,"links":{},"metadata":{"_buckets":{"deposit":"737c7ccf-0e16-46d8-934c-e4aed1484e46"},"_deposit":{"id":"4900","owners":[],"pid":{"revision_id":0,"type":"depid","value":"4900"},"status":"published"},"_oai":{"id":"oai:repository.dl.itc.u-tokyo.ac.jp:00004900","sets":["75:398","9:233:280"]},"item_7_alternative_title_1":{"attribute_name":"その他のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"S4の拡張及び中間論理に対するカット消去定理の成立するゲンツェン式体系"}]},"item_7_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1991-03-29","bibliographicIssueDateType":"Issued"},"bibliographic_titles":[{}]}]},"item_7_date_granted_25":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"1991-03-29"}]},"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":"甲第08849"}]},"item_7_full_name_3":{"attribute_name":"著者別名","attribute_value_mlt":[{"nameIdentifiers":[{"nameIdentifier":"10618","nameIdentifierScheme":"WEKO"}],"names":[{"name":"志村, 立矢"}]}]},"item_7_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.11501/3058787","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":"Science(Rigaku)(理学)"}]},"item_7_text_24":{"attribute_name":"研究科・専攻","attribute_value_mlt":[{"subitem_text_value":"Department of Mathematics, Graduate School of Science(理学系研究科数学専攻)"}]},"item_7_text_27":{"attribute_name":"学位記番号","attribute_value_mlt":[{"subitem_text_value":"博理第2325号"}]},"item_7_text_4":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"東京大学大学院理学系研究科数学専攻"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Shimura, Tatsuya"}],"nameIdentifiers":[{"nameIdentifier":"10617","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2017-06-01"}],"displaytype":"detail","filename":"245921.pdf","filesize":[{"value":"6.1 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"245921.pdf","url":"https://repository.dl.itc.u-tokyo.ac.jp/record/4900/files/245921.pdf"},"version_id":"875a09b1-4c7e-4436-b51f-c9e641c8ebd8"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"thesis","resourceuri":"http://purl.org/coar/resource_type/c_46ec"}]},"item_title":"Cut-free Gentzen-style systems for some normal extensions of S4 and intermediate logics","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Cut-free Gentzen-style systems for some normal extensions of S4 and intermediate logics"}]},"item_type_id":"7","owner":"1","path":["398","280"],"pubdate":{"attribute_name":"公開日","attribute_value":"2013-05-16"},"publish_date":"2013-05-16","publish_status":"0","recid":"4900","relation_version_is_last":true,"title":["Cut-free Gentzen-style systems for some normal extensions of S4 and intermediate logics"],"weko_creator_id":"1","weko_shared_id":2},"updated":"2022-12-19T03:46:33.413516+00:00"}