基于程序正确性自动纠正编程语言中的语法错误-猫眼课题宝

基于程序正确性自动纠正编程语言中的语法错误

批准号：

X00210----275186

负责人：

山崎進

金额：

$0.19万

依托单位：

Kyoto University

依托单位国家：

日本

项目类别：

Grant-in-Aid for Encouragement of Young Scientists (A)

财政年份：

1977

资助国家：

日本

项目状态：

已结题

起止时间：

1977 至 --

来源：

https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-X00210----275186/

关键词：

中文摘要

翻译

点击翻译按钮获取中文摘要

英文摘要

期刊论文(0)

专著(0)

科研奖励(0)

会议论文

Feasibility Studies of a Real-time Information Providing System of Sediment Disasters Using MPSoC and SAR Satellites

批准号：

22K04657
项目类别：

Grant-in-Aid for Scientific Research (C)
资助金额：

$2.66万
财政年份：

2022
负责人：

山崎進
依托单位：

The University of Kitakyushu

述語論理型プログラミング系の計算機構に関する研究

批准号：

57550217
项目类别：

Grant-in-Aid for General Scientific Research (C)
资助金额：

$1.47万
财政年份：

1982
负责人：

山崎進
依托单位：

Kyoto University

LISP言語で書かれたプログラムの論理的デバッグ法に関する研究

批准号：

X00095----568010
项目类别：

Grant-in-Aid for General Scientific Research (D)
资助金额：

$0.25万
财政年份：

1980
负责人：

山崎進
依托单位：

Kyoto University