室屋晃子 (Koko Muroya) - マイポータル

基本情報

The Dynamic Geometry of Interaction Machine: a Token-Guided Graph Rewriter.

Koko Muroya, Dan R. Ghica

Logical Methods in Computer Science 15(4) 2019年10月査読有り
A functional perspective on machine learning via programmable induction and abduction

Steven Cheung, Victor Darvariu, Dan R. Ghica, Koko Muroya, Reuben N. S. Rowe

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10818 84 - 98 2018年査読有り
The Geometry of Computation-Graph Abstraction.

Koko Muroya, Steven W. T. Cheung, Dan R. Ghica

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018 749 - 758 2018年査読有り
Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting.

Koko Muroya, Dan R. Ghica

Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford, UK, 8th September 2017. 52 - 66 2017年査読有り
The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter.

Koko Muroya, Dan R. Ghica

26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden 32:1-32:15 2017年査読有り