Rchr
J-GLOBAL ID：201801010581369054
Update date: Jan. 30, 2024
Muroya Koko
Muroya Koko
Affiliation and department：
Homepage URL (1)：
http://www.kurims.kyoto-u.ac.jp/~kmuroya/
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)：
-
Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, Ichiro Hasuo. Explicit Hopcroft's Trick in Categorical Partition Refinement. CoRR. 2023. abs/2307.15261
-
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 (8)：
-
Hypernet Semantics and Robust Observational Equivalence
(CMCS 2020 2020)
-
Local Reasoning for Robust Observational Equivalence
(STRING 3 and SYCO 5 2019)
-
Diagrammatic Execution Models for Functional Languages
(Lambda World Cadiz 2018 2018)
-
The Geometry of Computation-Graph Abstraction
(LICS 2018 2018)
-
A Functional Perspective on Machine Learning via Programmable Induction and Abduction
(FLOPS 2018 2018)
ｍore...
Return to Previous Page
