所属
大学院情報学研究科 複雑系科学専攻 多自由度システム情報論 准教授
大学院担当
大学院情報学研究科
学部担当
情報学部 自然情報学科
職名
准教授
マルヤマ ヨシヒロ
丸山 善宏
MARUYAMA Yoshihiro
学位 1
-
Doctor of Philosophy in Computer Science （ 2017年5月 オックスフォード大学 ）
論文 24
-
Modal Hyperdoctrine: Higher-Order and Non-Normal Extensions 査読有り
F. Verity and Y. Maruyama
Springer LNCS 2024年
-
From Artificial General Intelligence to Artificial General Universe 査読有り
A. Yasuda and Y. Maruyama
Springer LNCS 2024年
-
Category Theory for Artificial General Intelligence. 査読有り
T. Xu, V. Abbott and Y. Maruyama
Springer LNCS 2024年
-
Fibered Universal Algebra for First-Order Logics 査読有り
C. Bloomfield and Y. Maruyama
Journal of Pure and Applied Algebra 2024年
-
Human-Robot Trust in the Age of Artificial General Intelligence 査読有り
A. Yasuda and Y. Maruyama
Springer LNCS 2024年
-
Duality, Intensionality and Contextuality 査読有り
Y. Maruyama
Outstanding Contributions to Logic 2023年
-
A Reasoning System for Time and Vagueness 査読有り
Y. Maruyama and F. Zhang
Proceedings of IEEE-FUZZ 2023年
-
Chemist-Computer Interaction: Representation Learning for Chemical Design via Refinement of SELFIES VAE 査読有り
T. Xu, N. Velzeboer and Y. Maruyama
Communications in Computer and Information Science 2023年
-
Computing with Categories in Machine Learning 査読有り
E. Sennesh, T. Xu, and Y. Maruyama
Springer LNCS 2023年
-
Human-Computer Interaction and Coevolution in Science AI Robotics 査読有り
Y. Maruyama
Communications in Computer and Information Science 2022年
-
Moral Philosophy of Artificial General Intelligence: Agency and Responsibility 査読有り
Y. Maruyama
Springer LNCS 2022年
-
Natural Language Processing for Scientific Paper Evaluation 査読有り 国際共著
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 査読有り 国際共著
M. T. Bennett and Y. Maruyama
Springer LNCS 2022年
-
Neural String Diagrams: Towards a Universal Modelling Language for Categorical Deep Learning 査読有り 国際共著
T. Xu and Y. Maruyama
Springer LNCS 2022年
-
Philosophical Specification of Empathetic Ethical Artificial Intelligence 査読有り 国際共著
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 査読有り
Y. Maruyama
Springer LNCS 2022年
-
Chu Duality Theory and Coalgebraic Representation of Quantum Symmetries 査読有り
Y. Maruyama.
Journal of Pure and Applied Algebra 2022年
-
Exploring Human-Computer Interaction in Mathematics 査読有り
Y. Maruyama
Springer LNCS 2021年
-
Higher-Order Fuzzy Logics and their Categorical Semantics: Higher-Order Linear Completeness and Baaz Translation via Substructural Tripos Theory 査読有り
Y. Maruyama
Proceedings of IEEE-FUZZ 2021年
-
A Reasoning System for Fuzzy Distributed Knowledge Representation in Multi-Agent Systems 査読有り
Y. Maruyama
Proceedings of IEEE-FUZZ 2021年
-
Category Theory and Foundations of Life Science 査読有り
Y. Maruyama
Biosystems Journal 2021年
-
Learning, Development, and Emergence of Compositionality in Natural Language Processing 査読有り
Y. Maruyama
Proceedings of IEEE-ICDL 2021年
-
Quantum Contextuality and Cognitive Contextuality: The Significance of Violations of Bell-type Inequalities 査読有り
Y. Maruyama
Biosystems Journal 2021年
-
Fibred Algebraic Semantics for a Variety of Non-Classical First-Order Logics and Topological Logical Translation 査読有り
Y. Maruyama
The Journal of Symbolic Logic 2021年
書籍等出版物 2
-
数理科学(2024年7月号)
丸山善宏（ 担当： 分担執筆 , 範囲: 圏論における双対性）
サイエンス社 2024年
-
万物の理論としての圏論
丸山善宏（ 担当： 単著）
青土社 2023年