刷新
{{item.name}}会员
分子計算の効率と忠実度
分子计算的效率和保真度
基本信息
- 批准号：01F00061
- 负责人：
- 金额：$ 0.77万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for JSPS Fellows
- 财政年份：2001
- 资助国家：日本
- 起止时间：2001 至 无数据
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 }}
萩谷 昌己其他文献
検証済みのコードによるCoqからScalaへのコード抽出
从 Coq 到 Scala 的代码提取以及经过验证的代码
- DOI：
- 发表时间：
2014 - 期刊：
- 影响因子：0
- 作者：
逸見 港;田辺 良則;今井 宜洋;萩谷 昌己 - 通讯作者：
萩谷 昌己
ペトリネットに対するKarp-Miller木構成のCoq/Ssreflectによる実装
使用 Coq/Ssreflect 实现 Petri 网的 Karp-Miller 树结构
- DOI：
- 发表时间：
2015 - 期刊：
- 影响因子：0
- 作者：
逸見 港;田辺 良則;今井 宜洋;萩谷 昌己;松本早貴，山本光晴 - 通讯作者：
松本早貴，山本光晴
萩谷 昌己的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('萩谷 昌己', 18)}}的其他基金
オープンサイエンスの分析と基盤的ソフトウェアの構築
开放科学分析和基础软件构建
- 批准号：
21650018 - 财政年份：2009
- 资助金额：
$ 0.77万 - 项目类别：
Grant-in-Aid for Challenging Exploratory Research
形態変化する分子を用いた並行計算と分散計算
使用形态变化分子的并行分布式计算
- 批准号：
14085202 - 财政年份：2002
- 资助金额：
$ 0.77万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
分子プログラミング
分子编程
- 批准号：
14085101 - 财政年份：2002
- 资助金额：
$ 0.77万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
ハイブリッド・セル・オートマトンを用いた生物系と化学系の解析と検証
使用混合元胞自动机分析和验证生物和化学系统
- 批准号：
14658088 - 财政年份：2002
- 资助金额：
$ 0.77万 - 项目类别：
Grant-in-Aid for Exploratory Research
高階単一化を用いた例によるプログラミングと例による証明
使用高阶统一和示例证明进行示例编程
- 批准号：
02780027 - 财政年份：1990
- 资助金额：
$ 0.77万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
並列LISPについて
关于并行 LISP
- 批准号：
63780033 - 财政年份：1988
- 资助金额：
$ 0.77万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
拡張可能な型を持つ関数型言語に関する研究
可扩展类型的函数式语言研究
- 批准号：
62780040 - 财政年份：1987
- 资助金额：
$ 0.77万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
データ型の編集に関する研究
编辑数据类型的研究
- 批准号：
61780044 - 财政年份：1986
- 资助金额：
$ 0.77万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
プログラム合成論の論理プログラム・コンパイラへの応用
程序综合理论在逻辑程序和编译器中的应用
- 批准号：
58780040 - 财政年份：1983
- 资助金额：
$ 0.77万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
相似国自然基金
基于数字艺术与文旅大数据的新质非遗设计研究
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
产教融合视域下高职教师数智素养评价模型构建
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
物联网技术在智能教室监测监控中的应用研究
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
基于网络药理学和分子对接的毛黄堇抗炎镇痛机制研究
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
构建“地面+地下+低空”三维交通体系的探究
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
工业传送带智能检测可视化服务平台的设计研究与应用实践
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
基于强化学习与深度学习结合的分类算法动态优化研究与示范应用
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
工业机器人健康评估及预测性故障诊断方法研究
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
基于深度学习的凸轮轴裂纹检测方法研究
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
轻质预应力装配式楼板研究
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
相似海外基金
An implantable biosensor microsystem for real-time measurement of circulating biomarkers
用于实时测量循环生物标志物的植入式生物传感器微系统
- 批准号：
2901954 - 财政年份：2028
- 资助金额：
$ 0.77万 - 项目类别：
Studentship
Exploiting the polysaccharide breakdown capacity of the human gut microbiome to develop environmentally sustainable dishwashing solutions
利用人类肠道微生物群的多糖分解能力来开发环境可持续的洗碗解决方案
- 批准号：
2896097 - 财政年份：2027
- 资助金额：
$ 0.77万 - 项目类别：
Studentship
A Robot that Swims Through Granular Materials
可以在颗粒材料中游动的机器人
- 批准号：
2780268 - 财政年份：2027
- 资助金额：
$ 0.77万 - 项目类别：
Studentship
Likelihood and impact of severe space weather events on the resilience of nuclear power and safeguards monitoring.
严重空间天气事件对核电和保障监督的恢复力的可能性和影响。
- 批准号：
2908918 - 财政年份：2027
- 资助金额：
$ 0.77万 - 项目类别：
Studentship
Proton, alpha and gamma irradiation assisted stress corrosion cracking: understanding the fuel-stainless steel interface
质子、α 和 γ 辐照辅助应力腐蚀开裂：了解燃料-不锈钢界面
- 批准号：
2908693 - 财政年份：2027
- 资助金额：
$ 0.77万 - 项目类别：
Studentship
Field Assisted Sintering of Nuclear Fuel Simulants
核燃料模拟物的现场辅助烧结
- 批准号：
2908917 - 财政年份：2027
- 资助金额：
$ 0.77万 - 项目类别：
Studentship
Assessment of new fatigue capable titanium alloys for aerospace applications
评估用于航空航天应用的新型抗疲劳钛合金
- 批准号：
2879438 - 财政年份：2027
- 资助金额：
$ 0.77万 - 项目类别：
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.77万 - 项目类别：
Studentship
CDT year 1 so TBC in Oct 2024
CDT 第 1 年，预计 2024 年 10 月
- 批准号：
2879865 - 财政年份：2027
- 资助金额：
$ 0.77万 - 项目类别：
Studentship
Understanding the interplay between the gut microbiome, behavior and urbanisation in wild birds
了解野生鸟类肠道微生物组、行为和城市化之间的相互作用
- 批准号：
2876993 - 财政年份：2027
- 资助金额：
$ 0.77万 - 项目类别：
Studentship