Futamura在部分求值领域的开创性贡献 | AI生成和翻译

Home 2025.07

二村良彦是一位杰出的计算机科学家,因其在编程方法学领域的开创性贡献而广受认可,特别是在部分求值(partial evaluation)领域。他提出了二村投影(Futamura Projections),这一理论框架为理解和应用部分求值进行程序转换提供了基础,包括编译器的自动生成。

二村出生于1942年,1965年获得北海道大学数学学士学位,1973年获得哈佛大学应用数学硕士学位,1985年在北海道大学获得博士学位。他的职业生涯包括在日立中央研究所担任重要职务,曾任早稻田大学信息与计算机科学系教授,并于1991年至2005年担任早稻田大学软件生产技术研究所(ISPT)所长。他还在乌普萨拉大学和哈佛大学担任过客座教授。

除了部分求值之外,二村还是问题分析图(Problem Analysis Diagram,PAD)的发明者,这是一种程序开发方法,已被采纳为国际标准(ISO8631)和中国国家标准(GB13502)。

他的研究主要集中于计算机程序的自动生成和编程方法学。他在这些领域发表了200多篇研究论文和专利,并曾担任《新一代计算杂志》(Journal of New Generation Computing)和《高阶与符号计算杂志》(Journal of Higher Order and Symbolic Computation)等知名期刊的编委和顾问。他还是日本软件科学与技术学会的会士。

近年来,他的工作已扩展到药物发现和基因治疗领域,运用其在程序转换方面的专业知识开发识别新药物靶点的策略。他担任InfiniteBio的董事,并担任二村研究所(Futamura Institute, Inc.)的总裁兼董事长,同时还参与Hinge Therapeutics的相关工作。


Back Donate