RIKEN與千葉大學、神戶大學、京都大學、富士通等的聯合研究小組12月2日宣布，他們已經開發出編程語言“Formura”。只需編寫數學公式等簡單指令，就可以在超級計算機“K計算機”上自動生成計算所需的高級程序。
原則上，通過指定要模擬的自然現象及其離散化方法，可以機械地生成程序，但在超級計算機上計算所需的程序可能達到數十萬行，因此可以創建或創建它。非常困難和高級的任務。因此，不可能自動地、普遍地生成一個先進的程序，以發揮一台運行大量計算機的超級計算機的性能。
協作研究組旨在在保持自然現象“局部化”和“平行性”的同時，轉換超級計算機的行為，是一系列可以自動實現從原始方程到程序的轉換的步驟。通過創建與所有這些階段相對應的數學定義，他開發了一種新的編程語言“Formura”，並成功地將超級計算機的編程機械化。
此外，Formura 為同一個應用程序創建了數以萬計的程序，運行它們並測量它們的性能。自動選擇最快的一個。
當我們實際使用Formura模擬地下生長的真菌的複雜行為時，原來的模擬程序只有20行左右，但Formura自動自動化了3多個4位以上的程序，模擬成功了。
未來，預計氣象、地震、空間、生態網絡研究等常規晶格模擬領域的研究將加快推進。
