# 영구임대주택 ## 개요 **영구임주택**(Permanent Rental Housing)은민국의 공공 주택 정 중 하나로, 저소득층 가구의 주거 안정을 목적으로 장기적으로대가 가능한 주택을 공급 제도입니다. 주택은 일정 기간 후 분양 전환 없이 계속 임대로 거주할 수 있도록 설계되어 있으며, 특히 주거 취약계층의 지속적인 주거권 보장을 위한 핵심 정책...

# 기본소득 기본소득**(Basic Income)은 개인에게 조건이 정기적으로 지되는 현금 지원 제도를 의미한다 이 제도는제적 안정을 보장하고, 사회적 불평등을화하며, 복 시스템의 복잡성을 줄이기 위한 대안으로 제안되어 왔다. 기본소은 특정 조건예: 소득 수, 고용 상태, 자산 등)에 따라 수급 자격이 제한되지 않으며, 모든 국민 또는 특정 지역 사회의 ...

# 장애인 고용 할당제 ## 개요 ** 고용 할당**(Employment Quota for Persons with Disabilities) 국가 또는 지방치단체, 공공기관 및 일정 규모 이상의 민간 사업장이 고용 인력 중 일정 비율을 장애인으로 고용하도록 법적으로 의무화하는 제도이다. 이 제도는 장애인의 경제적 자립과 사회적 통합을 촉진하고, 고용 차별...

# 안전한 식수 개요 안전한 식수안전한 음용수)는 인간의 건강과 삶의 질에 직접적인 영향을 미치는 핵심적인 자원이다. 세계보건기구(WHO)는 안전한 식수를 "건강에 해로운 미생물, 화학물질 또는 방사선 물질이 포함되지 않아 장기적으로 섭취해도 인체에 해를 끼치지 않는 물"로 정의한다. 물 자원 관리의 중요한 축 중 하나인 안전한 식수 확보는 단순히 물...

# ISO 14040 ## 개요 **ISO 14040은 국제표준화기구**(International Organization for Standardization,)**에서 제정 환경 관리 분야의 핵적인 국제 표준 하나로, **생애 주기 평**(Life Cycle Assessment, LCA)의 원칙과 프레임워크를 규정하고 있습니다. 이 표준은 제품, 서비스...

# 사회정의 ## 개요 **사회정의**(Social Justice)는 사회 구성원 모두가 인간다운 삶을 영위할 수 있도록 권리, 자원, 기회, 책임이 공평하게 분배되어야 한다는 철학적·윤적 원칙을한다. 이는 단한 형식적 평등을 넘어서, 개인의 출신 배경, 성별, 인종, 경제적 상태, 장애 여부 등과 관계없이 실질적인 평등을 실현하려는 노력을 포함한다. ...

# 물 할당 불공정 ## 개요 물 할당 불공정성은 물 자원이 지역, 계층, 국가, 산업 등 다양한 기준에 따라 불균형하게 분배되는 현상을 의미한다. 물은 생명 유지와 생태계, 농업, 산업, 에너지 생산 등 사회 전반에 필수적인 자원이지만, 전 세계적으로 물 자원의 접근성과 이용 권한은 극심한 불균형을 보이고 있다. 이는 단순한 자원 배분의 문제를 넘어 ...

# 로그 ## 개요 **로그**(Log)는 시스템 애플리케이, 네트워크비 등에서 발생 다양한 이벤트를 시간 순서대로 기록한 데이터 파일을 의미합니다. 로그는 시스템 운영의 투명성과 안정성을 확보하기 위해 필수적인 요소로, 오류 진단, 보안 감사, 성능 분석, 규정 준수 등 다양한 목적에 활용됩니다. 특히 시스템운영 분야에서는 로그를 통해 시스템의 상태를...

# 사설 패키지 저장소 ## 개요 **사 패키지 저장소**(Private Repository)는 조직 개인이 소프트어 개발 과정에서 사용하는 패키지(라이브러리, 모듈 등) 내부적으로 저장·관리하고 배포하기 위한 전용 저장소를 의미합니다. 공개된 패키지 저장소(예: npm, PyPI, Maven Central 등)와 달리, 사설 저장소는 내부 네트워크나 ...

# 수요 중심적 접근## 개요 수요 중심적 접근(Demand-side Management, DSM)은 자원 사용의 효율성을 높이고 지속 가능한 관리를 실현하기 위한 핵심 전략 중 하나로 특히 **수자원 관리** 분야에서 중요성이 점차 커지고 있다. 이 접근법은 기존의 공급 중심적 전략(Supply-side Management)—즉, 댐 건설, 지하수 개발...

