室屋 晃子

Last Update: 2021/06/29 18:06:17

Print

Name(Kanji/Kana/Abecedarium Latinum)
室屋 晃子/ムロヤ コウコ/Muroya, Koko
Primary Affiliation(Org1/Job title)
Research Institute for Mathematical Sciences (RIMS)/Assistant Professor
Affiliated programs (koza)
Org1 Job title
Graduate School of Science Assistant Professor
Academic Degree
Field(Japanese) Field(English) University(Japanese) University(English) Method
修士(情報理工学) Master of Information Science and Technology 東京大学 University of Tokyo
Doctor of Philosophy バーミンガム大学
Academic Resume (Graduate Schools)
University(Japanese) University(English) Faculty(Japanese) Faculty(English) Major(Japanese) Major(English) Completion Status
バーミンガム大学 University of Birmingham コンピュータ科学専攻博士課程 School of Computer Science 卒業
東京大学 University of Tokyo 大学院情報理工学系研究科コンピュータ科学専攻修士課程 Graduate School of Information Science and Technology Department of Computer Science 修了
Academic Resume (Undergraduate School/Majors)
University(Japanese) University(English) Faculty(Japanese) Faculty(English) Major(s)(Japanese) Major(s)(English) Completion Status
東京大学 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, Dan R. Ghica, Koko Muroya Steven W.T. Cheung, Dan R. Ghica, Koko Muroya Steven W.T. Cheung, Dan R. Ghica, Koko Muroya Transparent Synchronous Dataflow Transparent Synchronous Dataflow Transparent Synchronous Dataflow The Art, Science, and Engineering of Programming, 5, 3 The Art, Science, and Engineering of Programming, 5, 3 The Art, Science, and Engineering of Programming, 5, 3 2021/02/28 Refereed Research paper(scientific journal) 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 Token-Guided Graph Rewriter. The Dynamic Geometry of Interaction Machine: a Token-Guided Graph Rewriter. The Dynamic Geometry of Interaction Machine: a Token-Guided Graph Rewriter. Logical Methods in Computer Science, 15(4) Logical Methods in Computer Science, 15(4) Logical Methods in Computer Science, 15(4) 2019/10 Refereed English Research paper(scientific journal) Disclose to all
Steven Cheung, Victor Darvariu, Dan R. Ghica, Koko Muroya, Reuben N. S. Rowe Steven Cheung, Victor Darvariu, Dan R. Ghica, Koko Muroya, Reuben N. S. Rowe Steven 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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10818, 84-98 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10818, 84-98 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10818, 84-98 2018 Refereed English 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 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, 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, 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 ACM SIGPLAN Notices, 51, 1, 748-760 ACM SIGPLAN Notices, 51, 1, 748-760 ACM SIGPLAN Notices, 51, 1, 748-760 2016/04/08 Refereed English Research paper(scientific journal) 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 Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 20-22-, 748-760 Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 20-22-, 748-760 Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 20-22-, 748-760 2016/01/11 Refereed English 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 ACM SIGPLAN NOTICES, 51, 1, 748-760 ACM SIGPLAN NOTICES, 51, 1, 748-760 ACM SIGPLAN NOTICES, 51, 1, 748-760 2016/01 Refereed English Research paper(scientific journal) 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 Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014, 52:1-52:10 Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014, 52:1-52:10 Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014, 52:1-52:10 2014 Refereed English 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
Hypernet Semantics and Robust Observational Equivalence[Invited] Hypernet Semantics and Robust Observational Equivalence [Invited] Hypernet Semantics and Robust Observational Equivalence [Invited] CMCS 2020 CMCS 2020 CMCS 2020 2020/10/12 Oral presentation(invited, special) Disclose to all
Local Reasoning for Robust Observational Equivalence[Invited] Local Reasoning for Robust Observational Equivalence [Invited] Local Reasoning for Robust Observational Equivalence [Invited] STRING 3 and SYCO 5 STRING 3 and SYCO 5 STRING 3 and SYCO 5 2019/09/06 Disclose to all
Diagrammatic Execution Models for Functional Languages[Invited] Diagrammatic Execution Models for Functional Languages [Invited] Diagrammatic Execution Models for Functional Languages [Invited] 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
コンピュータサイエンス基礎 Fundamentals of Computer Science 前期 全学共通科目 2020/04-2021/03
現代の数学と数理解析-基礎概念とその諸科学への広がり Invitation to Modern Mathematics and Mathematical Sciences - Basic concepts and their role in various sciences 前期 全学共通科目 2020/04-2021/03
コンピュータサイエンス基礎 Fundamentals of Computer Science 前期 全学共通科目 2021/04-2022/03
Faculty management (title, position)
Title Period
ホームページ技術小委員会 委員 2019/04/01-