Maruyama Yoshihiro 丸山善宏

… Alternative Names

丸山善宏マルヤマヨシヒロ

Less

Researcher Number	20761290
Affiliation (Current)	2025: 名古屋大学, 情報学研究科, 准教授 2025: 株式会社国際電気通信基礎技術研究所, 佐藤匠徳特別研究所, 研究員
Affiliation (based on the past Project Information) *help	2025: 名古屋大学, 情報学研究科, 准教授 2023: 株式会社国際電気通信基礎技術研究所, 佐藤匠徳特別研究所, 研究員 2020 – 2021: 株式会社国際電気通信基礎技術研究所, 佐藤匠徳特別研究所, 研究員 2016 – 2018: 京都大学, 白眉センター, 特定助教 2015 – 2016: 京都大学, 白眉センター, 助教
Review Section/Research Field	Principal Investigator Foundations of mathematics/Applied mathematics / Sections That Are Subject to Joint Review: Basic Section60030:Statistical science-related , Basic Section61030:Intelligent informatics-related / Basic Section 60030:Statistical science-related / Basic Section 61030:Intelligent informatics-related / Basic Section 12030:Basic mathematics-related
Keywords	Principal Investigator 圏論的量子力学 / 圏論的論理 / 圏論的意味論 / 圏論的双対性 / 圏論的機械学習 / 圏論的人工知能 / 数学基礎論 / 量子基礎論 / 圏論的統一科学 / 圏論的普遍論理 … More / 圏論的量子力学・量子計算 / 圏論的量子計算 / 量子トポス理論 / 量子力学の圏論的基礎 / 科学基礎論としての圏論 / ルーカス・ペンローズの議論 / フレーム問題 / 人工知能の限界 / 情報物理学 / 証明論的意味論 / 記号的AIと統計的AIの圏論的統合 / 記号的AIと統計的AIの双対性 / プログラム意味論 / 圏論的ロボティクス / 論理推論と統計推論の圏論的融合 / 圏論的融合AI / 圏論的普遍代数 / 圏論的言語学 / 圏論的認知科学 / 非可換普遍代数 / スキーム論 / 数理哲学 / 再生核ヒルベルト空間 / 機械学習 / 非可換双対性 / 圏論の哲学 / 諸科学の圏論的基礎 / 圏論的AI / 圏論的量子論 Less

Research Projects
(4 results)
Research Products
(33 results)

圏論的双対性理論の人工知能・機械学習応用Principal Investigator
- Principal Investigator
  
  丸山善宏
- Project Period (FY)
  2025 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 61030:Intelligent informatics-related
  Basic Section 60030:Statistical science-related
  Sections That Are Subject to Joint Review: Basic Section60030:Statistical science-related , Basic Section61030:Intelligent informatics-related
- Research Institution
  Nagoya University
Categorical Duality and Semantics Across Mathematics, Informatics and Physics and their Applications to Categorical Machine Learning and Quantum ComputingPrincipal Investigator
- Principal Investigator
  
  丸山善宏
- Project Period (FY)
  2023 – 2024
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Advanced Telecommunications Research Institute International
Categorical and Higher-Categorical Approaches to Duality and Semantics across Mathematics, Physics, and InformationPrincipal Investigator
- Principal Investigator
  
  Maruyama Yoshihiro
- Project Period (FY)
  2020 – 2021
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Advanced Telecommunications Research Institute International
  Kyoto University
The Categorical Unification of Foundations of Mathematics and of Quantum Physics, and its Applications to Categorical Duality in Machine LearningPrincipal Investigator
- Principal Investigator
  
  Maruyama Yoshihiro
- Project Period (FY)
  2015 – 2016
- Research Category
  
  Grant-in-Aid for Research Activity Start-up
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Kyoto University

All 2025 2024 2023 2022 2021 2019 2018 2017 2016

All Journal Article Presentation Book

[Book] 圏論的普遍論理（『現代論理学事典』所収）2025
- Author(s)
  丸山善宏
- Publisher
  朝倉書店
- Data Source
  KAKENHI-PROJECT-23K13008
[Book] 圏論と人工知能・機械学習（雑誌『数理科学』圏論特集号）2024
- Author(s)
  丸山善宏
- Publisher
  サイエンス社
- Data Source
  KAKENHI-PROJECT-23K13008
[Book] 圏論における双対性（雑誌『数理科学』双対性特集号）2024
- Author(s)
  丸山善宏
- Publisher
  サイエンス社
- Data Source
  KAKENHI-PROJECT-23K13008
[Book] 量子情報理論から見た生命と認知（『量子生命科学ハンドブック』所収）2024
- Author(s)
  丸山善宏
- Publisher
  NTS出版
- Data Source
  KAKENHI-PROJECT-23K13008
[Book] 万物の理論としての圏論2023
- Author(s)
  丸山善宏
- Publisher
  青土社
- Data Source
  KAKENHI-PROJECT-23K13008
[Book] 万物の計算理論と情報論的世界像（雑誌『現代思想』計算論特集号）2023
- Author(s)
  丸山善宏
