強力なデータ構造と並行性をもつ高水準言語の解析・実装技法の多面的開拓

多方面开发具有强大数据结构和并发能力的高级语言的分析和实现技术

基本信息

  • 批准号：
    23K11057
  • 负责人：
    上田 和紀
  • 金额：
    $ 3万
  • 依托单位：
    Waseda University
  • 依托单位国家：
    日本
  • 项目类别：
    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.journal_name }}
  • 影响因子：
    {{ 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 }}

上田 和紀其他文献

A Education Program of Embedded Software Development with Using Model Trains
利用模型火车进行嵌入式软件开发教学
LMNtal処理系および他言語インタフェースの設計と実装
LMNtal处理系统及其他语言接口的设计与实现
  • DOI：
  • 发表时间：
    2004
  • 期刊：
  • 影响因子：
    0
  • 作者：
    原 耕司;水野 謙;矢島 伸吾;永田 貴彦;中島 求;加藤 紀夫;上田 和紀
  • 通讯作者：
    上田 和紀
システムの変更容易性を考慮したWebサービスの設計指針
考虑系统可变性的 Web 服务设计指南
グラフ書換え言語における数値制約を伴う型の静的型検査
图重写语言中具有数值约束的类型的静态类型检查
  • DOI：
  • 发表时间：
    2020
  • 期刊：
  • 影响因子：
    0
  • 作者：
    佐野 仁;上田 和紀;山田 悠之介，上田 和紀;恒川 雄太郎，上田 和紀;山本 直輝，上田 和紀
  • 通讯作者：
    山本 直輝，上田 和紀
グラフ書換え言語における静的型体系LMNtal ShapeTypeの再定式化と拡張
图重写语言中静态类型系统LMNtal ShapeType的重构和扩展
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    山本 直輝;上田 和紀
  • 通讯作者：
    上田 和紀

上田 和紀的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('上田 和紀', 18)}}的其他基金

構造的分子計算理論-自律的計算系の解析と設計のための基礎理論
结构分子计算理论-自主计算系统分析与设计的基础理论
  • 批准号：
    14085205
  • 财政年份：
    2002
  • 资助金额：
    $ 3万
  • 项目类别：
    Grant-in-Aid for Scientific Research on Priority Areas
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了