The Categorical Unification of Foundations of Mathematics and of Quantum Physics, and its Applications to Categorical Duality in Machine Learning
数学和量子物理基础的范畴统一及其在机器学习中范畴对偶性的应用
基本信息
- 批准号:15H06313
- 负责人:
- 金额:$ 1.75万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Research Activity Start-up
- 财政年份:2015
- 资助国家:日本
- 起止时间:2015-08-28 至 2017-03-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
项目成果
期刊论文数量(2)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Categorical Harmony and Paradoxes in Proof-Theoretic Semantics
证明理论语义学中的范畴和谐与悖论
- DOI:10.1007/978-3-319-22686-6_6
- 发表时间:2016
- 期刊:
- 影响因子:0
- 作者:K. Abe;Y. Giga;K. Shade;T. Suzuki;K. Abe;Y. Maruyama;K.Abe;Y. Maruyama;阿部健;Y. Maruyama
- 通讯作者:Y. Maruyama
Prior’s tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism
普赖尔的理论、逻辑概念和不一致程度:根据绝对逻辑实证主义证明科学的多元统一性
- DOI:10.1007/s11229-015-0932-9
- 发表时间:2016
- 期刊:
- 影响因子:1.5
- 作者:Watson;CFI;Y. Maruyama
- 通讯作者:Y. Maruyama
AI, Quantum Information, and External Semantic Realism: Searle's Observer-Relativity and Chinese Room, Revisited
人工智能、量子信息和外部语义现实主义:塞尔的观察者相对论和中文房间,重温
- DOI:10.1007/978-3-319-26485-1_8
- 发表时间:2016
- 期刊:
- 影响因子:0
- 作者:K. Abe;Y. Giga;K. Shade;T. Suzuki;K. Abe;Y. Maruyama;K.Abe;Y. Maruyama;阿部健;Y. Maruyama;Y. Maruyama
- 通讯作者:Y. Maruyama
Dynamics of Duality
二元性的动力
- DOI:
- 发表时间:2017
- 期刊:
- 影响因子:0
- 作者:K. Abe;Y. Giga;K. Shade;T. Suzuki;K. Abe;Y. Maruyama
- 通讯作者:Y. Maruyama
Dynamics of Duality: How Duality Emerges, Changes, and Breaks
二元性的动力:二元性如何出现、变化和打破
- DOI:
- 发表时间:2016
- 期刊:
- 影响因子:0
- 作者:K. Abe;Y. Giga;K. Shade;T. Suzuki;K. Abe;Y. Maruyama;K. Abe;Y. Maruyama;K. Abe;Y. Maruyama
- 通讯作者:Y. Maruyama
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Maruyama Yoshihiro其他文献
Maruyama Yoshihiro的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Maruyama Yoshihiro', 18)}}的其他基金
Categorical and Higher-Categorical Approaches to Duality and Semantics across Mathematics, Physics, and Information
跨数学、物理和信息的二元性和语义的分类和更高分类方法
- 批准号:
17K14231 - 财政年份:2021
- 资助金额:
$ 1.75万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
The Self-Employing Producer Households: Their Stabilizing Effects over Aggregate Fluctuations in the OECD countries before and after the Great Recession
自雇生产者家庭:经济合作与发展组织国家经济大衰退前后对总体波动的稳定作用
- 批准号:
15K03413 - 财政年份:2015
- 资助金额:
$ 1.75万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
相似海外基金
述語変換子による合成性を活かした自動検証手法の圏論的意味論を経由した拡張
通过类别语义使用谓词变换器使用组合性扩展自动验证方法
- 批准号:
21J14216 - 财政年份:2021
- 资助金额:
$ 1.75万 - 项目类别:
Grant-in-Aid for JSPS Fellows
圏論的意味論に基づく並行プログラミング言語の分析
基于类别语义的并发编程语言分析
- 批准号:
20J13473 - 财政年份:2020
- 资助金额:
$ 1.75万 - 项目类别:
Grant-in-Aid for JSPS Fellows