刷新
{{item.name}}会员
Studies for Non-Monotone Recursion
非单调递归的研究
基本信息
- 批准号：25540001
- 负责人：
- 金额：$ 2.33万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Challenging Exploratory Research
- 财政年份：2013
- 资助国家：日本
- 起止时间：2013-04-01 至 2016-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（11）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Specialization of Generic Array Accesses After Inlining
内联后通用数组访问的专门化
- DOI：
- 发表时间：2015
- 期刊：
- 影响因子：0
- 作者：Ryohei Tokuda;Eijiro Sumii
- 通讯作者：Eijiro Sumii
A Multi-Role Translation of Protocol Narration into the Spi-Calculus with Correspondence Assertions
协议叙述到具有对应断言的 Spi 演算的多角色翻译
- DOI：
- 发表时间：2013
- 期刊：
- 影响因子：0
- 作者：Eijiro Sumii;Yuji Sato
- 通讯作者：Yuji Sato
A Simple and Practical Linear Algebra Library Interface with Static Size Checking
一个简单实用的线性代数库接口，具有静态大小检查功能
- DOI：10.4204/eptcs.198.1
- 发表时间：2015
- 期刊：
- 影响因子：0
- 作者：Akinori Abe;Eijiro Sumii
- 通讯作者：Eijiro Sumii
Call/ccを含む型無しラムダ計算における文脈等価性の一証明手法
一种在无类型 lambda 计算（包括 call/cc）中证明上下文等价性的方法
- DOI：
- 发表时间：2015
- 期刊：
- 影响因子：0
- 作者：谷内 太一;住井 英二郎
- 通讯作者：住井 英二郎
{{
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 }}
SUMII Eijiro其他文献
Polymorphic Gradual Typing with Holes
带孔的多态渐进打字
- DOI：
- 发表时间：
2020 - 期刊：
- 影响因子：0
- 作者：
KIM Jaebyeog;SUMII Eijiro - 通讯作者：
SUMII Eijiro
COVID-19感染症拡大状況下におけるエナジードリンクおよび間食の摂取習慣とストレス対処との関連
COVID-19感染传播下能量饮料和零食的消费习惯与压力管理的关系
- DOI：
- 发表时间：
2020 - 期刊：
- 影响因子：0
- 作者：
KIM Jaebyeog;SUMII Eijiro;藤田益伸・永浦拡・松田彩音・薩摩篤潤・浅尾祐亮・大西怜香・竹森未来・中西愛・堤俊彦・野田哲朗 - 通讯作者：
藤田益伸・永浦拡・松田彩音・薩摩篤潤・浅尾祐亮・大西怜香・竹森未来・中西愛・堤俊彦・野田哲朗
SUMII Eijiro的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('SUMII Eijiro', 18)}}的其他基金
Formal Verification of Higher-Order Open Systems
高阶开放系统的形式化验证
- 批准号：
22300005 - 财政年份：2010
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
A unified theory and application of information hiding by program verification
程序验证信息隐藏的统一理论与应用
- 批准号：
18680003 - 财政年份：2006
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Young Scientists (A)
相似海外基金
解像度の向上による次世代の再帰反射を用いた空中ディスプレイの開発
利用回射技术开发分辨率更高的下一代航空显示器
- 批准号：
24KJ0518 - 财政年份：2024
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for JSPS Fellows
ヒートアイランド現象の緩和に有効な表面凹凸再帰体の再帰反射性発現の条件解明
阐明可有效缓解热岛现象的凹凸表面逆向反射器逆向反射率的表达条件
- 批准号：
24K07768 - 财政年份：2024
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
アクターモデル型マルチスレッド再帰プログラムのモデル検査法の開発
Actor模型型多线程递归程序的模型检验方法开发
- 批准号：
24K14901 - 财政年份：2024
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
意識の再帰性を可能にする認知神経機構の解明
阐明实现意识反射性的认知神经机制
- 批准号：
23K22379 - 财政年份：2024
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
レーザー誘起再帰蛍光法による未同定星間分子吸収線の起源分子探索
使用激光诱导逆向荧光寻找未知星际吸收线的分子起源
- 批准号：
24H00252 - 财政年份：2024
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Scientific Research (A)
確率最適制御における再帰的効用最大化問題の新展開
随机最优控制中递归效用最大化问题的新进展
- 批准号：
24K06862 - 财政年份：2024
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
錐計画に基づく再帰型ニューラルネットワークの安定性解析と最適設計
基于锥规划的循环神经网络稳定性分析与优化设计
- 批准号：
23K20949 - 财政年份：2024
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
教育学における再帰的自己に関する批判的検討：レヴィナス「再帰」概念を中心に
教育学中反思性自我的批判性审视：聚焦列维纳斯的“反思性”概念
- 批准号：
24K16613 - 财政年份：2024
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
再帰型ニューラルネットワークによる行動選択モデリングの統計的基盤構築
使用循环神经网络为行为选择建模建立统计基础
- 批准号：
24K15121 - 财政年份：2024
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
再帰性反射型不可視ディスプレイに関する研究
逆反射型隐形显示器的研究
- 批准号：
24K15253 - 财政年份：2024
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Scientific Research (C)