2001:E60:9146:6D89:7896:E631:6CC:CA1F의 사용자 기여
2024년 4월 13일 (토)
- 11:112024년 4월 13일 (토) 11:11 차이 역사 −6 탄소 발자국 편집 요약 없음
- 11:102024년 4월 13일 (토) 11:10 차이 역사 +1,818 2024년 하계 올림픽 2604:3D08:787A:3A00:2882:A8D1:D10A:9AEE(토론)의 36737049판 편집을 되돌림 태그: 편집 취소
- 11:052024년 4월 13일 (토) 11:05 차이 역사 +31 새글 형식적 검증 형식 검증 문서로 넘겨주기 최신 태그: 새 넘겨주기
- 11:052024년 4월 13일 (토) 11:05 차이 역사 +31 새글 형식검증 형식 검증 문서로 넘겨주기 최신 태그: 새 넘겨주기
- 11:052024년 4월 13일 (토) 11:05 차이 역사 +2,147 새글 형식 검증 새 문서: '''형식 검증'''(Formal verification)은 하드웨어 및 소프트웨어 시스템의 맥락에서 공식 수학 방법을 사용하여 특정 형식 사양 또는 속성과 관련하여 시스템의 정확성을 증명 (수학)하거나 반증하는 행위이다. 형식 검증은 시스템의 형식 사양을 위한 주요 인센티브이며 형식 방법의 핵심이다. 이는 전자 설계 자동화에서 분석 및 검증의 중요...
- 11:012024년 4월 13일 (토) 11:01 차이 역사 +1,656 새글 의미론 (컴퓨터 과학) 새 문서: '''의미론''' 또는 '''시맨틱스'''(semantics)는 프로그래밍 언어 이론에서 프로그래밍 언어의 의미에 대한 엄격한 수학적 연구이다.<ref>{{cite book |author-link=Joseph Goguen|first=Joseph A.|last=Goguen |chapter=Semantics of computation |title=Category Theory Applied to Computation and Control |series=Lecture Notes in Computer Science |publisher=Springer |date=1975 |volume=25 |pages=151–163 |doi=10.1007/3-540... 태그: 동음이의 링크
- 11:012024년 4월 13일 (토) 11:01 차이 역사 +69 의미론 편집 요약 없음 최신
- 10:582024년 4월 13일 (토) 10:58 차이 역사 +1,473 새글 위생 매크로 새 문서: '''위생 매크로'''(Hygienic macro)는 컴퓨터 과학에서 확장 시 실수로 식별자를 캡처하지 않도록 보장되는 매크로 (컴퓨터 과학)이다. 이는 스킴 (프로그래밍 언어), 딜런 (프로그래밍 언어), 러스트 (프로그래밍 언어), 님 (프로그래밍 언어) 및 줄리아 (프로그래밍 언어)와 같은 프로그래밍 언어의 기능이다. 우연한 캡처의 일반적인 문제는 위생...
- 10:562024년 4월 13일 (토) 10:56 차이 역사 +5,466 새글 의도적 프로그래밍 새 문서: '''의도적 프로그래밍'''(Intentional programming)은 컴퓨터 프로그래밍에서 찰스 시모니가 개발한 프로그래밍 패러다임으로, 프로그래머(또는 사용자)가 작업을 구상할 때 염두에 둔 정확한 의도를 소프트웨어 소스 코드에 인코딩한다. 프로그래머가 생각하는 적절한 추상화 (컴퓨터 과학) 수준을 사용하면 컴퓨터 프로그램을 만들고 유지 관리하는 것이...
- 10:492024년 4월 13일 (토) 10:49 차이 역사 0 틀:프로그래밍 언어의 유형 편집 요약 없음 최신
- 10:482024년 4월 13일 (토) 10:48 차이 역사 +3,235 새글 제약 프로그래밍 새 문서: '''제약 프로그래밍'''(Constraint programming, CP)<ref name=":0">{{Cite book|url=https://books.google.com/books?id=Kjap9ZWcKOoC&q=handbook+of+constraint+programming&pg=PP1|title=Handbook of Constraint Programming|last1=Rossi|first1=Francesca|author1link = Francesca Rossi|last2=Beek|first2=Peter van|last3=Walsh|first3=Toby|author3link = Toby Walsh|date=2006-08-18|publisher=Elsevier|isbn=9780080463803|language=en}}</ref>은 인공지능, 컴퓨터 과학, 운용과...
- 10:452024년 4월 13일 (토) 10:45 차이 역사 +27 새글 종속유형 의존형 문서로 넘겨주기 최신 태그: 새 넘겨주기
- 10:452024년 4월 13일 (토) 10:45 차이 역사 +3,034 새글 의존형 새 문서: '''의존형'''(dependent type) 또는 '''종속유형'''은 컴퓨터 과학 및 논리학에서 정의가 값에 따라 달라지는 유형이다. 이는 유형 이론과 유형 시스템이 겹치는 특징이다. 직관주의적 유형 이론에서는 의존형을 사용하여 "모두에게" 및 "존재합니다"와 같은 논리 수량자를 인코딩한다. Agda, ATS, Coq, F*, Epigram, Idris 및 Lean과 같은 함수형 프로그래밍 언어에서...
- 10:422024년 4월 13일 (토) 10:42 차이 역사 −6 일급함수 넘겨주기 대상을 매끄러운 함수에서 일급 함수 문서로 변경했습니다 최신 태그: 넘겨주기 대상 변경
- 10:412024년 4월 13일 (토) 10:41 차이 역사 +4,493 새글 일급 함수 새 문서: 컴퓨터 과학에서 프로그래밍 언어는 함수 (컴퓨터 과학)를 일급 객체로 취급하는 경우 '''일급 함수'''(first-class function)를 갖는다고 한다. 이는 언어가 함수를 다른 함수에 대한 인수로 전달하고, 이를 다른 함수의 값으로 반환하고, 변수에 할당하거나 자료 구조에 저장하는 것을 지원한다는 것을 의미한다.<ref>{{cite book|first1=Harold|last1=Abelson|authorlink1=Harold...
- 10:372024년 4월 13일 (토) 10:37 차이 역사 +31 새글 익명함수 익명 함수 문서로 넘겨주기 최신 태그: 새 넘겨주기
- 10:372024년 4월 13일 (토) 10:37 차이 역사 +2,313 새글 익명 함수 새 문서: '''익명 함수'''(Anonymous function)는 컴퓨터 프로그래밍에서 식별자에 바인딩되지 않은 함수 (컴퓨터 과학) 정의이다. 익명 함수는 종종 고차 함수에 전달되거나 함수를 반환해야 하는 고차 함수의 결과를 구성하는 데 사용되는 인수이다.<ref>{{cite web |title=Higher order functions |url=http://learnyouahaskell.com/higher-order-functions |access-date=3 December 2014 |website= |...
- 10:352024년 4월 13일 (토) 10:35 차이 역사 +50 새글 잭슨 구조화 프로그래밍 잭슨 구조적 프로그래밍 문서로 넘겨주기 최신 태그: 새 넘겨주기
- 10:342024년 4월 13일 (토) 10:34 차이 역사 +77 계약에 의한 설계 편집 요약 없음
- 10:342024년 4월 13일 (토) 10:34 차이 역사 +2,215 새글 계약에 의한 설계 새 문서: '''계약에 의한 설계'''(Design by contract, DbC), '''계약 프로그래밍''', '''계약에 의한 프로그래밍'''은 소프트웨어 설계를 위한 접근 방식이다. 이는 소프트웨어 설계자가 소프트웨어 구성 요소에 대해 형식적이고 정확하며 검증 가능한 인터페이스 사양을 정의해야 한다고 규정하며, 이는 전제 조건, 사후 조건 및 불변...
- 10:312024년 4월 13일 (토) 10:31 차이 역사 +50 새글 잭슨법 잭슨 구조적 프로그래밍 문서로 넘겨주기 최신 태그: 새 넘겨주기
- 10:302024년 4월 13일 (토) 10:30 차이 역사 +1,617 새글 잭슨 구조적 프로그래밍 새 문서: thumb|JSP 다이어그램의 예 '''잭슨 구조적 프로그래밍'''(Jackson structured programming, JSP) 또는 '''잭슨법'''은 영국의 소프트웨어 컨설턴트인 마이클 A. 잭슨(Michael A. Jackson)이 개발하고 1975년 저서인 "프로그램 설계 원리"(Principles of Program Design)에서 설명한 구조적 프로그래밍 방법이다.<ref name="PoPD">{{Citation | first = MA | last = Jackson | title = Principles of...
- 10:282024년 4월 13일 (토) 10:28 차이 역사 +31 새글 가상상속 가상 상속 문서로 넘겨주기 최신 태그: 새 넘겨주기
- 10:282024년 4월 13일 (토) 10:28 차이 역사 0 가상 상속 편집 요약 없음
- 10:272024년 4월 13일 (토) 10:27 차이 역사 +3,652 새글 가상 상속 새 문서: {{다른 뜻|가상 함수|가상 함수의 상속}} '''가상 상속'''(Virtual inheritance)은 기본 클래스 멤버 변수의 복사본 하나만 손자 파생 클래스에서 상속 (객체 지향 프로그래밍)되도록 보장하는 C 기술이다. 가상 상속이 없으면 두 클래스 B와 C가 클래스 A에서 상속되고 클래스 D가 B와 C 모두에서 상속되는 경우 D에는 A 멤버 변수의 두 복사본(...
- 10:222024년 4월 13일 (토) 10:22 차이 역사 +25 정보 은닉 →출처
- 10:222024년 4월 13일 (토) 10:22 차이 역사 +1,671 정보 은닉 →캡슐화
- 10:212024년 4월 13일 (토) 10:21 차이 역사 +31 새글 정보 은폐 정보 은닉 문서로 넘겨주기 최신 태그: 새 넘겨주기
- 10:212024년 4월 13일 (토) 10:21 차이 역사 +31 새글 정보 감춤 정보 은닉 문서로 넘겨주기 최신 태그: 새 넘겨주기
- 10:212024년 4월 13일 (토) 10:21 차이 역사 +2,125 새글 정보 은닉 새 문서: '''정보 은닉'''(information hiding), '''정보 감춤''', '''정보 은폐'''는 컴퓨터 과학 분야에서 컴퓨터 프로그램에서 변경될 가능성이 가장 높은 설계 결정을 분리하여 설계 결정이 변경될 경우 프로그램의 다른 부분이 광범위하게 수정되지 않도록 보호하는 원칙이다. 보호에는 구현(세부 사항은 변경될 수 있음)으로부터 프로그램의 나머지 부분을 보호하는 안정적인 ...
- 10:192024년 4월 13일 (토) 10:19 차이 역사 +14 클래스 기반 프로그래밍 편집 요약 없음
- 10:182024년 4월 13일 (토) 10:18 차이 역사 +50 새글 클래스 지향 클래스 기반 프로그래밍 문서로 넘겨주기 최신 태그: 새 넘겨주기
- 10:182024년 4월 13일 (토) 10:18 차이 역사 +1,872 새글 클래스 기반 프로그래밍 새 문서: '''클래스 기반 프로그래밍'''(class-based programming) 또는 더 일반적으로 '''클래스 지향'''(class-orientation)은 객체만을 통해 상속이 발생하는 대신 객체의 클래스 정의를 통해 상속이 발생하는 객체 지향 프로그래밍(OOP) 스타일이다(프로토타입 기반 프로그래밍 비교). OOP의 가장 널리 사용되고 개발된 모델은 객체 기반 모델이 아닌 클래스 기반 모델이다. 이 모델에...
- 10:152024년 4월 13일 (토) 10:15 차이 역사 +115 이착륙 편집 요약 없음
- 10:152024년 4월 13일 (토) 10:15 차이 역사 +93 새글 이착륙 새 문서: '''이착륙'''은 아래 항목을 함의한다. * 이륙 * 착륙 {{동음이의}}
- 10:142024년 4월 13일 (토) 10:14 차이 역사 +27 새글 택시웨이 유도로 문서로 넘겨주기 최신 태그: 새 넘겨주기
- 10:142024년 4월 13일 (토) 10:14 차이 역사 +9 유도로 편집 요약 없음
- 10:142024년 4월 13일 (토) 10:14 차이 역사 +1,203 유도로 편집 요약 없음
- 10:132024년 4월 13일 (토) 10:13 차이 역사 +687 유도로 편집 요약 없음
- 10:122024년 4월 13일 (토) 10:12 차이 역사 +87 활주 편집 요약 없음
- 10:102024년 4월 13일 (토) 10:10 차이 역사 −1 비행계획 편집 요약 없음 최신
- 10:092024년 4월 13일 (토) 10:09 차이 역사 +1,298 비행계획 편집 요약 없음
- 10:092024년 4월 13일 (토) 10:09 차이 역사 +28 위치 식별자 편집 요약 없음 최신
- 10:082024년 4월 13일 (토) 10:08 차이 역사 +28 노탐 편집 요약 없음 최신
- 10:082024년 4월 13일 (토) 10:08 차이 역사 +28 페리 비행 편집 요약 없음 최신
- 10:082024년 4월 13일 (토) 10:08 차이 역사 +28 회송 편집 요약 없음 최신
- 10:082024년 4월 13일 (토) 10:08 차이 역사 +3 분류:이착륙 편집 요약 없음 최신
- 10:072024년 4월 13일 (토) 10:07 차이 역사 +45 새글 분류:항공기 운용 새 문서: 분류:항공 교통 분류:항공기 최신
- 10:072024년 4월 13일 (토) 10:07 차이 역사 +736 활주 →외부 링크
- 10:062024년 4월 13일 (토) 10:06 차이 역사 +24 새글 지상활주 활주 문서로 넘겨주기 최신 태그: 새 넘겨주기