RIKEN 与千叶大学、神户大学、京都大学、富士通等的联合研究小组于 12 月 2 日宣布,他们已开发出编程语言“Formura”。只需编写数学公式等简单指令,就可以在超级计算机“K计算机”上自动生成计算所需的高级程序。
原则上,可以通过指定要模拟的自然现象及其扩散方法来机械生成程序,但在超级计算机上计算所需的程序可能达到数十万行,因此可以创建或创建。调优是一种非常困难和高级的任务。因此,不可能自动地、普遍地生成一个高级程序,该程序可以发挥协同操作大量计算机的超级计算机的性能。
合作研究组旨在在保持自然现象的“局部化”和“平行性”的同时,转换超级计算机的行为,是一系列能够自动实现从原始方程到程序的转换的步骤。通过创建与所有这些阶段相对应的数学定义,他开发了一种新的编程语言“Formura”,并成功地实现了超级计算机编程的机械化。
此外,Formura 为同一个应用程序创建了数以万计的程序,运行它们并测量它们的性能。自动选择最快的。
当我们实际使用 Formura 模拟生长在地下的真菌的复杂行为时,原来的模拟程序只有 20 行左右,但 Formura 自动自动化了 3 多个 4 位或更多的程序,模拟成功。
未来,在气象、地震、空间、生态网络等领域使用规则点阵模拟的研究有望加速。