{"created":"2023-06-20T13:24:53.611886+00:00","id":6660,"links":{},"metadata":{"_buckets":{"deposit":"e5815930-dcbb-4c79-8658-6282860cb90c"},"_deposit":{"created_by":24,"id":"6660","owners":[24],"pid":{"revision_id":0,"type":"depid","value":"6660"},"status":"published"},"_oai":{"id":"oai:ir.soken.ac.jp:00006660","sets":["2:429:19"]},"author_link":["12252","12253","12251"],"item_1_creator_2":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"小森田, 祐一"}],"nameIdentifiers":[{}]}]},"item_1_creator_3":{"attribute_name":"フリガナ","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"コモリダ, ユウイチ"}],"nameIdentifiers":[{}]}]},"item_1_date_granted_11":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"2023-03-24"}]},"item_1_degree_grantor_5":{"attribute_name":"学位授与機関","attribute_value_mlt":[{"subitem_degreegrantor":[{"subitem_degreegrantor_name":"総合研究大学院大学"}],"subitem_degreegrantor_identifier":[{"subitem_degreegrantor_identifier_name":"12702","subitem_degreegrantor_identifier_scheme":"kakenhi"}]}]},"item_1_degree_name_6":{"attribute_name":"学位名","attribute_value_mlt":[{"subitem_degreename":"博士（情報学）"}]},"item_1_description_18":{"attribute_name":"フォーマット","attribute_value_mlt":[{"subitem_description":"application/pdf","subitem_description_type":"Other"}]},"item_1_description_7":{"attribute_name":"学位記番号","attribute_value_mlt":[{"subitem_description":"総研大甲第2415号","subitem_description_type":"Other"}]},"item_1_dissertation_number_25":{"attribute_name":"学位授与番号","attribute_value_mlt":[{"subitem_dissertationnumber":"甲第2415号"}]},"item_1_select_14":{"attribute_name":"所蔵","attribute_value_mlt":[{"subitem_select_item":"無"}]},"item_1_select_8":{"attribute_name":"研究科","attribute_value_mlt":[{"subitem_select_item":"複合科学研究科"}]},"item_1_select_9":{"attribute_name":"専攻","attribute_value_mlt":[{"subitem_select_item":"17 情報学専攻"}]},"item_1_text_10":{"attribute_name":"学位授与年度","attribute_value_mlt":[{"subitem_text_value":"2022"}]},"item_1_version_type_23":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"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":"KOMORIDA, Yuichi","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2023-04-28"}],"displaytype":"simple","filename":"甲2415.pdf","filesize":[{"value":"272.0 kB"}],"format":"application/pdf","licensetype":"license_11","mimetype":"application/pdf","url":{"label":"要旨・審査要旨 / Abstract, Screening Result","url":"https://ir.soken.ac.jp/record/6660/files/甲2415.pdf"},"version_id":"2c3fd104-d364-47eb-92ec-ca46624bce0b"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2023-04-28"}],"displaytype":"simple","filename":"A2415本文.pdf","filesize":[{"value":"1.1 MB"}],"format":"application/pdf","licensetype":"license_11","mimetype":"application/pdf","url":{"label":"本文 / Thesis","url":"https://ir.soken.ac.jp/record/6660/files/A2415本文.pdf"},"version_id":"6744d65b-b603-4780-9a1e-ac12b8c277b3"}]},"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":"Fibrational Theory of Behaviors and Observations: Bisimulation, Logic, and Games from Modalities(ファイバー圏によるシステムの挙動と観測の数理：様相を通じた双模倣・ゲーム・論理の統一的理論)","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Fibrational Theory of Behaviors and Observations: Bisimulation, Logic, and Games from Modalities(ファイバー圏によるシステムの挙動と観測の数理：様相を通じた双模倣・ゲーム・論理の統一的理論)"},{"subitem_title":"Fibrational Theory of Behaviors and Observations: Bisimulation, Logic, and Games from Modalities","subitem_title_language":"en"}]},"item_type_id":"1","owner":"24","path":["19"],"pubdate":{"attribute_name":"公開日","attribute_value":"2023-04-28"},"publish_date":"2023-04-28","publish_status":"0","recid":"6660","relation_version_is_last":true,"title":["Fibrational Theory of Behaviors and Observations: Bisimulation, Logic, and Games from Modalities(ファイバー圏によるシステムの挙動と観測の数理：様相を通じた双模倣・ゲーム・論理の統一的理論)"],"weko_creator_id":"24","weko_shared_id":-1},"updated":"2023-06-20T14:01:02.235005+00:00"}