本資料は、掲載誌(URI)等のリンク先にある学位授与機関のWebサイトやCiNii Dissertationsから、本文を自由に閲覧できる場合があります。
国立国会図書館館内限定公開
収録元データベースで確認する
国立国会図書館デジタルコレクション
デジタルデータあり
書店で探す
障害者向け資料で読む
目次
2023-09-07 再収集
2023-09-07 再収集
書店で探す
障害者向け資料で読む
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 博士論文
- タイトル
- 著者・編者
- 小森田, 祐一コモリダ, ユウイチYuichi, KOMORIDA
- 出版年月日等
- 2023-03-24
- 出版年(W3CDTF)
- 2023-03-24
- 並列タイトル等
- Fibrational Theory of Behaviors and Observations: Bisimulation, Logic, and Games from Modalities(ファイバー圏によるシステムの挙動と観測の数理:様相を通じた双模倣・ゲーム・論理の統一的理論)
- 授与機関名
- 総合研究大学院大学
- 授与年月日
- 2023-03-24
- 授与年月日(W3CDTF)
- 2023-03-24