编辑配置文件（在新选项卡中打开） 胡镇江 合著者距离 作者ID： 胡镇江 发布日期： 胡镇江;胡，Z。 已编制索引的文档： 48出版物自1996年起 4作为编辑的贡献 合著者： 49位合著者具有48联合出版物 445合著者 全部的 前5名合著者 2 单作者的 21 Masato Takeichi 7 岩崎、秀霞 7 松田和川 5 肯托·埃莫托 5 Kakehi、Kazuhiko 5 赤马森田 5 中野圭介 5 伊索·萨萨诺 4 秀田秀一郎 4 Hiroyuki加藤 4 Kiminori松崎 4 穆申成 4 王蒙 3 魏恩根·钦 3 塞巴斯蒂安·费舍尔 3 小川，水井裕人 2 稻田，Kazuhiro 2 康，H.Z。 2 邱小成 2 马里奥·罗德里格斯-阿塔莱霍 2 Janis Voigtlander公司 2 谢瑞峰 2 杨，J。 2 横山，铁雄 1 吉木明志 1 川崎朝田 1 杰里米·吉本斯 1 罗伯特·格莱克 1 龚伟国 1 关志超 1 马科托·哈马纳 1 Hideki桥本 1 高、香山 1 李国强 1 李伟红 1 梁毅雄 1 弗雷德里克·卢勒格 1 村上春树、高沼 1 雨果·帕切科 1 潘应军 1 秋池高野 1 唐文浩 1 泰森，朱利安 1 巴赫·阮（Barh Nguyen Trong） 1 金奈县津岛 1 王力超 1 肖玉硕 1 Xu，Dana N。 1 杨子怡 1 张汉良 1 赵海燕 全部的 前5名系列 4 函数编程杂志 2 国际并行程序设计杂志 2 函数与逻辑程序设计杂志 2 现代光学杂志 2 计算机科学课堂讲稿 1 信息处理信件 1 理论计算机科学 1 新一代计算 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 高阶和符号计算 1 科学中国。信息科学 全部的 前5名领域 49 计算机科学（68至XX） 4 一般性和全局性主题；集合（00-XX） 2 光学、电磁理论（78-XX） 1 组合数学（05-XX） 1 运筹学、数学规划（90-XX） 1 生物学和其他自然科学（92-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 31出版物有被引用104中的次56文件 引用人▼ 年份▼ 基于视图补码函数自动推导的双向转换。 Zbl 1291.68147号 松田和川;胡镇江;中野圭介;马科托·哈马纳;Masato Takeichi 12 2007 用于可逆计算的内射语言。 Zbl 1106.68345号 穆申成;胡镇江;Masato Takeichi 9 2004 双向图转换。 Zbl 1323.68075号 秀田秀一郎;胡镇江;稻田，Kazuhiro;加藤博之;松田和川;中野圭介 8 2010 一种基于语法的可逆程序方法。 Zbl 1260.68106号 松田和川;穆申成;胡镇江;Masato Takeichi 6 2010 从递归定义中导出结构体形。 Zbl 1345.68059号 胡镇江;岩崎、秀霞;Masato武一 6 1996 双向更新的代数方法。 Zbl 1116.68411号 穆申成;胡镇江;Masato Takeichi 6 2004 基于双向转换开发结构化文档的可编程编辑器。 Zbl 1194.68096号 胡镇江;穆申成;Masato Takeichi 5 2008 拖曳计算消除了多次数据遍历。 Zbl 1369.68142号 胡镇江;岩崎、秀霞;Masato Takeichi;秋池高野 5 1997 通过形状双向化器插件增强语义双向化。 Zbl 1303.68039号 贾尼斯·沃格特兰德;胡镇江;松田和川;王蒙 5 2013 程序转换的确定性高阶模式。 Zbl 1099.68591号 横山，铁雄;胡镇江;Masato Takeichi 5 2004 树上的第三个同态定理：向下和向上导致分裂和征服。 Zbl 1315.68067号 赤马森田;Kiminori松崎;胡镇江;Masato武一 4 2009 确定性二阶模式。 兹比尔1178.68140 横山，铁雄;胡镇江;Masato Takeichi 4 2004 用于查询有序图的结构递归。 Zbl 1323.68241号 秀田秀一郎;川崎朝田;胡镇江;Hiroyuki加藤;中野圭介 3 2013 结合句法和语义双向化。 兹比尔1323.68170 贾尼斯·沃格特兰德;胡镇江;松田和川;王蒙 3 2010 UnCAL图转换的标记定向优化。 Zbl 1377.68074号 秀田秀一郎;胡镇江;稻田，Kazuhiro;Hiroyuki加藤;松田和川;中野圭介;伊索·萨萨诺 3 2012 交换递归函数的参数和结果。 Zbl 1235.68059号 赤马森田;Kakehi、Kazuhiko;胡镇江;Masato Takeichi 2 2006 Coq中的程序计算。 Zbl 1308.68049号 泰森，朱利安;Hideki桥本;胡镇江;弗雷德里克·卢勒格;Masato Takeichi 2 2011 PType系统：轻量级并行化检测器。 Zbl 1116.68389号 Xu，Dana N。;邱小成;胡镇江 2 2004 清晰的镜头定律。 Zbl 1432.68073号 塞巴斯蒂安·费舍尔;胡镇江;雨果·帕切科 2 2015 逐步完善。混合模式匹配和数据抽象。 Zbl 1286.68330号 王蒙;杰里米·吉本斯;松田和川;胡镇江 1 2010 实用化：解决最大权重和问题的通用线性时间算法。 兹比尔1321.68229 伊索·萨萨诺;胡镇江;Masato Takeichi;小川，水井裕人 1 2000 在二维数组上开发并行程序的组合框架。 Zbl 1125.68036号 肯托·埃莫托;胡镇江;Kakehi、Kazuhiko;Masato Takeichi 1 2007 通过不变量导出并行代码。 Zbl 0966.68505号 魏恩根·钦;邱小成;胡镇江;Masato Takeichi 1 2000 使用约束求解器优化声明式并行分布图处理。 Zbl 1507.68077号 赤马森田;肯托·埃莫托;Kiminori松崎;胡镇江;岩崎、秀霞 1 2018 融合嵌入式骨架库。 Zbl 1096.68586号 Kiminori松崎;Kakehi、Kazuhiko;岩崎、秀霞;胡镇江;吉木明志 1 2004 用于绑定时间分析的有效分段算法。 兹比尔1099.68595 村上春树、高沼;胡镇江;Kakehi和Kazuhiko;Masato Takeichi 1 2004 BiGUL中双向编程的原理和实践。 Zbl 1476.68036号 胡镇江;高、香山 1 2018 生成用于解决最大多标记问题的高效程序。 Zbl 1030.68544号 伊索·萨萨诺;胡镇江;Masato Takeichi 1 2001 所有人的累积平行骨架。 Zbl 1077.68583号 胡镇江;岩崎、秀霞;Masato Takeichi 1 2002 用于MapReduce编程的过滤器嵌入半环融合。 Zbl 1259.68027号 肯托·埃莫托;塞巴斯蒂安·费舍尔;胡镇江 1 2012 累积权重函数的最大标记问题。 Zbl 1169.68368号 伊索·萨萨诺;小川，水井裕人;胡镇江 1 2005 使用约束求解器优化声明式并行分布图处理。 Zbl 1507.68077号 赤马森田;肯托·埃莫托;Kiminori松崎;胡镇江;岩崎、秀霞 1 2018 BiGUL中双向编程的原理和实践。 Zbl 1476.68036号 胡镇江;高、香山 1 2018 镜头定律的清晰画面。 Zbl 1432.68073号 塞巴斯蒂安·费舍尔;胡镇江;雨果·帕切科 2 2015 通过形状双向化器插件增强语义双向化。 Zbl 1303.68039号 Voigtländer，珍妮斯;胡镇江;松田和川;王、孟 5 2013 用于查询有序图的结构递归。 Zbl 1323.68241号 秀田秀一郎;川崎朝田;胡镇江;Hiroyuki加藤;中野圭介 3 2013 UnCAL图转换的标记定向优化。 Zbl 1377.68074号 秀田秀一郎;胡镇江;稻叶和弘;Hiroyuki加藤;松田和川;中野圭介;伊索·萨萨诺 3 2012 用于MapReduce编程的过滤器嵌入半环融合。 Zbl 1259.68027号 肯托·埃莫托;塞巴斯蒂安·费舍尔;胡镇江 1 2012 Coq中的程序计算。 Zbl 1308.68049号 泰森，朱利安;Hideki桥本;胡镇江;弗雷德里克·卢勒格;Masato Takeichi 2 2011 双向图转换。 Zbl 1323.68075号 秀田秀一郎;胡镇江;稻田，Kazuhiro;Hiroyuki加藤;松田和川;中野圭介 8 2010 一种基于语法的可逆程序方法。 Zbl 1260.68106号 松田和川;穆申成;胡镇江;Masato Takeichi 6 2010 句法和语义双向化相结合。 Zbl 1323.68170号 Voigtländer，珍妮斯;胡镇江;松田和川;王蒙 3 2010 逐步完善。混合模式匹配和数据抽象。 Zbl 1286.68330号 王蒙;杰里米·吉本斯;松田和川;胡镇江 1 2010 树上的第三个同态定理：向下和向上导致分而治之。 Zbl 1315.68067号 赤马森田;Kiminori松崎;胡镇江;Masato Takeichi 4 2009 基于双向转换开发结构化文档的可编程编辑器。 Zbl 1194.68096号 胡镇江;穆申成;Masato Takeichi 5 2008 基于视图补码函数自动推导的双向转换。 Zbl 1291.68147号 松田和川;胡镇江;中野圭介;马科托·哈马纳;Masato Takeichi 12 2007 在二维数组上开发并行程序的组合框架。 Zbl 1125.68036号 肯托·埃莫托;胡镇江;Kakehi、Kazuhiko;Masato Takeichi 1 2007 交换递归函数的参数和结果。 Zbl 1235.68059号 赤马森田;Kakehi、Kazuhiko;胡镇江;Masato Takeichi 2 2006 累积权重函数的最大标记问题。 Zbl 1169.68368号 伊萨奥·萨萨诺;小川，水井裕人;胡镇江 1 2005 一种用于可逆计算的内射语言。 Zbl 1106.68345号 穆申成;胡镇江;Masato Takeichi 9 2004 双向更新的代数方法。 Zbl 1116.68411号 穆申成;胡镇江;Masato Takeichi 6 2004 程序转换的确定性高阶模式。 兹比尔1099.68591 横山，铁雄;胡镇江;Masato Takeichi 5 2004 确定性二阶模式。 Zbl 1178.68140号 横山，铁雄;胡镇江;Masato Takeichi 4 2004 PType系统：轻量级并行化检测器。 Zbl 1116.68389号 Xu，Dana N。;邱小成;胡镇江 2 2004 融合嵌入式骨架库。 Zbl 1096.68586号 Kiminori松崎;Kakehi、Kazuhiko;岩崎、秀霞;胡镇江;吉木明志 1 2004 用于绑定时间分析的有效分段算法。 Zbl 1099.68595号 村上春树、高沼;胡镇江;Kakehi、Kazuhiko;Masato Takeichi 1 2004 所有人的累积平行骨架。 Zbl 1077.68583号 胡镇江;岩崎、秀霞;Masato Takeichi 1 2002 生成用于解决最大多标记问题的高效程序。 兹比尔1030.68544 伊索·萨萨诺;胡镇江;Masato武一 1 2001 实用化：解决最大权重和问题的通用线性时间算法。 Zbl 1321.68229号 伊索·萨萨诺;胡镇江;Masato Takeichi;小川，水井裕人 1 2000 通过不变量导出并行代码。 Zbl 0966.68505号 魏恩根·钦;Khoo，Siau Cheng先生;胡镇江;Masato Takeichi 1 2000 拖曳计算消除了多次数据遍历。 Zbl 1369.68142号 胡镇江;岩崎、秀霞;Masato Takeichi;秋池高野 5 1997 从递归定义中导出结构体形。 Zbl 1345.68059号 胡镇江;岩崎、秀霞;Masato Takeichi 6 1996 所有引用出版物 前5名被引用出版物 全部的 前5名90位作者引用 8 胡镇江 5 马科托·哈马纳 5 松田和川 5 赤马森田 5 直纪西田 5 德国维达尔 4 罗伯特·格莱克 4 Lanese，伊万 4 Janis Voigtlander公司 4 王蒙 3 肯托·埃莫托 3 阿德里安·帕拉西奥斯。 3 Masato Takeichi 2 霍尔格·博克·阿克塞尔森 2 艾曼纽·菲利奥特 2 杰里米·吉本斯 2 岩崎、秀霞 2 Kakehi、Kazuhiko 2 塞巴斯蒂安·马内思 2 克劳迪奥·安塔雷斯·梅齐纳 2 穆申成 2 中野圭介 2 皮埃尔·阿莱·雷尼尔 2 Jean-Marc Talbot 2 谢瑞峰 2 横山，铁索 1 法利斯·阿布·萨利赫 1 穆罕默德·费萨尔 1 托尔斯滕·阿滕柯奇 1 川崎朝田 1 埃里克·巴杜埃尔 1 帕特里克·巴尔 1 伯恩德·布拉埃尔 1 雅克·卡雷特 1 陈朝红 1 詹姆斯·切尼 1 蒋宗钜 1 维克拉曼·乔杜里 1 简·克里斯蒂安森 1 阿尔西诺·库尼亚 1 奥利维尔，丹维 1 大卫·达赖 1 克里斯蒂娜·大卫 1 阿扎德法尔赞 1 塞巴斯蒂安·费舍尔 1 西蒙福斯特 1 吉尔根·吉斯尔 1 赫尔穆特·格罗内 1 格雷厄姆·赫顿 1 稻田，Kazuhiro 1 罗宾·卡斯加德 1 亲吻，阿提拉 1 直纪小林 1 约阿希姆·蒂尔斯泰德·克里斯滕森 1 阿明·库内曼 1 拉尔夫·拉梅尔 1 托梅尔·利巴尔 1 马塞多，努诺 1 Kiminori松崎 1 詹姆斯·麦金纳 1 戴尔·艾伦·米勒 1 雅罗斯瓦夫·亚当·米兹扎克 1 森本武史 1 维克托·尼科莱特 1 南弥州奈瓦 1 雨果·帕切科 1 卢卡·保里尼 1 伊恩·菲利普斯。 1 毛罗·皮科洛 1 卢卡·罗维斯 1 昂德雷杰·瑞帕克 1 阿穆尔·萨布里 1 Masahiko酒井 1 佐藤龙之助 1 丹尼尔·塞德尔 1 Jean-Bernard斯特凡尼 1 史蒂文斯，佩蒂塔 1 马蒂亚斯·绍科利 1 高野康直 1 唐文浩 1 莫里斯·切佩·切恩吉 1 迈克尔·柯克达尔·汤姆森 1 伊雷克·乌利多夫斯基 1 David A.VanHorn。 1 詹姆斯·C·P·伍德科克。 1 尼古拉斯·吴 1 山口，Masaomi 1 杨志轩 1 泽达，弗兰克 1 张汉良 全部的 前5名15篇连载文章中引用 9 函数编程杂志 5 理论计算机科学 4 程序设计中的逻辑和代数方法杂志 3 高阶和符号计算 2 信息学学报 2 MSCS公司。计算机科学中的数学结构 2 计算机基础理论 1 新一代计算 1 国际并行程序设计杂志 1 信息与计算 1 计算的形式方面 1 系统设计中的形式化方法 1 数学与人工智能年鉴 1 逻辑与代数程序设计杂志 1 《大学学报》。Informatica公司 在5个字段中引用 56 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 3 范畴理论；同调代数（18-XX） 3 量子理论（81-XX） 1 阶、格、有序代数结构（06-XX） 按年份列出的引文