刷新
{{item.name}}会员
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)