Dyna: 머신러닝 연구자를 위한 선언형 프로그래밍 언어
2025-08-17
Dyna는 머신러닝 연구자들을 위해 설계된 프로그래밍 언어입니다. Datalog 및 Prolog과 같은 논리 프로그래밍 패러다임을 기반으로 하면서 유연한 실행 순서와 가중치가 부여된 규칙을 허용하여 복잡한 프로그램을 간결하게 표현할 수 있습니다. 행렬 곱셈과 피보나치 수열부터 CKY 파싱, 심지어 무한 신경망까지 Dyna는 놀라울 정도로 간결하게 구현합니다. 수학적 개념과 실행 가능한 코드 간의 간극을 메우기 위해 2004년에 시작된 이 프로젝트는 1.0 및 2.0 버전을 거치면서 지속적으로 기능을 개선 및 확장해 왔습니다. 현재 연구는 관계 대수와 항 재작성을 사용한 유연하고 완벽한 구현을 구축하고 강화 학습을 사용하여 실행 전략을 최적화하는 데 중점을 두고 있습니다.
(dyna.org)
개발
선언형 프로그래밍