式が書ければ「京」が使える | 理化学研究所

要旨 理化学研究所（理研）計算科学研究機構コデザイン推進チームの村主崇行特別研究員らと、千葉大学の堀田英之特任助教、神戸大学の牧野淳一郎教授、京都大学の細野七月特任助教、富士通株式会社の井上晃マネージャーらの共同研究グループ※は、スーパーコンピュータ「京（けい）」[1]を用いて、数式のような簡潔な指示を書くだけでスーパーコンピュータでの計算に必要となる高度なプログラムを自動生成できるプログラミング言語「Formura」を開発しました。 スーパーコンピュータでの計算に必要となるプログラムはときに数十万行にも及び、作成やチューニングは大変困難です。一方で、原理的にはシミュレーションしたい自然現象とその離散化法[2]を指定すれば、プログラムは機械的に生成できます。しかし、プログラミングはシミュレーションとコンピュータ双方に深い知識が必要となる非常に高度な作業であり、多数の計算機を協調して動作させ

[iww]

ますます陰陽師っぽい

[lbtmplz]

何一つわからない生きるとは何か

[UDONCHAN]

ほーむ

[boko716]

分からないけど面白そう、ワクワクする、って素敵。

[Nkzn]

京の処理を記述する本来の言語（仮に京言語とする）を中間言語と見なした、「Alt京言語」みたいなものと理解したんだけどどうだろ

[TaKUMA]

productivity++

[u_1roh]

門外漢だけどワクワクするものを感じる

[ynhl]

偏微分方程式に初期、境界条件を加えて適当なメッシュを与えれば答えが出てくるみたいなモノか？それに近いものはいくらでもあるけどファインチューニングが難しいんだが

[marmotY]

ただしいコンピュータの使い方。素晴らしい。

[Itisango]

分からんが、面白そうではある。

[marmot1123]

これは凄いなあ。研究が進みそう。

[tanakh]

おおっ(´･_･`)

[Haaaa_N]

コンパイラの概念がわからなくなった,学習しなおそ

[todesking]

つよそう

[witchstyle]

(2016/12/02のプレスリリース)

[mnnn]

“このときFormuraは、3万行以上ものプログラムを4万通り以上、自動的に生成しました。”