Quantization, Categorification and Geometrization of Program Semantics
程序语义的量化、分类和几何化
基本信息
- 批准号：18K11165
- 负责人：
- 金额：$ 2.83万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2018
- 资助国家：日本
- 起止时间：2018-04-01 至 2023-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（11）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Lifting traced monoidal structure to the categories of algebras (work on progress)
将追踪幺半群结构提升到代数范畴（进展工作）
- DOI：
- 发表时间：2020
- 期刊：
- 影响因子：0
- 作者：KAWACHI Akinori;KAWANO Kenichi;LE GALL Francois;TAMAKI Suguru;長谷川真人
- 通讯作者：長谷川真人
The internal operads of combinatory algebras
组合代数的内运算
- DOI：
- 发表时间：2022
- 期刊：
- 影响因子：0
- 作者：Yukiya Hono;Shumma Murata;Kazuhiro Nakamura;Kei Hashimoto;Keiichiro Oura;Yoshihiko Nankaku;and Keiichi Tokuda;Shin-ichi Tanigawa;Masahito Hasegawa
- 通讯作者：Masahito Hasegawa
Traced monoidal categories and semantics of computation
追踪幺半群类别和计算语义
- DOI：
- 发表时间：2021
- 期刊：
- 影响因子：0
- 作者：長谷場 保亮;安永 憲司;Masahito Hasegawa
- 通讯作者：Masahito Hasegawa
A braided lambda calculus
辫状 lambda 演算
- DOI：
- 发表时间：2020
- 期刊：
- 影响因子：0
- 作者：Belmonte Remy;Hanaka Tesshu;Katsikarelis Ioannis;Lampis Michael;Ono Hirotaka;Otachi Yota;Masahito Hasegawa
- 通讯作者：Masahito Hasegawa
{{
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 }}
Hasegawa Masahito其他文献
Hasegawa Masahito的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Hasegawa Masahito', 18)}}的其他基金
Semantics for Implementations of Programming Languages
编程语言实现的语义
- 批准号：
15K00013 - 财政年份：2015
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
相似海外基金
低次元トポロジーに基づく低レベルプログラミング言語の設計と分析
基于低维拓扑的低级编程语言的设计与分析
- 批准号：
21K11753 - 财政年份：2021
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
ガード付き型システムの圏論的解明
保护类型系统的范畴论阐释
- 批准号：
21K11762 - 财政年份：2021
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
高階確率的プログラムにおける差分プライバシーの形式的検証
高阶概率程序中差分隐私的形式化验证
- 批准号：
20K19775 - 财政年份：2020
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
圏論的意味論に基づく並行プログラミング言語の分析
基于类别语义的并发编程语言分析
- 批准号：
20J13473 - 财政年份：2020
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for JSPS Fellows
トポロジカル手法による理論分散計算の統一理論の構築
使用拓扑方法构建理论分布式计算的统一理论
- 批准号：
18J21885 - 财政年份：2018
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for JSPS Fellows