문서 검색

에이다는 국제 표준화 기구(ISO)와 국제 전기 표준 회의(IEC)에 의해 공동으로 정의되는 국제 기술 표준이다. 주요 버전은 다음과 같다. 버전 발표 연도 주요 특징 Ada 83 1983년 초기 표준 (MIL-STD-1815) Ada 95 1995년 객체 지향 프로그래밍 및 병행성 강화 Ada 2005 2005년 인터페이스 및 라이브러리 확장 Ada 2012 2012년 계약에 의한 설계(…

명령형 패러다임은 운영 체제 개발부터 웹 및 모바일 애플리케이션, 과학 프로그램에 이르기까지 거의 모든 소프트웨어 분야에서 널리 사용된다. 절차적 프로그래밍: C, Fortran 등과 같이 프로시저 호출을 기반으로 한다. 객체 지향 프로그래밍: Java, C++, C# 등과 같이 객체 간의 상호작용을 통해 상태를 관리한다. 다중 패러다임: Python, JavaScript 등은 명령형을 기…

러스트(Rust)는 모질라 리서치에서 개발한 다중 패러다임 범용 프로그래밍 언어이다. 안전하고 병렬적이며 실용적인 설계를 지향하며, 시스템 프로그래밍에서 흔히 발생하는 메모리 오류를 방지하고 스레드 안전성을 보장하는 데 중점을 둔다. 저수준의 제어 능력과 고수준의 문법적 편의성을 동시에 제공하는 것이 특징이다.

함수형 프로그래밍은 계산을 수학적 함수의 평가로 간주하고 상태와 가변 데이터를 피하는 프로그래밍 패러다임이다. 명령형 프로그래밍이 프로그램의 상태를 변경하는 문(Statement) 중심인 것과 달리, 함수형 프로그래밍은 식(Expression)과 선언을 강조하는 선언형 프로그래밍의 일종이다. 1930년대 람다 대수에 뿌리를 두고 있으며, 현대에는 병렬 처리의 안정성과 데이터 파이프라인 구축…

선언형 프로그래밍은 컴퓨터 프로그램이 '어떤 방법으로' 작업을 수행할지보다 '무엇'이 나타나야 하는지를 설명하는 방식이다. 이는 실행될 알고리즘을 구체적으로 명시해야 하는 명령형 프로그래밍과 대비되는 개념으로, 목표를 명시하되 세부적인 제어 흐름은 직접 기술하지 않는다. 함수형 프로그래밍, 논리형 프로그래밍, 질의 언어 등이 이 범주에 속한다.

코덱스(Codex)는 주로 OpenAI가 개발한 프로그래밍 지원 인공지능(AI) 모델을 지칭한다. 자연어를 이해하여 프로그래밍 코드를 생성하거나 리팩터링하는 기능을 수행하며, 깃허브 코파일럿(GitHub Copilot)의 핵심 기술로 활용된다. 또한 전자 통신 분야에서 데이터 스트림을 처리하는 코덱(Codec)의 의미로 쓰이기도 하며, 영화 《베놈: 라스트 댄스》와 같은 대중문화 작품 속의…

중러 우호협력조약(정식 명칭: 중화인민공화국과 러시아 연방 간의 선린우호 협력조약)은 2001년 7월 16일 중국과 러시아가 체결한 외교 문서이다. 장쩌민 중국 국가주석과 블라디미르 푸틴 러시아 대통령이 모스크바에서 서명하였으며, 1950년에 체결된 중소 우호동맹상호원조조약을 대체하여 21세기 양국 관계의 법적 기반을 마련하였다. 이 조약은 양국의 전략적 동반자 관계를 강화하고 국제 질서의…

브라우저 히스토리 API는 웹 브라우저의 세션 기록, 즉 현재 페이지를 불러온 탭이나 프레임이 방문했던 페이지 목록을 조작할 수 있게 해주는 자바스크립트 인터페이스이다. `window.history` 객체를 통해 접근하며, 페이지를 새로 고침하지 않고도 브라우저의 URL을 변경하거나 세션 상태를 관리할 수 있다. 이는 특히 단일 페이지 애플리케이션(SPA)에서 브라우저의 탐색 기능을 구현하…

재귀 함수(Recursion Function)는 정의 단계에서 자기 자신을 재참조하는 함수를 의미한다. 이는 큰 문제를 동일한 구조를 가진 더 작은 하위 문제로 나누어 해결하는 프로그래밍 패턴으로, 주로 반복적인 작업을 수행하거나 수학적 정의를 코드로 구현할 때 사용된다.

성소수자 망명은 개인의 성적 지향, 성 정체성 또는 성 표현을 이유로 출신 국가에서 박해, 폭력, 차별을 겪거나 그러한 위험이 예상되는 성소수자가 타국에 난민 지위나 보호를 신청하는 행위이다. 1990년대부터 주요 국가들이 성적 지향을 망명의 정당한 사유로 인정하기 시작했으며, 국제 인권법과 각국의 난민법에 따라 보호를 받는다.

에이다(ADA)는 탈중앙화된 오픈 소스 블록체인 플랫폼인 카르다노(Cardano)에서 거래와 정산을 위해 사용되는 자체 암호화폐이다. 2015년부터 개발이 시작되어 2017년에 정식 출시되었으며, 비트코인과 이더리움의 한계를 극복하고자 하는 3세대 블록체인 기술을 지향한다. 지분증명(PoS) 합의 알고리즘을 기반으로 하며, 학술적 연구와 피어리뷰(Peer-review) 과정을 거쳐 개발되는…

미국 민주사회주의자들(Democratic Socialists of America, DSA)은 미국의 민주사회주의를 표방하는 정치 조직이다. 1982년 설립된 이 단체는 자본주의 체제 아래에서 민주적 절차를 통해 사회를 변화시키고자 하는 사회주의 노선을 지향한다. 정당이 아닌 정치 조직으로서 주로 미국 민주당 후보들을 통해 선거에 참여하며, 미국 내 진보 정치의 한 축을 담당하고 있다.