関数型プログラムの検証と導出の研究

函数式程序的验证与推导研究

基本信息

批准号：
61780045
负责人：
林晋
金额：
$ 0.45万
依托单位：
Kyoto University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1986
资助国家：
日本
起止时间：
1986 至无数据
项目状态：
已结题

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

项目摘要

暂无数据

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

暂无数据

数据更新时间：2024-06-01

林晋其他文献

X線分光解析における電子－正孔対励起の効果

X 射线光谱中电子-空穴对激发的影响

DOI：
发表时间：
2019
2019
期刊：
影响因子：
0
作者：
井村健一郎;吉村幸徳;林晋;中西毅;安達孝太，魚住孝幸
井村健一郎;吉村幸徳;林晋;中西毅;安達孝太，魚住孝幸
通讯作者：
安達孝太，魚住孝幸
安達孝太，魚住孝幸

Odor Recorder Using a Chemical Sensor Array

使用化学传感器阵列的气味记录仪

DOI：
发表时间：
2011
2011
期刊：
影响因子：
0
作者：
相原健郎;林晋;田中和之,安田宗樹共著(分担執筆);O.Nitta;Takamichi Nakamoto
相原健郎;林晋;田中和之,安田宗樹共著(分担執筆);O.Nitta;Takamichi Nakamoto
通讯作者：
Takamichi Nakamoto
Takamichi Nakamoto

(高次)トポロジカル絶縁体におけるトポロジーについて

关于（高阶）拓扑绝缘体的拓扑

DOI：
发表时间：
2019
2019
期刊：
影响因子：
0
作者：
Bourne Chris;Ogata Yoshiko;松下尚弘;S. Akamine;Jun Ueki;林晋
Bourne Chris;Ogata Yoshiko;松下尚弘;S. Akamine;Jun Ueki;林晋
通讯作者：
林晋
林晋

Topological K-theory and the bulk-edge correspondence

拓扑 K 理论和体边对应

DOI：
发表时间：
2019
2019
期刊：
影响因子：
0
作者：
Bourne Chris;Mesland Bram;林晋
Bourne Chris;Mesland Bram;林晋
通讯作者：
林晋
林晋

映像情報メディア工学大事典(映像情報メディア学会編)/基礎編,第4部門.画像処理,第12章.確率的画像処理

图像信息与媒体工程百科全书（图像信息与媒体工程师学会编）/基础版第4部分.图像处理第12章.概率图像处理

DOI：
发表时间：
2010
2010
期刊：
影响因子：
0
作者：
相原健郎;林晋;田中和之,安田宗樹共著(分担執筆)
相原健郎;林晋;田中和之,安田宗樹共著(分担執筆)
通讯作者：
田中和之,安田宗樹共著(分担執筆)
田中和之,安田宗樹共著(分担執筆)

共 14 条前往

页

林晋的其他基金

Mathematical study of topologies for higher-order topological insulators

高阶拓扑绝缘体拓扑的数学研究

批准号：
23K12966
23K12966
财政年份：
2023
资助金额：
$ 0.45万
$ 0.45万
项目类别：
Grant-in-Aid for Early-Career Scientists
Grant-in-Aid for Early-Career Scientists

REASONING WEB:UMLシステム検証の統合フレームワークに向けて

REASONING WEB：走向 UML 系统验证的集成框架

批准号：
16016263
16016263
财政年份：
2004
资助金额：
$ 0.45万
$ 0.45万
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
Grant-in-Aid for Scientific Research on Priority Areas

PAC学習の論理

PAC学习逻辑

批准号：
16650028
16650028
财政年份：
2004
资助金额：
$ 0.45万
$ 0.45万
项目类别：
Grant-in-Aid for Exploratory Research
Grant-in-Aid for Exploratory Research

parametric polymorphismの新しい枠組

参数多态性的新框架

批准号：
12878049
12878049
财政年份：
2000
资助金额：
$ 0.45万
$ 0.45万
项目类别：
Grant-in-Aid for Exploratory Research
Grant-in-Aid for Exploratory Research

プログラム言語における型の論理

编程语言中的类型逻辑

批准号：
02249209
02249209
财政年份：
1990
资助金额：
$ 0.45万
$ 0.45万
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
Grant-in-Aid for Scientific Research on Priority Areas

仕様の段階的refinementによるプログラム導出・検証の研究

利用规范的逐步细化进行程序推导和验证的研究

批准号：
01780035
01780035
财政年份：
1989
资助金额：
$ 0.45万
$ 0.45万
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
Grant-in-Aid for Encouragement of Young Scientists (A)