Geometry of Parallelism : A Uniform Analysis of Evaluation Strategies and Effects by Synchronous Interaction Abstract Machine 利用統計を見る

JaLC DOI	info:doi/10.15083/00077726
アイテムタイプ	学位論文 / Thesis or Dissertation
言語	英語
その他のタイトル	並行性の幾何 : 同期付き相互作用抽象機械による評価戦略および副作用の統一的な解析
著者	由水輝
著者別名	Yoshimizu Akira
著者所属	情報理工学系研究科コンピュータ科学専攻
内容記述	学位の種別: 課程博士審査委員会委員 : （主査）東京大学教授小林直樹, 東京大学教授萩谷昌己, 東京大学教授今井浩, 国立情報学研究所教授高野明彦, 東京大学准教授吉本芳英
発行年	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号

UTokyo Repository