WEKO3
アイテム
Geometry of Parallelism : A Uniform Analysis of Evaluation Strategies and Effects by Synchronous Interaction Abstract Machine
https://doi.org/10.15083/00077726
https://doi.org/10.15083/000777261b995f13-8fb1-4102-9473-ab5e5d60d5e7
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
A34427.pdf (2.8 MB)
|
|
|
|
A34427_abstract.pdf (95.3 kB)
|
|
|
|
A34427_review.pdf (144.2 kB)
|
|
| Item type | 学位論文 / Thesis or Dissertation(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2019-09-19 | |||||
| タイトル | ||||||
| タイトル | Geometry of Parallelism : A Uniform Analysis of Evaluation Strategies and Effects by Synchronous Interaction Abstract Machine | |||||
| 言語 | ||||||
| 言語 | eng | |||||
| 資源タイプ | ||||||
| 資源 | http://purl.org/coar/resource_type/c_46ec | |||||
| タイプ | thesis | |||||
| ID登録 | ||||||
| ID登録 | 10.15083/00077726 | |||||
| ID登録タイプ | JaLC | |||||
| その他のタイトル | ||||||
| その他のタイトル | 並行性の幾何 : 同期付き相互作用抽象機械による評価戦略および副作用の統一的な解析 | |||||
| 著者 |
由水, 輝
× 由水, 輝 |
|||||
| 著者別名 | ||||||
| 識別子Scheme | WEKO | |||||
| 識別子 | 156981 | |||||
| 姓名 | Yoshimizu, Akira | |||||
| 著者所属 | ||||||
| 著者所属 | 情報理工学系研究科コンピュータ科学専攻 | |||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 学位の種別: 課程博士 | |||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 審査委員会委員 : （主査）東京大学教授 小林 直樹, 東京大学教授 萩谷 昌己, 東京大学教授 今井 浩, 国立情報学研究所教授 高野 明彦, 東京大学准教授 吉本 芳英 | |||||
| 書誌情報 | 発行日 2017-11-16 | |||||
| 著者版フラグ | ||||||
| 値 | ETD | |||||
| 学位名 | ||||||
| 学位名 | 博士(情報理工学) | |||||
| 学位 | ||||||
| 値 | doctoral | |||||
| 学位授与機関 | ||||||
| 学位授与機関名 | University of Tokyo(東京大学) | |||||
| 研究科・専攻 | ||||||
| Department of Computer Science, Graduate School of Information Science and Technology (情報理工学系研究科コンピュータ科学専攻) | ||||||
| 学位授与年月日 | ||||||
| 学位授与年月日 | 2017-11-16 | |||||
| 学位授与番号 | ||||||
| 学位授与番号 | 12601甲第34427号 | |||||
| 学位記番号 | ||||||
| 博情第628号 | ||||||
