Uniform computability and constructive derivability between existence sentences

存在句子之间的一致可计算性和构造性可导性

基本信息

项目摘要

项目成果

期刊论文数量（6）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Equivalence of bar induction and bar recursion for continuous functions with continuous moduli
对于具有连续模的连续函数，条形归纳和条形递归等价
  • DOI：
    10.1016/j.apal.2019.04.001
  • 发表时间：
    2019
  • 期刊：
    Annals of Pure and Applied Logic
  • 影响因子：
    0.8
  • 作者：
    Makoto Fujiwara and Tatsuji Kawai
  • 通讯作者：
    Makoto Fujiwara and Tatsuji Kawai
Bar induction and bar recursion with respect to continuity on Baire space
贝尔空间上连续性的条形归纳和条形递归
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    周冠宇;Makoto Fujiwara
  • 通讯作者：
    Makoto Fujiwara
Weihrauch and constructive reducibility between existence statements
Weihrauch 和存在陈述之间的建设性还原性
  • DOI：
    10.3233/com-190278
  • 发表时间：
    2021
  • 期刊：
    Computability
  • 影响因子：
    0.6
  • 作者：
    Makoto Fujiwara
  • 通讯作者：
    Makoto Fujiwara
Parallelizations in Weihrauch Reducibility and Constructive Reverse Mathematics
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ 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 }}

Fujiwara Makoto其他文献

A case of HDR syndrome coexisting with tetralogy of Fallot, with a novel GATA3 mutation, which manifested as a renal abscess
HDR综合征合并法洛四联症一例，伴有新的GATA3突变，表现为肾脓肿
  • DOI：
    10.1007/s13730-020-00551-0
  • 发表时间：
    2021
  • 期刊：
    CEN Case Reports
  • 影响因子：
    1
  • 作者：
    Ikeuchi Mayo;Kiyota Kyoko;Itonaga Tomoyo;Kawano-Matsuda Fumika;Ohata Yasuhisa;Fujiwara Makoto;Kubota Takuo;Ozono Keiichi;Ihara Kenji
  • 通讯作者：
    Ihara Kenji
反応性スパッタ法により作製したTiOx 薄膜の電気特性評価
反应溅射法制备TiOx薄膜电学性能评价
  • DOI：
  • 发表时间：
    2017
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Higo Akio;Sawamura Tomoki;Fujiwara Makoto;Ota Etsuko;Mizushima Ayako;Lebrasseur Eric;Arakawa Taro;Mita Yoshio;福本 泰士，有田 正志，福地 厚，高橋 庸夫
  • 通讯作者：
    福本 泰士，有田 正志，福地 厚，高橋 庸夫
Phosphate promotes osteogenic differentiation through non-canonical Wnt signaling pathway in human mesenchymal stem cells
磷酸盐通过非经典Wnt信号通路促进人间充质干细胞的成骨分化
  • DOI：
    10.1016/j.bone.2022.116525
  • 发表时间：
    2022
  • 期刊：
    Bone
  • 影响因子：
    4.1
  • 作者：
    Rui Shumin;Kubota Takuo;Ohata Yasuhisa;Yamamoto Kenichi;Fujiwara Makoto;Takeyari Shinji;Ozono Keiichi
  • 通讯作者：
    Ozono Keiichi
A Micro Racetrack Optical Resonator Test Structure to Optimize Pattern Approximation in Direct Lithography Technologies
用于优化直接光刻技术中图案逼近的微型跑道光学谐振器测试结构
高齢者における食道癌ESDの治療成績と予後因子の検討
老年食管癌ESD治疗效果及预后因素探讨
  • DOI：
  • 发表时间：
    2022
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Yamada Chieko;Kubota Takuo;Ishimi Takeshi;Takeyari Shinji;Yamamoto Kenichi;Nakayama Hirofumi;Ohata Yasuhisa;Fujiwara Makoto;Kitaoka Taichi;Ozono Keiichi;天野孝広;具嶋亮介
  • 通讯作者：
    具嶋亮介

Fujiwara Makoto的其他文献

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

{{ truncateString('Fujiwara Makoto', 18)}}的其他基金

Efficacy and Safety of Percutaneous Blood Gas Monitoring in Perioperative Management of Lung Surgery
经皮血气监测在肺外科围术期管理中的有效性和安全性
  • 批准号：
    19K18218
  • 财政年份：
    2019
  • 资助金额：
    $ 1.41万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
Uniform computability verified in a mathematically strong system and semi-intuitionistic provability for existence sentences
在数学上强大的系统中验证了统一可计算性以及存在句子的半直觉可证明性
  • 批准号：
    16H07289
  • 财政年份：
    2016
  • 资助金额：
    $ 1.41万
  • 项目类别：
    Grant-in-Aid for Research Activity Start-up

相似海外基金

証明論的手法による構成的逆数学の体系の分類
使用证明理论方法对构造逆数学系统进行分类
  • 批准号：
    24K06823
  • 财政年份：
    2024
  • 资助金额：
    $ 1.41万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Constructive reverse mathematics and its framework
构造性逆向数学及其框架
  • 批准号：
    23K03205
  • 财政年份：
    2023
  • 资助金额：
    $ 1.41万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
幾何様相に基づく構成的逆数学の新展開
基于几何方面的构造逆数学的新进展
  • 批准号：
    22K03401
  • 财政年份：
    2022
  • 资助金额：
    $ 1.41万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Constructive reverse mathematics and computational content of mathematical theorems
构造性逆向数学和数学定理的计算内容
  • 批准号：
    21KK0045
  • 财政年份：
    2021
  • 资助金额：
    $ 1.41万
  • 项目类别：
    Fund for the Promotion of Joint International Research (Fostering Joint International Research (B))
Reverse mathematical analysis of intuitionistic mathematics
直觉数学的逆向数学分析
  • 批准号：
    20K14354
  • 财政年份：
    2020
  • 资助金额：
    $ 1.41万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了