검색

…하지 않으면 말짱 도루묵 아닐까? 물론 위에서 ∈\in∈을 predicate로 사용했으니 분류 공리꼴을 사용해도 되겠지만, 야매 ZFC에서는 다음과 같은 구절이 있다.∃A∀x∉A\exists A \forall x \notin A∃A∀x∈/A이를 axiom of empty set또는 axiom of existence라고 부른다. 즉, 공집합의 존재성을 공리로 정의한다…

…의 끝판왕인 미적이 둘다 실수체를 배경으로 펼쳐지기 때문.하지만 수학과를 선택하고 쏟아지는 추상성에 처맞다 보면 숫자나 수 자체는 수학이 다루는 어떠한 '대상'의 일부일 뿐이라는 걸 절실하게 깨닫게 된다. 수 자체를 공리로 환원해 추상화할 수도 있고, 거리와 측도…

…독립 버튜버이자 스트리머로, 치지직과 유튜브를 중심으로 활동하고 있다. 팬덤명은 봉봉이며, 직설적이고 현실적인 말투와 다양한 실험 콘텐츠로 주목받고 있다. 트위치에서 '한라는게임중'이라는 닉네임으로 활동하다가 치지직으로 이적하였다. 대표 콘텐츠로는 '한라카세', '…

…비공식적으로 6m에 육박하는 초대형 개체가 있을 것으로 추정되며, 딥 블루라는 개체는 6 m 길이에 2.5 t 정도의 최대 사이즈를 자랑한다.범고래의 경우 암컷이 길이 5~7 m, 몸무게 3~4 t이며 수컷은 길이 6~9 m에 몸무게 6~9 t…

…미국의 ICBM 프로젝트인 아틀라스는 실패만 반복하고 있었기 때문. 스푸트니크에 대항하겠다며 뱅가드라는 위성을 쏘아봤지만 대기권 진입도 못 하고 폭발해버렸다. 이때 소련이 미국에 조문을 보내 전격 티배깅을 한 사실은 전세계적으로 두고두고 놀림거리가 되었다.결국 미국은 소련의 우주 쇼를…

…가 아니라 '집합은 어떤 행동을 한다'에서 시작한다.집합 AAA가 xxx를 가질 때, 이를 x∈Ax \in Ax∈A라 표현하며, xxx를 AAA의 원소(element)라고 한다. 이 포크(?)같이 생긴 ∈\in∈ 기호를 membership predicate라고 하며, 이름에서 눈치챘겠지만 이 predicate는 부정할 수 있는데, 이를 ¬(x∈A)\neg…

…전공 중이다 #[1] 등재전쟁 도중에 사문에 적은 것으로, 존치측과 삭제측 모두 문의했을 것으로 보인다. 사실 꼈어도 중립 의무 위반할 중재자는 아니라고 보지만, 괜한 논란을 피하기 위해 아예 회피하기로 결정한 듯[2] 한 마디로 더 고통받는 걸 보고 싶어 한단 이야기이다.

…목욕을 관리하기 시작했고, 결국 멤버들 모르게 신곡을 준비했는데 신곡 제목이 바로 フロきゃん！(목욕캔슬을 뜻하는 風呂キャン에서 한자 風呂를 가타카나 フロ로, 취소라는 뜻의 キャン을 히라가나 きゃん으로 표기한 것) 이 되었다. 그것도 보컬로이드 곡 ふぁんぶる！(펌블!) 로…

…지 않고 디시 똥 받아먹기 위해 디시로 잠입한다. 그러면서 지들 사이트 방식 강요한다. 이걸 근첩이라고 한다. 이새끼들한테 당해보면 치를 떰 ㅇㅇ근첩들이 혐오하는 인터넷 방송 관련 커뮤니티[1]에도 심심하면 나타나 채팅창 관리를 문제 삼는다. 하지만 반일씹덕이라는 정체성은 죽지 않아 아이리 칸나와 홀로…

…합니다.@ 토론을 열어 음반을 전부 앨범으로 바꿔버렸다. 이 토론은 훗날 hdudb가 이의를 제기하면서 코코아가 발제자분이 차단되어 아쉽게도 이야기를 들을 수 없게 되었습니다@라는 어록을 남기게 만들었다.국어 실력이 좋은 듯하다. 걍 LLM 번역기다.#@약학 전공이라고…

