编辑配置文件(在新选项卡中打开) 松田和川 合著者距离 作者ID: 松田佳彦 发布日期: 松田和川 已编制索引的文档: 20出版物自1976年起 合著者: 20位合著者具有16联合出版物 338合著作者 全部的 前5名合著者 1 单作者的 7 胡镇江 7 王蒙 4 中野圭介 三 稻田,Kazuhiro 三 Janis Voigtlander公司 2 马科托·哈马纳 2 秀田秀一郎 2 Hiroyuki加藤 2 直纪小林 2 Masato Takeichi 1 川崎朝田 1 克里斯蒂娜·大卫 1 内特·福斯特 1 杰里米·吉本斯 1 Hosono,H。 1 Kanemitsu,Y。 1 Kijimoto,S。 1 穆申成 1 伊索·萨萨诺 1 Ayumi Shinohara 1 Kazuya Yaguchi 1 山口,Masaomi 1 靖国神社 全部的 前5名系列 2 函数编程杂志 2 高阶和符号计算 1 建筑师 1 声音与振动杂志 1 欧洲组合数学杂志 1 MSCS公司。计算机科学中的数学结构 1 系统设计中的形式化方法 领域 17 计算机科学(68至XX) 1 范畴理论;同调代数(18-XX) 1 凸和离散几何(52至XX) 1 可变形固体力学(74-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 17出版物被引用58中的次32文件 引用人▼ 年份▼ 基于视图补码函数自动推导的双向转换。 Zbl 1291.68147号 松田和川;胡镇江;中野圭介;马科托·哈马纳;Masato Takeichi 12 2007 双向图转换。 Zbl 1323.68075号 秀田秀一郎;胡镇江;稻田,Kazuhiro;加藤博之;松田和川;中野圭介 8 2010 一种基于语法的可逆程序方法。 Zbl 1260.68106号 松田和川;穆申成;胡镇江;Masato Takeichi 6 2010 通过形状双向化器插件增强语义双向化。 Zbl 1303.68039号 Voigtländer,珍妮斯;胡镇江;松田和川;王蒙 5 2013 双向编程的三种互补方法。 Zbl 1374.68103号 内特·福斯特;松田和川;贾尼斯·沃格特兰德 4 2012 使用透镜进行适用的双向编程。 Zbl 1360.68335号 松田和川;王蒙 4 2015 多次数据遍历累加函数的多项式时间反演计算。 Zbl 1360.68366号 松田和川;稻田,Kazuhiro;中野圭介 4 2012 功能程序作为压缩数据。 Zbl 1360.68332号 直纪小林;松田和川;Ayumi Shinohara;Kazuya Yaguchi 4 2012 UnCAL图转换的标记定向优化。 Zbl 1377.68074号 Soichiro Hidaka;胡镇江;稻田,Kazuhiro;Hiroyuki加藤;松田和川;中野圭介;伊索·萨萨诺 三 2012 扭转作用下圆柱壳的后屈曲行为。 Zbl 0332.73051号 北亚马基。;松田,K。 三 1976 结合句法和语义双向化。 Zbl 1323.68170号 贾尼斯·沃格特兰德;胡镇江;松田和川;王蒙 三 2010 FliPr:一种更漂亮的可逆打印系统。 Zbl 1381.68027号 松田和川;王蒙 2 2013 逐步完善。混合模式匹配和数据抽象。 兹比尔1286.68330 王蒙;杰里米·吉本斯;松田和川;胡镇江 1 2010 一般柔性结构的基于波的控制器设计。 Zbl 1235.93130号 松田,K。;Y.Kanemitsu。;Kijimoto,S。 1 1998 一群单位球中的一对。 兹比尔1012.52012 Hosono,H。;H·前原诚司。;松田,K。 1 2001 基于高阶模型检验的高阶并发程序成对可达性分析。 Zbl 1417.68107号 靖国神社;直纪小林;松田和川 1 2014 多重注释箭头线性类型的模块化推理。 Zbl 1522.68125号 松田和川 1 2020 多重注释箭头线性类型的模块化推理。 Zbl 1522.68125号 松田和川 1 2020 使用透镜进行适用的双向编程。 Zbl 1360.68335号 松田和川;王蒙 4 2015 基于高阶模型检验的高阶并发程序成对可达性分析。 Zbl 1417.68107号 靖国神社;直纪小林;松田和川 1 2014 通过形状双向化器插件增强语义双向化。 兹比尔1303.68039 贾尼斯·沃格特兰德;胡镇江;松田和川;王蒙 5 2013 FliPr:一种更漂亮的可逆打印系统。 Zbl 1381.68027号 松田和川;王蒙 2 2013 双向编程的三种互补方法。 Zbl 1374.68103号 内特·福斯特;松田和川;贾尼斯·沃格特兰德 4 2012 多次数据遍历累加函数的多项式时间反演计算。 Zbl 1360.68366号 松田和川;稻田,Kazuhiro;中野圭介 4 2012 功能程序作为压缩数据。 Zbl 1360.68332号 直纪小林;松田和川;Ayumi Shinohara;Kazuya Yaguchi 4 2012 UnCAL图转换的标记定向优化。 Zbl 1377.68074号 秀田秀一郎;胡镇江;稻田,Kazuhiro;Hiroyuki加藤;松田和川;中野圭介;伊索·萨萨诺 三 2012 双向图转换。 兹比尔1323.68075 秀田秀一郎;胡镇江;稻田,Kazuhiro;Hiroyuki加藤;松田和川;中野圭介 8 2010 一种基于语法的可逆程序方法。 Zbl 1260.68106号 松田和川;穆申成;胡镇江;Masato Takeichi 6 2010 结合句法和语义双向化。 Zbl 1323.68170号 贾尼斯·沃格特兰德;胡镇江;松田和川;王蒙 三 2010 逐步完善。混合模式匹配和数据抽象。 Zbl 1286.68330号 王蒙;杰里米·吉本斯;松田和川;胡镇江 1 2010 基于视图补码函数自动推导的双向转换。 Zbl 1291.68147号 松田和川;胡镇江;中野圭介;马科托·哈马纳;Masato Takeichi 12 2007 一群单位球中的一对。 Zbl 1012.52012年 Hosono,H。;H·前原诚司。;松田,K。 1 2001 一般柔性结构的基于波的控制器设计。 Zbl 1235.93130号 松田,K。;Y.Kanemitsu。;Kijimoto,S。 1 1998 扭转作用下圆柱壳的后屈曲行为。 Zbl 0332.73051号 北亚马基。;松田,K。 三 1976 所有引用出版物 前5名被引用出版物 全部的 前5名被58位作者引用 5 直纪西田 5 德国维达尔 4 松田和川 三 胡镇江 三 伊万·拉内斯 三 阿德里安·帕拉西奥斯。 三 王蒙 2 法利斯·阿布·萨利赫 2 詹姆斯·切尼 2 艾曼纽·菲利奥特 2 杰里米·吉本斯 2 罗伯特·格莱克 2 马科托·哈马纳 2 马库斯·洛伊 2 塞巴斯蒂安·马内思 2 塞巴斯蒂安·马内思 2 詹姆斯·麦金纳 2 赤马森田 2 中野圭介 2 Pierre Alain雷尼尔 2 赫尔穆特·塞德尔 2 史蒂文斯,佩蒂塔 2 Jean-Marc Talbot 2 Janis Voigtlander公司 2 马丁·乌 2 谢瑞峰 1 川崎朝田 1 霍尔格·博克·阿克塞尔森 1 阿尔西诺·库尼亚 1 克里斯蒂娜·大卫 1 伊萨穆·福鲁亚 1 摩西·加纳迪 1 赫尔穆特·格罗内 1 哈克,丹尼 1 稻田,Kazuhiro 1 罗宾·卡斯加德 1 Kakehi、Kazuhiko 1 Takuya Kida 1 直纪小林 1 约阿希姆·蒂尔斯泰德·克里斯滕森 1 马塞多,努诺 1 克劳迪奥·安塔雷斯 1 雅罗斯瓦夫·亚当·米兹扎克 1 南弥州奈瓦 1 埃里克·诺思 1 雨果·帕切科 1 伊恩·菲利普斯。 1 Masahiko酒井 1 丹尼尔·塞德尔 1 Masato Takeichi 1 唐文浩 1 迈克尔·柯克达尔·汤姆森 1 津田,武士 1 伊雷克·乌利多夫斯基 1 山口,Masaomi 1 靖国神社 1 横山,铁雄 1 张汉良 全部的 前5名11篇连载文章中引用 4 函数编程杂志 4 程序设计中的逻辑和代数方法杂志 2 理论计算机科学 2 信息与计算 1 信息学报 1 算法 1 MSCS公司。计算机科学中的数学结构 1 系统设计中的形式化方法 1 高阶和符号计算 1 计算机基础理论 1 算法 在4个字段中引用 32 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 三 量子理论(81-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的引文