室屋 晃子

最終更新日時: 2021/06/29 18:06:17

印刷する

氏名(漢字/フリガナ/アルファベット表記)
室屋 晃子/ムロヤ コウコ/Muroya, Koko
所属部署・職名(部局/所属/講座等/職名)
数理解析研究所/応用数理研究部門/助教
協力講座
部局 所属 講座等 職名
理学研究科 数学・数理解析専攻 解析数理講座 助教
取得学位
学位名(日本語) 学位名(英語) 大学(日本語) 大学(英語) 取得区分
修士(情報理工学) Master of Information Science and Technology 東京大学 University of Tokyo
Doctor of Philosophy バーミンガム大学
出身大学院・研究科等
大学名(日本語) 大学名(英語) 研究科名(日本語) 研究科名(英語) 専攻名(日本語) 専攻名(英語) 修了区分
バーミンガム大学 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/koko_m
研究テーマ
(日本語)
ネットワークの戦略的書き換えによるプログラム意味論
(英語)
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, 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 研究論文(学術雑誌) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 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, 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, 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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
タイトル言語:
講演・口頭発表等
タイトル タイトル(日本語) タイトル(英語) 会議名 会議名(日本語) 会議名(英語) 主催者 主催者(日本語) 主催者(英語) 発表年月日 記述言語 会議種別 公開
Hypernet Semantics and Robust Observational Equivalence[招待あり] Hypernet Semantics and Robust Observational Equivalence [招待あり] Hypernet Semantics and Robust Observational Equivalence [招待あり] CMCS 2020 CMCS 2020 CMCS 2020 2020/10/12 口頭発表(招待・特別) 公開
Local Reasoning for Robust Observational Equivalence[招待あり] Local Reasoning for Robust Observational Equivalence [招待あり] Local Reasoning for Robust Observational Equivalence [招待あり] STRING 3 and SYCO 5 STRING 3 and SYCO 5 STRING 3 and SYCO 5 2019/09/06 公開
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
コンピュータサイエンス基礎 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
部局運営(役職等)
役職名 期間
ホームページ技術小委員会 委員 2019/04/01〜