直観主義論理の推論に関する代数的特徴付けの精密化
直觉逻辑推理的代数表征的细化
基本信息
- 批准号：23K10991
- 负责人：
- 金额：$ 2.75万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2023
- 资助国家：日本
- 起止时间：2023-04-01 至 2027-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 }}
倉田 俊彦其他文献
ラムダ計算のモデルと外延性について
关于 lambda 演算模型和外延性
- DOI：
- 发表时间：
2004 - 期刊：
- 影响因子：0
- 作者：
A.Tero;R.Kobayashi;T.Nakagaki;倉田 俊彦 - 通讯作者：
倉田 俊彦
Domains for denotational semantics without weak-extensionality
无弱外延性的指称语义域
- DOI：
- 发表时间：
2005 - 期刊：
- 影响因子：0
- 作者：
Eyral;C;Oka;M.;倉田 俊彦 - 通讯作者：
倉田 俊彦
On Upper Bounds on the Church-Rosser Theorem
论丘奇-罗瑟定理的上界
- DOI：
10.4204/eptcs.235.2 - 发表时间：
2017 - 期刊：
- 影响因子：0
- 作者：
Y. Saiki;M. F. Sanjuan and J. A. Yorke;倉田 俊彦;齋藤三郎，奥村博，松浦勉;川北素子;K. Fujita - 通讯作者：
K. Fujita
Asymptotic profiles of solutions and propagating terrace for a free boundary problem of reaction diffusion equation with a nonlinearity of multi-stable type
多稳态非线性反应扩散方程自由边界问题解的渐近廓线及传播平台
- DOI：
- 发表时间：
2019 - 期刊：
- 影响因子：0
- 作者：
倉田 俊彦;道工 勇;松澤 寛 - 通讯作者：
松澤 寛
Absolute anabelian cuspidalizations of proper hyperbolic curves
真双曲曲线的绝对阿贝尔尖端化
- DOI：
- 发表时间：
2008 - 期刊：
- 影响因子：0
- 作者：
Eyral;C;Oka;M.;倉田 俊彦;R.Kobayashi;A.Hiraki and J.Koolen;望月新一 - 通讯作者：
望月新一
倉田 俊彦的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('倉田 俊彦', 18)}}的其他基金
プログラムの表示的意味論と効率的実行手法の研究
程序显示语义及高效执行方法研究
- 批准号：
14780235 - 财政年份：2002
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
相似海外基金
極小モデル理論を用いた正規アフィン代数曲面の構造と対数的多重種数に関する研究
利用最小模型理论研究正则仿射代数面与对数重属的结构
- 批准号：
24K06684 - 财政年份：2024
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
乗法的単位元を持たない可換環を用いたalmost数学のスキーム及びホモトピー理論の確立
使用无乘法恒等式的交换环建立几乎数学格式和同伦论
- 批准号：
23K03080 - 财政年份：2023
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
骨代謝数理モデルに基づく皮質骨・海綿骨リモデリングの統合的理解
基于骨代谢数学模型对皮质骨和松质骨重塑的综合理解
- 批准号：
22K03827 - 财政年份：2022
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
室内気流場の実用的推定手法の開発とそれに基づく定量的空気感染リスク評価
开发实用的室内气流场估计方法及基于该方法的定量空气感染风险评估
- 批准号：
22K04630 - 财政年份：2022
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Basic research on interpretability and causality in modeling time-dependent phenomena
瞬态现象建模中可解释性和因果关系的基础研究
- 批准号：
22K21278 - 财政年份：2022
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Research Activity Start-up