- Publisher
  青土社
- Data Source
  KAKENHI-PROJECT-23K13008
[Book] Meaning and Duality: From Categorical Logic to Quantum Physics2017
- Author(s)
  Y. Maruyama
- Publisher
  University of Oxford
- Data Source
  KAKENHI-PROJECT-15H06313
[Journal Article] Modal Hyperdoctrine: Higher-Order and Non-Normal Extensions2024
- Author(s)
  Y. Maruyama and F. Verity
- Journal Title
  
  Proceedings of WoLLIC
  
  Volume: 2024
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K13008
[Journal Article] Fibered Universal Algebra for First-Order Logics2024
- Author(s)
  C. Bloomfield and Y. Maruyama
- Journal Title
  
  Journal of Pure and Applied Algebra
  
  Volume: vol. 228 Pages: 107415-107415
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K13008
[Journal Article] Duality, Intensionality and Contextuality2023
- Author(s)
  Y. Maruyama
- Journal Title
  
  Outstanding Contributions to Logic
  
  Volume: 25 Pages: 41-88
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K13008
[Journal Article] A Reasoning System for Time and Vagueness2023
- Author(s)
  Y. Maruyama and F. Zhang
- Journal Title
  
  Proceedings of IEEE-FUZZ
  
  Volume: 2023 Pages: 1-6
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K13008
[Journal Article] Computing with Categories in Machine Learning2023
- Author(s)
  E. Sennesh, T. Xu, and Y. Maruyama
- Journal Title
  
  Springer LNCS
  
  Volume: 13921 Pages: 244-254
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K13008
[Journal Article] Chu Duality Theory and Coalgebraic Representation of Quantum Symmetries2022
- Author(s)
  Y. Maruyama
- Journal Title
  
  Journal of Pure and Applied Algebra
  
  Volume: 226 Pages: 106960-106960
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K14231
[Journal Article] Higher-Order Fuzzy Logics and their Categorical Semantics: Higher-Order Linear Completeness and Baaz Translation via Substructural Tripos Theory2021
- Author(s)
  Y. Maruyama
- Journal Title
  
  Proceedings of IEEE-FUZZ
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K14231
[Journal Article] A Reasoning System for Fuzzy Distributed Knowledge Representation in Multi-Agent Systems2021
- Author(s)
  Y. Maruyama
- Journal Title
  
  Proceedings of IEEE-FUZZ
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K14231
[Journal Article] Fibred Algebraic Semantics for a Variety of Non-Classical First-Order Logics and Topological Logical Translation2021
- Author(s)
  Y. Maruyama
- Journal Title
  
  The Journal of Symbolic Logic
  
  Volume: 86 Pages: 1189-1213
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K14231
[Journal Article] Harmony, Higher-Order Rules, and the Curry-Howard-Lambek Correspondence2019
- Author(s)
  Y. Maruyama
- Journal Title
  
  Proceedings of Proof-Theoretic Semantics Conference
  
  Volume: vol. 3
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K14231
[Journal Article] Quantum Pancomputationalism and Statistical Data Science: From Symbolic to Statistical AI, and to Quantum AI2018
- Author(s)
  Y. Maruyama
- Journal Title
  
  Springer SAPERE Series
  
  Volume: 印刷中
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K14231
[Journal Article] The Frame Problem, Gödelian Incompleteness, and the Lucas-Penrose Argument: A Structural Analysis of Arguments about Limits of AI, and its Physical Consequence2018
- Author(s)
  Y. Maruyama
- Journal Title
  
  Springer SAPERE
  
  Volume: 44 Pages: 194-206
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K14231
[Journal Article] The Frame Problem, Goedelian Incompleteness, and the Lucas-Penrose Argument: A Structural Analysis of Arguments about Limits of AI, and its Physical and Metaphysical Consequences2018
- Author(s)
  Y. Maruyama
- Journal Title
  
  Springer SAPERE Series
  
  Volume: 印刷中
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K14231
[Journal Article] Pancomputationalism and Data Science: From Symbolic to Statistical AI, and to Quantum AI2018
- Author(s)
  Y. Maruyama
- Journal Title
  
  Springer SAPERE
  
  Volume: 44 Pages: 207-211
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K14231
[Journal Article] Dynamics of Duality2017
- Author(s)
  Y. Maruyama
- Journal Title
  
  RIMS Kokyuroku
  
  Volume: xxx
- Data Source
  KAKENHI-PROJECT-15H06313
[Journal Article] Categorical Harmony and Paradoxes in Proof-Theoretic Semantics2016
- Author(s)
  Y. Maruyama
- Journal Title
  
  Advances in Proof-Theoretic Semantics
  
  Volume: 43 Pages: 95-114
- DOI
  10.1007/978-3-319-22686-6_6
- ISBN
  9783319226859, 9783319226866
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H06313
[Journal Article] AI, Quantum Information, and External Semantic Realism: Searle's Observer-Relativity and Chinese Room, Revisited2016
- Author(s)
  Y. Maruyama
