WEKO3
アイテム
π計算の圏論的および論理的分析
https://doi.org/10.15083/0002007206
https://doi.org/10.15083/00020072069a193556-7c5e-4e22-a5f9-aa70c1156b8b
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
A38458.pdf (747.6KB)
|
|
|
|
A38458_abstract.pdf (524.2KB)
|
|
|
|
A38458_review.pdf (116.7KB)
|
|
| Item type | 学位論文 / Thesis or Dissertation(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2023-03-24 | |||||||||
| タイトル | ||||||||||
| タイトル | A Categorical and Logical Analysis of the π-calculus | |||||||||
| 言語 | en | |||||||||
| タイトル | ||||||||||
| タイトル | π計算の圏論的および論理的分析 | |||||||||
| 言語 | ja | |||||||||
| 言語 | ||||||||||
| 言語 | eng | |||||||||
| 資源タイプ | ||||||||||
| 資源 | http://purl.org/coar/resource_type/c_db06 | |||||||||
| タイプ | doctoral thesis | |||||||||
| ID登録 | ||||||||||
| ID登録 | 10.15083/0002007206 | |||||||||
| ID登録タイプ | JaLC | |||||||||
| アクセス権 | ||||||||||
| アクセス権 | open access | |||||||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||||||
| 著者 |
酒寄, 健
× 酒寄, 健
|
|||||||||
| 著者所属 | ||||||||||
| 言語 | ja | |||||||||
| 著者所属 | 情報理工学系研究科コンピュータ科学専攻 | |||||||||
| 内容記述 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | 学位の種別: 課程博士 | |||||||||
| 言語 | ja | |||||||||
| 内容記述 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | 審査委員会委員 : （主査）東京大学教授 萩谷 昌己, 東京大学教授 高野 明彦, 東京大学教授 宮尾 祐介, 東京大学准教授 高前田 伸也, 京都大学教授 長谷川 真人 | |||||||||
| 言語 | ja | |||||||||
| 書誌情報 |
発行日 2021-03-19 |
|||||||||
| 学位名 | ||||||||||
| 言語 | ja | |||||||||
| 学位名 | 博士(情報理工学) | |||||||||
| 学位授与機関 | ||||||||||
| 学位授与機関識別子Scheme | kakenhi | |||||||||
| 学位授与機関識別子 | 12601 | |||||||||
| 言語 | ja | |||||||||
| 学位授与機関名 | 東京大学 | |||||||||
| 言語 | en | |||||||||
| 学位授与機関名 | The University of Tokyo | |||||||||
| 研究科・専攻 | ||||||||||
| Department of Computer Science, Graduate School of Information Science and Technology (情報理工学系研究科コンピュータ科学専攻) | ||||||||||
| 学位授与年月日 | ||||||||||
| 学位授与年月日 | 2021-03-19 | |||||||||
| 学位授与番号 | ||||||||||
| 学位授与番号 | 甲第38458号 | |||||||||
| 学位記番号 | ||||||||||
| ja | ||||||||||
| 博情第742号 | ||||||||||
| 出版タイプ | ||||||||||
| 出版タイプ | VoR | |||||||||
