Hideki Tsuiki先生
人员信息
附属: 日本京都大学人类与环境研究研究生院
优化列表
2020年–今天
2023 [i7] 乌尔里希·伯杰 , 莫妮卡·塞森伯格 , Dieter Spreen公司 , Hideki Tsuiki先生 :
并发高斯消去。 CoRR公司 abs/2305.10125 ( 2023 ) [i6] 乌尔里希·伯杰 , Hideki Tsuiki先生 :
从证明中提取总Amb程序。 CoRR公司 abs/2307.12454 ( 2023 ) 2022 [第18条] 乌尔里希·伯杰 , Hideki Tsuiki先生 :
从证明中提取总Amb程序。 员工持股计划 2022 : 85-113 2021 [公元18年] 乌尔里希·伯杰 , Hideki Tsuiki先生 :
直觉主义的定点逻辑。 Ann.纯应用。 日志。 172 ( 三 ) : 102903 ( 2021 ) [i5] 乌尔里希·伯杰 , Hideki Tsuiki先生 :
从证明中提取总Amb程序。 CoRR公司 abs/2104.14669 ( 2021 ) 2020 [第17条] 乌尔里希·伯杰 , 奥尔加·彼得罗夫斯卡 , Hideki Tsuiki先生 :
Prawf:一个用于程序提取的交互式证明系统。 CiE公司 2020 : 137-148 [i4] 乌尔里希·伯杰 , Hideki Tsuiki先生 :
直觉主义定点逻辑。 CoRR公司 abs/2002.00188 ( 2020 )
2010 – 2019
2019 [第16条] 小林靖国 , Koki Suetsugu公司 , Hideki Tsuiki先生 , 上原龙平 :
关于格谜的复杂性。 国际会计准则委员会 2019 : 32:1-32:12 2017 [j17] 安德烈·鲍尔 , 乌尔里希·伯杰 , 威廉·福凯 , Dieter Spreen公司 , Hideki Tsuiki先生 , 马丁·齐格勒 :
连续性、可计算性、可构造性:从逻辑到算法2014(特刊前言:连续性、计算性、构造性:2014年从逻辑到运算法则)。 J.日志。 分析。 9 ( 2017 ) [公元16年] 铃本康树 , Hideki Tsuiki先生 :
空间通过并矢子基的域表示的性质。 数学。 结构。 计算。 科学。 27 ( 8 ) : 1625-1638 ( 2017 ) 2016 [i3] 阿诺·保利 , Hideki Tsuiki先生 :
吨 ω -紧集的表示。 CoRR公司 abs/1604.00258 ( 2016 ) 2015 [公元15年] Hideki Tsuiki先生 , Tsukamoyo Yasuyuki :
并矢子基诱导的域表示。 日志。 方法计算。 科学。 11 ( 1 ) ( 2015 ) [公元14年] 乌尔里希·伯杰 , 瓦斯科·布拉特卡 , 维克托·塞利瓦诺夫 , Dieter Spreen公司 , Hideki Tsuiki先生 :
专题前言:无限数据计算:拓扑和逻辑基础。 数学。 结构。 计算。 科学。 25 ( 7 ) : 1463-1465 ( 2015 ) [第15条] Hideki Tsuiki先生 , 铃本康树 :
16细胞前分形的数独着色。 JCDCGG公司 2015 : 265-276 2013 [j13] Mahito Sugiyama先生 , 平瓦塔里义州 , Hideki Tsuiki先生 , 山本明弘 :
通过分形学习Hausdorff度量的数字,实现可计算的二进制分类。 机器。 学习。 90 ( 1 ) : 91-126 ( 2013 ) [第14条] Hideki Tsuiki先生 , 铃本康树 :
虚拟超立方体。 JCDCGG公司 2013 : 173-184 [第13条] Kei Terayama先生 , Hideki Tsuiki先生 :
用于实数计算的底部序列流演算。 MFPS公司 2013 : 383-402 2012 [公元12年] Hideki Tsuiki先生 :
想象立方体及其谜。 算法 5 ( 2 ) : 273-288 ( 2012 ) [公元11年] Hideki Tsuiki先生 , 横田洋平 :
枚举立方前缀对象上的3D-Sudoku解。 信息媒体技术。 7 ( 三 ) : 973-977 ( 2012 ) [公元10年] Hideki Tsuiki先生 , 横田洋平 :
枚举立方前缀对象上的3D-Sudoku解。 J.信息处理。 20 ( 三 ) : 667-671 ( 2012 ) 2011 [i2] 乌尔里希·伯杰 , 瓦斯科·布拉特卡 , 维克托·塞利瓦诺夫 , Dieter Spreen公司 , Hideki Tsuiki先生 :
用无限数据计算:拓扑和逻辑基础(Dagstuhl研讨会11411)。 达格斯图尔报告 1 ( 10 ) : 14-36 ( 2011 ) 2010 [c12] Mahito Sugiyama先生 , 平瓦塔里义州 , Hideki Tsuiki先生 , 山本明弘 :
用分形的Hausdorff度量学习数字。 中高音 2010 : 315-329
2000 – 2009
2009 [公元9年] Hideki Tsuiki先生 , 山田修二 :
关于有限时间可计算性保持转换。 J.大学。 计算。 科学。 15 ( 6 ) : 1365-1380 ( 2009 ) [第11条] Yoshiki Tsujii先生 , 森喜昭(Takakazu Mori) , 马里科·亚苏吉 , Hideki Tsuiki先生 :
图定向集的随机迭代算法。 CCA公司 2009 2008 [j8] Hideki Tsuiki先生 , 服部靖国 :
形式球空间的劳森拓扑和双曲拓扑。 西奥。 计算。 科学。 405 ( 1-2 ) : 198-205 ( 2008 ) [第10条] Hideki Tsuiki先生 , 山田修二 :
关于有限时间可计算性保持转换。 CCA公司 2008 : 299-308 2007 【c9】 Yoshiki Tsujii先生 , 森喜昭(Takakazu Mori) , 马里科·亚苏吉 , Hideki Tsuiki先生 :
由无限压缩系统定义的精细连续函数和分形。 国际租赁公司 2007 : 109-125 【c8】 Hideki Tsuiki先生 :
六角形双锥分形的SUDOKU着色。 京都CGGT 2007 : 224-235 2006 [j7] 瓦斯科·布拉特卡 , 彼得·赫特林 , Ker-I Ko公司 , Hideki Tsuiki先生 :
分析的可计算性和复杂性。 J.复杂。 22 ( 6 ) : 728 ( 2006 ) 2005 [j6] Hideki Tsuiki先生 :
使用承诺选择逻辑编程语言进行实数计算。 J.日志。 代数方法课程。 64 ( 1 ) : 61-84 ( 2005 ) 【c7】 Hideki Tsuiki先生 , 杉原敬二 :
函数语言中有底部的流。 员工持股计划 2005 : 201-216 [电子1] 坦尼娅·格拉巴 , 彼得·赫特林 , Hideki Tsuiki先生 , 克劳斯·维赫劳赫(Klaus Weihrauch) :
2005年CCA:第二届国际可计算性和分析复杂性会议,2005年8月25日至29日,日本京都。 Informatik Berichte公司 326-7/2005, 德国FernUniversität Hagen 2005 [目录] [i1] Hideki Tsuiki先生 :
并矢子基与拓扑空间的表示。 空间表示 2005 2004 [j5] Hideki Tsuiki先生 :
紧致度量空间作为底序列域中的极小极限集。 数学。 结构。 计算。 科学。 14 ( 6 ) : 853-878 ( 2004 ) 2003 【j4】 Hideki Tsuiki先生 :
lax泛型函数的域理论语义。 西奥。 计算。 科学。 294 ( 1/2 ) : 307-331 ( 2003 ) 2002 [j3] Hideki Tsuiki先生 :
通过格雷码嵌入进行实数计算。 西奥。 计算。 科学。 284 ( 2 ) : 467-485 ( 2002 ) 【c6】 Hideki Tsuiki先生 :
完全一致空间的一致域表示。 CCA公司 2002 : 176-188 【c5】 Hideki Tsuiki先生 :
一致域和一致空间:(摘要)。 域研讨会 2002 : 213-215 2001 [注2] 跆拳道阿里加 , Hideki Tsuiki先生 :
为信息设计专业的学生编程。 ACM SIGCSE公牛。 33 ( 4 ) : 59-63 ( 2001 ) 2000 【c4】 Hideki Tsuiki先生 :
拓扑空间的计算维度。 CCA公司 2000 : 323-335
1990 – 1999
1999 【c3】 Hideki Tsuiki先生 :
lax泛型函数的域理论语义。 CTCS公司 1999 : 301-324 1998 [j1] Hideki Tsuiki先生 :
通过域值函数重载的计算充分模型。 数学。 结构。 计算。 科学。 8 ( 4 ) : 321-349 ( 1998 ) 1994 【c2】 Hideki Tsuiki先生 :
关于带合并运算符的类型演算。 FSTTCS公司 1994 : 101-112 【c1】 Hideki Tsuiki先生 :
带重载和子类型的规范化微积分。 节气门执行器控制系统 1994 : 273-295