WEKO3
アイテム
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
名前 / ファイル | ライセンス | アクション |
---|---|---|
要旨・審査要旨 / Abstract, Screening Result (272.0 kB)
|
||
本文 / Thesis (1.1 MB)
|
Item type | 学位論文 / Thesis or Dissertation(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2023-04-28 | |||||
タイトル | ||||||
タイトル | Fibrational Theory of Behaviors and Observations: Bisimulation, Logic, and Games from Modalities(ファイバー圏によるシステムの挙動と観測の数理:様相を通じた双模倣・ゲーム・論理の統一的理論) | |||||
タイトル | ||||||
タイトル | Fibrational Theory of Behaviors and Observations: Bisimulation, Logic, and Games from Modalities | |||||
言語 | en | |||||
言語 | ||||||
言語 | 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 |