Constructive reverse mathematics and its framework
构造性逆向数学及其框架
基本信息
- 批准号：23K03205
- 负责人：
- 金额：$ 2.91万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2023
- 资助国家：日本
- 起止时间：2023-04-01 至 2028-03-31
- 项目状态：未结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 }}
藤原 誠其他文献
Note on total and partial functions in second-order arithmetic (Proof Theory, Computation Theory and Related Topics)
关于二阶算术中的全函数和偏函数的注释（证明理论、计算理论及相关主题）
- DOI：
- 发表时间：
2015-06-01 - 期刊：
- 影响因子：0
- 作者：
藤原 誠;佐藤 隆 - 通讯作者：
佐藤 隆
重イオンビームで誘発したイネ温度感受性 virescent 変異体 csv1の原因遺伝子同定と特性解析
重离子束诱导水稻温敏绿化突变体csv1致病基因的鉴定与表征
- DOI：
- 发表时间：
2017 - 期刊：
- 影响因子：0
- 作者：
森田 竜平;中川 繭;竹久 妃奈子;林 依子;市田 裕之;臼田 祥子;一瀬 勝紀;安部 弘;白川 侑希;東海林 英夫;佐藤 雅志;藤原 誠;伊藤 竜一;阿部 知子 - 通讯作者：
阿部 知子
集束イオンビームを用いた電子光学系輪帯瞳用アパーチャの作製,´藤原誠、田中武雄、志水一平、松谷貴臣、日坂真樹、安江常夫、生田孝、田屋昌樹、木村吉秀、高井義造、川崎忠寛、市橋幹雄
使用聚焦离子束制作电子光学系统的环形光瞳孔径，Makoto Fujiwara，Takeo Tanaka，Ippei Shimizu，Takaomi Matsutani，Maki Hisaka，Tsuneo Yasue，Takashi Ikuta，Masaki Taya，Yoshihide Kimura，Yoshizo Takai，Tadahiro Kawasaki，Mikio Ichihashi
- DOI：
- 发表时间：
2007 - 期刊：
- 影响因子：0
- 作者：
藤原 誠 - 通讯作者：
藤原 誠
Genotype-phenotype analysis, and assessment of the importance of the zinc-binding site in PHEX in Japanese patients with X-linked hypophosphatemic rickets using 3D structure modeling
使用 3D 结构模型进行基因型-表型分析，并评估日本 X 连锁低磷血症性佝偻病患者 PHEX 中锌结合位点的重要性
- DOI：
- 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
大幡 泰久;石原 康貴;武鑓 真司;北岡 太一;藤原 誠;中野 由佳子;山本 賢一;山田 知絵子;山本 勝輔;道上 敏美;間部 裕代;山口 健史;松井 克之;玉田 泉;難波 範行;山本 晶子;江藤 潤也;河口 亜津彩;小杉 理英子;窪田 拓生;大薗 恵一 - 通讯作者：
大薗 恵一
乳房専用PETを用いた乳癌術前化学療法における効果予測の有用性についての検討
使用乳腺特异性 PET 检查乳腺癌术前化疗效果预测的有效性
- DOI：
- 发表时间：
2017 - 期刊：
- 影响因子：0
- 作者：
藤原 誠; 角舎 学行; 村上 千佳; 吉川 徹; 半田 良憲; 網岡 愛; 郷田 紀子; 河野 美保; 恵美 純子; 梶谷 桂子; 舛本 法生; 春田 るみ; 片岡 健; 岡田 守人 - 通讯作者：
岡田 守人
藤原 誠的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('藤原 誠', 18)}}的其他基金
Reverse mathematical analysis of intuitionistic mathematics
直觉数学的逆向数学分析
- 批准号：
20K14354 - 财政年份：2020
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
シロイヌナズナの花粉および気孔発生時の色素体増殖・分配ダイナミクス
拟南芥花粉和气孔发育过程中质体增殖和分布动态
- 批准号：
19K05831 - 财政年份：2019
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
A logical foundation for constructivism
建构主义的逻辑基础
- 批准号：
19J01239 - 财政年份：2019
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows
存在定理の一様証明可能性及び直観主義証明可能性に関する逆数学的解析
存在定理的一致可证明性和直觉可证明性的逆向数学分析
- 批准号：
14J04387 - 财政年份：2014
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows
シロイヌナズナの葉緑体分裂開始機構の解明
拟南芥叶绿体分裂启动机制的阐明
- 批准号：
17780077 - 财政年份：2005
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
高等植物分化色素体の形構築と分裂制御
高等植物分化质体的形状构建与分裂控制
- 批准号：
14760068 - 财政年份：2002
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
シロイヌナズナの葉緑体RNAポリメラーゼシグマ因子に関する研究
拟南芥叶绿体RNA聚合酶σ因子的研究
- 批准号：
98J04743 - 财政年份：1998
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows
音響的非侵襲組織性状診断への多角的アプローチ
声学非侵入性组织表征的多方面方法
- 批准号：
62770430 - 财政年份：1987
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
相似海外基金
Reverse mathematical analysis of intuitionistic mathematics
直觉数学的逆向数学分析
- 批准号：
20K14354 - 财政年份：2020
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Ultimate analysis of hierarchies in computability theory, descriptive set theory, and general topology
可计算性理论、描述集合论和一般拓扑中层次结构的终极分析
- 批准号：
19K03602 - 财政年份：2019
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
A logical foundation for constructivism
建构主义的逻辑基础
- 批准号：
19J01239 - 财政年份：2019
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Dummett's Theory of Meaning and the Recent Development of Philosophical Analysis of Action -- Rationalization of Action and Understanding
达米特的意义理论与行动哲学分析的最新发展——行动与理解的合理化
- 批准号：
19J13854 - 财政年份：2019
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Uniform computability and constructive derivability between existence sentences
存在句子之间的一致可计算性和构造性可导性
- 批准号：
18K13450 - 财政年份：2018
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Early-Career Scientists