阿卡玛(Yohji Akama)
人员信息
优化列表
2020年–今天
2023 [公元9年] 阿卡玛(Yohji Akama) , 闵燕 :
变形十二面体瓷砖。 澳大利亚。 J库姆。 85 : 1-14 ( 2023 ) [j8] 阿卡玛(Yohji Akama) , 博博华 :
具有规则面的双曲多面体曲面。 谨慎。 数学。 346 ( 1 ) : 113213 ( 2023 )
2010 – 2019
2018 [i4] 阿卡玛(Yohji Akama) :
汇流端接伸展lambda-calculi,具有满射配对和端接类型。 CoRR公司 abs/1805.02004 ( 2018 ) 2017 [第12条] 阿卡玛(Yohji Akama) :
具有Surjective Pairing和Terminal类型的lambda-Calculus的汇流终止上下文无关替代重写系统。 FSCD公司 2017 : 6:1-6:19 2015 [j7] 阿卡玛(Yohji Akama) , 尼科·范·克莱普特 :
全等四边形的球形tilings:禁止使用的情况和子结构。 Ars数学。 康斯坦普。 8 ( 2 ) : 297-318 ( 2015 ) 2014 [j6] 阿卡玛(Yohji Akama) :
迭代限制PCA对PA的可实现性解释。 数学。 结构。 计算。 科学。 24 ( 6 ) ( 2014 ) 2011 [j5] 阿卡玛(Yohji Akama) :
集合系统:阶类型、连续不确定性变形和准阶。 西奥。 计算。 科学。 412 ( 45 ) : 6235-6251 ( 2011 ) [i3] 阿卡玛(Yohji Akama) :
集合系统:序类型、连续不确定性变形和准序。 CoRR公司 腹肌/1106.5294 ( 2011 ) [i2] 阿卡玛(Yohji Akama) , 基·伊里 :
椭圆体的VC尺寸。 CoRR公司 腹肌/1109.4347 ( 2011 ) [i1] 阿卡玛(Yohji Akama) :
集合系统的新阶理论和更好的拟阶。 CoRR公司 abs/1112.2801 ( 2011 ) 2010 【j4】 阿卡玛(Yohji Akama) , 基·伊里 , 川村昭通 , 上野康介(Yasutaka Uwano) :
主成分分析的VC维度。 谨慎。 计算。 地理。 44 ( 三 ) : 589-598 ( 2010 )
2000 – 2009
2009 [第11条] 阿卡玛(Yohji Akama) :
交换正则乱序封闭语言,诺特性,学习理论。 拉丁美洲旅游协会 2009 : 93-104 2008 [j3] 阿卡玛(Yohji Akama) , 托马斯·齐格曼 :
使用增量延迟进行一致且连贯的学习。 Inf.计算。 206 ( 11 ) : 1362-1374 ( 2008 ) 2006 [第10条] 阿卡玛(Yohji Akama) , 托马斯·齐格曼 :
递归函数归纳推理的一致性条件。 JSAI公司 2006 : 251-264 2005 【c9】 阿卡玛(Yohji Akama) , 井冈信治 :
图定向IFS吸引子的实数表示。 CCA公司 2005 : 3-24 2004 [注2] 阿卡玛(Yohji Akama) :
限制部分组合代数。 西奥。 计算。 科学。 311 ( 1-3 ) : 199-220 ( 2004 ) [c8] 阿卡玛(Yohji Akama) , 斯特凡诺·贝拉迪 , Susumu Hayashi先生 , 乌尔里希·科伦巴赫 :
排除中间律和相关原则的算术层次。 许可证 2004 : 192-201 2002 【c7】 Susumu Hayashi先生 , 阿卡玛(Yohji Akama) :
极限计算数学及其应用。 CSL公司 2002 : 1 2001 【c6】 阿卡玛(Yohji Akama) :
将部分组合代数限制为无限Lambda-Calculi和经典逻辑。 CSL公司 2001 : 399-413
1990 – 1999
1999 【c5】 Seikoh Mikami公司 , 阿卡玛(Yohji Akama) :
艾布拉姆斯基线性化学萃取机的研究。 薄层色谱分析 1999 : 243-257 1998 【c4】 阿卡玛(Yohji Akama) :
SN组合子和部分组合代数。 区域贸易协定 1998 : 302-316 1997 【c3】 阿卡玛(Yohji Akama) :
用于强归一化的Lambda到CL的转换。 薄层色谱分析 1997 : 1-10 1996 [j1] 高桥雅子 , 阿卡玛(Yohji Akama) , Sachio Hirokawa先生 :
正常证明及其语法。 Inf.计算。 125 ( 2 ) : 144-153 ( 1996 ) 1994 【c2】 高桥雅子 , 阿卡玛(Yohji Akama) , Sachio Hirokawa先生 :
正常证明及其语法。 节气门执行器控制系统 1994 : 465-493 1993 【c1】 阿卡玛(Yohji Akama) :
关于薄荷对ccc-微积分的还原。 薄层色谱分析 1993 : 1-12