编辑配置文件(在新选项卡中打开) Yukiyoshi县Kameyama 合著者距离 作者ID: kameyama.yukiyoshi先生 发布日期: Yukiyoshi县Kameyama;Kameyama,Y。 已编制索引的文档: 27出版物自1995年起 1名编辑贡献 合著者: 23位合著者具有24联合出版物 354位合作作者 全部的 前5名合著者 4 单作者的 7 佐藤真彦 三 高府樱井 2 Kensuke先生Baba 2 Sachio Hirokawa 2 奥列格·基塞利约夫 2 Masuda、Masahiro 2 广岛中野 2 中泽,Koji 2 Makoto Tatsuta 1 安德拉德,杰斐逊O。 1 浅井,肯尼奇 1 长谷川、Masahito 1 Igarashi、Atsushi 1 武提伊祖米 1 川原聪 1 藤原彰原 1 Akira Nakayama 1 鲁伊·大仓 1 Shan、Chung-chieh 1 彼得·詹姆斯·斯塔基 1 于托·苏多 1 田中,浅见 1 隆泽,Takuo 全部的 前5名系列 2 理论计算机科学 2 RIMS Kokyuroku公司 1 信息学与控制论公报 1 国际计算机科学基础杂志 1 函数编程杂志 1 多孔介质杂志 1 高阶和符号计算 1 函数与逻辑程序设计杂志 1 计算机科学课堂讲稿 全部的 前5名领域 22 计算机科学(68至XX) 7 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 1 数值分析(65-XX) 1 流体力学(76-XX) 1 信息与通信理论、电路(94-XX) 1 数学教育(97-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 20出版物有被引用65中的次51文件 引用人▼ 年份▼ 多晶分隔的延续。 Zbl 1137.68344号 浅井,肯尼奇;Yukiyoshi县Kameyama 12 2007 一个合理而完整的定界延续公理化。 Zbl 1315.68098号 Yukiyoshi县Kameyama;长谷川、Masahito 9 2003 使用空间周期阵列对多孔介质中的湍流进行数值模拟。 Zbl 0913.76091号 久原,F。;Y.卡梅亚马。;南山下。;中山,A。 6 1998 存在的无域型lambda-calculi中类型检查的不确定性。 Zbl 1156.03316号 中泽,Koji;Makoto Tatsuta;Yukiyoshi县Kameyama;广岛中野 5 2008 用于分隔连续的类型化动态控制运算符。 Zbl 1137.68346号 Yukiyoshi县Kameyama;隆泽,Takuo 5 2008 元变量的微积分。 Zbl 1116.03321号 佐藤真彦;高府樱井;Yukiyoshi县Kameyama;Atsushi Igarashi 5 2003 移动舞台。带分隔控件的暂存。 Zbl 1248.68132号 Yukiyoshi县Kameyama;奥列格·基塞利约夫;Shan,Chung-Chieh公司 三 2011 CPS层次结构中控制运算符的公理。 Zbl 1128.68009号 Yukiyoshi县Kameyama 三 2007 具有一流环境的简单类型上下文演算。 Zbl 1037.68040号 佐藤真彦;高府樱井;Yukiyoshi县Kameyama 三 2002 半单调归纳定义的无类型理论。 兹比尔083068115 Yukiyoshi县Kameyama 2 1995 CPS层次结构中分隔连续的公理。 Zbl 1095.68024号 Yukiyoshi县Kameyama 2 2004 关于部分延拓的类型理论研究。 Zbl 0998.68033号 Yukiyoshi县Kameyama 2 2000 具有标签抽象和强大规范化能力的经典捕获/抛出演算。《澳大利亚计算机科学通讯》第20卷第3期(1998年)。 Zbl 0952.68019号 Yukiyoshi县Kameyama;佐藤真彦 1 1998 具有一流环境的简单类型上下文演算。 Zbl 0979.03014号 佐藤真彦;高府樱井;Yukiyoshi县Kameyama 1 2001 基于环LWE加密的FFT程序生成。 Zbl 1496.94060号 Masuda、Masahiro;Yukiyoshi县Kameyama 1 2021 非确定性捕获/抛出计算的强规范化能力。 Zbl 0984.68029号 Yukiyoshi县Kameyama;佐藤真彦 1 2002 组合逻辑和经典逻辑的(lambda)-演算。 Zbl 1034.03011号 Kensuke先生Baba;Yukiyoshi县Kameyama;Sachio Hirokawa 1 2000 功能和逻辑编程。第七届国际研讨会,FLOPS 2004,日本奈良,2004年4月7日至9日。诉讼程序。 Zbl 1048.68005号 1 2004 一射代数效应作为协同程序。 Zbl 1475.68063号 川原聪;Yukiyoshi县Kameyama 1 2020 具有嵌套数据结构和分组的语言集成查询。 Zbl 07368089号 鲁伊·大仓;Yukiyoshi县Kameyama 1 2020 基于环LWE加密的FFT程序生成。 Zbl 1496.94060号 增田正弘;Yukiyoshi县Kameyama 1 2021 一射代数效应作为协同程序。 Zbl 1475.68063号 川原聪;Yukiyoshi县Kameyama 1 2020 具有嵌套数据结构和分组的语言集成查询。 Zbl 07368089号 鲁伊·大仓;Yukiyoshi县Kameyama 1 2020 转移舞台。带分隔控件的暂存。 Zbl 1248.68132号 Yukiyoshi县Kameyama;奥列格·基塞利约夫;Shan,Chung-Chieh公司 三 2011 存在的无域型lambda-calculi中类型检查的不确定性。 Zbl 1156.03316号 中泽,Koji;Makoto Tatsuta;Yukiyoshi县Kameyama;广岛中野 5 2008 用于分隔连续的类型化动态控制运算符。 Zbl 1137.68346号 Yukiyoshi县Kameyama;隆泽,Takuo 5 2008 多晶分隔的延续。 Zbl 1137.68344号 浅井,肯尼奇;Yukiyoshi县Kameyama 12 2007 CPS层次结构中控制运算符的公理。 Zbl 1128.68009号 Yukiyoshi县Kameyama 三 2007 CPS层次结构中分隔连续的公理。 Zbl 1095.68024号 Yukiyoshi县Kameyama 2 2004 功能和逻辑编程。第七届国际研讨会,FLOPS 2004,日本奈良,2004年4月7日至9日。诉讼程序。 Zbl 1048.68005号 1 2004 一个合理而完整的定界延续公理化。 Zbl 1315.68098号 Yukiyoshi县Kameyama;长谷川、Masahito 9 2003 元变量的微积分。 Zbl 1116.03321号 佐藤真彦;高府樱井;Yukiyoshi县Kameyama;Atsushi Igarashi 5 2003 具有一流环境的简单类型上下文演算。 Zbl 1037.68040号 佐藤真彦;高府樱井;Yukiyoshi县Kameyama 三 2002 非确定性捕获/抛出计算的强规范化能力。 Zbl 0984.68029号 Yukiyoshi县Kameyama;佐藤真彦 1 2002 具有一流环境的简单类型上下文演算。 Zbl 0979.03014号 佐藤真彦;高府樱井;Yukiyoshi县Kameyama 1 2001 关于部分延拓的类型理论研究。 兹比尔0998.68033 Yukiyoshi县Kameyama 2 2000 组合逻辑和经典逻辑的(lambda)-演算。 Zbl 1034.03011号 Kensuke先生Baba;Yukiyoshi县Kameyama;Sachio Hirokawa 1 2000 使用空间周期阵列对多孔介质中的湍流进行数值模拟。 Zbl 0913.76091号 Kuwahara,F。;Kameyama,Y。;南山下。;中山,A。 6 1998 具有标签抽象和强大规范化能力的经典捕获/抛出演算。《澳大利亚计算机科学通讯》第20卷第3期(1998年)。 Zbl 0952.68019号 Yukiyoshi县Kameyama;佐藤真彦 1 1998 半单调归纳定义的无类型理论。 Zbl 0830.68115号 Yukiyoshi县Kameyama 2 1995 所有引用出版物 前5名被引用出版物 全部的 前5名71位作者引用 5 浅井,肯尼奇 5 藤田,健毅 4 Dariusz Biernacki 三 默多克·詹姆斯·加贝 三 Yukiyoshi县Kameyama 三 塞尔盖·伦格利特 三 彼得·波列修克 三 佐藤真彦 三 舒伯特,阿列克西 2 泽纳·M·阿里奥拉。 2 马·戈扎塔·比尔纳卡 2 聪,又有 2 琉长谷川 2 雨果·赫贝林 2 伊利克、丹科 2 石雄,恰基 2 奥列格·基塞利约夫 2 里兹旺-乌丁 2 阿穆尔·萨布里 2 费德里科·特鲁尔(Federico E.Teruel)。 1 肯·阿基巴 1 马克西姆·安布拉德 1 马克·比克福德 1 爱迪米尔森·J·布拉加。 1 詹姆斯·切尼 1 奥利维尔·丹维 1 菲利普·德格罗特 1 马塞洛·J·S·德莱莫斯。 1 Paul E.Desjardin。 1 阿曼达·B·多德。 1 彼得·戴比杰 1 马科托·哈马纳 1 扬尼克·霍劳 1 卡霍本田 1 Atsushi Igarashi 1 Jun-Ichiro井上 1 金、燕 1 奥哈德·卡玛 1 Toru河田 1 维马尔·库马尔 1 帕塔昆都 1 圣埃芬·让·埃里克·伦格兰德 1 Chuck Liang先生 1 刘宇大卫 1 吉尔卡·马西克 1 Masuda、Masahiro 1 马雷克·马特佐克 1 马修·麦格恩(Matthew T.McGurn)。 1 Indra Mani米什拉 1 中野,宏 1 碧姬·品特卡 1 安德鲁·皮特斯(Andrew M.Pitts)。 1 兰迪·波拉克 1 普雷特纳,马蒂亚 1 文森特·拉里 1 饶飞雄 1 威尔默·里奇奥蒂 1 阿德里安·里斯科 1 胡安·罗德里格斯·霍塔拉 1 高府樱井 1 赫尔穆特·施维赫滕贝格 1 Shan、Chung-chieh 1 克里斯蒂安·斯卡尔卡 1 斯科特·史密斯。 1 埃希罗·苏米 1 瓦利德·塔哈 1 Makoto Tatsuta 1 津田,武士 1 靖国冢田 1 城市,基督教 1 雅芝、太极 全部的 前5名14篇连载文章中引用 8 理论计算机科学 7 高阶和符号计算 4 国际传热传质杂志 4 计算机科学中的逻辑方法 2 纯逻辑与应用逻辑年鉴 2 信息与计算 2 计算机科学中的数学结构 2 函数编程杂志 1 流体力学杂志 1 符号逻辑杂志 1 国际计算机科学基础杂志 1 应用数学建模 1 Indagationes Mathematicae公司。新系列 1 逻辑程序设计的理论与实践 在5个字段中引用 33 计算机科学(68至XX) 25 数学逻辑和基础(03-XX) 6 流体力学(76-XX) 2 经典热力学,传热(80-XX) 1 偏微分方程(35-XX) 按年份列出的引文