室屋 晃子

Last Update: 2019/10/16 13:44:25

Print

Name(Kanji/Kana/Abecedarium Latinum)
室屋 晃子/ムロヤ コウコ/Muroya, Koko
Primary Affiliation(Org1/Job title)
Research Institute for Mathematical Sciences (RIMS)/Assistant Professor
Academic Degree
Field(Japanese) Field(English) University(Japanese) University(English) Method
修士(情報理工学) Master of Information Science and Technology 東京大学 University of Tokyo
Graduate School
University(Japanese) University(English) Faculty(Japanese) Faculty(English) Major(Japanese) Major(English) Degree
バーミンガム大学 University of Birmingham コンピュータ科学専攻博士課程 School of Computer Science
東京大学 University of Tokyo 大学院情報理工学系研究科コンピュータ科学専攻修士課程 Graduate School of Information Science and Technology Department of Computer Science 修了
Undergraduate School / Major(s)
University(Japanese) University(English) Faculty(Japanese) Faculty(English) Major(s)(Japanese) Major(s)(English) Degree
東京大学 University of Tokyo 理学部情報科学科 School of Science Department of Information Science 卒業
Personal Website(s) (URL(s))
URL
http://www.kurims.kyoto-u.ac.jp/~kmuroya/
researchmap URL
https://researchmap.jp/koko_m
Research Topics
(Japanese)
ネットワークの戦略的書き換えによるプログラム意味論
(English)
strategical network rewriting as programming language semantics
Overview of the research
(Japanese)
ネットワーク書き換えと情報フローという二つの意味論手法を組み合わせた数理モデルを用いて、プログラミング言語の意味論に関する研究を行っている。特に、プログラムの実行結果、実行コスト、そして計算過程そのものの利用、といった様々な性質を捉えることのできる実行の数理的モデル、また言語設計を得ることを目標にしている。
(English)
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.
Fields of research (key words)
Key words(Japanese) Key words(English)
プログラミング言語理論 Theory of programming languages
Published Papers
Author Author(Japanese) Author(English) Title Title(Japanese) Title(English) Bibliography Bibliography(Japanese) Bibliography(English) Publication date Refereed paper Language Publishing type Disclose
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 Refereed Research paper(international conference proceedings) Disclose to all
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 Refereed Research paper(international conference proceedings) Disclose to all
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 Refereed Research paper(international conference proceedings) Disclose to all
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 Refereed Research paper(international conference proceedings) Disclose to all
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 Refereed Research paper(international conference proceedings) Disclose to all
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 Refereed Research paper(international conference proceedings) Disclose to all
Title language:
Conference Activities & Talks
Title Title(Japanese) Title(English) Conference Conference(Japanese) Conference(English) Promotor Promotor(Japanese) Promotor(English) Date Language Assortment Disclose
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 English Oral presentation(invited, special) Disclose to all
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 English Oral presentation(general) Disclose to all
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 English Oral presentation(general) Disclose to all
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 English Oral presentation(general) Disclose to all
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 English Oral presentation(general) Disclose to all
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 English Oral presentation(general) Disclose to all
Title language:
Awards
Title(Japanese) Title(English) Organization name(Japanese) Organization name(English) Date
東京大学大学院 情報理工学系研究科 研究科長賞 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
Teaching subject(s)
Name(Japanese) Name(English) Term Department Period
コンピュータサイエンス基礎 Fundamentals of Computer Science 前期 全学共通科目 2019/04-2020/03
Faculty management (title, position)
Title Period
ホームページ技術小委員会 委員 2019/04/01-