強力なデータ構造と並行性をもつ高水準言語の解析・実装技法の多面的開拓
多方面开发具有强大数据结构和并发能力的高级语言的分析和实现技术
基本信息
- 批准号：23K11057
- 负责人：
- 金额：$ 3万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2023
- 资助国家：日本
- 起止时间：2023-04-01 至 2026-03-31
- 项目状态：未结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
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 }}
上田 和紀其他文献
グラフ書換え言語における数値制約を伴う型の静的型検査
图重写语言中具有数值约束的类型的静态类型检查
- DOI：
- 发表时间：
2020 - 期刊：
- 影响因子：0
- 作者：
佐野 仁;上田 和紀;山田 悠之介，上田 和紀;恒川 雄太郎，上田 和紀;山本 直輝，上田 和紀 - 通讯作者：
山本 直輝，上田 和紀
ハイブリッドシステムモデリング言語HydLaを用いたDAEシステムの解析
使用混合系统建模语言 HydLa 分析 DAE 系统
- DOI：
- 发表时间：
2019 - 期刊：
- 影响因子：0
- 作者：
山本 直輝;上田 和紀;Trang Thuy Vu and Kaori Fujinami;Mitsuaki Saito and Kaori Fujinami;渋井隆弘，上田和紀 - 通讯作者：
渋井隆弘，上田和紀
グラフ書換え言語における静的型体系LMNtal ShapeTypeの再定式化と拡張
图重写语言中静态类型系统LMNtal ShapeType的重构和扩展
- DOI：
- 发表时间：
2019 - 期刊：
- 影响因子：0
- 作者：
山本 直輝;上田 和紀 - 通讯作者：
上田 和紀
Concurrent Objects and Beyond (COB 2012), G. Agha et al. (eds.) （査読有）
并发对象及超越 (COB 2012)，G. Agha 等人（编辑）（同行评审）
- DOI：
- 发表时间：
2013 - 期刊：
- 影响因子：0
- 作者：
信夫 裕貴;上田 和紀;Kazunori Ueda et al.;Kazunori Ueda;Kazunori Ueda - 通讯作者：
Kazunori Ueda
LMNtal処理系および他言語インタフェースの設計と実装
LMNtal处理系统及其他语言接口的设计与实现
- DOI：
- 发表时间：
2004 - 期刊：
- 影响因子：0
- 作者：
原 耕司;水野 謙;矢島 伸吾;永田 貴彦;中島 求;加藤 紀夫;上田 和紀 - 通讯作者：
上田 和紀
上田 和紀的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('上田 和紀', 18)}}的其他基金
構造的分子計算理論-自律的計算系の解析と設計のための基礎理論
结构分子计算理论-自主计算系统分析与设计的基础理论
- 批准号：
14085205 - 财政年份：2002
- 资助金额：
$ 3万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
相似海外基金
Evolution and development of high-level modeling languages integrating programming lanuguage technologies
集成编程语言技术的高级建模语言的演变和发展
- 批准号：
18H03223 - 财政年份：2018
- 资助金额：
$ 3万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
項書き換え理論，証明論，及びそれらの計算量理論における未解決問題への応用
术语重写理论、证明理论及其在复杂性理论中未解决问题的应用
- 批准号：
13J00726 - 财政年份：2013
- 资助金额：
$ 3万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Automatic Synthesis of Process Calculus Using Abstraction
使用抽象自动综合过程演算
- 批准号：
23650066 - 财政年份：2011
- 资助金额：
$ 3万 - 项目类别：
Grant-in-Aid for Challenging Exploratory Research
Formalization of origami and origami-programming based on algebraic graph rewriting
基于代数图重写的折纸形式化和折纸编程
- 批准号：
22650001 - 财政年份：2010
- 资助金额：
$ 3万 - 项目类别：
Grant-in-Aid for Challenging Exploratory Research
Research on development of synthesis system for multivariable numerical function generators
多变量数值函数发生器综合系统开发研究
- 批准号：
20700051 - 财政年份：2008
- 资助金额：
$ 3万 - 项目类别：
Grant-in-Aid for Young Scientists (B)