刷新
{{item.name}}会员
仕様の段階的refinementによるプログラム導出・検証の研究
利用规范的逐步细化进行程序推导和验证的研究
基本信息
- 批准号：01780035
- 负责人：
- 金额：$ 0.51万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Encouragement of Young Scientists (A)
- 财政年份：1989
- 资助国家：日本
- 起止时间：1989 至 无数据
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 }}
林 晋其他文献
X線分光解析における電子－正孔対励起の効果
X 射线光谱中电子-空穴对激发的影响
- DOI：
- 发表时间：
2019 - 期刊：
- 影响因子：0
- 作者：
井村 健一郎;吉村 幸徳;林 晋;中西 毅;安達孝太，魚住孝幸 - 通讯作者：
安達孝太，魚住孝幸
Odor Recorder Using a Chemical Sensor Array
使用化学传感器阵列的气味记录仪
- DOI：
- 发表时间：
2011 - 期刊：
- 影响因子：0
- 作者：
相原 健郎;林 晋;田中和之,安田宗樹共著(分担執筆);O.Nitta;Takamichi Nakamoto - 通讯作者：
Takamichi Nakamoto
Topological K-theory and the bulk-edge correspondence
拓扑 K 理论和体边对应
- DOI：
- 发表时间：
2019 - 期刊：
- 影响因子：0
- 作者：
Bourne Chris;Mesland Bram;林 晋 - 通讯作者：
林 晋
(高次)トポロジカル絶縁体におけるトポロジーについて
关于（高阶）拓扑绝缘体的拓扑
- DOI：
- 发表时间：
2019 - 期刊：
- 影响因子：0
- 作者：
Bourne Chris;Ogata Yoshiko;松下尚弘;S. Akamine;Jun Ueki;林 晋 - 通讯作者：
林 晋
画像化主義に基づく文献資料研究用ツール SMART -GS とその発展
基于成像原理的文献研究工具SMART-GS及其开发
- DOI：
- 发表时间：
2011 - 期刊：
- 影响因子：0
- 作者：
相原 健郎;林 晋 - 通讯作者：
林 晋
林 晋的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('林 晋', 18)}}的其他基金
Mathematical study of topologies for higher-order topological insulators
高阶拓扑绝缘体拓扑的数学研究
- 批准号：
23K12966 - 财政年份：2023
- 资助金额：
$ 0.51万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
REASONING WEB:UMLシステム検証の統合フレームワークに向けて
REASONING WEB：走向 UML 系统验证的集成框架
- 批准号：
16016263 - 财政年份：2004
- 资助金额：
$ 0.51万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
parametric polymorphismの新しい枠組
参数多态性的新框架
- 批准号：
12878049 - 财政年份：2000
- 资助金额：
$ 0.51万 - 项目类别：
Grant-in-Aid for Exploratory Research
プログラム言語における型の論理
编程语言中的类型逻辑
- 批准号：
02249209 - 财政年份：1990
- 资助金额：
$ 0.51万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
関数型プログラムの検証と導出の研究
函数式程序的验证与推导研究
- 批准号：
61780045 - 财政年份：1986
- 资助金额：
$ 0.51万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
相似国自然基金
莱菔硫烷经胆汁酸及其受体调控肠道巨噬细胞极化改善溃疡性结肠炎作用机制研究
- 批准号：MS25H260021
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
FGF21通过CTL1介导的胆碱稳态调控线粒体自噬对帕金森病的保护机制研究
- 批准号：MS25H310003
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
受分数布朗运动驱动的多值随机微分方程动力学行为研究
- 批准号：QN25A010002
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
几类离散概率模型的长时间行为
- 批准号：QN25A010006
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
随机非局部全变差流的适定性及长时间行为
- 批准号：QN25A010014
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
度量测度空间上基于狄氏型和p-energy型的热核理论研究
- 批准号：QN25A010015
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
两类拟线性Schrödinger方程正规化解的存在性与多重性研究
- 批准号：QN25A010018
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
两类高斯过程驱动的混杂自交互扩散的长时间行为研究
- 批准号：QN25A010030
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
基于深度学习的滤泡性甲状腺癌术前智能诊断模型研究
- 批准号：QN25A010034
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
流场中多尺度Pull型自驱动颗粒聚集行为的研究
- 批准号：QN25A020005
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
相似海外基金
An implantable biosensor microsystem for real-time measurement of circulating biomarkers
用于实时测量循环生物标志物的植入式生物传感器微系统
- 批准号：
2901954 - 财政年份：2028
- 资助金额：
$ 0.51万 - 项目类别：
Studentship
Exploiting the polysaccharide breakdown capacity of the human gut microbiome to develop environmentally sustainable dishwashing solutions
利用人类肠道微生物群的多糖分解能力来开发环境可持续的洗碗解决方案
- 批准号：
2896097 - 财政年份：2027
- 资助金额：
$ 0.51万 - 项目类别：
Studentship
A Robot that Swims Through Granular Materials
可以在颗粒材料中游动的机器人
- 批准号：
2780268 - 财政年份：2027
- 资助金额：
$ 0.51万 - 项目类别：
Studentship
Likelihood and impact of severe space weather events on the resilience of nuclear power and safeguards monitoring.
严重空间天气事件对核电和保障监督的恢复力的可能性和影响。
- 批准号：
2908918 - 财政年份：2027
- 资助金额：
$ 0.51万 - 项目类别：
Studentship
Proton, alpha and gamma irradiation assisted stress corrosion cracking: understanding the fuel-stainless steel interface
质子、α 和 γ 辐照辅助应力腐蚀开裂：了解燃料-不锈钢界面
- 批准号：
2908693 - 财政年份：2027
- 资助金额：
$ 0.51万 - 项目类别：
Studentship
Field Assisted Sintering of Nuclear Fuel Simulants
核燃料模拟物的现场辅助烧结
- 批准号：
2908917 - 财政年份：2027
- 资助金额：
$ 0.51万 - 项目类别：
Studentship
Assessment of new fatigue capable titanium alloys for aerospace applications
评估用于航空航天应用的新型抗疲劳钛合金
- 批准号：
2879438 - 财政年份：2027
- 资助金额：
$ 0.51万 - 项目类别：
Studentship
Developing a 3D printed skin model using a Dextran - Collagen hydrogel to analyse the cellular and epigenetic effects of interleukin-17 inhibitors in
使用右旋糖酐-胶原蛋白水凝胶开发 3D 打印皮肤模型，以分析白细胞介素 17 抑制剂的细胞和表观遗传效应
- 批准号：
2890513 - 财政年份：2027
- 资助金额：
$ 0.51万 - 项目类别：
Studentship
CDT year 1 so TBC in Oct 2024
CDT 第 1 年，预计 2024 年 10 月
- 批准号：
2879865 - 财政年份：2027
- 资助金额：
$ 0.51万 - 项目类别：
Studentship
Understanding the interplay between the gut microbiome, behavior and urbanisation in wild birds
了解野生鸟类肠道微生物组、行为和城市化之间的相互作用
- 批准号：
2876993 - 财政年份：2027
- 资助金额：
$ 0.51万 - 项目类别：
Studentship