刷新
{{item.name}}会员
Interdisciplinary Study in Philosophy of Logic - With a special focus on theory of inferences and proofs of intuitionistic logic
逻辑哲学的跨学科研究 - 特别关注直觉逻辑的推论和证明理论
基本信息
- 批准号：23520036
- 负责人：
- 金额：$ 2.83万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2011
- 资助国家：日本
- 起止时间：2011 至 2014
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Proof Theory for Euler Diagrammatic Inferences(Invited Talk)
欧拉图解推论的证明论（特邀报告）
- DOI：
- 发表时间：2012
- 期刊：
- 影响因子：0
- 作者：Mitsuhiro Okada;Chizuru Shikishima and Juko Ando;清水正之;山本史華;荻野弘之;Mitsuhiro Okada
- 通讯作者：Mitsuhiro Okada
Twin Study with Allais Paradox (Poster Presentation)
阿莱悖论的双胞胎研究（海报展示）
- DOI：
- 发表时间：2012
- 期刊：
- 影响因子：0
- 作者：Mitsuhiro Okada;Shikishima Chizuru et al.
- 通讯作者：Shikishima Chizuru et al.
Philosophy of Arithmetical Proof of Wittgenstein
维特根斯坦的算术证明哲学
- DOI：
- 发表时间：
- 期刊：
- 影响因子：0
- 作者：佐藤有理;峯島宏次;竹村亮;岡田光弘;清水正之;荻野弘之;岡田光弘;清水正之;Mitsuhiro Okada;清水正之;清水正之;Mitsuhiro Okada;Mitsuhiro Okada
- 通讯作者：Mitsuhiro Okada
Shape Perception in Chemistry
化学中的形状感知
- DOI：
- 发表时间：2013
- 期刊：
- 影响因子：0
- 作者：Janna HASTINGS1;Colin BATCHELOR and Mitsuhiro OKADA,;accepted;2013,
- 通讯作者：2013,
{{
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 }}
OKADA Mitsuhiro其他文献
OKADA Mitsuhiro的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('OKADA Mitsuhiro', 18)}}的其他基金
Visualization of the vascularity of the peripheral nerve by indocyanine green fluorescence angiography and its clinical application for treatment of entrapment neuropathy
吲哚菁绿荧光血管造影显示周围神经血管分布及其治疗卡压性神经病的临床应用
- 批准号：
26462247 - 财政年份：2014
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Effect of intraneural decompression to peripheral nerve estimated by intraoperative nerve blood flow
通过术中神经血流评估神经内减压对周围神经的影响
- 批准号：
23592171 - 财政年份：2011
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Astudy on tales of transformation from human beings to animals or plants In China
中国人转变为动物或植物的故事研究
- 批准号：
21520366 - 财政年份：2009
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
International collaborative studies on a logical specification and verification language.
逻辑规范和验证语言的国际合作研究。
- 批准号：
13558031 - 财政年份：2001
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Theory of formal specification and verification of concurrency systems and real-time systems based on linear logic
基于线性逻辑的并发系统和实时系统的形式化说明与验证理论
- 批准号：
12480075 - 财政年份：2000
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Applications of Type Theory and Linear Logic to Programming Language Theory
类型论和线性逻辑在编程语言理论中的应用
- 批准号：
10044094 - 财政年份：1998
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (A).
Programming Language Theory Based on Logical Methods
基于逻辑方法的编程语言理论
- 批准号：
09480058 - 财政年份：1997
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Application of type theory and linear logic for Programming Languages
类型论和线性逻辑在编程语言中的应用
- 批准号：
07044093 - 财政年份：1995
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for international Scientific Research
Girard's Linear Logic and its Application
吉拉德的线性逻辑及其应用
- 批准号：
07808035 - 财政年份：1995
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Application of Logic to Programming Language Theory
逻辑在编程语言理论中的应用
- 批准号：
05808030 - 财政年份：1993
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for General Scientific Research (C)
相似海外基金
Reversible Computing and Reservoir Computing with Magnetic Skyrmions for Energy-Efficient Boolean Logic and Artificial Intelligence Hardware
用于节能布尔逻辑和人工智能硬件的磁斯格明子可逆计算和储层计算
- 批准号：
2343607 - 财政年份：2024
- 资助金额：
$ 2.83万 - 项目类别：
Standard Grant
Conference: Southeastern Logic Symposium
会议：东南逻辑研讨会
- 批准号：
2401437 - 财政年份：2024
- 资助金额：
$ 2.83万 - 项目类别：
Continuing Grant
CAREER: Next-generation Logic, Memory, and Agile Microwave Devices Enabled by Spin Phenomena in Emergent Quantum Materials
职业：由新兴量子材料中的自旋现象实现的下一代逻辑、存储器和敏捷微波器件
- 批准号：
2339723 - 财政年份：2024
- 资助金额：
$ 2.83万 - 项目类别：
Continuing Grant
RII Track-4:NSF: Introducing Quantum Logic Spectroscopy to Greater Southern Nevada as a Vital Quantum Control and Information Process Method
RII Track-4：NSF：将量子逻辑光谱作为重要的量子控制和信息处理方法引入内华达州南部
- 批准号：
2327247 - 财政年份：2024
- 资助金额：
$ 2.83万 - 项目类别：
Standard Grant
Collaborative Research: Reversible Computing and Reservoir Computing with Magnetic Skyrmions for Energy-Efficient Boolean Logic and Artificial Intelligence Hardware
合作研究：用于节能布尔逻辑和人工智能硬件的磁斯格明子可逆计算和储层计算
- 批准号：
2343606 - 财政年份：2024
- 资助金额：
$ 2.83万 - 项目类别：
Standard Grant
CRII: CPS: FAICYS: Model-Based Verification for AI-Enabled Cyber-Physical Systems Through Guided Falsification of Temporal Logic Properties
CRII：CPS：FAICYS：通过时态逻辑属性的引导伪造，对支持人工智能的网络物理系统进行基于模型的验证
- 批准号：
2347294 - 财政年份：2024
- 资助金额：
$ 2.83万 - 项目类别：
Standard Grant
2022BBSRC-NSF/BIO Generating New Network Analysis Tools for Elucidating the Functional Logic of 3D Vision Circuits of the Drosophila Brain
2022BBSRC-NSF/BIO 生成新的网络分析工具来阐明果蝇大脑 3D 视觉电路的功能逻辑
- 批准号：
BB/Y000234/1 - 财政年份：2024
- 资助金额：
$ 2.83万 - 项目类别：
Research Grant
科学哲学の基礎としての数理論理学の展開
作为科学哲学基础的数理逻辑的发展
- 批准号：
24K03357 - 财政年份：2024
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Travel: Student Travel Support for Logic Mentoring Workshops 2024
旅行：2024 年逻辑辅导研讨会的学生旅行支持
- 批准号：
2408942 - 财政年份：2024
- 资助金额：
$ 2.83万 - 项目类别：
Standard Grant