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

数学、信息学和物理领域的分类对偶性和语义及其在分类机器学习和量子计算中的应用

基本信息

批准号：
23K13008
负责人：
丸山善宏
金额：
$ 3万
依托单位：
Advanced Telecommunications Research Institute International
依托单位国家：
日本
项目类别：
Grant-in-Aid for Early-Career Scientists
财政年份：
2023
资助国家：
日本
起止时间：
2023-04-01 至 2025-03-31
项目状态：
未结题

项目摘要

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

数据更新时间：{{ journalArticles.updateTime }}

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

丸山善宏其他文献

丸山善宏的其他文献

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

{{ truncateString('丸山善宏', 18)}}的其他基金

数理論理学とプログラム意味論におけるストーン型の圏論的双対性とその応用

石型范畴二元性及其在数理逻辑和程序语义中的应用

批准号：
11J06509
财政年份：
2011
资助金额：
$ 3万
项目类别：
Grant-in-Aid for JSPS Fellows

相似海外基金

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

跨数学、物理和信息的二元性和语义的分类和更高分类方法

批准号：
17K14231
财政年份：
2021
资助金额：
$ 3万
项目类别：
Grant-in-Aid for Young Scientists (B)

述語変換子による合成性を活かした自動検証手法の圏論的意味論を経由した拡張

通过类别语义使用谓词变换器使用组合性扩展自动验证方法

批准号：
21J14216
财政年份：
2021
资助金额：
$ 3万
项目类别：
Grant-in-Aid for JSPS Fellows

高階確率的プログラムにおける差分プライバシーの形式的検証

高阶概率程序中差分隐私的形式化验证

批准号：
20K19775
财政年份：
2020
资助金额：
$ 3万
项目类别：
Grant-in-Aid for Early-Career Scientists

圏論的意味論に基づく並行プログラミング言語の分析

基于类别语义的并发编程语言分析

批准号：
20J13473
财政年份：
2020
资助金额：
$ 3万
项目类别：
Grant-in-Aid for JSPS Fellows

Categorical Semantics and Logical Interpretation of the Pi-Calculus

Pi 演算的范畴语义和逻辑解释

批准号：
19K20211
财政年份：
2019
资助金额：
$ 3万
项目类别：
Grant-in-Aid for Early-Career Scientists

会员权益说明：