# Vertex AI Vertex AI는 구글 클라우드(Google Cloud)에서 제공하는 통합 머신러닝(ML) 플랫폼으로, 데이터 과학자와 개발자가 머신러닝 모델을 보다 효율적으로 빌드, 훈련, 배포, 모니터링할 수 있도록 설계되었습니다. 기존의 개별적인 ML 서비스들을 하나의 통합 인터페이스로 통합함으로써, 모델 개발 주기 전반에 걸쳐 일관성과 생산...

Agda Agda는 함수형 프로그래밍 언어이자 **정형 증명기**(proof assistant)로, 수학적 정리의 형식적 증명과 소프트웨어의 정확성 검증을 위해 설계된 고급 언어입니다. Agda는 **의존 타입**(dependent types)을 지원하여, 프로그램의 구조와 논리적 성질을 타입 시스템에 직접 반영할 수 있어, 프로그램이 요구된 사양을 만족...

# Jupyter Notebook Jupyter Notebook은 데이터 과학, 머신러닝, 수치 해석, 교육 등 다양한 분야에서 널리 사용되는 **웹 기반의 인터랙티브 개발 환경**(Interactive Development Environment)입니다 사용자는 코드, 수식, 시각화, 텍스트 설명 등을 하나의 문서 안에 통합하여 작성할 수 있어, 연구 결...