权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

集合論ベースの定理証明支援系の言語仕様の刷新

基于集合论的定理证明支持系统语言规范的更新

基本信息

批准号：
24K14897
负责人：
中正和久
金额：
$ 2.91万
依托单位：
Yamaguchi University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2024
资助国家：
日本
起止时间：
2024-04-01 至 2027-03-31
项目状态：
未结题

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

项目摘要

项目成果

期刊论文数量（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 }}

中正和久其他文献

Mizar数学ライブラリをホスティングするWebプラットフォーム（ポスター・デモ）

托管 Mizar 数学库的 Web 平台（海报演示）

DOI：
发表时间：
2021
期刊：
影响因子：
0
作者：
山道大地;中正和久;和﨑克己
通讯作者：
和﨑克己

画像生成による疑似教師データを用いたマルチモーダル機械翻訳

通过图像生成使用伪监督数据的多模态机器翻译

DOI：
发表时间：
2020
期刊：
影响因子：
0
作者：
Junya Kanda;Yi He;Haoran Xie;Kazunori Miyata;中正和久;岩本裕司，田村晃裕，二宮崇
通讯作者：
岩本裕司，田村晃裕，二宮崇

Visual Studio Code 上で Mizar の記述を補助するエディタ拡張機能の現状についての紹介

介绍有助于在 Visual Studio Code 上编写 Mizar 的编辑器扩展的当前状态

DOI：
发表时间：
2020
期刊：
影响因子：
0
作者：
谷口広途;中正和久
通讯作者：
中正和久

Mizar数学ライブラリの依存関係を可視化するアプリケーションの開発

开发一个应用程序来可视化 Mizar 数学库依赖项

DOI：
发表时间：
2021
期刊：
影响因子：
0
作者：
重中晟吾;中正和久;和﨑克己
通讯作者：
和﨑克己

Mizar 数学ライブラリをホスティングする Web プラットフォームの研究

托管 Mizar 数学库的网络平台研究

DOI：
发表时间：
2020
期刊：
影响因子：
0
作者：
山道大地;中正和久;和﨑克己
通讯作者：
和﨑克己

中正和久的其他文献

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

立即体验

相似国自然基金

车载中央计算平台软件框架及泊车功能研发与产业化应用

批准号：
批准年份：
2025
资助金额：
0.0 万元
项目类别：
省市级项目

低空飞行器及其空域的设计与监管平台软件

批准号：
批准年份：
2025
资助金额：
0.0 万元
项目类别：
省市级项目

基于金刚石高效散热封装的高功率高压GaN器件研发与产业化

批准号：
批准年份：
2025
资助金额：
0.0 万元
项目类别：
省市级项目

新能源智能汽车高性能精密零部件装备研制与产业化

批准号：
批准年份：
2025
资助金额：
0.0 万元
项目类别：
省市级项目

高效智能化超低风速风电机组关键技术及装备研制

批准号：
批准年份：
2025
资助金额：
0.0 万元
项目类别：
省市级项目

绿氢制储加注关键技术与装备研发

批准号：
批准年份：
2025
资助金额：
0.0 万元
项目类别：
省市级项目

复杂电子产品超精密加工及检测关键技术研究与应用

批准号：
批准年份：
2025
资助金额：
0.0 万元
项目类别：
省市级项目

抗消化性溃疡新药研发

批准号：
批准年份：
2025
资助金额：
0.0 万元
项目类别：
省市级项目

基于合成生物学的动物底盘品种优化及中试应用研究

批准号：
批准年份：
2025
资助金额：
0.0 万元
项目类别：
省市级项目

1.1 类中药创新药“鱼酱排毒合剂”开发

批准号：
批准年份：
2025
资助金额：
0.0 万元
项目类别：
省市级项目

相似海外基金

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

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

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

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

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

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

A Robot that Swims Through Granular Materials

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

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

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

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

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

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

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

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

Field Assisted Sintering of Nuclear Fuel Simulants

核燃料模拟物的现场辅助烧结

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

Assessment of new fatigue capable titanium alloys for aerospace applications

评估用于航空航天应用的新型抗疲劳钛合金

批准号：
2879438
财政年份：
2027
资助金额：
$ 2.91万
项目类别：
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
资助金额：
$ 2.91万
项目类别：
Studentship

CDT year 1 so TBC in Oct 2024

CDT 第 1 年，预计 2024 年 10 月

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

Understanding the interplay between the gut microbiome, behavior and urbanisation in wild birds

了解野生鸟类肠道微生物组、行为和城市化之间的相互作用

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

会员权益说明：