…부분을 참고하십시오. 4.2. 설계 [편집] 통칭 건축 설계. 건물의 디자인이나 구조 설계등을 담당한다. 한국에서 건축가라고 하면 이쪽 전문인 경우가 다수.   자세한 내용은 건축/설계 문서를의 번 문단을의 부분을 참고하십시오. 4.3. 시공 [편집] 통칭 건축 공학. 시공과정에 있어서의…

…최적성의 원리란 별로 어렵지 않다. 어떤 문제에 대한 최적의 경로(=비용을 최소화 하는)가 존재할때, 그 하위 경로 역시 최적이어야 한다라는 의미이다. 때문에 동적 프로그래밍은 문제를 전체적으로 한 번에 푸는 것이 아니라, 문제를 시간적으로 나누어 각 시점마다 최적의 결정…

…간단히 설명하자면, 첫번째 레이어에서 y=ax+by = ax + by=ax+b라는 계산을 수행하고 다음층에서 y=cx+dy = cx + dy=cx+d라는 계산을 수행한다면 그 결과는 y=acx+bc+dy = acx + bc + dy=acx+bc+d가 되므로 단층 퍼셉트론과 다를바 없어진다. 때문에 활성화 함수는 이러한 퍼셉트론간의 선형성을 분리하는…

…먹은 것 이외에는 큰 반향이 없었지만 역시 갤주라며 뭇 갤럼들의 환호(?)를 불러일으켰다.그리고 베가가 직접 답변한 2번째 신고글이 꽤 큰 이슈가 되었다. 해당 서술의 근거를 제시해달라는 베가의 말에 당사자 Trier가 무려 구글 드라이브에 들…

…이런 귀찮은 짓을 하면서 함수를 개조하는가 싶지만 쓰이는 곳이 많다. 특히나 신호를 시간 단위가 아니라 주파수 단위로 분해하는 방법론은 신호 분석의 기초 중 기초라고 할 수 있다. 더불어 주파수 단위에서 원하는 성분을 증폭시키고 억제하는 동작을 쉽게 구현…

…수 없다!)파괴해? 하하하하하… 한심한 것, 이 세계는 내가 그토록 꿈꾸던 힘으로 가득하다! 모두 내 것이 될 것이야!난 알고 있거든… 결국 모두가 설사할 거라는 걸!날 거부할 순 없다!I will not be denied!히어로즈 오브 더 스톰의 영웅. 워크래프트 시리즈의 시작을 고한, 오크…

…이대로는 이미지를 생성할 수 없다. 이미지 생성에 필요한 모델 파일은 주로 civitai.com 에서 찾을 수 있다.우선 이 문서에서는 hesperides-illustrious-v10 라는 모델을 사용해보겠다.위 링크에서 모델을 다운받고, stable-diffusion-webui-reForge\models\Stable-diffusion 폴더에 넣으면 된다.이제 Stable Diffusion 화면에서…

…rrr): 보상함수의 결과값3. 알고리즘 [편집] 강화학습의 알고리즘은 가치 함수를 최적화 하는가? 아니면 정책 함수를 최적화하는가? 라는 기준에 따른 대분류를 가진다.3.1. 가치 기반 알고리즘 [편집] 소위 가치함수라고 불리는 Q함수, 행동 가치 함수를 최적화하는 알고리즘. 정책함수를 필요로 하는 on…

…서, 캐미스트리UUID3161fd7f-7add-4c4f-a809-ab8ebd1a9e271. 개요2. 상세3. 사건 사고3.1. 탄핵소추1. 개요 [편집] 의외로 오래 재임한 관리자였던 것.신세시스라고 읽는다.2. 상세 [편집] 과거 닉네임이 Chemistry_TMP였다. 화학을 좋아하는 것 같다.가만 보면 지진도 좋아한다. 어..?3. 사건 사고 [편집] 3.1. 탄핵…

…컨텐츠 등으로 격리됨 또한 원인으로 작용한다.함군은 검열삭제이다.이파리는 아이리제를 극도로 경계한다. 이세페가 아이리제 발사대라고 하면 아주 쉽게 긁힌다. 허나 부정하지 못한다.패러블을 욕하는 이파리는 대부분 자아의탁-자기방어기제에서 유래한다.[1] 일반 시청자가 아니다.[2] 고멤은 팬…