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 转换的正确性
- DOI:
- 发表时间:2018
- 期刊:
- 影响因子: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
对效果处理程序的反思
- DOI:
10.1145/3571786.3573015 - 发表时间:
2023 - 期刊:
- 影响因子:0
- 作者:
Cong Youyou;Asai Kenichi - 通讯作者:
Asai Kenichi
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)