모든 공개 기록
위키백과에서 사용할 수 있는 모든 기록이 표시됩니다. 기록 종류나 사용자 이름(대소문자 구별) 또는 영향을 받는 문서(대소문자 구별)를 선택하여 범위를 좁혀서 살펴볼 수 있습니다.
- 2024년 4월 13일 (토) 11:05 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 형식적 검증 문서를 만들었습니다 (형식 검증 문서로 넘겨주기) 태그: 새 넘겨주기
- 2024년 4월 13일 (토) 11:05 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 형식검증 문서를 만들었습니다 (형식 검증 문서로 넘겨주기) 태그: 새 넘겨주기
- 2024년 4월 13일 (토) 11:05 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 형식 검증 문서를 만들었습니다 (새 문서: '''형식 검증'''(Formal verification)은 하드웨어 및 소프트웨어 시스템의 맥락에서 공식 수학 방법을 사용하여 특정 형식 사양 또는 속성과 관련하여 시스템의 정확성을 증명 (수학)하거나 반증하는 행위이다. 형식 검증은 시스템의 형식 사양을 위한 주요 인센티브이며 형식 방법의 핵심이다. 이는 전자 설계 자동화에서 분석 및 검증의 중요...)
- 2024년 4월 13일 (토) 11:01 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 의미론 (컴퓨터 과학) 문서를 만들었습니다 (새 문서: '''의미론''' 또는 '''시맨틱스'''(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...) 태그: 동음이의 링크
- 2024년 4월 13일 (토) 10:58 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 위생 매크로 문서를 만들었습니다 (새 문서: '''위생 매크로'''(Hygienic macro)는 컴퓨터 과학에서 확장 시 실수로 식별자를 캡처하지 않도록 보장되는 매크로 (컴퓨터 과학)이다. 이는 스킴 (프로그래밍 언어), 딜런 (프로그래밍 언어), 러스트 (프로그래밍 언어), 님 (프로그래밍 언어) 및 줄리아 (프로그래밍 언어)와 같은 프로그래밍 언어의 기능이다. 우연한 캡처의 일반적인 문제는 위생...)
- 2024년 4월 13일 (토) 10:56 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 의도적 프로그래밍 문서를 만들었습니다 (새 문서: '''의도적 프로그래밍'''(Intentional programming)은 컴퓨터 프로그래밍에서 찰스 시모니가 개발한 프로그래밍 패러다임으로, 프로그래머(또는 사용자)가 작업을 구상할 때 염두에 둔 정확한 의도를 소프트웨어 소스 코드에 인코딩한다. 프로그래머가 생각하는 적절한 추상화 (컴퓨터 과학) 수준을 사용하면 컴퓨터 프로그램을 만들고 유지 관리하는 것이...)
- 2024년 4월 13일 (토) 10:48 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 제약 프로그래밍 문서를 만들었습니다 (새 문서: '''제약 프로그래밍'''(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>은 인공지능, 컴퓨터 과학, 운용과...)
- 2024년 4월 13일 (토) 10:45 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 종속유형 문서를 만들었습니다 (의존형 문서로 넘겨주기) 태그: 새 넘겨주기
- 2024년 4월 13일 (토) 10:45 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 의존형 문서를 만들었습니다 (새 문서: '''의존형'''(dependent type) 또는 '''종속유형'''은 컴퓨터 과학 및 논리학에서 정의가 값에 따라 달라지는 유형이다. 이는 유형 이론과 유형 시스템이 겹치는 특징이다. 직관주의적 유형 이론에서는 의존형을 사용하여 "모두에게" 및 "존재합니다"와 같은 논리 수량자를 인코딩한다. Agda, ATS, Coq, F*, Epigram, Idris 및 Lean과 같은 함수형 프로그래밍 언어에서...)
- 2024년 4월 13일 (토) 10:41 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 일급 함수 문서를 만들었습니다 (새 문서: 컴퓨터 과학에서 프로그래밍 언어는 함수 (컴퓨터 과학)를 일급 객체로 취급하는 경우 '''일급 함수'''(first-class function)를 갖는다고 한다. 이는 언어가 함수를 다른 함수에 대한 인수로 전달하고, 이를 다른 함수의 값으로 반환하고, 변수에 할당하거나 자료 구조에 저장하는 것을 지원한다는 것을 의미한다.<ref>{{cite book|first1=Harold|last1=Abelson|authorlink1=Harold...)
- 2024년 4월 13일 (토) 10:37 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 익명함수 문서를 만들었습니다 (익명 함수 문서로 넘겨주기) 태그: 새 넘겨주기
- 2024년 4월 13일 (토) 10:37 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 익명 함수 문서를 만들었습니다 (새 문서: '''익명 함수'''(Anonymous function)는 컴퓨터 프로그래밍에서 식별자에 바인딩되지 않은 함수 (컴퓨터 과학) 정의이다. 익명 함수는 종종 고차 함수에 전달되거나 함수를 반환해야 하는 고차 함수의 결과를 구성하는 데 사용되는 인수이다.<ref>{{cite web |title=Higher order functions |url=http://learnyouahaskell.com/higher-order-functions |access-date=3 December 2014 |website= |...)
- 2024년 4월 13일 (토) 10:35 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 잭슨 구조화 프로그래밍 문서를 만들었습니다 (잭슨 구조적 프로그래밍 문서로 넘겨주기) 태그: 새 넘겨주기
- 2024년 4월 13일 (토) 10:34 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 계약에 의한 설계 문서를 만들었습니다 (새 문서: '''계약에 의한 설계'''(Design by contract, DbC), '''계약 프로그래밍''', '''계약에 의한 프로그래밍'''은 소프트웨어 설계를 위한 접근 방식이다. 이는 소프트웨어 설계자가 소프트웨어 구성 요소에 대해 형식적이고 정확하며 검증 가능한 인터페이스 사양을 정의해야 한다고 규정하며, 이는 전제 조건, 사후 조건 및 불변...)
- 2024년 4월 13일 (토) 10:31 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 잭슨법 문서를 만들었습니다 (잭슨 구조적 프로그래밍 문서로 넘겨주기) 태그: 새 넘겨주기
- 2024년 4월 13일 (토) 10:30 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 잭슨 구조적 프로그래밍 문서를 만들었습니다 (새 문서: 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...)
- 2024년 4월 13일 (토) 10:28 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 가상상속 문서를 만들었습니다 (가상 상속 문서로 넘겨주기) 태그: 새 넘겨주기
- 2024년 4월 13일 (토) 10:27 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 가상 상속 문서를 만들었습니다 (새 문서: {{다른 뜻|가상 함수|가상 함수의 상속}} '''가상 상속'''(Virtual inheritance)은 기본 클래스 멤버 변수의 복사본 하나만 손자 파생 클래스에서 상속 (객체 지향 프로그래밍)되도록 보장하는 C 기술이다. 가상 상속이 없으면 두 클래스 B와 C가 클래스 A에서 상속되고 클래스 D가 B와 C 모두에서 상속되는 경우 D에는 A 멤버 변수의 두 복사본(...)
- 2024년 4월 13일 (토) 10:21 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 정보 은폐 문서를 만들었습니다 (정보 은닉 문서로 넘겨주기) 태그: 새 넘겨주기
- 2024년 4월 13일 (토) 10:21 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 정보 감춤 문서를 만들었습니다 (정보 은닉 문서로 넘겨주기) 태그: 새 넘겨주기
- 2024년 4월 13일 (토) 10:21 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 정보 은닉 문서를 만들었습니다 (새 문서: '''정보 은닉'''(information hiding), '''정보 감춤''', '''정보 은폐'''는 컴퓨터 과학 분야에서 컴퓨터 프로그램에서 변경될 가능성이 가장 높은 설계 결정을 분리하여 설계 결정이 변경될 경우 프로그램의 다른 부분이 광범위하게 수정되지 않도록 보호하는 원칙이다. 보호에는 구현(세부 사항은 변경될 수 있음)으로부터 프로그램의 나머지 부분을 보호하는 안정적인 ...)
- 2024년 4월 13일 (토) 10:18 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 클래스 지향 문서를 만들었습니다 (클래스 기반 프로그래밍 문서로 넘겨주기) 태그: 새 넘겨주기
- 2024년 4월 13일 (토) 10:18 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 클래스 기반 프로그래밍 문서를 만들었습니다 (새 문서: '''클래스 기반 프로그래밍'''(class-based programming) 또는 더 일반적으로 '''클래스 지향'''(class-orientation)은 객체만을 통해 상속이 발생하는 대신 객체의 클래스 정의를 통해 상속이 발생하는 객체 지향 프로그래밍(OOP) 스타일이다(프로토타입 기반 프로그래밍 비교). OOP의 가장 널리 사용되고 개발된 모델은 객체 기반 모델이 아닌 클래스 기반 모델이다. 이 모델에...)
- 2024년 4월 13일 (토) 10:15 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 이착륙 문서를 만들었습니다 (새 문서: '''이착륙'''은 아래 항목을 함의한다. * 이륙 * 착륙 {{동음이의}})
- 2024년 4월 13일 (토) 10:14 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 택시웨이 문서를 만들었습니다 (유도로 문서로 넘겨주기) 태그: 새 넘겨주기
- 2024년 4월 13일 (토) 10:07 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 분류:항공기 운용 문서를 만들었습니다 (새 문서: 분류:항공 교통 분류:항공기)
- 2024년 4월 13일 (토) 10:06 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 지상활주 문서를 만들었습니다 (활주 문서로 넘겨주기) 태그: 새 넘겨주기
- 2024년 4월 13일 (토) 10:06 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 활주 문서를 만들었습니다 (새 문서: '''활주'''(taxiing) 또는 '''지상활주'''는 예인기에 의해 항공기가 이동하는 견인 또는 푸시백과 달리 자체 힘으로 지상에서 항공기가 이동하는 것이다. 항공기는 일반적으로 바퀴로 이동하지만 이 용어에는 스키나 플로트(수상 여행용)가 있는 항공기도 포함된다. 비행기는 공항의 한 장소에서 다른 장소로 이동하기 위해 유도로를 사용한다. 예를 들...)
- 2024년 4월 13일 (토) 09:58 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 착지 문서를 만들었습니다 (착륙 문서로 넘겨주기) 태그: 새 넘겨주기
- 2024년 4월 13일 (토) 09:49 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 엔탁틴 문서를 만들었습니다 (니도겐 문서로 넘겨주기) 태그: 새 넘겨주기
- 2024년 4월 13일 (토) 09:48 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 니도겐 문서를 만들었습니다 (새 문서: '''니도겐'''(Nidogens)은 파라호소동물(parahoxozoans)의 기저판에 위치한<ref>{{cite book|last1=Hortsch|first1=Michael|last2=Umemori|first2=Hisashi | name-list-style = vanc |title=The Sticky Synapse: Cell Adhesion Molecules and Their Role in Synapse Formation and Maintenance|date=2009|publisher=Springer|location=New York, NY|page=66|url=https://books.google.com/books?id=SACWPJTtXkoC&pg=PA66|isbn=9780387927084}}</ref> 황산화 단량체 당단백질...)
- 2024년 4월 13일 (토) 09:43 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 도어벨 문서를 만들었습니다 (초인종 문서로 넘겨주기) 태그: 새 넘겨주기
- 2024년 4월 13일 (토) 09:39 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 팰컨 9 v1.2 문서를 만들었습니다 (팰컨 9 풀 스러스트 문서로 넘겨주기) 태그: 새 넘겨주기
- 2024년 4월 13일 (토) 09:39 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 Falcon 9 Full Thrust 문서를 만들었습니다 (팰컨 9 풀 스러스트 문서로 넘겨주기) 태그: 새 넘겨주기
- 2024년 4월 13일 (토) 09:33 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 팰컨 9 풀 스러스트 문서를 만들었습니다 (새 문서: thumb '''팰컨 9 풀 스러스트'''(Falcon 9 Full Thrust) 또는 '''팰컨 9 v1.2'''(Falcon 9 v1.2, 변형 Block 1~Block 5 포함)는 스페이스X에서 설계 및 제조한 부분적으로 재사용 가능한 중형 리프트 발사체이다. 2014~2015년에 처음 설계되었으며 2015년 12월 첫 발사 작업을 시작했다. 2024년 4월 11일 기준 팰컨 9 풀 스러스트는 실패...) 태그: 동음이의 링크
- 2024년 4월 13일 (토) 09:29 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 소프트랜딩 문서를 만들었습니다 (연착륙 문서로 넘겨주기) 태그: 새 넘겨주기
- 2024년 4월 13일 (토) 09:28 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 소프트 랜딩 문서를 만들었습니다 (연착륙 문서로 넘겨주기) 태그: 새 넘겨주기
- 2024년 4월 13일 (토) 09:28 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 하드랜딩 문서를 만들었습니다 (경착륙 문서로 넘겨주기) 태그: 새 넘겨주기
- 2024년 4월 13일 (토) 09:28 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 하드 랜딩 문서를 만들었습니다 (경착륙 문서로 넘겨주기) 태그: 새 넘겨주기
- 2024년 4월 13일 (토) 09:28 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 경착륙 문서를 만들었습니다 (새 문서: '''경착륙''' 또는 '''하드 랜딩'''(hard landing)은 항공기나 우주선이 일반 착륙보다 더 큰 수직 속도와 힘 (물리)으로 땅에 부딪힐 때 발생한다. 경착륙과 확정 착륙이라는 용어는 본질적으로 다르지만 종종 혼동된다. 경착륙은 의도된 것이 아니며 항공기가 경착륙한 경우 다음 비행 전에 손상 여부를 검사해야 한다. 대조적으로, 항공기 유형(예: 보잉 737) 및...)
- 2024년 4월 13일 (토) 09:17 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 연착륙 문서를 만들었습니다 (새 문서: '''연착륙''' 또는 '''소프트 랜딩'''(soft landing)은 경착륙과 달리 차량이나 탑재체에 심각한 손상이나 파괴를 초래하지 않는 모든 유형의 항공기, 로켓 또는 착륙선의 착륙 유형이다. 연착륙 시 평균 수직 속도는 초당 약 2미터(6.6피트) 이하여야 한다.<ref>{{Cite news |last=Sreedhar |first=Vidya |date=2023-08-23 |title=Chandrayaan-3 Effect! These 7 space-related stocks scale 52-week highs |...)
- 2024년 4월 13일 (토) 09:14 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 교선 문서를 만들었습니다 (교점 문서로 넘겨주기) 태그: 새 넘겨주기
- 2024년 4월 13일 (토) 09:05 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 큰가래 문서를 만들었습니다 (새 문서: thumb '''큰가래''' 또는 '''포타모게톤 나탄스'''(Potamogeton natans)는 남극 왕국 전체의 조용하거나 느리게 흐르는 담수 서식지에 서식하는 가래속의 수생 종이다. ==설명== 같은 식물에서 떠다니는 잎과 물에 잠긴 잎을 모두 생산한다. 떠 다니는 잎은 난형에서 장타원형이며 거의 항상 밑 부분에 심장 모양이다. 그들은 짙은 녹색이고 가죽 같으...)
- 2024년 4월 13일 (토) 09:02 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 편의성 문서를 만들었습니다 (편의 문서로 넘겨주기) 태그: 새 넘겨주기
- 2024년 4월 13일 (토) 09:02 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 편리 문서를 만들었습니다 (편의 문서로 넘겨주기) 태그: 새 넘겨주기
- 2024년 4월 13일 (토) 09:00 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 각막 반사 문서를 만들었습니다 (각막반사 문서로 넘겨주기) 태그: 새 넘겨주기
- 2024년 4월 13일 (토) 08:59 2001:e60:9146:6d89:7896:e631:6cc:ca1f 토론님이 각막반사 문서를 만들었습니다 (새 문서: thumb '''각막반사'''(corneal reflex)는 주변 자극으로 인해 발생할 수 있지만 각막 자극(예: 만지거나 이물질에 의해)으로 인해 발생하는 눈꺼풀의 비자발적 깜박임이다. 자극은 직접적이고 합의된 반응(반대 눈의 반응)을 모두 이끌어내야 한다.<ref>"eye, human". ''Encyclopædia Britannica'' from ''Encyclopædia Britannica 2006 Ultimate Reference Suite DVD'', 2009</ref> 반사...)