# CLI **CLI**(Command-Line Interface, 명령줄 인터페이스)는 사용 컴퓨터 시스템과 상호작용하기 위해 텍스트 기반 명령을 입력하는 소프트웨어 인터페이스입니다. 그래픽 사용자 인터페이스)와 달리, CLI는 마우스 클릭 없이 키보드를 통해 명령어를 직접 입력함으로써 시스템의 기능을 제어할 수 있게 해줍니다. 주로 개발자, 시스템 관...

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

# Azure Artifacts Azure Artifacts는 Microsoft의 클라우드 기 개발 플랫폼인 ** DevOps**의 핵심 구성 요소 중 하나로, 소프트웨어 개발 과정에서 사용되는패키지 관 서비스**입니다. 이는 개발 팀이 소프트웨어 라이브러리, 종속성(dependencies), 그리고 코드 모듈을 효율적으로 저장, 공유, 버전 관리할 수 ...

# Maven ## 개요 **Maven**(메이븐은 자바 기반 소프트웨어 프로젝트의 **빌 자동화**, **의존성 관리**, **프로젝트 정보 관리**를 강력한 오픈소스 도구입니다. 아파치 소프트웨어 재단에서 관리하며, Ant와 같은 기존 빌드 도구의 복잡성을 해결하기 위해 개발되었습니다. Maven은 "컨벤션 오버 구성(Convention over C...

# 버전 일관성 유지 개요 소프웨어 개발 과정에서 **전 일관성 유지**(Versionistency Maintenance)는로젝트 내에서되는 라이브러리, 프레임워크, 도구, 의존성 패지 등의 버전이 서로 충돌하지 않고 예측 가능한 방식으로 관리되도록 보장하는 핵심적인 의존성 관리 전략입니다. 모듈화된 시스템, 마이크로서비스 아키텍처, 다수의 팀이 협업...

# 물 저장 용량 부족 ## 개요 **물 저장 용량 부족Water Storage Capacity Short)은 지속 가능한 물 자원 관리를 핵심 이슈 중 하나로, 강수량의 변동성 증가, 기후 변화, 인구 증가, 도시화 등의 영향으로 전 세계적으로 심화되고 있는 문제이다. 저수지, 댐, 지하수 저류시설 등 다양한 형태의 저수 시설은 물 공급의 안정성을 확...

# 타입 이론타입 이론 Theory)은 프로그래밍 언어 수학 기초 이론에서 중요한 역할을 하는 학문 분야로, 데이터의 종류(타입를 체계적으로 정의하고, 이들 간의 관계와 연산의 유효성을 검증하는 이론적 기반을 제공합니다. 특히 프로그래밍 언 설계, 형식적 검증 컴파일러 개발, 함수형 프로그래밍 등에서 핵심적인 역할을 하며, 오류를 사전에 방지하고 코드의 안...

# Azure Artifacts Azure Artifacts는 마이크로소프의 클라우드 기반발 플랫폼인 **Azure DevOps** 핵심 구성 요소 중 하나로, 소프트어 개발 과정에서 사용되는 **패키지 관리 서비스**입니다. 개발 팀이 소프트웨 라이브러리, 프레임워크, 의존성 등을 효율적으로 공유하고 관리할 수 있도록 지원하며, 다양한 패키지 형식(Nu...

# 사회경제적 가뭄 ##요 **사회경제적 가뭄**(Socioeconomic D)은 자연적인 수자원 부 현상이 인간 사회와 경제 활동에 미치는 영을 중심으로 정의되는 가뭄 유형이다. 이는 물의 공급이 수요를 충족시키지 못할 때 발생하며, 단순한 강수량 감소나 수문학적 변화보다는 **인간의 물 사용 패턴, 인프라의 효율성, 경제 구조, 사회적 불평등** 등...

# 가뭄 보험 ## 개요 **가뭄 보험**(rought Insurance)은 농업, 수산업, 수자 관리 등 가뭄 발생 시 경제적 손실을 입을 수 있는 분야에서 위험을 분산하고 피해를 보상하기 위한 특수 보험 상품이다. 기후 변화로 인해 가뭄의 빈도와 강도가 증가함에 따라, 정부 및 민간 부문은 가뭄 보험을 핵심적인 **위험 관리 수단**으로 활용하고 있...