刷新
{{item.name}}会员
中間述語論理の研究
中间谓词逻辑研究
基本信息
- 批准号：02740102
- 负责人：
- 金额：$ 0.58万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Encouragement of Young Scientists (A)
- 财政年份：1990
- 资助国家：日本
- 起止时间：1990 至 无数据
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 }}
鈴木 信行其他文献
フランスにおける統合政策とムスリムの立場
融合政策和穆斯林在法国的地位
- DOI：
- 发表时间：
2015 - 期刊：
- 影响因子：0
- 作者：
Igarashi;Noriko;周星;Reiko Gotoh;金山直樹;東條吉純;粟屋直・大森裕浩;鈴木 信行;今村祥子;藤田昌久,浜口伸明,亀山嘉大;地田 徹朗;Kenji Tsutsumi;Igarashi Noriko;林秀弥;浪岡新太郎 - 通讯作者：
浪岡新太郎
契約締結補助者の理論の概要と可能性
合同订立助手理论的概述和可能性
- DOI：
- 发表时间：
2016 - 期刊：
- 影响因子：0
- 作者：
Igarashi;Noriko;周星;Reiko Gotoh;金山直樹;東條吉純;粟屋直・大森裕浩;鈴木 信行;今村祥子;藤田昌久,浜口伸明,亀山嘉大;地田 徹朗;Kenji Tsutsumi;Igarashi Noriko;林秀弥;浪岡新太郎;山内雄太・大森裕浩;金山直樹 - 通讯作者：
金山直樹
存在特性を持ち選言特性を持たない中間述語論理について
关于具有存在属性且不具有析取属性的中间谓词逻辑
- DOI：
- 发表时间：
2018 - 期刊：
- 影响因子：0
- 作者：
Igarashi;Noriko;周星;Reiko Gotoh;金山直樹;東條吉純;粟屋直・大森裕浩;鈴木 信行;今村祥子;藤田昌久,浜口伸明,亀山嘉大;地田 徹朗;Kenji Tsutsumi;Igarashi Noriko;林秀弥;浪岡新太郎;山内雄太・大森裕浩;金山直樹;山根 聡;N.-Y. Suzuki;小倉清子;浜口伸明;後藤玲子・小林秀行;堀江典生;Katsuhisa Ito;粟屋直・大森裕浩;Fumio Iida;金山直樹;鈴木 信行 - 通讯作者：
鈴木 信行
我が国における国有林の存在意義に関する一考察
日本国立森林存在意义的研究
- DOI：
- 发表时间：
2015 - 期刊：
- 影响因子：0
- 作者：
Akiyama;E. (with T. Nishikawa;I. Okada;F. Toriumi;and H. Yamamoto);Ikuo Ota;堀江典生・雲和広;門田岳久;粟屋直・大森裕浩;平野裕之;土田和博;森口千晶;Chiharu Takenaka;山根 聡;鈴木 信行;Marcus Berliant and Tomoya Mori;平野裕之;大田伊久雄 - 通讯作者：
大田伊久雄
香港は民主へ目覚めたのか―対立続く北京政府と香港民主派―
香港民主觉醒了吗？ - 北京政府与香港民主派之间的持续冲突 -
- DOI：
- 发表时间：
2014 - 期刊：
- 影响因子：0
- 作者：
Akiyama;E. (with T. Nishikawa;I. Okada;F. Toriumi;and H. Yamamoto);Ikuo Ota;堀江典生・雲和広;門田岳久;粟屋直・大森裕浩;平野裕之;土田和博;森口千晶;Chiharu Takenaka;山根 聡;鈴木 信行;Marcus Berliant and Tomoya Mori;平野裕之;大田伊久雄;粟屋直・大森裕浩;門田岳久;Shuya Hayashi;倉田 徹 - 通讯作者：
倉田 徹
鈴木 信行的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('鈴木 信行', 18)}}的其他基金
構成性を制御しながら直観主義論理を拡大する
在控制组合性的同时扩展直觉逻辑
- 批准号：
20K03716 - 财政年份：2020
- 资助金额：
$ 0.58万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
拡張Kripke意味論と述語論理の強独立系列
强独立的扩展 Kripke 语义和谓词逻辑系列
- 批准号：
09740131 - 财政年份：1997
- 资助金额：
$ 0.58万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
真理値関手を持つKripke意味論
具有真值函子的 Kripke 语义
- 批准号：
08740131 - 财政年份：1996
- 资助金额：
$ 0.58万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
Kripke Type意味論における強妥当性
Kripke 类型语义的强有效性
- 批准号：
07740138 - 财政年份：1995
- 资助金额：
$ 0.58万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
Kripke Sheaf意味論と述語論理
克里普克层语义和谓词逻辑
- 批准号：
06740140 - 财政年份：1994
- 资助金额：
$ 0.58万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
非古典論理のfunctional意味論
非经典逻辑的函数语义
- 批准号：
04740106 - 财政年份：1992
- 资助金额：
$ 0.58万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
非古典述語論理のKripke Bundlesの研究
非经典谓词逻辑的 Kripke Bundles 研究
- 批准号：
03740107 - 财政年份：1991
- 资助金额：
$ 0.58万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
相似国自然基金
车载中央计算平台软件框架及泊车功能研发与产业化应用
- 批准号：
- 批准年份：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
- 资助金额：
$ 0.58万 - 项目类别：
Studentship
Exploiting the polysaccharide breakdown capacity of the human gut microbiome to develop environmentally sustainable dishwashing solutions
利用人类肠道微生物群的多糖分解能力来开发环境可持续的洗碗解决方案
- 批准号：
2896097 - 财政年份：2027
- 资助金额：
$ 0.58万 - 项目类别：
Studentship
A Robot that Swims Through Granular Materials
可以在颗粒材料中游动的机器人
- 批准号：
2780268 - 财政年份：2027
- 资助金额：
$ 0.58万 - 项目类别：
Studentship
Likelihood and impact of severe space weather events on the resilience of nuclear power and safeguards monitoring.
严重空间天气事件对核电和保障监督的恢复力的可能性和影响。
- 批准号：
2908918 - 财政年份：2027
- 资助金额：
$ 0.58万 - 项目类别：
Studentship
Proton, alpha and gamma irradiation assisted stress corrosion cracking: understanding the fuel-stainless steel interface
质子、α 和 γ 辐照辅助应力腐蚀开裂：了解燃料-不锈钢界面
- 批准号：
2908693 - 财政年份：2027
- 资助金额：
$ 0.58万 - 项目类别：
Studentship
Field Assisted Sintering of Nuclear Fuel Simulants
核燃料模拟物的现场辅助烧结
- 批准号：
2908917 - 财政年份：2027
- 资助金额：
$ 0.58万 - 项目类别：
Studentship
Assessment of new fatigue capable titanium alloys for aerospace applications
评估用于航空航天应用的新型抗疲劳钛合金
- 批准号：
2879438 - 财政年份：2027
- 资助金额：
$ 0.58万 - 项目类别：
Studentship
CDT year 1 so TBC in Oct 2024
CDT 第 1 年，预计 2024 年 10 月
- 批准号：
2879865 - 财政年份：2027
- 资助金额：
$ 0.58万 - 项目类别：
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.58万 - 项目类别：
Studentship
Understanding the interplay between the gut microbiome, behavior and urbanisation in wild birds
了解野生鸟类肠道微生物组、行为和城市化之间的相互作用
- 批准号：
2876993 - 财政年份：2027
- 资助金额：
$ 0.58万 - 项目类别：
Studentship