Agda Agda는 함수형 프로그래밍 언어이자 **정형 증명기**(proof assistant)로, 수학적 정리의 형식적 증명과 소프트웨어의 정확성 검증을 위해 설계된 고급 언어입니다. Agda는 **의존 타입**(dependent types)을 지원하여, 프로그램의 구조와 논리적 성질을 타입 시스템에 직접 반영할 수 있어, 프로그램이 요구된 사양을 만족...
검색 결과
"인터랙티브 개발 환경"에 대한 검색 결과 (총 2개)
# Jupyter Notebook Jupyter Notebook은 데이터 과학, 머신러닝, 수치 해석, 교육 등 다양한 분야에서 널리 사용되는 **웹 기반의 인터랙티브 개발 환경**(Interactive Development Environment)입니다 사용자는 코드, 수식, 시각화, 텍스트 설명 등을 하나의 문서 안에 통합하여 작성할 수 있어, 연구 결...