Studies for Non-Monotone Recursion
Studies for Non-Monotone Recursion
非单调递归的研究
批准号：
25540001
负责人：
SUMII Eijiro
金额：
$2.33万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Challenging Exploratory Research
财政年份：
2013
资助国家：
日本
项目状态：
已结题
起止时间：
2013-04-01 至 2016-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(11)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Specialization of Generic Array Accesses After Inlining
内联后通用数组访问的专门化
内联后通用数组访问的专门化
DOI：
--
发表时间：
2015
期刊：
The Ocaml Users and Developers Workshop (talk abstracts)
影响因子：
--
作者：
[Ryohei Tokuda, Eijiro Sumii]
通讯作者：
Eijiro Sumii
A Multi-Role Translation of Protocol Narration into the Spi-Calculus with Correspondence Assertions
协议叙述到具有对应断言的 Spi 演算的多角色翻译
协议叙述到具有对应断言的 Spi 演算的多角色翻译
DOI：
--
发表时间：
2013
期刊：
FCS'13: Workshop on Foundations of Computer Security (Informal Proceedings)
影响因子：
--
作者：
[Eijiro Sumii, Yuji Sato]
通讯作者：
Yuji Sato
機械学習による関数型ブーリアンプログラムの型推論
使用机器学习进行函数式布尔程序的类型推断
使用机器学习进行函数式布尔程序的类型推断
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[阿部 晃典, 住井 英二郎]
通讯作者：
住井 英二郎
A Simple and Practical Linear Algebra Library Interface with Static Size Checking
一个简单实用的线性代数库接口，具有静态大小检查功能
一个简单实用的线性代数库接口，具有静态大小检查功能
DOI：
10.4204/eptcs.198.1
发表时间：
2015
期刊：
EPTCS
影响因子：
--
作者：
[Akinori Abe, Eijiro Sumii]
通讯作者：
Eijiro Sumii
Call/ccを含む型無しラムダ計算における文脈等価性の一証明手法
一种在无类型 lambda 计算（包括 call/cc）中证明上下文等价性的方法
一种在无类型 lambda 计算（包括 call/cc）中证明上下文等价性的方法
DOI：
--
发表时间：
2015
期刊：
日本ソフトウェア科学会第32回大会（2015年度）講演論文集
影响因子：
--
作者：
[谷内 太一, 住井 英二郎]
通讯作者：
住井 英二郎
共 6 条
Formal Verification of Higher-Order Open Systems
-
批准号：22300005
-
项目类别：Grant-in-Aid for Scientific Research (B)
-
资助金额：$9.4万
-
财政年份：2010
-
负责人：SUMII Eijiro
-
依托单位：
A unified theory and application of information hiding by program verification
-
批准号：18680003
-
项目类别：Grant-in-Aid for Young Scientists (A)
-
资助金额：$10.15万
-
财政年份：2006
-
负责人：SUMII Eijiro
-
依托单位：
海外基金