Rchr
J-GLOBAL ID：201801010581369054
Update date: Sep. 20, 2024
Muroya Koko
Muroya Koko
Affiliation and department：
Job title：
Project Researcher
Homepage URL (1)：
https://group-mmm.org/~koko/
Research field (1)：
Information theory
Research theme for competitive and other funds (2)：
- 2022 - 2025 プログラムの模倣合同性の危険対解析による自動判定
- 2015 - 2019 Probabilistic Extension of Geometry of Interaction--from Categorical Semantics to Big Data
Papers (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
ｍore...
Lectures and oral presentations (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)
ｍore...
Return to Previous Page
