{"created":"2023-03-24T09:51:37.180689+00:00","id":2007206,"links":{},"metadata":{"_buckets":{"deposit":"a9bf9b7a-d089-4e73-bfa5-b555f712b417"},"_deposit":{"id":"2007206","owner":"1","owners":[1],"pid":{"revision_id":0,"type":"depid","value":"2007206"},"status":"published"},"_oai":{"id":"oai:repository.dl.itc.u-tokyo.ac.jp:02007206","sets":["34:95:465","9:233:280"]},"author_link":[],"item_1623978586063":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_type":"VoR"}]},"item_7_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2021-03-19","bibliographicIssueDateType":"Issued"}}]},"item_7_date_granted_25":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"2021-03-19"}]},"item_7_degree_grantor_23":{"attribute_name":"学位授与機関","attribute_value_mlt":[{"subitem_degreegrantor":[{"subitem_degreegrantor_language":"ja","subitem_degreegrantor_name":"東京大学"},{"subitem_degreegrantor_language":"en","subitem_degreegrantor_name":"The University of Tokyo"}],"subitem_degreegrantor_identifier":[{"subitem_degreegrantor_identifier_name":"12601","subitem_degreegrantor_identifier_scheme":"kakenhi"}]}]},"item_7_degree_name_20":{"attribute_name":"学位名","attribute_value_mlt":[{"subitem_degreename":"博士(情報理工学)","subitem_degreename_language":"ja"}]},"item_7_description_6":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"学位の種別: 課程博士","subitem_description_language":"ja","subitem_description_type":"Other"},{"subitem_description":"審査委員会委員 : （主査）東京大学教授 萩谷 昌己, 東京大学教授 高野 明彦, 東京大学教授 宮尾 祐介, 東京大学准教授 高前田 伸也, 京都大学教授 長谷川 真人","subitem_description_language":"ja","subitem_description_type":"Other"}]},"item_7_dissertation_number_26":{"attribute_name":"学位授与番号","attribute_value_mlt":[{"subitem_dissertationnumber":"甲第38458号"}]},"item_7_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.15083/0002007206","subitem_identifier_reg_type":"JaLC"}]},"item_7_text_24":{"attribute_name":"研究科・専攻","attribute_value_mlt":[{"subitem_text_value":"Department of Computer Science, Graduate School of Information Science and Technology (情報理工学系研究科コンピュータ科学専攻)"}]},"item_7_text_27":{"attribute_name":"学位記番号","attribute_value_mlt":[{"subitem_text_language":"ja","subitem_text_value":"博情第742号"}]},"item_7_text_4":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_language":"ja","subitem_text_value":"情報理工学系研究科コンピュータ科学専攻"}]},"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":[{"creatorAffiliations":[{"affiliationNames":[{"affiliationName":"東京大学","affiliationNameLang":"ja"},{"affiliationName":"The University of Tokyo","affiliationNameLang":"en"}]}],"creatorNames":[{"creatorName":"酒寄, 健","creatorNameLang":"ja"},{"creatorName":"Sakayori, Ken","creatorNameLang":"en"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_access","date":[{"dateType":"Available","dateValue":"2023-03-24"}],"displaytype":"detail","filename":"A38458.pdf","filesize":[{"value":"747.6KB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"objectType":"fulltext","url":"https://repository.dl.itc.u-tokyo.ac.jp/record/2007206/files/A38458.pdf"},"version_id":"ea517532-5677-480d-92fd-342d418dc979"},{"accessrole":"open_access","date":[{"dateType":"Available","dateValue":"2023-03-24"}],"displaytype":"detail","filename":"A38458_abstract.pdf","filesize":[{"value":"524.2KB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"objectType":"abstract","url":"https://repository.dl.itc.u-tokyo.ac.jp/record/2007206/files/A38458_abstract.pdf"},"version_id":"acbe544b-751f-4bd8-869c-81c186cadc87"},{"accessrole":"open_access","date":[{"dateType":"Available","dateValue":"2023-03-24"}],"displaytype":"detail","filename":"A38458_review.pdf","filesize":[{"value":"116.7KB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"objectType":"other","url":"https://repository.dl.itc.u-tokyo.ac.jp/record/2007206/files/A38458_review.pdf"},"version_id":"d57cd242-8cad-4aad-8c2b-56e5661e5664"}]},"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":"A Categorical and Logical Analysis of the π-calculus","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"A Categorical and Logical Analysis of the π-calculus","subitem_title_language":"en"},{"subitem_title":"π計算の圏論的および論理的分析","subitem_title_language":"ja"}]},"item_type_id":"7","owner":"1","path":["465","280"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2023-03-24"},"publish_date":"2023-03-24","publish_status":"0","recid":"2007206","relation_version_is_last":true,"title":["A Categorical and Logical Analysis of the π-calculus"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-03-24T09:51:58.160487+00:00"}