論理制約付き項書換えに関する余帰納法に基づくプログラム検証法の開発

基于逻辑约束术语重写的共归纳法程序验证方法的开发

基本信息

批准号：
24K02900
负责人：
西田直樹
金额：
$ 11.81万
依托单位：
Nagoya University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2024
资助国家：
日本
起止时间：
2024-04-01 至 2029-03-31
项目状态：
未结题

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-24K02900/
关键词：

项目摘要

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

数据更新时间：{{ journalArticles.updateTime }}

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

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

西田直樹其他文献

GeneSysによるプログラム生成例とIntroduction規則の追加

GeneSys 示例程序生成和添加引入规则

DOI：
发表时间：
2006
期刊：
電子情報通信学会技術研究報告(SS2006-46) 106・324
影响因子：
0
作者：
近藤悟;酒井正彦;西田直樹;坂部俊樹;草刈圭一朗
通讯作者：
草刈圭一朗

手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み

基于过程化程序到重写系统的软件验证尝试

DOI：
发表时间：
2006
期刊：
電子情報通信学会技術研究報告(SS2006-41) 106
影响因子：
0
作者：
古市祐樹;西田直樹;酒井正彦;草刈圭一朗;坂部俊樹
通讯作者：
坂部俊樹

西田直樹的其他文献

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

{{ truncateString('西田直樹', 18)}}的其他基金

キラル変換された銅ナノ粒子の作製とキラルセンシングへの応用

手性转化铜纳米粒子的制备及其在手性传感中的应用

批准号：
21K04811
财政年份：
2021
资助金额：
$ 11.81万
项目类别：
Grant-in-Aid for Scientific Research (C)

関数型プログラムの逆計算プログラム生成に関する研究

函数程序逆计算程序生成研究

批准号：
17700009
财政年份：
2005
资助金额：
$ 11.81万
项目类别：
Grant-in-Aid for Young Scientists (B)

バルプロ酸ナトリウムによる肝障害発症機序の検討

丙戊酸钠致肝损害的机制探讨

批准号：
08670923
财政年份：
1996
资助金额：
$ 11.81万
项目类别：
Grant-in-Aid for Scientific Research (C)

相似国自然基金

百草枯靶向STIM1活化PARP3介导肺纤维化的作用机制

批准号：
82302481
批准年份：
2023
资助金额：
30 万元
项目类别：
青年科学基金项目

钛基骨植入物表面电沉积镁氢涂层及其促成骨性能研究

批准号：
52371195
批准年份：
2023
资助金额：
50 万元
项目类别：
面上项目

广义四元数代数上的若干超矩阵方程组及应用

批准号：
12371023
批准年份：
2023
资助金额：
43.5 万元
项目类别：
面上项目

CLMP介导Connexin45-β-catenin复合体对先天性短肠综合征的致病机制研究

批准号：
82370525
批准年份：
2023
资助金额：
49 万元
项目类别：
面上项目

人工局域表面等离激元高灵敏传感及其系统小型化的关键技术研究

批准号：
62371132
批准年份：
2023
资助金额：
49 万元
项目类别：
面上项目

相似海外基金

An implantable biosensor microsystem for real-time measurement of circulating biomarkers

用于实时测量循环生物标志物的植入式生物传感器微系统

批准号：
2901954
财政年份：
2028
资助金额：
$ 11.81万
项目类别：
Studentship

Exploiting the polysaccharide breakdown capacity of the human gut microbiome to develop environmentally sustainable dishwashing solutions

利用人类肠道微生物群的多糖分解能力来开发环境可持续的洗碗解决方案

批准号：
2896097
财政年份：
2027
资助金额：
$ 11.81万
项目类别：
Studentship

A Robot that Swims Through Granular Materials

可以在颗粒材料中游动的机器人

批准号：
2780268
财政年份：
2027
资助金额：
$ 11.81万
项目类别：
Studentship

Likelihood and impact of severe space weather events on the resilience of nuclear power and safeguards monitoring.

严重空间天气事件对核电和保障监督的恢复力的可能性和影响。

批准号：
2908918
财政年份：
2027
资助金额：
$ 11.81万
项目类别：
Studentship

Proton, alpha and gamma irradiation assisted stress corrosion cracking: understanding the fuel-stainless steel interface

质子、α 和 γ 辐照辅助应力腐蚀开裂：了解燃料-不锈钢界面

批准号：
2908693
财政年份：
2027
资助金额：
$ 11.81万
项目类别：
Studentship

会员权益说明：