Dyna：機械学習研究者向けの宣言型プログラミング言語
2025-08-17
Dynaは、機械学習研究者向けに設計されたプログラミング言語です。DatalogやPrologなどの論理プログラミングのパラダイムを基盤としつつ、柔軟な実行順序と重み付きルールを許容することで、複雑なプログラムを簡潔に表現できます。行列の乗算やフィボナッチ数列から、CKYパーシング、さらには無限ニューラルネットワークまで、Dynaは驚くほどの簡潔さで実現します。数学的概念と実行可能なコードのギャップを埋めるために2004年に始まったこのプロジェクトは、バージョン1.0と2.0を経て進化し、機能を継続的に改善・拡張してきました。現在の研究は、関係代数と項書き換えを用いた柔軟で完全な実装の構築と、強化学習を用いた実行戦略の最適化に焦点を当てています。
続きを読む
(dyna.org)
開発