刷新
Finite Testing with Correctness Guarantee for Polymorphic Programs
多态程序正确性保证的有限测试
基本信息
- 批准号：23K11044
- 负责人：
- 金额：$ 1.91万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2023
- 资助国家：日本
- 起止时间：2023-04-01 至 2028-03-31
- 项目状态：未结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
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 }}
森畑 明昌其他文献
大規模グラフ並列処理のための関数型領域特化言語 Fregel とその評価
Fregel，一种用于大规模图并行处理的功能领域特定语言及其评估
- DOI：
- 发表时间：
2016 - 期刊：
- 影响因子：0
- 作者：
江本 健斗;松崎 公紀;胡 振江;森畑 明昌;岩崎 英哉 - 通讯作者：
岩崎 英哉
Short Cut to Incremental Typed Functional Programs
增量类型函数程序的捷径
- DOI：
- 发表时间：
2020 - 期刊：
- 影响因子：0
- 作者：
松田 知樹;森畑 明昌;森畑 明昌;Akimasa Morihata - 通讯作者：
Akimasa Morihata
MetaOCaml を使った自己反映言語のコンパイル
使用 MetaOCaml 编译自反射语言
- DOI：
- 发表时间：
2014 - 期刊：
- 影响因子：0
- 作者：
深澤 優鷹;上野 雄大;森畑 明昌;大堀 淳;浅井 健一 - 通讯作者：
浅井 健一
高次元ガウス近似によるWasserstein距離推定の不確実性評価
使用高维高斯近似的 Wasserstein 距离估计的不确定性评估
- DOI：
- 发表时间：
2022 - 期刊：
- 影响因子：0
- 作者：
北川 源四郎;竹村 彰通;赤穂 昭太郎;今泉 允聡;内田 誠一;清 智也;高野 渉;辻 真吾;原 尚幸;久野 遼平;松原 仁;宮地 充子;森畑 明昌;宿久 洋;今泉允聡 - 通讯作者：
今泉允聡
森畑 明昌的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('森畑 明昌', 18)}}的其他基金
最適化問題に対するアルゴリズムのプログラム変換による系統的な構成に関する研究
优化问题算法的程序转换系统配置研究
- 批准号：
08J02411 - 财政年份：2008
- 资助金额：
$ 1.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows
相似海外基金
Development of relativistic electron correlation method toward actinide compounds
锕系化合物相对论电子相关方法的发展
- 批准号：
21H01864 - 财政年份：2021
- 资助金额：
$ 1.91万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
多面的・多角的に考え判断し行動する力を育成する道徳教育プログラムの開発
制定道德教育计划，培养多角度思考、判断和行动的能力
- 批准号：
21K02467 - 财政年份：2021
- 资助金额：
$ 1.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
An Empirical Study of Multisensory Development Support Environments for Children with Difficulties: Comparison of Environments in Japan, the United Kingdom, and the United States
困难儿童多感官发展支持环境的实证研究：日本、英国、美国环境比较
- 批准号：
19K02614 - 财政年份：2019
- 资助金额：
$ 1.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
サービス・ラーニングを通した教授・学習理論と実質的な教養教育カリキュラムの構築
教学/学习理论并通过服务学习构建实质性的文科教育课程
- 批准号：
19K02870 - 财政年份：2019
- 资助金额：
$ 1.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Incremental Computing based on Program Transformations
基于程序转换的增量计算
- 批准号：
19K11896 - 财政年份：2019
- 资助金额：
$ 1.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)