丸山善宏 Maruyama Yoshihiro

研究者番号	20761290
所属 (現在)	2025年度: 名古屋大学, 情報学研究科, 准教授 2025年度: 株式会社国際電気通信基礎技術研究所, 佐藤匠徳特別研究所, 研究員
所属 (過去の研究課題情報に基づく) *注記	2025年度: 名古屋大学, 情報学研究科, 准教授 2023年度: 株式会社国際電気通信基礎技術研究所, 佐藤匠徳特別研究所, 研究員 2020年度 – 2021年度: 株式会社国際電気通信基礎技術研究所, 佐藤匠徳特別研究所, 研究員 2016年度 – 2018年度: 京都大学, 白眉センター, 特定助教 2015年度 – 2016年度: 京都大学, 白眉センター, 助教
審査区分/研究分野	研究代表者数学基礎・応用数学 / 合同審査対象区分:小区分60030:統計科学関連、小区分61030:知能情報学関連 / 小区分60030:統計科学関連 / 小区分61030:知能情報学関連 / 小区分12030:数学基礎関連
キーワード	研究代表者圏論的量子力学 / 圏論的論理 / 圏論的意味論 / 圏論的双対性 / 圏論的機械学習 / 圏論的人工知能 / 数学基礎論 / 量子基礎論 / 圏論的統一科学 / 圏論的普遍論理 … もっと見る / 圏論的量子力学・量子計算 / 圏論的量子計算 / 量子トポス理論 / 量子力学の圏論的基礎 / 科学基礎論としての圏論 / ルーカス・ペンローズの議論 / フレーム問題 / 人工知能の限界 / 情報物理学 / 証明論的意味論 / 記号的AIと統計的AIの圏論的統合 / 記号的AIと統計的AIの双対性 / プログラム意味論 / 圏論的ロボティクス / 論理推論と統計推論の圏論的融合 / 圏論的融合AI / 圏論的普遍代数 / 圏論的言語学 / 圏論的認知科学 / 非可換普遍代数 / スキーム論 / 数理哲学 / 再生核ヒルベルト空間 / 機械学習 / 非可換双対性 / 圏論の哲学 / 諸科学の圏論的基礎 / 圏論的AI / 圏論的量子論隠す

研究課題
(4件)
研究成果
(33件)

圏論的双対性理論の人工知能・機械学習応用研究代表者
- 研究代表者
  
  丸山善宏
- 研究期間 (年度)
  2025 – 2027
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分61030:知能情報学関連
   小区分60030:統計科学関連
   合同審査対象区分:小区分60030:統計科学関連、小区分61030:知能情報学関連
- 研究機関
  名古屋大学
数学・情報・物理を横断する圏論的双対性・意味論とその圏論的機械学習・量子計算応用研究代表者
- 研究代表者
  
  丸山善宏
- 研究期間 (年度)
  2023 – 2024
- 研究種目
  
  若手研究
- 審査区分
  
  小区分12030:数学基礎関連
- 研究機関
  株式会社国際電気通信基礎技術研究所
数学・物理・情報を横断する双対性と意味論への圏論的・高次元圏論的アプローチ研究代表者
- 研究代表者
  
  丸山善宏
- 研究期間 (年度)
  2020 – 2021
- 研究種目
  
  若手研究(B)
- 研究分野
  
  数学基礎・応用数学
- 研究機関
  株式会社国際電気通信基礎技術研究所
   京都大学
数学基礎論と量子基礎論の圏論的統合と機械学習における圏論的双対性へのその応用研究代表者
- 研究代表者
  
  丸山善宏
- 研究期間 (年度)
  2015 – 2016
- 研究種目
  
  研究活動スタート支援
- 研究分野
  
  数学基礎・応用数学
- 研究機関
  京都大学

すべて 2025 2024 2023 2022 2021 2019 2018 2017 2016

すべて雑誌論文学会発表図書

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

丸山 善宏 Maruyama Yoshihiro

研究課題

研究成果

圏論的双対性理論の人工知能・機械学習応用研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

数学・情報・物理を横断する圏論的双対性・意味論とその圏論的機械学習・量子計算応用研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

数学・物理・情報を横断する双対性と意味論への圏論的・高次元圏論的アプローチ研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

数学基礎論と量子基礎論の圏論的統合と機械学習における圏論的双対性へのその応用研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

著者名/発表者名

出版者

データソース

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

著者名/発表者名

出版者

データソース

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

著者名/発表者名

出版者

データソース

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

著者名/発表者名

出版者

データソース

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

著者名/発表者名

出版者

データソース

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

著者名/発表者名

出版者

データソース

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

著者名/発表者名

出版者

データソース

[雑誌論文] Modal Hyperdoctrine: Higher-Order and Non-Normal Extensions2024

著者名/発表者名

雑誌名

データソース

[雑誌論文] Fibered Universal Algebra for First-Order Logics2024

著者名/発表者名

雑誌名

データソース

[雑誌論文] Duality, Intensionality and Contextuality2023

著者名/発表者名

雑誌名

データソース

[雑誌論文] A Reasoning System for Time and Vagueness2023

著者名/発表者名

雑誌名

データソース

[雑誌論文] Computing with Categories in Machine Learning2023

著者名/発表者名

雑誌名

データソース

[雑誌論文] Chu Duality Theory and Coalgebraic Representation of Quantum Symmetries2022

著者名/発表者名

雑誌名

データソース

[雑誌論文] Higher-Order Fuzzy Logics and their Categorical Semantics: Higher-Order Linear Completeness and Baaz Translation via Substructural Tripos Theory2021

丸山善宏 Maruyama Yoshihiro

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