室屋 晃子

最終更新日時: 2019/10/16 13:44:25

印刷する

氏名(漢字/フリガナ/アルファベット表記)
室屋 晃子/ムロヤ コウコ/Muroya, Koko
所属部署・職名(部局/所属/講座等/職名)
数理解析研究所/応用数理研究部門/助教
取得学位
学位名(日本語) 学位名(英語) 大学(日本語) 大学(英語) 取得区分
修士(情報理工学) Master of Information Science and Technology 東京大学 University of Tokyo
出身大学院・研究科等
大学名(日本語) 大学名(英語) 研究科名(日本語) 研究科名(英語) 専攻名(日本語) 専攻名(英語) 修了区分
バーミンガム大学 University of Birmingham コンピュータ科学専攻博士課程 School of Computer Science
東京大学 University of Tokyo 大学院情報理工学系研究科コンピュータ科学専攻修士課程 Graduate School of Information Science and Technology Department of Computer Science 修了
出身学校・専攻等
大学名(日本語) 大学名(英語) 学部名(日本語) 学部名(英語) 学科名(日本語) 学科名(英語) 卒業区分
東京大学 University of Tokyo 理学部情報科学科 School of Science Department of Information Science 卒業
個人ホームページ
URL
http://www.kurims.kyoto-u.ac.jp/~kmuroya/
researchmap URL
https://researchmap.jp/7000023089
研究テーマ
(日本語)
ネットワークの戦略的書き換えによるプログラム意味論
(英語)
strategical network rewriting as programming language semantics
研究概要
(日本語)
ネットワーク書き換えと情報フローという二つの意味論手法を組み合わせた数理モデルを用いて、プログラミング言語の意味論に関する研究を行っている。特に、プログラムの実行結果、実行コスト、そして計算過程そのものの利用、といった様々な性質を捉えることのできる実行の数理的モデル、また言語設計を得ることを目標にしている。
(英語)
My research is based around semantics of programming languages, in particular those for various properties of programs: execution result, execution cost, and manipulation of computation process itself. Using a combination of two semantical frameworks, network rewriting and information flow, I am aiming at both an execution model and a language design for computation that involves not one but several properties of programs.
研究分野(キーワード)
キーワード(日本語) キーワード(英語)
プログラミング言語理論 Theory of programming languages
論文
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 書誌情報等 書誌情報等(日本語) 書誌情報等(英語) 出版年月 査読の有無 記述言語 掲載種別 公開
Steven W. T. Cheung,Victor Darvariu,Dan R. Ghica,Koko Muroya,Reuben N. S. Rowe Steven W. T. Cheung,Victor Darvariu,Dan R. Ghica,Koko Muroya,Reuben N. S. Rowe Steven W. T. Cheung,Victor Darvariu,Dan R. Ghica,Koko Muroya,Reuben N. S. Rowe A Functional Perspective on Machine Learning via Programmable Induction and Abduction. A Functional Perspective on Machine Learning via Programmable Induction and Abduction. A Functional Perspective on Machine Learning via Programmable Induction and Abduction. Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, 84-98 Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, 84-98 Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, 84-98 2018 研究論文(国際会議プロシーディングス) 公開
Koko Muroya,Steven W. T. Cheung,Dan R. Ghica Koko Muroya,Steven W. T. Cheung,Dan R. Ghica Koko Muroya,Steven W. T. Cheung,Dan R. Ghica The Geometry of Computation-Graph Abstraction. The Geometry of Computation-Graph Abstraction. The Geometry of Computation-Graph Abstraction. Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, 749-758 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, 749-758 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, 749-758 2018 研究論文(国際会議プロシーディングス) 公開
Koko Muroya,Dan R. Ghica Koko Muroya,Dan R. Ghica Koko Muroya,Dan R. Ghica The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter. The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter. The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter. 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, 32:1-32:15 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, 32:1-32:15 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, 32:1-32:15 2017 研究論文(国際会議プロシーディングス) 公開
Koko Muroya,Dan R. Ghica Koko Muroya,Dan R. Ghica Koko Muroya,Dan R. Ghica Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting. Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting. Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting. Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford, UK, 8th September 2017., 52-66 Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford, UK, 8th September 2017., 52-66 Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford, UK, 8th September 2017., 52-66 2017 研究論文(国際会議プロシーディングス) 公開
Koko Muroya,Naohiko Hoshino,Ichiro Hasuo Koko Muroya,Naohiko Hoshino,Ichiro Hasuo Koko Muroya,Naohiko Hoshino,Ichiro Hasuo Memoryful geometry of interaction II: recursion and adequacy. Memoryful geometry of interaction II: recursion and adequacy. Memoryful geometry of interaction II: recursion and adequacy. Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, 748-760 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, 748-760 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, 748-760 2016 研究論文(国際会議プロシーディングス) 公開
Naohiko Hoshino,Koko Muroya,Ichiro Hasuo Naohiko Hoshino,Koko Muroya,Ichiro Hasuo Naohiko Hoshino,Koko Muroya,Ichiro Hasuo Memoryful geometry of interaction: from coalgebraic components to algebraic effects. Memoryful geometry of interaction: from coalgebraic components to algebraic effects. Memoryful geometry of interaction: from coalgebraic components to algebraic effects. Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, 52:1-52:10 Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, 52:1-52:10 Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, 52:1-52:10 2014 研究論文(国際会議プロシーディングス) 公開
タイトル言語:
講演・口頭発表等
タイトル タイトル(日本語) タイトル(英語) 会議名 会議名(日本語) 会議名(英語) 主催者 主催者(日本語) 主催者(英語) 開催年月日 記述言語 会議種別 公開
Diagrammatic Execution Models for Functional Languages Diagrammatic Execution Models for Functional Languages Diagrammatic Execution Models for Functional Languages Lambda World Cadiz 2018 Lambda World Cadiz 2018 Lambda World Cadiz 2018 2018/10/25 英語 口頭発表(招待・特別) 公開
The Geometry of Computation-Graph Abstraction The Geometry of Computation-Graph Abstraction The Geometry of Computation-Graph Abstraction LICS 2018 LICS 2018 LICS 2018 2018/07/12 英語 口頭発表(一般) 公開
A Functional Perspective on Machine Learning via Programmable Induction and Abduction A Functional Perspective on Machine Learning via Programmable Induction and Abduction A Functional Perspective on Machine Learning via Programmable Induction and Abduction FLOPS 2018 FLOPS 2018 FLOPS 2018 2018/05/09 英語 口頭発表(一般) 公開
Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting WPTE 2017 WPTE 2017 WPTE 2017 2017/09/08 英語 口頭発表(一般) 公開
The Dynamic Geometry of Interaction Machine: a Call-by-Need Graph Rewriter The Dynamic Geometry of Interaction Machine: a Call-by-Need Graph Rewriter The Dynamic Geometry of Interaction Machine: a Call-by-Need Graph Rewriter CSL 2017 CSL 2017 CSL 2017 2017/09/07 英語 口頭発表(一般) 公開
Memoryful Geometry of Interaction II: Recursion and Adequacy Memoryful Geometry of Interaction II: Recursion and Adequacy Memoryful Geometry of Interaction II: Recursion and Adequacy POPL 2016 POPL 2016 POPL 2016 2016/01/22 英語 口頭発表(一般) 公開
タイトル言語:
学術賞等
賞の名称(日本語) 賞の名称(英語) 授与組織名(日本語) 授与組織名(英語) 年月
東京大学大学院 情報理工学系研究科 研究科長賞 Dean's Award of Graduate School of Information Science and Technology, University of Tokyo 東京大学大学院 情報理工学系研究科 Graduate School of Information Science and Technology, University of Tokyo 2016/03/24
担当科目
講義名(日本語) 講義名(英語) 開講期 学部/研究科 年度
コンピュータサイエンス基礎 Fundamentals of Computer Science 前期 全学共通科目 2019/04〜2020/03
部局運営(役職等)
役職名 期間
ホームページ技術小委員会 委員 2019/04/01〜