樱井隆夫(Takafumi Sakurai)
人员信息
SPARQL查询
优化列表
2010 – 2019
2014 【c7】 肯塔罗·菊池 , 樱井隆夫(Takafumi Sakurai) :
λμ-演算的交和并类型的转换。 阿普拉斯 2014 : 120-139 2011 [j6] 藤井秀树 , 樱井隆夫(Takafumi Sakurai) , 吉村信步 :
基于多智能体交通模拟器的有轨电车延伸虚拟社会实验。 高级计算杂志。 智力。 智力。 信息学 15 ( 2 ) : 226-232 ( 2011 )
2000 – 2009
2008 [j5] 佐藤正彦 , 樱井隆夫(Takafumi Sakurai) , 谷山由纪夫 , Atsushi Igarashi先生 :
元变量计算。 前沿计算。 科学。 中国 2 ( 1 ) : 12-21 ( 2008 ) 2003 【c6】 佐藤正彦 , 樱井隆夫(Takafumi Sakurai) , 谷山由纪夫 , Atsushi Igarashi先生 :
元变量演算。 CSL公司 2003 : 484-497 2002 【j4】 佐藤正彦 , 樱井隆夫(Takafumi Sakurai) , 谷山由纪夫 :
一种具有一级环境的简单类型上下文演算。 J.功能。 日志。 程序。 2002 ( 2002 ) 2001 [j3] 佐藤正彦 , 樱井隆夫(Takafumi Sakurai) , 罗德·布尔斯托尔 :
显式环境。 芬丹。 信息学 45 ( 1-2 ) : 79-115 ( 2001 ) [注2] 樱井隆夫(Takafumi Sakurai) :
证明句法性质的范畴模型构造。 发现的国际期刊。 计算。 科学。 12 ( 2 ) : 213-244 ( 2001 ) 【c5】 佐藤正彦 , 樱井隆夫(Takafumi Sakurai) , 谷山由纪夫 :
具有一级环境的简单类型上下文演算。 FLOPS(浮动) 2001 : 359-374
1990 – 1999
1999 【c4】 佐藤正彦 , 樱井隆夫(Takafumi Sakurai) , 罗德·M·伯斯托尔 :
显式环境。 薄层色谱分析 1999 : 340-354 1998 【c3】 樱井隆夫(Takafumi Sakurai) :
用于证明句法属性的范畴模型构造。 富士国际函数和逻辑编程研讨会 1998 : 187-206
1980 – 1989
1986 [第1页] 佐藤正彦 , 樱井隆夫(Takafumi Sakurai) :
QUTE:一种基于统一的功能语言。 逻辑程序设计:函数、关系和方程 1986 : 131-155 1984 [j1] Masami Hagiya先生 , 樱井隆夫(Takafumi Sakurai) :
基于归纳定义的逻辑程序设计基础。 新一代。 计算。 2 ( 1 ) : 59-77 ( 1984 ) 【c2】 佐藤正彦 , 樱井隆夫(Takafumi Sakurai) :
QUTE:一种基于统一的功能语言。 FGCS公司 1984 : 157-165 1983 【c1】 佐藤正彦 , 樱井隆夫(Takafumi Sakurai) :
Qute:用于逻辑编程的Prolog/Lisp类型语言。 国际JCAI 1983 : 507-513