{"created":"2021-03-01T07:13:59.693691+00:00","id":52609,"links":{},"metadata":{"_buckets":{"deposit":"f40479bc-cdd7-4af5-b5fb-c38df8b3ef4e"},"_deposit":{"id":"52609","owners":[],"pid":{"revision_id":0,"type":"depid","value":"52609"},"status":"published"},"_oai":{"id":"oai:repository.dl.itc.u-tokyo.ac.jp:00052609","sets":["34:95:465","9:233:280"]},"item_7_alternative_title_1":{"attribute_name":"その他のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"並行性の幾何 : 同期付き相互作用抽象機械による評価戦略および副作用の統一的な解析"}]},"item_7_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2017-11-16","bibliographicIssueDateType":"Issued"},"bibliographic_titles":[{}]}]},"item_7_date_granted_25":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"2017-11-16"}]},"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_description_6":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"学位の種別: 課程博士","subitem_description_type":"Other"},{"subitem_description":"審査委員会委員 : （主査）東京大学教授 小林 直樹, 東京大学教授 萩谷 昌己, 東京大学教授 今井 浩, 国立情報学研究所教授 高野 明彦, 東京大学准教授 吉本 芳英","subitem_description_type":"Other"}]},"item_7_dissertation_number_26":{"attribute_name":"学位授与番号","attribute_value_mlt":[{"subitem_dissertationnumber":"12601甲第34427号"}]},"item_7_full_name_3":{"attribute_name":"著者別名","attribute_value_mlt":[{"nameIdentifiers":[{"nameIdentifier":"156981","nameIdentifierScheme":"WEKO"}],"names":[{"name":"Yoshimizu, Akira"}]}]},"item_7_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.15083/00077726","subitem_identifier_reg_type":"JaLC"}]},"item_7_select_12":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_select_item":"ETD"}]},"item_7_select_21":{"attribute_name":"学位","attribute_value_mlt":[{"subitem_select_item":"doctoral"}]},"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_value":"博情第628号"}]},"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":"156980","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2019-09-19"}],"displaytype":"detail","filename":"A34427.pdf","filesize":[{"value":"2.8 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"A34427.pdf","url":"https://repository.dl.itc.u-tokyo.ac.jp/record/52609/files/A34427.pdf"},"version_id":"4b082feb-d86b-4274-899c-c6fd41364921"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2019-09-19"}],"displaytype":"detail","filename":"A34427_abstract.pdf","filesize":[{"value":"95.3 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"A34427_abstract.pdf","url":"https://repository.dl.itc.u-tokyo.ac.jp/record/52609/files/A34427_abstract.pdf"},"version_id":"db24ea3c-57db-4ebc-bf6a-d70bcf26abc4"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2019-09-19"}],"displaytype":"detail","filename":"A34427_review.pdf","filesize":[{"value":"144.2 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"A34427_review.pdf","url":"https://repository.dl.itc.u-tokyo.ac.jp/record/52609/files/A34427_review.pdf"},"version_id":"4d7ce959-c789-46e5-ab5b-894126fa069b"}]},"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":"Geometry of Parallelism : A Uniform Analysis of Evaluation Strategies and Effects by Synchronous Interaction Abstract Machine","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Geometry of Parallelism : A Uniform Analysis of Evaluation Strategies and Effects by Synchronous Interaction Abstract Machine"}]},"item_type_id":"7","owner":"1","path":["280","465"],"pubdate":{"attribute_name":"公開日","attribute_value":"2019-09-19"},"publish_date":"2019-09-19","publish_status":"0","recid":"52609","relation_version_is_last":true,"title":["Geometry of Parallelism : A Uniform Analysis of Evaluation Strategies and Effects by Synchronous Interaction Abstract Machine"],"weko_creator_id":"1","weko_shared_id":null},"updated":"2022-12-19T04:29:10.382638+00:00"}