Advanced Programming Environment Based on Program Semantics

基于程序语义的高级编程环境

基本信息

  • 批准号:
    15K00090
  • 负责人:
  • 金额:
    $ 3万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
  • 财政年份:
    2015
  • 资助国家:
    日本
  • 起止时间:
    2015-04-01 至 2019-03-31
  • 项目状态:
    已结题

项目摘要

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Principle and Practice of OCaml Type Debugger
OCaml类型调试器原理与实践
  • DOI:
  • 发表时间:
    2016
  • 期刊:
  • 影响因子:
    0
  • 作者:
    伊藤 翔一朗;林 晋平;佐伯 元司;Kenichi Asai
  • 通讯作者:
    Kenichi Asai
Agda による PHOAS を用いた CPS 変換の正当性の証明
Agda 使用 PHOAS 证明 CPS 转换的正确性
OCaml ステッパの拡張
扩展 OCaml 步进器
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    古川 つきの;浅井 健一
  • 通讯作者:
    浅井 健一
動的束縛を用いた stepper の実装
使用动态绑定实现步进器
  • DOI:
  • 发表时间:
    2016
  • 期刊:
  • 影响因子:
    0
  • 作者:
    脇川奈穂;対馬かなえ;浅井健一;叢 悠悠,浅井 健一
  • 通讯作者:
    叢 悠悠,浅井 健一
実用的な型エラースライサーの評価およびデータ活用に向けた取り組み
实用型误差切片器评价及数据利用的努力
  • DOI:
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    脇川 奈穂;浅井 健一;対馬 かなえ
  • 通讯作者:
    対馬 かなえ
{{ 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 }}

Asai Kenichi其他文献

A Functional Abstraction of Typed Invocation Contexts
类型化调用上下文的功能抽象
  • DOI:
    10.46298/lmcs-18
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0.6
  • 作者:
    Cong Youyou;Ishio Chiaki;Honda Kaho;Asai Kenichi
  • 通讯作者:
    Asai Kenichi
アンサンブルを用いた変分法データ同化と計数データのための拡張
使用计数数据的集合和扩展进行变分数据同化
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Cong Youyou;Asai Kenichi;中野 慎也
  • 通讯作者:
    中野 慎也
第32回日本トレーニング科学会大会傍聴記
第32届日本训练科学会会议观察报告
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Cong Youyou;Ishio Chiaki;Honda Kaho;Asai Kenichi;木伏紅緒
  • 通讯作者:
    木伏紅緒
Towards a Reflection for Effect Handlers
对效果处理程序的反思
Exploratory Meta-Analysis with SDA
使用 SDA 进行探索性荟萃分析
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Asai Kenichi;Cong Youyou;Ishio Chiaki;Masahiro Mizuta
  • 通讯作者:
    Masahiro Mizuta

Asai Kenichi的其他文献

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

相似海外基金

計算資源の抽象化を必要としない関数型言語の開発
开发不需要抽象计算资源的函数式语言
  • 批准号:
    24K14894
  • 财政年份:
    2024
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
マルチコア並列計算に対応した関数型言語処理系の実現
兼容多核并行计算的函数式语言处理系统的实现
  • 批准号:
    19K11893
  • 财政年份:
    2019
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
高階関数型言語のためのソフトウェアモデル検査
高阶函数语言的软件模型检查
  • 批准号:
    12J08057
  • 财政年份:
    2012
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
関数型言語における多相型と部分型の関係および型推論の強化
加强函数语言中多态类型和子类型以及类型推断之间的关系
  • 批准号:
    16700011
  • 财政年份:
    2004
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
関数型言語記述に基づくコード最適化共通フレームワークの研究
基于函数式语言描述的代码优化通用框架研究
  • 批准号:
    14780241
  • 财政年份:
    2002
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
関数型言語における他言語ソフトウェア部品の利用
在函数式语言中使用其他语言软件组件
  • 批准号:
    11780217
  • 财政年份:
    1999
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
非可換な関数代数の計算における関数型言語的手法の研究
非交换泛函代数计算的函数语言方法研究
  • 批准号:
    09878060
  • 财政年份:
    1997
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for Exploratory Research
副作用を含む関数型言語の部分評価
函数式语言的部分评估,包括副作用
  • 批准号:
    08780244
  • 财政年份:
    1996
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
関数型言語のユーザインターフェースに関する基礎的研究
函数式语言用户界面基础研究
  • 批准号:
    07680352
  • 财政年份:
    1995
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)
関数型言語を用いたユーザ・インターフェイスに関する研究
基于函数式语言的用户界面研究
  • 批准号:
    01780034
  • 财政年份:
    1989
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了