理研の「Formura」

@Vengineerの戯言 : Twitter
SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった

かなり出遅れましたが、理研の「Formura」

理研のプレスリリース：
式が書ければ「京」が使える
－高度なプログラムを自動生成できる新言語「Formura」を開発－

PC Watch : 理研、たった20行の記述だけで複雑なプログラムを自動生成。
スパコン京用プログラミング言語「Formura」

どこかで公開されているのだろうか？

このTweetで見つけました。

論文とプレゼンテーション資料

そして、ソースコードはgithubに。

何故、理研が正式にリリースしないで、
こそっと、githubに置かれているのでしょうか？

Haskelベースの言語のようです。

ちなみに、K(京)とx86で動くようです。

Ubuntu 14.04LTSでは、

　・cmake
　・MPICH2

をインストールして、cmake-for-x86.sh を実行してもビルド出来ません。。。。