Incremental Computing based on Program Transformations

基于程序转换的增量计算

基本信息

  • 批准号：
    19K11896
  • 负责人：
    Morihata Akimasa
  • 金额：
    $ 2.83万
  • 依托单位：
    The University of Tokyo
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 财政年份：
    2019
  • 资助国家：
    日本
  • 起止时间：
    2019-04-01 至 2023-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（5）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
パラメトリシティに基づくプログラム微積分
基于参数化的程序演算
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    加藤直斗; 岩崎英哉;石山泰地，荒堀喜貴，権藤克彦;森畑明昌
  • 通讯作者：
    森畑明昌
Conjuring Fusion Laws via Relational Calculus
通过关系微积分召唤融合定律
  • DOI：
    10.2197/ipsjjip.31.21
  • 发表时间：
    2023
  • 期刊：
    Journal of Information Processing
  • 影响因子：
    0
  • 作者：
    Kazuki Chugo;Yukinori Sato;Morihata Akimasa
  • 通讯作者：
    Morihata Akimasa
配列集約ループの実行時情報を用いた漸増化による効率化
使用数组聚合循环的运行时信息通过增量增加来提高效率
パラメトリック多相型からの融合変換類規則の自動導出
从参数多态类型自动推导融合变换类规则
  • DOI：
  • 发表时间：
    2021
  • 期刊：
  • 影响因子：
    0
  • 作者：
    松田 知樹;森畑 明昌;森畑 明昌
  • 通讯作者：
    森畑 明昌
Short Cut to Incremental Typed Functional Programs
增量类型函数程序的捷径
  • DOI：
  • 发表时间：
    2020
  • 期刊：
  • 影响因子：
    0
  • 作者：
    松田 知樹;森畑 明昌;森畑 明昌;Akimasa Morihata
  • 通讯作者：
    Akimasa Morihata
{{ 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 }}

Morihata Akimasa其他文献

Using Algebraic Properties and Function Fusion to Evaluate Tree Accumulations in Parallel
使用代数性质和函数融合并行评估树累积
  • DOI：
  • 发表时间：
    2019
  • 期刊：
    Journal of Information Processing
  • 影响因子：
    0
  • 作者：
    直井由樹;山田浩史;Morihata Akimasa;Akimasa Morihata
  • 通讯作者：
    Akimasa Morihata
Lambda calculus with algebraic simplification for reduction parallelization by equational reasoning
通过代数简化进行 Lambda 演算，通过方程推理进行简化并行化

Morihata Akimasa的其他文献

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

{{ truncateString('Morihata Akimasa', 18)}}的其他基金

Program Parallelization based on Algebraic Properties and Types
基于代数性质和类型的程序并行化
  • 批准号：
    15K15965
  • 财政年份：
    2015
  • 资助金额：
    $ 2.83万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)

相似海外基金

PATIENT-TAILORED PHYSICAL ACTIVITY INTERVENTION AMONG OLDER WOMEN WITH GYNECOLOGIC CANCERS UNDERGOING CHEMOTHERAPY (FIT4TREATMENT)
针对接受化疗的患有妇科癌症的老年女性进行量身定制的身体活动干预 (FIT4Treatment)
  • 批准号：
    10635366
  • 财政年份：
    2023
  • 资助金额：
    $ 2.83万
  • 项目类别：
Taxi ROADmAP (Realizing Optimization Around Diet And Physical activity)
出租车 ROADmAP（实现饮食和身体活动优化）
  • 批准号：
    10344795
  • 财政年份：
    2022
  • 资助金额：
    $ 2.83万
  • 项目类别：
Taxi ROADmAP (Realizing Optimization Around Diet And Physical activity)
出租车 ROADmAP（实现饮食和身体活动优化）
  • 批准号：
    10643699
  • 财政年份：
    2022
  • 资助金额：
    $ 2.83万
  • 项目类别：
Optimization of a mHealth Physical Activity Promotion Intervention with Mindful Awareness for Adolescent and Young Adult Cancer Survivors
优化青少年和年轻癌症幸存者的 mHealth 身体活动促进干预措施和正念意识
  • 批准号：
    10278744
  • 财政年份：
    2021
  • 资助金额：
    $ 2.83万
  • 项目类别：
Stigma-Treatment Enhanced Incentivized Directly Observed Therapy for People with HIV who Inject Drugs
针对注射吸毒艾滋病毒感染者的耻辱治疗强化激励直接观察治疗
  • 批准号：
    10472519
  • 财政年份：
    2021
  • 资助金额：
    $ 2.83万
  • 项目类别：
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了