刷新
{{item.name}}会员
直観主義論理の推論に関する代数的特徴付けの精密化
直觉逻辑推理的代数表征的细化
基本信息
- 批准号：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)
相似海外基金
REU Site: Research Experiences for Undergraduates in Algebra and Discrete Mathematics at Auburn University
REU 网站：奥本大学代数和离散数学本科生的研究经验
- 批准号：
2349684 - 财政年份：2024
- 资助金额：
$ 2.75万 - 项目类别：
Continuing Grant
Conference: Underrepresented Students in Algebra and Topology Research Symposium (USTARS)
会议：代数和拓扑研究研讨会（USTARS）中代表性不足的学生
- 批准号：
2400006 - 财政年份：2024
- 资助金额：
$ 2.75万 - 项目类别：
Standard Grant
Positive and Mixed Characteristic Birational Geometry and its Connections with Commutative Algebra and Arithmetic Geometry
正混合特征双有理几何及其与交换代数和算术几何的联系
- 批准号：
2401360 - 财政年份：2024
- 资助金额：
$ 2.75万 - 项目类别：
Standard Grant
On combinatorics, the algebra, topology, and geometry of a new class of graphs that generalize ordinary and ribbon graphs
关于组合学、一类新图的代数、拓扑和几何，概括了普通图和带状图
- 批准号：
24K06659 - 财政年份：2024
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
RTG: Applied Algebra at the University of South Florida
RTG：南佛罗里达大学应用代数
- 批准号：
2342254 - 财政年份：2024
- 资助金额：
$ 2.75万 - 项目类别：
Continuing Grant
Conference: Research School: Bridges between Algebra and Combinatorics
会议：研究学院：代数与组合学之间的桥梁
- 批准号：
2416063 - 财政年份：2024
- 资助金额：
$ 2.75万 - 项目类别：
Standard Grant
Conference: Fairfax Algebra Days 2024
会议：2024 年费尔法克斯代数日
- 批准号：
2337178 - 财政年份：2024
- 资助金额：
$ 2.75万 - 项目类别：
Standard Grant
CAREER: Leveraging Randomization and Structure in Computational Linear Algebra for Data Science
职业：利用计算线性代数中的随机化和结构进行数据科学
- 批准号：
2338655 - 财政年份：2024
- 资助金额：
$ 2.75万 - 项目类别：
Continuing Grant
Stable Homotopy Theory in Algebra, Topology, and Geometry
代数、拓扑和几何中的稳定同伦理论
- 批准号：
2414922 - 财政年份：2024
- 资助金额：
$ 2.75万 - 项目类别：
Standard Grant