刷新
{{item.name}}会员
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 }}
藤原 誠其他文献
Micro and Macro Price Dynamics over Twenty Years in Japan-A Large Scale Study Using Daily Scanner Data
日本二十年来的微观和宏观价格动态——利用每日扫描仪数据进行的大规模研究
- DOI：
- 发表时间：
2008 - 期刊：
- 影响因子：0
- 作者：
Nakasaki;M.;Sasaki;T.(6名中4番);Itoh;K.;武田宏栄;藤原 誠;Kazuyuki Tatsumi;N. Abe and A. Tonogi - 通讯作者：
N. Abe and A. Tonogi
乳房専用PETにおける乳癌術前評価の有用性についての検討
乳腺癌术前评估在乳腺特异性 PET 中的实用性检验
- DOI：
- 发表时间：
2017 - 期刊：
- 影响因子：0
- 作者：
舛本 法生;角舎 学行;村上 千佳;吉川 徹;藤原 誠;半田 良憲;網岡 愛;郷田 紀子;河野 美保;笹田 伸介;梶谷 桂子;恵美 純子;春田 るみ;片岡 健;岡田 守人 - 通讯作者：
岡田 守人
術前乳房専用PET検査における病変範囲診断の検討
术前乳腺PET检查中病灶范围诊断的检查
- DOI：
- 发表时间：
2017 - 期刊：
- 影响因子：0
- 作者：
笹田 伸介;角舎 学行;村上 千佳;吉川 徹;藤原 誠;半田 良憲;網岡 愛;郷田 紀子;河野 美保;恵美 純子;梶谷 桂子;舛本 法生;春田 るみ;片岡 健;岡田 守人 - 通讯作者：
岡田 守人
Note on total and partial functions in second-order arithmetic (Proof Theory, Computation Theory and Related Topics)
关于二阶算术中的全函数和偏函数的注释（证明理论、计算理论及相关主题）
- DOI：
- 发表时间：
2015 - 期刊：
- 影响因子：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
- 作者：
Nakasaki;M.;Sasaki;T.(6名中4番);Itoh;K.;武田宏栄;藤原 誠 - 通讯作者：
藤原 誠
藤原 誠的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('藤原 誠', 18)}}的其他基金
軟骨無形成症における特異的肥満の耐糖能機序の解明
软骨发育不全中特定肥胖的葡萄糖耐量机制的阐明
- 批准号：
21K16354 - 财政年份：2021
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Reverse mathematical analysis of intuitionistic mathematics
直觉数学的逆向数学分析
- 批准号：
20K14354 - 财政年份：2020
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
A logical foundation for constructivism
建构主义的逻辑基础
- 批准号：
19J01239 - 财政年份：2019
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows
シロイヌナズナの花粉および気孔発生時の色素体増殖・分配ダイナミクス
拟南芥花粉和气孔发育过程中质体增殖和分布动态
- 批准号：
19K05831 - 财政年份：2019
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
小児骨系統疾患の病態解明を目指した疾患特異的ヒトiPS細胞の骨分化誘導法の確立
建立诱导疾病特异性人 iPS 细胞成骨分化的方法，旨在阐明儿童骨疾病的病理学
- 批准号：
15K19612 - 财政年份：2015
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
存在定理の一様証明可能性及び直観主義証明可能性に関する逆数学的解析
存在定理的一致可证明性和直觉可证明性的逆向数学分析
- 批准号：
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)
相似海外基金
構成的数学における位相空間論に関する研究
构造数学中的拓扑空间理论研究
- 批准号：
13J10114 - 财政年份：2013
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows