室屋晃子

Muroya Koko

所属機関・部署：
職名：特任研究員
ホームページURL (1件)： https://group-mmm.org/~koko/

研究分野 (1件)：情報学基礎論

競争的資金等の研究課題 (2件)：

論文 (9件)：

Koko Muroya, Makoto Hamana. Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual Improvement. Proceedings of the 17th International Symposium on Functional and Logic Programming (FLOPS 2024). 2024. 31-61
Steven W.T. Cheung, Dan R. Ghica, Koko Muroya. Transparent Synchronous Dataflow. The Art, Science, and Engineering of Programming. 2021. 5. 3
Koko Muroya, Dan R. Ghica. The Dynamic Geometry of Interaction Machine: a Token-Guided Graph Rewriter. Logical Methods in Computer Science. 2019. 15(4)
Steven Cheung, Victor Darvariu, Dan R. Ghica, Koko Muroya, Reuben N. S. Rowe. 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). 2018. 10818. 84-98
Koko Muroya, Steven W. T. Cheung, Dan R. Ghica. 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. 2018. 749-758

講演・口頭発表等 (11件)：

Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual Improvement
(FLOPS 2024 2024)
Preorder-Constrained Simulation for Program Refinement with Effects
(CMCS 2024 2024)
プログラムを質的かつ量的に比較する
(日本ソフトウェア学会第40回大会 40周年企画セッション「若手研究者特別講演」 2023)
Hypernet Semantics and Robust Observational Equivalence
(CMCS 2020 2020)
Local Reasoning for Robust Observational Equivalence
(STRING 3 and SYCO 5 2019)

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

室屋 晃子