Juliaは2012年にマサチューセッツ工科大学（MIT）の研究者らによって公開された、科学技術計算に特化した動的プログラミング言語である。Jeff Bezanson、Stefan Karpinski、Viral B. Shah、Alan Edelmanの4名は、Pythonの書きやすさとCに迫る実行速度を両立する言語として設計した。LLVMベースのJITコンパイル、多重ディスパッチ、豊富な数値型を備え、気候モデリングや製薬シミュレーションの分野で従来のMATLABやFortran資産を置き換える役割を担いつつある。
この記事の目次
- Two Languages問題への回答として誕生
- 多重ディスパッチが生む表現力
- LLVMを駆使したJITコンパイル
- 科学・金融・製薬での実利用
- まとめ
Two Languages問題への回答として誕生
Juliaの開発が始まったのは2009年で、創始者4名はその動機を綴った2012年のブログ記事「Why We Created Julia」で広く知られる。彼らはデータ解析の現場で、プロトタイプはPythonやMATLABで書き、性能が必要な部分はCやFortranに書き直す「Two Languages問題」に悩まされていた。生産性と性能のいずれも妥協せず、しかも分散コンピューティングや並列処理にも対応する新言語が必要だという問題意識が出発点となった。
MITのAlan Edelman教授の研究室で構想が練られ、2012年2月14日のバレンタインデーに初めて公開された。0.1から始まった開発は活発で、2018年8月に節目となる1.0が発表される。同時期に共同創始者らはJulia Computing社（現JuliaHub）を設立し、商用サポートやクラウド実行環境を提供する事業も立ち上げた。
多重ディスパッチが生む表現力
Juliaの設計上もっとも特徴的なのが、関数を引数の型の組み合わせで多重ディスパッチする仕組みである。オブジェクト指向言語の単一ディスパッチと異なり、すべての引数の型を考慮して実装が選ばれるため、数値計算で頻出する「行列とベクトルの積」「スパース行列と密行列の演算」といったケースを自然に書き分けられる。
この仕組みは「ジェネリックプログラミング」と相性がよく、開発者は新しい数値型を定義するだけで既存ライブラリ群が自動的に対応する。たとえば自動微分ライブラリForwardDiff.jlは独自のDual数型を導入することで、何も書き換えずに既存の数値計算コードを微分可能にしてしまう。こうしたエコシステム全体の合成可能性は、JuliaがPythonとは異なる方向で成長してきた最大の理由のひとつである。
LLVMを駆使したJITコンパイル
Juliaの実行速度を支えるのはLLVM基盤のJITコンパイラである。関数が初めて呼び出される際に引数の型に応じて機械語が生成され、二度目以降は最適化済みコードが直接実行される。型推論が緩い書き方をしてもそこそこの速度が出る一方、型を明確にすればC++に肉薄するベンチマークが多数報告されている。
数値計算の代表的ベンチマークでは、PythonにNumPyを組み合わせた実装の数十倍、純粋なPythonの数百倍といった結果が珍しくない。気候モデリングのClimateMachine.jl、天体物理のCelesteプロジェクトでは、Juliaは超大規模シミュレーションでもFortranに匹敵する性能を示した。Celesteは2017年にCray XC40で1.54ペタフロップスを達成し、Julia言語として初めてペタフロップス級に到達したと報告されている。
科学・金融・製薬での実利用
Juliaは学術界だけでなく、産業界での採用も着実に進んでいる。FRB（米連邦準備制度）のニューヨーク連銀は経済予測モデルDSGE-NYをMATLABからJuliaへ移行し、計算時間を10分の1以下に短縮した事例を公表している。製薬分野ではPumas-AIが薬物動態シミュレーション基盤Pumas.jlを提供し、米国FDAでも採用が報告されている。
気候シミュレーションのCLIMA（Climate Modelling Alliance）プロジェクト、宇宙開発のNASA Jet Propulsion Laboratoryでの軌道計算、英国気象庁の数値予報研究など、計算性能と開発速度の両立が求められる分野での導入が目立つ。動的型付け言語の書きやすさを保ちながら、HPCの世界に進出した稀有な存在として、登場から十数年で確固たる地位を築きつつある。
まとめ
Juliaは2012年にMITで生まれ、「書きやすさと速さの両立」というTwo Languages問題への明確な回答として設計された言語である。多重ディスパッチとLLVM JITを核に、気候・製薬・金融など計算負荷の高い領域でMATLABやFortranの代替として浸透し、データ科学の選択肢を確実に広げている。
※本記事はIT用語辞典の手書きドラフトです。公開前に最新情報・出典を確認のうえ加筆修正してください。
コメント