Updated on 2025/03/24
Doctor of Philosophy in Computer Science （ 2017.5 University of Oxford ）
Modal Hyperdoctrine: Higher-Order and Non-Normal Extensions Reviewed
F. Verity and Y. Maruyama
Springer LNCS 2024
From Artificial General Intelligence to Artificial General Universe Reviewed
A. Yasuda and Y. Maruyama
Springer LNCS 2024
Category Theory for Artificial General Intelligence. Reviewed
T. Xu, V. Abbott and Y. Maruyama
Springer LNCS 2024
Human-Robot Trust in the Age of Artificial General Intelligence Reviewed
A. Yasuda and Y. Maruyama
Springer LNCS 2024
Fibered Universal Algebra for First-Order Logics Reviewed
C. Bloomfield and Y. Maruyama
Journal of Pure and Applied Algebra 2024
Duality, Intensionality and Contextuality Reviewed
Y. Maruyama
Outstanding Contributions to Logic 2023
A Reasoning System for Time and Vagueness Reviewed
Y. Maruyama and F. Zhang
Proceedings of IEEE-FUZZ 2023
Chemist-Computer Interaction: Representation Learning for Chemical Design via Refinement of SELFIES VAE Reviewed
T. Xu, N. Velzeboer and Y. Maruyama
Communications in Computer and Information Science 2023
Computing with Categories in Machine Learning Reviewed
E. Sennesh, T. Xu, and Y. Maruyama
Springer LNCS 2023
Human-Computer Interaction and Coevolution in Science AI Robotics Reviewed
Y. Maruyama
Communications in Computer and Information Science 2022
Moral Philosophy of Artificial General Intelligence: Agency and Responsibility Reviewed
Y. Maruyama
Springer LNCS 2022
Natural Language Processing for Scientific Paper Evaluation Reviewed International coauthorship
T. Xu, N. Hinton, M. T. Bennett, and Y. Maruyama
Communications in Computer and Information Science 2022
The Artificial Scientist: Logicist, Emergentist, and Universalist Approaches to Artificial General Intelligence Reviewed International coauthorship
M. T. Bennett and Y. Maruyama
Springer LNCS 2022
Neural String Diagrams: Towards a Universal Modelling Language for Categorical Deep Learning Reviewed International coauthorship
T. Xu and Y. Maruyama
Springer LNCS 2022
Philosophical Specification of Empathetic Ethical Artificial Intelligence Reviewed International coauthorship
M. T. Bennett and Y. Maruyama
IEEE Transactions on Cognitive and Developmental Systems 2022
Categorical Artificial Intelligence: The Integration of Symbolic and Statistical AI for Verifiable, Ethical, and Trustworthy AI Reviewed
Y. Maruyama
Springer LNCS 2022
Chu Duality Theory and Coalgebraic Representation of Quantum Symmetries Reviewed
Y. Maruyama.
Journal of Pure and Applied Algebra 2022
Exploring Human-Computer Interaction in Mathematics Reviewed
Y. Maruyama
Springer LNCS 2021
Higher-Order Fuzzy Logics and their Categorical Semantics: Higher-Order Linear Completeness and Baaz Translation via Substructural Tripos Theory Reviewed
Y. Maruyama
Proceedings of IEEE-FUZZ 2021
A Reasoning System for Fuzzy Distributed Knowledge Representation in Multi-Agent Systems Reviewed
Y. Maruyama
Proceedings of IEEE-FUZZ 2021
Category Theory and Foundations of Life Science Reviewed
Y. Maruyama
Biosystems Journal 2021
Learning, Development, and Emergence of Compositionality in Natural Language Processing Reviewed
Y. Maruyama
Proceedings of IEEE-ICDL 2021
Quantum Contextuality and Cognitive Contextuality: The Significance of Violations of Bell-type Inequalities Reviewed
Y. Maruyama
Biosystems Journal 2021
Fibred Algebraic Semantics for a Variety of Non-Classical First-Order Logics and Topological Logical Translation Reviewed
Y. Maruyama
The Journal of Symbolic Logic 2021
数理科学(2024年7月号)
丸山善宏（ Role： Contributor , 圏論における双対性）
サイエンス社 2024
万物の理論としての圏論
丸山善宏（ Role： Sole author）
青土社 2023
