WEKO3
アイテム
{"_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": ["19"]}, "author_link": ["12252", "12253", "12251"], "item_1_biblio_info_21": {"attribute_name": "書誌情報(ソート用)", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2023-03-24", "bibliographicIssueDateType": "Issued"}, "bibliographic_titles": [{}]}]}, "item_1_creator_2": {"attribute_name": "著者名", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "小森田, 祐一"}], "nameIdentifiers": [{"nameIdentifier": "12251", "nameIdentifierScheme": "WEKO"}]}]}, "item_1_creator_3": {"attribute_name": "フリガナ", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "コモリダ, ユウイチ"}], "nameIdentifiers": [{"nameIdentifier": "12252", "nameIdentifierScheme": "WEKO"}]}]}, "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_1": {"attribute_name": "ID", "attribute_value_mlt": [{"subitem_description": "20220080", "subitem_description_type": "Other"}]}, "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_16": {"attribute_name": "複写", "attribute_value_mlt": [{"subitem_select_item": "公開希望日以降"}]}, "item_1_select_17": {"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": [{"nameIdentifier": "12253", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2023-04-28"}], "displaytype": "simple", "download_preview_message": "", "file_order": 0, "filename": "甲2415.pdf", "filesize": [{"value": "272.0 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_11", "mimetype": "application/pdf", "size": 272000.0, "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", "download_preview_message": "", "file_order": 1, "filename": "A2415本文.pdf", "filesize": [{"value": "1.1 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_11", "mimetype": "application/pdf", "size": 1100000.0, "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"], "permalink_uri": "https://ir.soken.ac.jp/records/6660", "pubdate": {"attribute_name": "公開日", "attribute_value": "2023-04-28"}, "publish_date": "2023-04-28", "publish_status": "0", "recid": "6660", "relation": {}, "relation_version_is_last": true, "title": ["Fibrational Theory of Behaviors and Observations: Bisimulation, Logic, and Games from Modalities(ファイバー圏によるシステムの挙動と観測の数理:様相を通じた双模倣・ゲーム・論理の統一的理論)"], "weko_shared_id": -1}
Fibrational Theory of Behaviors and Observations: Bisimulation, Logic, and Games from Modalities(ファイバー圏によるシステムの挙動と観測の数理:様相を通じた双模倣・ゲーム・論理の統一的理論)
https://ir.soken.ac.jp/records/6660
https://ir.soken.ac.jp/records/6660c8686b64-a164-4b3b-ba2c-6bf23c65052f
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
||
![]() |
Item type | 学位論文 / Thesis or Dissertation(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2023-04-28 | |||||
タイトル | ||||||
タイトル | Fibrational Theory of Behaviors and Observations: Bisimulation, Logic, and Games from Modalities(ファイバー圏によるシステムの挙動と観測の数理:様相を通じた双模倣・ゲーム・論理の統一的理論) | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | Fibrational Theory of Behaviors and Observations: Bisimulation, Logic, and Games from Modalities | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_db06 | |||||
資源タイプ | doctoral thesis | |||||
アクセス権 | ||||||
アクセス権 | open access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
著者名 |
小森田, 祐一
× 小森田, 祐一 |
|||||
フリガナ |
コモリダ, ユウイチ
× コモリダ, ユウイチ |
|||||
著者 |
KOMORIDA, Yuichi
× KOMORIDA, Yuichi |
|||||
学位授与機関 | ||||||
学位授与機関識別子Scheme | kakenhi | |||||
学位授与機関識別子 | 12702 | |||||
学位授与機関名 | 総合研究大学院大学 | |||||
学位名 | ||||||
学位名 | 博士(情報学) | |||||
学位記番号 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 総研大甲第2415号 | |||||
研究科 | ||||||
値 | 複合科学研究科 | |||||
専攻 | ||||||
値 | 17 情報学専攻 | |||||
学位授与年月日 | ||||||
学位授与年月日 | 2023-03-24 | |||||
学位授与年度 | ||||||
2022 | ||||||
学位授与番号 | ||||||
学位授与番号 | 甲第2415号 | |||||
所蔵 | ||||||
値 | 無 | |||||
フォーマット | ||||||
内容記述タイプ | Other | |||||
内容記述 | application/pdf | |||||
著者版フラグ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 |