- Journal Title
  
  Fundamental Issues of Artificial Intelligence
  
  Volume: 376 Pages: 115-127
- DOI
  10.1007/978-3-319-26485-1_8
- ISBN
  9783319264837, 9783319264851
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H06313
[Journal Article] Prior’s tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism2016
- Author(s)
  Y. Maruyama
- Journal Title
  
  Synthese
  
  Volume: Logic and Philosophy of Prior Issue: 11 Pages: 3483-3495
- DOI
  10.1007/s11229-015-0932-9
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H06313
[Presentation] Harmony, Higher-Order Rules, and the Curry-Howard-Lambek Correspondence2019
- Author(s)
  Y. Maruyama
- Organizer
  Proof-Theoretic Semantics Conference
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K14231
[Presentation] A structural perspective on quantum cognition: From Penrose's argument to No-Go theorems in cognitive science2018
- Author(s)
  Y. Maruyama
- Organizer
  Quantum Contextuality in Quantum Mechanics and Beyond
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K14231
[Presentation] Contextuality of Reason, Contextuality of Reality, and the Nature of Probabilities Involved2018
- Author(s)
  Y. Maruyama
- Organizer
  Purdue Wiener Memorial Lectures
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K14231
[Presentation] Machine and Causality2017
- Author(s)
  Y. Maruyama
- Organizer
  Oxford Quantum Foundations Discussion
- Place of Presentation
  University of Oxford, UK
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H06313
[Presentation] Category Theory and Lightweight Ontology2017
- Author(s)
  Y. Maruyama
- Organizer
  Oxford OASIS Seminar
- Place of Presentation
  University of Oxford, UK
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H06313
[Presentation] Categorical Foundations of Big Data Analytics2016
- Author(s)
  Y. Maruyama
- Organizer
  International Conference on Category Theory
- Place of Presentation
  Dalhousie University, Canada
- Year and Date
  2016-08-08
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H06313
[Presentation] Harmony, the Curry-Howard Correspondence, and Higher Proof Theory2016
- Author(s)
  Y. Maruyama
- Organizer
  JSPS Core-to-Core Workshop on Mathematical Logic and its Applications
- Place of Presentation
  Kyoto University, Japan
- Year and Date
  2016-09-16
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H06313
[Presentation] Dynamics of Duality: How Duality Emerges, Changes, and Breaks2016
- Author(s)
  Y. Maruyama
- Organizer
  RIMS Workshop on Mathematical Logic and its Applications
- Place of Presentation
  Kyoto University, Japan
- Year and Date
  2016-09-26
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H06313

Maruyama Yoshihiro 丸山 善宏

丸山 善宏 マルヤマ ヨシヒロ

Research Projects

Research Products

圏論的双対性理論の人工知能・機械学習応用Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Categorical Duality and Semantics Across Mathematics, Informatics and Physics and their Applications to Categorical Machine Learning and Quantum ComputingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Categorical and Higher-Categorical Approaches to Duality and Semantics across Mathematics, Physics, and InformationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

The Categorical Unification of Foundations of Mathematics and of Quantum Physics, and its Applications to Categorical Duality in Machine LearningPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] 圏論的普遍論理（『現代論理学事典』所収）2025

Author(s)

Publisher

Data Source

[Book] 圏論と人工知能・機械学習（雑誌『数理科学』圏論特集号）2024

Author(s)

Publisher

Data Source

[Book] 圏論における双対性（雑誌『数理科学』双対性特集号）2024

Author(s)

Publisher

Data Source

[Book] 量子情報理論から見た生命と認知（『量子生命科学ハンドブック』所収）2024

Author(s)

Publisher

Data Source

[Book] 万物の理論としての圏論2023

Author(s)

Publisher

Data Source

[Book] 万物の計算理論と情報論的世界像（雑誌『現代思想』計算論特集号）2023

Author(s)

Publisher

Data Source

[Book] Meaning and Duality: From Categorical Logic to Quantum Physics2017

Author(s)

Publisher

Data Source

[Journal Article] Modal Hyperdoctrine: Higher-Order and Non-Normal Extensions2024

Author(s)

Journal Title

Data Source

[Journal Article] Fibered Universal Algebra for First-Order Logics2024

Author(s)

Journal Title

Data Source

[Journal Article] Duality, Intensionality and Contextuality2023

Author(s)

Journal Title

Data Source

[Journal Article] A Reasoning System for Time and Vagueness2023

Author(s)

Journal Title

Data Source

[Journal Article] Computing with Categories in Machine Learning2023

Author(s)

Journal Title

Data Source

[Journal Article] Chu Duality Theory and Coalgebraic Representation of Quantum Symmetries2022

Author(s)

Journal Title

Data Source

Maruyama Yoshihiro 丸山善宏

丸山善宏マルヤマヨシヒロ

[Journal Article] The Frame Problem, Gödelian Incompleteness, and the Lucas-Penrose Argument: A Structural Analysis of Arguments about Limits of AI, and its Physical Consequence2018