R_s
전체 포스트
- 지수분포의 충분통계량과 최소우도추정량
- 선형계획법에서의 약한 쌍대성 정리 증명
- 선형계획법에서의 강한 쌍대성 정리 증명
- 정규분포의 충분통계량과 최소우도추정량
- 엑셀로 선형계획문제 푸는 법
- 감마분포의 충분통계량
- 줄리아로 선형계획문제 푸는 법
- 베타분포의 충분통계량
- 파이썬으로 선형계획문제 푸는 법
- 카이제곱분포의 충분통계량
- 매트랩으로 선형계획문제 푸는 법
- Our World in Data 소개
- R로 선형계획문제 푸는 법
- World Pop 소개
- 약한 위상의 정의
- 위상수학에서 디스크와 스피어
- 줄리아에서 복소수 사용하는 법
- 위상수학에서 컴플렉스란?
- 줄리아에서 배열로 딕셔너리 만드는 법
- CW 컴플렉스의 정의
- 줄리아의 브로드캐스팅 문법
- 줄리아에서 부분배열 빠르게 참조하는 법
- 행렬의 스미스 노멀 폼
- 줄리아의 느낌표 컨벤션
- 스미스 노멀 폼의 존재성 증명
- 줄리아의 find 함수들
- 줄리아의 숏 서킷
- 줄리아의 다차원 인덱스
- 호모몰피즘의 스미스 노멀 폼
- 서포트 벡터 머신
- 최적화이론의 라그랑주 승수법
- 머신러닝에서의 정부호 커널과 재생 커널 힐베르트 공간
- 표현자 정리 증명
- 줄리아에서 날짜 및 시간 관련 함수 사용하는 법
- 줄리아에서 선형대수 패키지 사용하는 법
- 제1회 생새우초밥집 대회: Graph Group
- 줄리아에서 데이터 생략 없이 출력하는 법
- 줄리아로 네이버에서 메일 보내는 법
- 줄리아에서 2차원 배열과 행렬 간 전환하는 법
- 회귀계수의 정규성 증명
- 줄리아에서 두 시각의 차를 초 단위로 계산하는 법
- 표준오차의 일반적인 정의
- 유리함수의 정의
- 상수함수의 정의
- 리만 구의 정의
- 변형 제1종 베셀 함수가 방향 통계학에 등장하는 이유
- 다항 분포
- 다항 분포의 공분산 행렬 유도
- 피어슨 정리 증명
- 폰 미제스 분포
- 이변량 폰 미제스 분포
- 줄리아에서 회귀분석 하는 법
- 줄리아에서 0이나 결측치를 제외한 평균 구하는 법
- 줄리아에서 프로그레스바 사용하는 법
- 줄리아에서 환경변수 참조하는 법
- 줄리아에서 데이터프레임의 결측치 제거하는 법
- 줄리아에서 콘솔 초기화 하는 법
- 줄리아 콘솔에서 간단한 그림 출력하는 법
- 줄리아에서 mat 파일 읽고 쓰는 법
- 윈도우 11 초기 세팅
- X^T X 의 역행렬이 존재하는 필요충분조건
- R 회귀분석에서 not defined because of singularities 해결
- 줄리아 산점도 마크에 색 넣는 법
- 줄리아에서 다른 파일에 정의한 함수 사용하는 법
- 산술평균과 기하평균 조화평균사이의 부등식
- 가비의 리 증명
- 구분구적법으로 구한 면적과 정적분의 관계
- 낙하한 물체의 속도를 구하는 공식 유도
- 드 무아브르의 정리 증명
- 삼각함수의 평행이동과 도함수의 관계
- 에네스트롬-카케야 정리 증명
- 자주 쓰는 이차함수의 정적분
- 조화급수의 발산성에 대한 오렘의 증명
- 조화평균을 활용해 평균속력 구하기
- 평행한 두 직선 사이의 거리를 구하는 공식 유도
- 11의 배수판정법 더 간단한 증명
- 3의 배수판정법과 9의 배수판정법의 증명
- 7의 배수판정법과 13의 배수판정법의 증명
- 원소가 n개인 유한 집합의 부분 집합의 갯수
- 다양한 삼각함수의 적분법
- 두 사건이 독립이면 여사건끼리도 독립임을 증명
- 두 사건이 서로 배반이면 서로 종속임을 증명
- 베이즈 정리 증명
- 이차함수의 극점 빠르게 구하기
- 로피탈의 정리 증명
- 미분적분학에서 롤의 정리 증명
- 미분적분학에서 평균값 정리 증명
- 우함수와 기함수
- 코시의 평균값 정리 증명
- 테일러 급수와 매클로린 급수
- 테일러 정리 증명
- 페르마의 정리 증명
- 삼각함수의 덧셈정리 여러가지 증명
- 자연로그의 거듭제곱의 적분법
- 포커 족보별 경우의 수 확률 구하기
- 코시-슈바르츠 부등식 증명
- 한 직선과 x축 y축으로 둘러싸인 삼각형의 넓이
- 분수 함수의 역함수와 이차정사각 행렬의 역행렬의 모양
- 포물선의 접선의 방정식 유도
- 근의 공식 유도 무작정 따라하기
- 무한급수가 수렴하면 무한수열은 0으로 수렴함을 증명
- 회전변환 행렬의 거듭제곱 공식 증명
- 자연로그의 급수꼴 유도와 교대조화급수의 수렴성 증명
- 지수 함수 사인 함수 코사인 함수의 테일러 전개
- 유클리드의 증명: 소수는 무한히 존재한다
- 유클리드 호제법 증명
- 합동방정식에 대한 대수학의 기본정리 증명
- 이차행렬의 곱의 성분의 합을 쉽게 구하는 공식
- 아크탄젠트 함수의 급수전개
- 감마함수
- 정수론에서의 합동
- 미적분학에서의 오일러 공식
- 실수의 허수승의 크기는 항상 1이다
- 적분을 이용한 타원의 넓이 구하기
- 감마함수에 대한 오일러의 극한 공식 유도
- 오일러-마스케로니 상수의 수렴성 증명
- 드 무아브르의 정리를 이용한 삼각함수의 삼배각 공식 유도
- 복소해석에서 삼각함수와 쌍곡함수의 관계
- 복소해석에서 삼각함수와 지수함수의 관계
- 코시-리만 방정식
- ML 보조정리 증명
- 코시-리만 방정식의 역이 성립하는 조건
- 피타고라스의 정리 증명
- 그린의 정리 증명
- 푸비니의 정리 증명
- 쌍곡함수의 미분법
- 역삼각함수의 미분법
- 등비수열의 합 구하기
- 등차수열의 합 구하기
- 해석학의 세 가지 공리: 1 체 공리
- 해석학의 세 가지 공리: 2 순서 공리
- 해석학에서 아르키메데스의 원리
- 해석학의 세 가지 공리: 3 완비성 공리
- 실수의 조밀성 증명
- 해석학의 여러가지 급수판정법 총정리
- 감마함수에 대한 바이어슈트라스의 무한곱
- 제곱수의 합 구하기
- 싱크함수의 오일러 표현 증명
- 오일러의 반사 공식 유도
- 등비수열의 부분합들도 등비수열임을 증명
- 등차수열의 부분합들도 등차수열임을 증명
- 특정한 분포를 따르는 확률변수들의 덧셈 총정리
- 복소경로적분의 수축 보조정리
- 복소해석에서의 코시 정리 증명
- 미적분학의 기본정리 증명
- 적분의 평균값 정리
- 모레라의 정리 증명
- 코시 적분 공식 유도
- e^-x^2꼴의 정적분, 가우스 적분, 오일러-푸아송 적분
- 이항정리 증명
- 프레넬 사인 적분의 매클로린 전개
- 프레넬 적분 증명
- 대수학의 기본정리 증명
- 복소해석에서의 리우빌의 정리 증명
- 가우스의 평균값 정리 증명
- 최대절댓값 정리 증명
- 슈발츠 보조정리 증명
- 푸아송 적분 공식 유도
- 로체의 정리 증명
- 유리형함수의 영점과 극점
- 바이어슈트라스 M 판정법
- 복소해석을 사용한 테일러 급수 유도
- 생성함수란?
- 켤레 복소수
- 행공간, 열공간, 영공간
- 삼차원 유클리드 공간에서 외적이란
- 유클리드 공간에서 내적이란
- 볼록 함수, 오목 함수
- 옌센 부등식의 적분 폼 증명
- 추상대수학에서의 이항연산
- 추상대수학에서의 반군
- 추상대수학에서의 모노이드
- 군에서의 항등원과 역원의 유일성 증명
- 좌우간약율 증명
- 추상대수학에서의 군
- 선형 독립과 선형 종속
- 연립방정식으로 이해하는 랭크와 무효차수
- 복소해석에서 특이점의 종류
- 로랑 급수란?
- 로랑 급수의 주부분과 특이점의 분류
- 유수 정리 증명
- 추상대수학에서의 가환군
- R 에서 else if문 사용하기 Error: unexpected else in else 해결
- R 에서 모든 변수 제거하기 콘솔창 초기화
- R 에서 몫과 나머지 구하기
- R 에서 행렬의 곱 역행렬 전치행렬 구하기
- 극점에서의 유수
- 단순극에서의 유수
- 고유값의 대수적 중복도와 기하적 중복도
- 닮은 행렬은 같은 고유값을 갖는다
- 고유값의 대수적 중복도는 기하적 중복도보다 크거나 같다
- R 에서 내장 데이터셋 불러오는 법
- R 에서 데이터 프레임의 행과 열의 위치 바꾸기
- 복소평면 상에서의 삼각함수 치환을 통한 정적분
- 발산하는 반원 상의 복소경로적분을 통한 [유리함수](../2463)의 이상적분
- 정칙행렬의 고유값 대각화
- 행렬의 특이값 분해
- 전체 특이값 분해의 존재성 증명
- 정칙행렬의 슈어 분해
- 스펙트럴 이론 증명
- 정칙행렬의 LU 분해
- 대칭행렬의 LDU 분해
- 양의 정부호 행렬의 콜레스키 분해
- 벡터공간에서 직합이란
- 콜레스키 분해의 유일성 증명
- 행렬대수에서 사영이란
- 행렬대수에서 정사영이란
- 최소제곱법
- 행렬의 QR 분해
- QR 분해를 통한 최소제곱법
- 콜레스키 분해를 통한 최소제곱법
- 조르당 보조정리 증명
- 특이값 분해를 통한 최소제곱법
- 실수축의 특이점을 포함했을 때 조르당 보조정리를 통한 이상적분
- 조르당 보조정리를 통한 이상적분
- 다가함수의 이상적분
- 복소해석학에서의 다가함수와 분기
- 거리공간의 정의
- 거리공간에서 볼과 열린 집합 닫힌 집합
- 유수정리를 이용한 모든 정수에 대한 급수의 합 공식
- 코탄젠트와 코시컨트의 로랑 전개
- 복소해석을 이용한 제곱수의 역수의 합 계산
- 오일러의 증명: 싱크함수를 이용한 제곱수의 역수의 합 구하기
- 추상대수학에서의 순환군
- 그램-슈미트 직교화
- 거리공간에서 완비성과 조밀성
- 위상공간이란?
- 모든 순환군은 가환군임을 증명
- 위상공간에서의 집적점과 수렴, 도집합
- 순환군의 부분군은 순환군임을 증명
- 추상대수학에서의 동형
- 위상공간에서의 가분과 폐포
- 자명 위상과 이산 위상
- 여유한위상과 여가산위상
- 일반적인 위상공간에서 수열의 극한은 유일하지 않다
- 복소해석에서 등각사상이란?
- 복소해석에서 역함수 정리 증명
- 등각사상은 내각의 크기를 보존한다
- 모든 순환군은 정수군과 동형임을 증명
- 위상수학에서의 기저와 국소기저
- 제1가산과 제2가산
- 거리공간의 제1가산성과 제2가산성
- 소수 분해 원리
- 쌍선형변환
- 추상대수학에서의 대칭군
- 확장된 유클리드 정리 증명
- 산술의 기본정리 증명
- 오일러의 증명: 소수는 무한히 존재한다
- 확장복소평면에서 원은 쌍선형변환에 대해 불변이다
- 피타고라스 트리플
- 피타고리스 수 중 하나는 반드시 짝수여야한다
- 피타고리스 수 중 하나는 반드시 3의 배수여야한다
- 복소해석학에서의 교차비
- 위상수학에서의 부분기저
- 원시 피타고라스 트리플은 두 홀수만으로 표현할 수 있다
- 위상수학에서 기저의 동치 조건
- 원시 피타고라스 수끼리는 서로소다
- 추상대수학에서의 정이면체군
- 복소해석학에서의 역점
- 위상수학에서 연속이란
- 페르마의 소정리 증명
- 반원을 사분면으로 대응시키는 등각사상
- 열린 함수와 닫힌 함수
- 윌슨의 정리 증명
- 부채꼴을 원으로 대응시키는 등각사상
- 위상공간에서 위상동형이란
- 추상대수학에서의 여러 사상들
- 포물선을 반평면으로 대응시키는 등각사상
- 위상적 성질
- 토션트 함수
- 등각사상으로써의 지수함수
- 위상수학에서 계승적 성질이란?
- 등각사상으로써의 삼각함수
- 쥬코프스키 변환
- 슈발츠-크리스토플 변환
- 일양 분포
- 이항계수의 일반화 베타함수
- 일양 분포의 평균과 분산
- 클라인 사원군
- 토션트 함수의 곱셈적 성질 증명
- 베타함수의 삼각함수 표현
- 위상수학에서의 분리성질
- T1-공간인 것과 모든 유한부분집합이 닫혀있는 것은 동치다
- 케일리의 정리 증명
- 하우스도르프 공간에서는 시퀀스의 극한이 유일하다
- 위상수학에서 연결성이란
- 추상대수학에서의 궤도, 순환, 전위
- 연결 공간의 여러가지 동치조건
- 전사 연속함수는 연결성을 보존한다
- 짝이면서 홀인 순열은 존재하지 않음을 증명
- 추상대수학에서의 교대군
- 추상대수학에서의 잉여류와 정규부분군
- 연결 공간의 부분 공간의 성질들
- 연결 성분과 완전 분리 공간
- 영집합
- 중간값 정리 증명
- 위상수학에서 고정점 성질이란?
- 위상수학에서 경로연결성이란
- 외측도
- 접착 보조정리 증명
- 경로연결 성분
- 국소연결과 국소경로연결
- 위상수학자의 사인 곡선과 빗 공간
- 위상공간에서 컴팩트, 프리컴팩트란?
- 시그마 대수와 가측 공간
- 오일러의 토션트 정리 증명
- 오일러의 토션트 합 공식 유도
- 중국인의 나머지 정리 증명
- 르벡 측도
- 보렐 집합
- R 에서 외부 데이터 불러오기
- R 에서 범주형 데이터의 숫자를 숫자형 데이터로 바꾸기
- 측도론으로 정의되는 확률
- 르장드르의 배 공식 유도
- 귀무가설과 대립가설을 정하는 방법
- 유한 교집합 성질
- 제1종 오류와 제2종 오류의 차이
- 기각역과 유의수준
- 사건의 독립과 조건부 확률
- 컴팩트 하우스도르프 공간은 정규 공간이다
- 르벡 가측 함수
- 왜 '음함수'는 잘못된 번역인가?
- 정수와 실수의 포맷 코드에 d, f를 쓰는 이유
- 측도론에서의 거의 어디서나와 거의 확실히
- n-그램과 자카드 계수
- R 에서 NA 제거하기
- 르벡 적분
- R 에서 자리수 출력 제한 없애기
- 균일 진행파 편미분방정식의 풀이
- 정상파 편미분방정식의 풀이
- 비균일 진행파 편미분방정식의 풀이
- 비점성 버거스 방정식의 풀이
- 파투의 보조정리 증명
- 단조 수렴 정리 증명
- 상관관계가 없다고 독립인 것은 아니다
- p값 혹은 유의확률의 쉬운 정의
- R 에서 멱함수 그래프 그리는 법
- 포물선의 초점을 지나는 직선이 가지는 성질
- 표본표준편차와 표준오차의 구분
- 회귀분석이란?
- 르벡 적분가능
- 계획행렬
- 몬테카를로 방법과 부트스트랩의 차이점
- 메르센 소수
- 지배 수렴 정리 증명
- R 에서 부트스트랩 함수 사용하는 법
- 힙스의 법칙
- 지프의 법칙
- 컴팩트 공간과 연속함수에 대한 유용한 성질들
- 위상공간에서 최대최소값 정리 증명
- 측도론에서의 레비의 정리 증명
- 비점성 버거스 방정식에서의 질량 보존 법칙
- 정수론에서의 시그마 함수
- R 에서 문자열 다루기
- 랜킨-위고니오 조건과 엔트로피 조건
- 균등연속 정리
- 오류행렬과 민감도, 특이도
- 파이썬으로 웹 문서 크롤링하고 태그 제거하기
- 리만적분의 일반화로써의 르벡적분
- 가산 컴팩트와 린델뢰프
- 볼자노-바이어슈트라스 성질과 집적점 컴팩트
- R 에서 올림, 내림, 반올림, 자릿수 바꾸기
- R 에서 여러가지 분포함수
- 버거스 방정식에 대한 리만 문제의 풀이
- 편미분 방정식 풀이를 위한 푸리에 급수
- 열방정식의 풀이
- 디리클레 경계 조건이 주어진 열방정식에 대한 초기값 문제의 풀이
- 파동방정식에 대한 코시 문제의 풀이
- 디리클레 경계 조건이 주어진 파동방정식에 대한 초기값 문제의 풀이
- 르벡 정리 증명
- 페아노 공간 충전 정리 증명
- L1 공간
- 유클리드의 완전수 공식 유도
- L2 공간
- 르벡 공간에서의 코시-슈바르츠 부등식
- 라그랑주의 정리 증명
- 한 점 컴팩트화
- 함수의 내적을 정적분으로 정의하는 이유
- 오일러의 완전수 정리 증명
- 월리스 곱
- 이상기체 방정식
- 병렬회로의 합성저항 쉽게 구하기
- 베르의 범주 정리 증명
- Lp 공간, 르벡 공간
- 칸토어 집합
- 스털링 공식의 간단한 유도
- 르벡공간의 횔더 부등식 증명
- 열역학 제0법칙
- 물리학에서 온도의 정의
- 르벡공간에서의 민코프스키 부등식 증명
- 볼츠만 분포
- 스털링 근사 공식의 엄밀한 증명
- 등온 대기에서 높이에 따른 기체 분자 수 공식
- 군의 데카르트 곱
- 위상공간의 데카르트 곱
- 연속제곱법 증명
- 추상대수학에서의 핵, 커널
- 맥스웰 분포
- 알렉산더 부분기저 정리 증명
- 기체분자의 평균 운동에너지
- 티호노프 정리 증명
- 열용량
- 추상대수학에서의 몫군
- 열역학 제1법칙
- 군의 작용
- 등적 열용량과 등압 열용량
- 등방부분군
- 이상기체의 등온 팽창
- 번사이드 공식 유도
- 이상기체의 단열 팽창
- 제1동형 정리 증명
- 단열감률의 열역학적 유도
- 제2동형 정리 증명
- 열역학 제2법칙
- 제3동형 정리 증명
- 카르노 기관
- 위상수학에서의 함수공간
- 카르노 정리 증명
- 적합치, 예측치, 잔차, 오차
- 클라우지우스 부등식
- 단순회귀분석
- 열역학에서 엔트로피란
- R 에서 단순회귀분석 결과 보는 법
- 우주의 엔트로피는 감소하지 않는다
- 회귀계수의 t-검정
- 깁스의 엔트로피 표현
- R 에서 조건부 합 조건부 평균 구하기
- 엔탈피 헬름홀츠 함수 깁스 함수
- 우리손 보조정리와 티체 확장 정리
- R 에서 조건부로 데이터 필터링하는 법
- 추상대수학에서의 p-군
- R 에서 그래프 그리기
- 군론에서의 코시 정리 증명
- R 에서 수평선 수직선 그리는 법
- 몫 공간
- 다중회귀분석
- R 에서 그림에 문자열 찍는 법
- 쉴로브 정리
- R 에서 그래프 그릴 때 사용하는 심볼들
- R 에서 다중회귀분석 결과 보는 법
- 회귀계수의 F-검정
- 파푸스-굴딘 정리 증명
- 회귀분석의 모형진단
- 모형진단으로 확인하는 잔차의 선형성
- 피보나치 수열의 일반항 유도
- 모형진단으로 확인하는 잔차의 등분산성
- 다양체란
- R 에서 리스트 해체하기, 중복 성분 제거하기
- 엘피 공간
- 선형대수학에서 노름 혹은 놈이란
- 베이즈 정리로 보는 몬티홀 딜레마
- 옌센 부등식의 유한 폼 증명
- p=∞ 일 때 p-놈이 맥시멈 놈이 됨을 증명
- 베이지안 패러다임
- 영의 부등식 증명
- 바나흐 공간
- 횔더 부등식
- 부분공간의 직교여공간
- 유한 차원 벡터 공간의 하멜 베이시스
- 노름 놈의 동치관계
- 유한 차원 놈 공간은 기저를 가짐을 증명
- 유한 차원 벡터 공간 상에서 정의된 모든 놈은 동치임을 증명
- 라플라스 계승 법칙
- 유한 차원 놈 공간은 완비성을 가짐을 증명
- 켤레사전분포
- 리즈 보조정리 증명
- 민코프스키 부등식
- 라플라스 사전분포
- 추상대수학에서의 체
- 제프리 사전분포
- 불리언 링
- 영인자와 정역
- R 에서 자료구조 뜯어보는 법
- 환의 영인자가 멱등원이면 직합으로 나타낼 수 있다
- 수치해석에서의 차분
- 다항식의 환
- 리즈 정리 증명
- 빅오 노테이션이 분모에 있을 때 분자로 올리는 법
- 함수해석학에서 작용소란
- 다항함수의 영
- 선형작용소의 성질
- 나눗셈 정리 증명
- 인수 정리 증명
- 다항함수의 기약원
- 라플라스 전개
- 아이젠슈타인 판정법
- 유계 선형작용소의 제곱의 놈
- 추상대수학에서의 아이디얼
- 모형진단으로 확인하는 잔차의 독립성
- 통계학의 세가지 대표값: 최빈값, 중앙값, 평균
- 모형진단으로 확인하는 잔차의 정규성
- 신용구간
- 선형범함수가 연속일 필요충분조건
- 질적변수를 포함한 회귀분석
- 추상대수학에서의 래디컬과 닐래디컬
- 회귀분석에서의 교호작용
- 선형범함수가 선형독립결합으로 나타나는 필요충분조건
- 신용구간과 신뢰구간의 차이
- 쌍대 공간
- 복소수의 부호
- 등거리 사상
- 최고사후밀도 신용구간
- 벡터 공간의 리플렉시브
- 함수해석학에서 힐베르트 공간
- 제1종 체비셰프 다항함수
- 최단 벡터 정리 증명
- 제2종 체비셰프 다항함수
- 제1종 제2종 체비셰프 다항함수의 관계
- 크레이머 법칙 증명
- 방데르몽드 행렬의 행렬식 유도
- 베이즈 인자를 통한 가설검정
- 직교 분해 정리 증명
- 단원을 가지는 아이디얼
- 리즈 표현 정리 증명
- 삼중대각행렬의 행렬식 유도
- 힐베르트 공간은 리플렉시브임을 증명
- 극대 아이디얼
- 소 아이디얼
- 합동방정식의 거듭제곱근
- 주 아이디얼
- 카마이클 수
- 확대체의 정의와 크로네커 정리 증명
- 정수론에서의 위수
- 대수적 수와 초월수
- 원시근 정리 증명
- 단순확대체
- 코셀트 판정법
- 실수체로 복소수체를 만들어내는 대수적인 방법
- 밀러-라빈 판정법
- 비선형회귀분석: 회귀분석에서의 변수 변환
- 이차잉여와 비이차잉여
- 르장드르 기호의 곱셈적 성질 증명
- 추상대수학에서의 벡터 공간
- 대수적 확대체
- 오일러 판정법
- 가우스의 이차상호 법칙 증명
- 다중공선성
- 추상대수의 용어로 표현된 대수학의 기본정리
- 분산팽창인자 VIF
- 작도가능수
- 통계학에서의 주성분분석
- 3대 작도 불능 문제 증명
- R 에서 주성분회귀분석하는 법
- 소체
- 리눅스 포트란 컴파일 후 a.out 실행법
- 통계적 분석에서의 변수 선택 절차
- 소수를 4로 나눈 나머지가 1이 되는 필요충분조건
- 뇌터 환
- 소수를 3으로 나눈 나머지가 1이 되는 필요충분조건
- 주 아이디얼 정역
- 통계적 분석에서의 변수 선택 기준
- 유일 인수분해 정역
- 로지스틱 회귀분석
- 유클리드 정역
- R 에서 데이터 프레임의 열과 행 이름 바꾸기
- 켤레 동형사상 정리 증명
- R 에서 두 배열의 성분 비교하기
- 체의 자기동형사상
- R 에서 로지스틱 회귀분석 결과 보는 법
- 최소분열체
- 호스머-렘쇼 적합도 검정
- 맵으로 표현되는 동역학계와 고정점
- 확률과정이란?
- 국소 립시츠 조건
- 이산 마코프 체인
- 피카드 메소드
- 1계 상미분방정식의 초기값 문제에 대한 솔루션의 존재성과 유일성
- 채프만-콜모고로프 방정식 유도
- 가분확대체
- 확률과정론에서 상태의 유형
- 갈루아체
- 전이확률의 극한
- 교차검증
- 로렌츠 끌개
- R 에서 ROC 곡선 그리는 법
- 일반화된 랜덤워크
- 루트가 포함된 분수 유리화 빠르게 하기
- ROC 곡선을 이용해 최적의 컷오프 찾는 법
- 펠 방정식
- ROC 곡선의 AUC 를 이용해 모형 비교하는 법
- 갈루아 이론
- 도박꾼의 파산 문제
- 시계열분석이란
- 히든 마코프 체인
- 지수분포를 통한 푸아송 프로세스의 정의
- 시계열분석에서의 백색잡음
- R 에서 그래프 그릴 때 축 이름에 아래첨자 넣기
- 시계열분석에서의 정상성
- 암호론에서의 암호화와 복호화
- 이동평균과정
- 이산로그
- 우분투에서 R 설치하는 법
- 자기회귀과정
- 디피-헬만 키 교환 알고리즘 증명
- 아르마 모형
- 엘가말 공개 키 암호체계 증명
- 시계열분석에서의 차분
- 샹크스 알고리즘 증명
- 수치해석에서의 수렴률
- 스무스 소수
- 바이섹션 메소드
- 시계열분석에서의 변환
- 뉴턴-랩슨 메소드
- 샤피로-윌크 테스트
- 수치해석학에서의 계차상
- 폴리그-헬맨 알고리즘 증명
- 시컨트 메소드
- 아리마 모형
- 이산로그 문제가 쉽게 풀리는 조건
- 확률과정론의 인크리먼트
- 로그의 밑변환 공식 유도
- R 에서 현재 OS 정보 확인하는 법
- 바나흐 고정점 정리 증명
- 1차원 맵의 싱크와 소스 판정법
- 하르케-베라 테스트
- 맵 시스템의 오빗
- 준소수
- 1차원 맵의 랴푸노프 수
- 위너 프로세스
- 1차원 맵의 혼돈, 카오스
- 윈도에서 파이썬 텐서플로우 설치하는 법
- 리-요크 정리 증명
- 샤르코우스키 정리
- 인공 신경망이란?
- 로지스틱 패밀리
- 수학에서의 그래프와 네트워크
- 머신러닝에서의 손실 함수
- 카오스 이론에서 맵들의 컨쥬게이트
- 스칼라 함수와 벡터값 함수
- R 에서 미분계수 구하는 법
- 뮬러 메소드
- R 에서 정적분 구하는 법
- R 에서 복소수 사용하는 법
- 머신러닝에서의 경사하강법
- 슈발치언 도함수
- 딥러닝이란?
- 야코비 행렬 혹은 자코비 행렬이란
- 딥러닝에서의 활성화 함수
- 딥러닝에서의 소프트맥스 함수
- 헤세 행렬이란
- R 에서 야코비 행렬 헤세 행렬 구하는 법
- 딥러닝에서의 드롭아웃
- 넌리니어 시스템을 풀기 위한 뉴턴 메소드
- 바이퍼케이션 다이어그램
- 스칼라 필드의 그래디언트
- 네츄럴 인베리언트 메져
- 수학에서의 경사하강법
- 디키-풀러 테스트
- 지도학습과 비지도학습
- 카오틱 트랜지션
- 수치해석에서의 인터폴레이션
- R 에서 현재 날짜 시간 확인하기
- 폴리노미얼 인터폴레이션
- 라그랑주 공식 유도
- 뉴턴 계차상 공식 유도
- R 에서 데이터 표준화하기 표준화된 잔차 보기
- 에르미트-제노키 공식
- 에르미트 인터폴레이션
- R 에서 히스토그램 더 세밀하게 보는 법
- 수치해석에서의 스플라인
- R 에서 데이터 프레임 열기준으로 정렬하는 법
- 수치해석학에서의 B-스플라인
- 다차원 선형 맵
- 다차원 비선형 맵
- 박스-칵스 변환
- 계절형 아리마 모형
- 아리마 모형에서의 드리프트
- 윈도에서 명령 프롬프트로 파일 목록 얻는 법
- R 에서 벡터끼리 내적 계산하는 법
- 멱급수
- 코시 곱: 수렴하는 두 멱급수의 곱
- 복소수에 대해 일반화된 이항 계수
- 가법성을 가진 연속함수의 성질
- 이항 급수 유도
- 수치해석에서의 함수 근사
- 연속함수공간의 알지브라
- 수치해석학에서의 최소극대화 근사와 최소제곱 근사
- 스톤-바이어슈트라스 정리 증명
- R 에서 최대값과 최소값의 위치 구하기
- 체비셰프 전개
- R 에서 리스트를 참조하는 여러가지 방법
- 체비셰프 노드
- R 에서 문자열의 벡터를 하나의 문자열로 합치는 법
- 베르누이 부등식 증명
- R 에서 메타데이터, attr 참조하는 법
- 수치적 적분
- R 에서 범례 넣는 법
- 사다리꼴 룰
- R 에서 로그로그 스케일 그림 그리는 법
- 심슨 룰
- 루트 2 는 무리수임을 증명
- 뉴턴-코테스 적분 공식
- 원주율은 무리수임을 증명
- 오일러 상수 e는 무리수다
- 음이항계수
- 가우스 구적법
- 폐구간에서 적분할 수 없는 함수: 디리클레 함수
- 수치적으로 이상적분을 계산하기 위한 변수 치환 트릭
- 함수열의 점별수렴
- 함수열의 균등수렴
- 거리공간에서의 내부 폐포 경계
- 라게르 다항함수
- 실수 집합과 공집합은 열려있으면서도 닫혀있다
- 실수 집합에서 집적점이란
- 함수의 점별수렴과 균등수렴의 차이
- 에르미트 다항함수
- 함수의 급수
- 수치적으로 이상적분을 계산하기 위한 가우스 구적법
- 립시츠 조건
- 연속이지만 미분할 수 없는 함수: 바이어슈트라스 함수
- 소인수분해
- RSA 공개 키 암호체계 증명
- 대학교 수학에서 수열의 극한을 새롭게 정의하는 이유
- 골드바서-미칼리 확률 키 암호체계 증명
- 대학교 수학에서 수열의 수렴을 복잡하게 정의하는 이유
- 칸토어의 축소구간 정리
- 볼자노-바이어슈트라스 정리
- 수치해석에서의 오일러 메소드
- 폴라드 p-1 소인수분해 알고리즘 증명
- 강한 립시츠 조건과 오일러 메소드의 오차
- 준소수의 소인수분해 문제가 쉽게 풀리는 조건
- 초기값이 조금 달라졌을 때 오일러 메소드의 오차
- 코시 수열
- R 에서 아리마 모형으로 시계열 분석하는 법
- 멀티스텝 메소드
- 리미트 슈프리멈과 리미트 인피멈
- R 에서 아리마 모형으로 얻은 시계열 분석 결과 보는 법
- 멀티스텝 메소드의 일관성과 수렴차수
- 입실론-델타 논법
- R 에서 아리마 모형으로 예측하는 법
- 멀티스텝 메소드의 수렴성과 오차
- 대학교 수학에서 새롭게 정의되는 함수의 연속
- 미드포인트 메소드
- 아르마 모형의 가역성
- 패러사이틱 솔루션
- 함수의 균등연속
- 사다리꼴 메소드
- 자기상관함수
- 거리공간에서 위상동형이란
- 리차드슨 오차 추정
- 실수 공간에서 정의된 함수의 미분
- 아담스 메소드
- 편자기상관함수
- 멀티스텝 메소드의 루트 컨디션
- 확장자기상관함수
- 일관성을 가지는 멀티스텝 메소드의 안정성과 루트 컨디션
- R 에서 EACF를 사용한 ARMA 모형 선택법
- 더빈-왓슨 테스트
- 아리마 모형에 대한 잔차분석
- 륭-박스 테스트
- 시계열 회귀 분석
- R 에서 오퍼레이터 %% 정의하는 법
- 일관성을 가지는 멀티스텝 메소드의 수렴성과 루트 컨디션
- A-스테이블
- 교차상관함수
- 4차 룽게-쿠타 메소드
- R 에서 파이프 오퍼레이터 %>% 사용하는 법
- 디리클레 경계 조건이 주어진 열방정식에 대한 초기값 문제의 수치해석적 풀이
- 사전백화
- R 에서 색 테두리 있는 점 찍는 법
- 시계열회귀분석에서의 허위 상관관계
- R 에서 ts 함수의 start, end 옵션과 window 함수에서 start, end 옵션의 차이점
- 개입 분석
- R 에서 코드 실행 시간 재는 법, 벤치마크하는 법
- 스텝 함수와 펄스 함수
- 시계열분석의 애디티브 아웃라이어
- 인티그럴 도메인의 놈
- 시계열분석의 이노베이티브 아웃라이어
- 동적 회귀 모형
- R 에서 병렬처리하는 법
- 가우스 정수
- R 에서 데이터 파일 빠르게 읽기
- 시계열분석에서의 이분산성과 변동성 군집현상
- 가우시안 링의 놈
- 아치 이펙트
- 맥리어드-리 테스트
- 시계열 분석에서의 가치 모형
- 알고리즘의 비용에 대한 점근적 표기법
- R 에서 가치 모형으로 시계열 분석 하는 법
- 시간복잡도와 공간복잡도
- 슈트라센 알고리즘 증명
- 가우스 소수 정리 증명
- 측도론으로 정의되는 확률 변수와 확률 분포
- 아이젠슈타인 정수
- 측도론으로 정의되는 확률 변수의 독립
- 아이젠슈타인 링의 놈
- 측도론으로 정의되는 확률 변수의 밀도와 누적 분포 함수
- 아이젠슈타인 소수 정리 증명
- 측도론으로 정의되는 디락 측도와 이산 확률 분포
- 측도론으로 정의되는 기대값
- 명제와 결합자, 진리표
- 측도론으로 정의되는 특성 함수와 적률생성함수
- 항진 명제와 항위 명제
- 측도론으로 정의되는 조인트 분포와 마지널 분포
- 드 모르간의 법칙 증명
- 가측 공간의 파티션과 리파인먼트
- 대우법의 수리논리적 증명
- 귀류법의 수리논리적 증명
- 측도의 절대 연속
- 삼단논법의 수리논리적 증명
- 수학적 귀납법
- 시그마 유한 측도
- 라돈-니코딤 도함수
- 재귀함수를 쓸 때 주의해야하는 이유
- 라돈-니코딤 정리 증명
- 측도론으로 정의되는 확률 변수의 조건부 기대값
- 집합과 명제함수의 정의
- 동적 프로그래밍
- 측도론으로 정의되는 확률 변수의 조건부 확률
- 명제함수의 한정규칙
- 조건부 기대값의 성질들
- 임의의 함수의 절대값을 두 개의 음이 아닌 함수로 표현하는 방법
- 집합의 포함관계
- 조건부 단조 수렴 정리 증명
- 외연 공리
- 조건부 지배 수렴 정리 증명
- 공집합 공리
- 조건부 확률의 성질들
- 짝 공리
- 조건부 기대값의 스무딩 성질들
- 분류 공리꼴
- 측도론으로 정의되는 조건부 분산
- 합집합 공리
- 멱집합 공리
- 조건부 옌센 부등식 증명
- 무한 공리
- Lp 수렴
- 마틴게일의 정의
- 정칙성 공리
- 확률과정론에서의 정지 시간
- 치환 공리꼴
- 정지 시간의 성질들
- 선택 공리
- 선택적 샘플링 정리 증명
- 선택 공리가 추가된 체르멜로-프렝켈 집합론
- 비교 정렬 알고리즘들의 시간 복잡도
- 집합족과 첨수
- 비교 정렬 알고리즘 시간 복잡도의 하한
- 집합의 데카르트 곱
- 수학에서의 이항관계
- 프로그래밍 패러다임
- 기수 정렬
- 수학에서의 동치관계
- 레벤슈타인 알고리즘
- 집합의 분할
- 프로그래밍에서의 타입
- k-평균 군집화
- 동치류
- 동치관계에 의한 집합의 분할
- 프로그래밍에서의 일급 객체
- 마틴게일의 부등식들
- 집합론으로 엄밀하게 정의되는 함수와 상, 수열
- 줄리아 프로그래밍 언어
- 함수의 원상
- 단사, 전사, 전단사, 역함수
- 둡의 최대 부등식 증명
- 줄리아의 타입과 애노테이션
- 공진리란?
- 확률과정론에서의 업크로싱
- 집합론으로 엄밀하게 정의되는 유한 집합과 무한 집합
- 서브 마틴게일 수렴 정리 증명
- 가산집합과 비가산집합
- 레귤러 마틴게일과 클로저블 마틴게일
- 칸토어의 대각선 논법
- 균등적분가능성
- 레귤러 마틴게일이면 균등적분가능 마틴게일이다
- 집합의 기수
- 측도 수렴
- 측도론으로 정의되는 확률 수렴
- 비탈리 수렴 정리
- 균등적분가능 마틴게일이면 L1 수렴 마틴게일이다
- 파이썬에서 pip로 cv2 PIL 패키지 설치하는 법
- L1 수렴 마틴게일이면 클로저블 마틴게일이다
- 파이 시스템과 람다 시스템
- 파이썬에서 큰 csv 파일 한번에 읽는 법
- 딘킨의 파이-람다 정리
- 확률론에서의 레비 정리 증명
- 파이썬에서 numpy array로 행병합 열병합하는 법
- 측도의 약한 수렴
- 칸토어-베른슈타인 정리 증명
- 칸토어의 정리 증명
- 확률론에서의 세퍼레이팅 클래스
- R 패키지 설치 시 Warning in installpackages lib = CProgram FilesRR-361library is not writable 해결
- 두 확률 측도가 서로 같아지는 조건
- 실수의 기수와 유리수의 기수의 크기 비교
- 줄리아에서 패키지 설치하고 사용하는 법
- 타이트 확률 측도
- 완전 유계 공간
- 부분순서 집합
- 러셀의 역설
- 연속체 가설
- 폴란드 공간
- 폴란드 공간에서 정의되는 확률 측도는 타이트하다
- 확률과정론에서의 프로젝션 매핑
- 확률론의 혼성 정리 증명
- 수리통계학에서의 확률과 확률의 덧셈법칙
- 측도론으로 정의되는 분포 수렴
- 수리통계학에서의 확률 변수와 확률 분포
- 그리디 알고리즘
- 수리통계학에서의 기대값, 평균, 분산, 적률의 정의
- 대표값의 수리적 성질 증명
- 평균과 분산의 성질들
- 프리컴팩트 확률 과정
- 공분산의 여러가지 성질들
- 줄리아에서 배열의 슬라이싱과 인덱싱
- 피어슨 상관계수
- 수리통계학에서의 왜도
- 수리통계학에서의 첨도
- 파이썬에서 두 변수값 서로 바꾸는 법
- 적률생성함수란?
- 줄리아에서 집합 자료형과 연산자
- n차 적률이 존재하면 차수가 n보다 작은 적률도 존재한다
- 타이트 확률 과정
- 마코프 부등식 증명
- 파이썬에서 is와 ==의 차이점
- 윈도우에서 ssh 서버 구축하는 법
- 체비셰프 부등식 증명
- 줄리아에서 이미지 불러오고 행렬로 변환 저장하는 법
- 옌센 부등식의 기댓값 폼 증명
- 돈스커의 정리
- 줄리아에서의 람다식
- 수리통계학에서의 다변량 확률 분포
- 줄리아에서 파이프 오퍼레이터 사용하는 법
- R에서 폴더 내부 파일 목록 가져오는 법
- 줄리아의 강력한 편의 기능, 매크로
- 다변량 확률 변수의 변환
- scp로 서버에 파일 업로드하고 서버에서 다운로드 받는 법
- 메타 프로그래밍
- 수리통계학에서의 조건부 확률 분포
- 수학에서의 최적화 기법
- 수리통계학에서의 확률 변수의 독립
- 확률적 경사 하강법
- 확률 변수들의 상호 독립과 iid
- 번스타인 분포: 짝으로 독립이라고 상호 독립은 아니다
- 타원의 일반화: 일립소이드
- 정규분포를 따르는 두 확률 변수가 독립인 것과 공분산이 0인 것은 동치다
- 다차원 맵의 랴푸노프 수와 그 수치적 계산법
- 줄리아에서 병렬처리 하는 법
- 확률 변수들의 선형 결합
- 1만번째까지의 소수 목록
- 이항 분포
- 이항 분포의 평균과 분산
- 다차원 맵의 카오스
- 기하 분포
- 기하 분포의 평균과 분산
- 리눅스에서 줄리아 최신 버전 설치하는 법
- 해석적 수론에서의 산술 함수
- 기하 분포의 두가지 정의가 가지는 차이점
- 산술 함수의 디리클레 곱
- 음이항 분포
- 음이항 분포의 평균과 분산
- 디리클레 곱에 대한 아이덴터티
- 푸아송 분포
- 푸아송 분포의 평균과 분산
- 그래프의 아이소멀피즘
- 디리클레 곱에 대한 인버스
- 그래프 이론에서의 차수
- 어트랙터의 카오스
- 악수 렘마 증명
- 미분방정식으로 표현되는 동역학계와 평형점
- 악수 딜레마 증명
- 자율 시스템의 플로우와 타임-T 맵
- 그래프의 행렬 표현
- 다르부의 중간값 정리 증명
- 지수 분포
- 지수 분포의 평균과 분산
- 지수 분포와 푸아송 분포의 관계
- 그래프의 집합 표현
- 지수 분포의 무기억성
- 서브 그래프
- 기하 분포의 무기억성
- 산술 함수의 아벨리안 그룹
- 그래프 컴플리먼트
- 감마 분포
- 감마 분포의 평균과 분산
- 널 그래프와 컴플리트 그래프
- 감마 분포와 푸아송 분포의 관계
- 산술 함수의 승법적 성질
- 감마 분포와 지수 분포의 관계
- 레귤러 그래프
- 감마 분포와 카이제곱 분포의 관계
- 디리클레 곱과 승법적 성질
- 이분 그래프
- 승법적 함수의 아벨리안 그룹
- 무한 그래프
- 해석적 수론에서의 디바이저 함수
- 그래프 이론에서의 워크, 트레일, 패스, 사이클
- 해석적 정수론에서의 놈
- 그래프에서의 거리, 네이버후드, 지름, 둘레
- 해석적 수론에서의 뫼비우스 함수
- 그래프의 오리엔테이션
- 해석적 수론에서의 오일러 토션트 함수
- 쾨닉의 정리 증명
- 베타 분포
- 오일러 그래프
- 베타 분포의 평균과 분산
- 쾨니히스베르크의 다리 문제와 풀이
- 플뢰리 알고리즘 증명
- 해석적 수론에서의 유닛 함수
- 해밀톤 그래프
- 뫼비우스 역 공식 유도
- 그래프 이론에서의 디락 정리 증명
- 해석적 수론에서의 망골트 함수
- 트리 그래프
- 해석적 수론에서의 리우빌 함수
- 레이블 트리와 케일리 정리
- 산술 함수의 벨 급수
- 에르되시-갈라이 정리
- 산술 함수의 미분
- 하벨-하키미 알고리즘 증명
- 셀버그 항등식 증명
- 그래프 컬러링과 브룩스 정리
- 힐베르트 공간의 수반 작용소
- 그래프의 호메오멀피즘
- 힐베르트 공간에서의 직교 사영
- 평면 그래프와 쿠라토프스키 정리
- 힐베르트 공간에서 l2 공간으로의 수반 작용소
- 리즈 기저
- 오일러의 다면체 정리 증명
- 힐베르트 공간에서의 베셀 시퀀스
- 그래프의 k-연결성과 멩거 정리
- 힐베르트 공간으로 일반화된 베셀 부등식 증명
- 기하적 듀얼 그래프
- 조밀한 부분공간을 갖는 힐베르트 공간의 베셀 시퀀스
- 추상적 듀얼 그래프
- 무한 차원 벡터 공간의 샤우더 베이시스
- 심플 평면 그래프의 성질
- 벡터 공간의 리오더링
- 그래프 이론에서 지도의 정의
- 가분 힐베르트 공간의 그램-슈미트 정규직교화
- 5색 정리 증명
- 가분 힐베르트 공간은 스몰엘2 공간과 등거리동형임을 증명
- 4색 지도 문제
- 힐베르트 공간의 정규직교 기저와 유니터리 작용소
- 함수의 서포트와 연속함수 공간의 클래스
- 힐베르트 공간의 프레임
- 독립인 두 감마 분포에서 베타 분포 유도
- 카이제곱 분포
- 카이제곱 분포의 평균과 분산
- 일반화된 디리클레 곱
- 영인자 그래프
- F-분포
- 산술 함수의 부분합에 대한 일반화된 디리클레 곱 표현
- 앤더슨-리빙스톤 정리 증명
- F-분포의 평균과 분산
- L2 공간의 트랜슬레이션, 모듈레이션, 다일레이션
- 수론에서의 p-진수
- 지수승강 보조정리 증명
- 리만 제타 함수
- 하이네-보렐 정리
- L2 공간에서 트랜슬레이션, 모듈레이션, 다일레이션의 역작용소
- 디리클레 에타 함수
- 거리공간에서 연속과 균등연속
- 보렐-르벡 정리
- 완비 거리 공간의 성질들
- L2 공간에서 트랜슬레이션, 모듈레이션, 다일레이션의 교환관계
- 작용소로써의 푸리에 변환
- 감마함수와 리만 제타 함수 디리클레 에타 함수와의 관계
- 푸아송 합 공식 유도
- 독립인 두 카이제곱 분포에서 F-분포 유도
- 야코비 세타 함수
- 정규분포
- 리눅스에서 gcc 컴파일러로 c 코드 컴파일 하는 법
- 정규 분포의 평균과 분산
- 표준정규분포의 제곱은 자유도가 1인 카이제곱분포를 따름을 증명
- 완벽 그래프
- 독립인 정규 분포와 카이제곱 분포에서 스튜던트 t-분포 유도
- 리만 자이 함수
- t-분포
- 리만 함수 방정식과 리만 제타 함수의 자명근
- t-분포의 평균과 분산
- 자율 시스템의 오빗
- 코시 분포: 모평균이 존재하지 않는 분포
- 비선형 시스템의 선형화
- 수리통계학에서의 랜덤 샘플
- 랴푸노프 안정성과 오빗 안정성
- 수리통계학에서의 통계량과 추정량
- 더핑 오실레이터
- 신뢰구간의 쉬운 정의
- 자율 시스템에서 고정점의 분류
- 수리통계학에서의 편의
- 랴푸노프 함수
- 편의-분산 트레이드 오프
- 동역학에서의 불변 집합
- 불편추정량
- 불변 매니폴드의 안정성
- 표본 분산을 n-1으로 나누는 이유
- 벤딕슨 판정법
- 순서통계량
- 2차원 자율 시스템에서 피리어딕 오빗의 부재성
- 시그모이드 함수란?
- 2차원 자율 시스템에선 혼돈이 일어나지 않는다 푸앙카레-벤딕슨 정리 증명
- 벡터 필드에서의 볼륨
- 로지스틱 함수란?
- 벡터 필드에서의 다이벌전스
- 연속 사상 정리 증명
- 자율 시스템의 보존량
- 수리통계학에서의 확률 수렴
- 동역학에서의 리우빌 정리 증명
- 줄리아에서 빈 배열 만드는 법
- 푸앙카레 재귀 정리 증명
- 줄리아에서 거리 행렬 계산하는 법
- 생명정보공학에서의 원핵 생물과 진핵 생물
- 자율 시스템의 오메가 리미트 셋
- 생명정보공학에서의 DNA, RNA, 염색체
- 동역학에서의 어트랙터
- 생명정보공학에서의 염기서열
- 어트랙팅 셋의 베이신
- 라살 불변 원리 증명
- 생명정보공학에서의 주요 염기와 염기쌍
- 정칙 측도
- 차별 함수란?
- 분자생물학의 중심원리
- 시그모이달 함수란?
- 생명정보공학에서의 코돈과 아미노산 유전 부호
- 딥러닝의 수학적 근거, 시벤코 정리 증명
- 염기서열의 상류와 하류
- R 파일 읽기나 경로 변경 시 Error: 'C:\U' used without hex digits in character string starting 'C:\U' 해결
- 생명정보공학에서의 인트론과 엑손
- 줄리아에서 움짤 찌는 법
- 생명정보공학에서의 유전체와 유전자
- 맬서스 성장 모델: 이상적인 집단 성장
- 세미나
- 홈
- 문자열의 편집 거리
- 동역학적 모델 시뮬레이션
- 서열정렬이란?
- 벡터의 정의
- 에이전트 기반 시뮬레이션 첫걸음: 산점도로 나타내기
- 서열정렬 점수와 갭 페널티
- 서열정렬에서의 치환행렬
- 에이전트 기반 모델 시뮬레이션에서의 번식
- 에이전트 기반 모델 시뮬레이션에서의 사망
- 수리통계학에서의 분포 수렴
- 줄리아에서 합성함수 사용하는 법
- 리눅스에서 줄리아 병렬연산 시 사용하는 쓰레드 수 바꾸는 법
- 이항분포의 극한분포로써 푸아송분포 유도
- 이항분포의 극한분포로써 표준정규분포 유도
- 줄리아에서 실행되는 코드 파일의 위치 확인하는 법
- 로지스틱 성장 모델: 집단 성장의 한계
- 윈도우에서 줄리아 병렬연산 시 사용하는 쓰레드 수 바꾸는 법
- 리만 가설
- 줄리아에서 *.csv 파일 읽어들이는 법
- 줄리아에서 데이터프레임과 2차원배열 간 변환 방법
- 푸아송분포의 극한분포로써 표준정규분포 유도
- 스튜던트 t-분포의 극한분포로써 표준정규분포 유도
- 줄리아에서 16진법 RGB 코드 사용하는 법
- 수리통계학에서의 확률 유계
- 확률수렴하면 분포수렴한다
- 분포수렴하면 확률유계다
- 해석적 함수
- 격자 모델 시뮬레이션 첫걸음: 히트맵으로 나타내기
- 리만 제타 함수의 로랑 전개 유도
- 약한 대수의 법칙 증명
- 해석적 연속
- 격자 모델 시뮬레이션에서의 확산
- 라마누잔 합
- 중심극한 정리 증명
- 수리생물학에서의 알리 효과
- 곰페르츠 성장 모델: 시간에 따른 성장 지연
- 1+1+1+1+1+⋯=-12 의 해석적 증명
- 공분산 행렬
- 바스 확산 모델: 혁신과 모방
- 다변량 정규 분포
- 다변량 확률 변수의 확률 수렴
- 에르미트 행렬의 고유값은 항상 실수다
- 에르미트 행렬의 서로 다른 고유값의 고유벡터는 서로 수직이다
- 정부호 행렬
- 윈도에서 줄리아 최신 버전 설치하는 법
- 줄리아 패키지 설치 시 \General\Registry.toml: No such file or directory 해결
- git 비밀번호 저장하는 법
- 롯카-볼테라 포식자-피식자 모델
- 다변량 t-분포
- 롯카-볼테라 경쟁 모델
- 1+2+3+4+5+⋯=-1/12 의 해석적 증명
- 메이-레너드 경쟁 모델
- git warning: LF will be replaced by LF in … 해결법
- 란체스터 법칙
- 다변량 확률 변수의 분포 수렴
- 일제사격 전투 모델
- 유사 역행렬
- 니들맨-분쉬 알고리즘: 전역 서열 정렬
- RGB 색상 치트 시트
- 스튜던트의 정리 증명
- 2차원 배열의 행우선과 열우선
- 이항분포에서 근사시킨 정규분포의 분산 안정화
- 줄리아에서 문자와 정수의 이퀄 오퍼레이터 == 속도 비교
- 스미스-워터맨 정렬: 국소 서열 정렬
- 줄리아에서 가중치를 주고 랜덤 샘플링 하는 법
- 역학 구획 모델
- 줄리아에서 거리 행렬 계산 최적화하는 법
- 일치추정량
- 줄리아에서 배열 Flatten 하는 법
- 전염병 확산 모델에서 기초감염재생산수란?
- 줄리아에서의 메타 프로그래밍
- SIR 모델: 가장 기본적인 확산 모델
- 최대우도추정량
- 최적값: 최대값과 최소값
- SIS 모델: 재감염과 고질병
- 수리통계학에서의 정칙성 조건
- 성병 모델: 2개 집단 간의 질병 전파
- 최적해: 최대인수와 최소인수
- 종간 전염 모델: 3개 집단 간의 질병 전파
- 샤넌 정보: 확률론으로 정의되는 정보
- 피셔 정보
- 샤넌 엔트로피: 확률변수로 정의되는 엔트로피
- 윈도 cmd, powershell에서 줄리아 사용하는 법
- 조인트 엔트로피
- 일반적인 각도와 수직의 정의
- 천장 함수와 바닥 함수
- 벡터공간에서 정의되는 기저의 방향
- 줄리아에서 변수의 값을 편리하게 출력하는 법, 보간법
- 일반적인 직선, 평면, 구의 정의
- 조건부 엔트로피
- 푸앙카레 맵
- 크로스 엔트로피
- 복소수의 정의
- 상대적 엔트로피, 쿨백-라이블러 발산
- 함수로써의 대각행렬, 대각성분
- 깁스 부등식
- 주기 함수
- 복소수의 극좌표 표기법
- 에이즈 전염 모델
- 생존 함수
- 수학에서의 질량 작용 법칙
- 바틀렛 항등식
- 삼각함수의 정의
- 라오-크래머 하한
- 다항 함수
- 효율적추정량
- 지수 함수
- 충분통계량
- 곡선의 정의
- 로그 함수의 정의
- 재매개변수화
- 줄리아 변수 이름에 그리스 문자, 첨자 쓰는 법
- 접선과 탄젠트 벡터 필드
- 현의 정의
- 프레네-세레의 도구: 곡률, 접선, 법선, 종법선, 비틀림
- 동역학계의 엄밀한 정의
- 프레네-세레 공식
- 줄리아에서 2차원 배열 csv 파일로 출력하는 법
- 페이즈 포트레이트
- 3차원 유클리드 공간에서 곡선이 평면 속에 놓이는 동치조건
- 복소함수의 극한
- 일반적인 나선의 정의
- 조화 함수
- 랑크레 정리 증명
- 복소해석에서의 영점
- 접평면과 법평면
- 복소함수의 적분
- 구면에 놓이는 곡선에 대한 공식
- 네이만 인수분해 정리 증명
- 재매개변수화와 프레네-세레의 도구
- 리눅스에서 스왑 메모리 초기화하는 법
- 곡선의 기본정리 증명
- 줄리아에서 NearstNeighbors.jl로 빠르게 거리 계산하는 법
- QGIS로 shp 파일 열어보는 방법
- 평면곡선의 탄젠트, 노멀, 곡률
- 역삼각함수
- 폐곡선의 정의
- 줄리아에서 데이터프레임의 열 이름 바꾸는 법
- 단순 곡선의 정의
- 줄리아에서 소수점 아래 버리고 정수형으로 바꾸는 법
- 폐곡선의 회전수
- 줄리아에서 shp 파일 읽는 법
- 평면곡선의 회전수
- 윈도에서 파이썬 텐서플로 GPU 설치하는 법
- 회전수 정리 증명
- 줄리아에서 특정 값으로 채운 배열 만드는 법
- 평면 단순 폐곡선으로 둘러싸인 영역의 넓이 공식 유도
- 확률미분방정식에서의 백색소음
- 등주 부등식 증명
- 동역학계 간 위상적 동치
- 단순 곡면, 좌표조각사상
- 라오-블랙웰 정리 증명
- 곡면 이론에서의 좌표 변환
- m2 공간
- 접평면과 노멀 벡터
- 이토 적분
- 그래프의 패밀리와 프로퍼티
- 이토 등거리 등식
- 랜덤 그래프
- 이토 곱셈 테이블
- 에르되시-레니 모델
- 이토 부분 적분
- 길버트 모델
- 이토 프로세스
- 줄리아에서 구조체 속성 확인하는 법
- 이토 공식
- 네트워크에서 차수의 분포
- 이토 표현 정리와 마틴게일 표현 정리
- 줄리아에서 zfill() 사용하는 법
- 확률미분방정식이란?
- 줄리아에서 히트맵 색 범위 지정하는 법
- D-데이터 허브 소개
- 확률미분방정식의 해의 존재성과 유일성, 강한 해와 약한 해
- 프로베니우스 놈
- 선형, 동차, 자율 확률미분방정식
- 그뢴발 부등식 증명
- 전형적인 확률미분방정식들의 해
- 줄리아에서 소수점 아래 특정 자리에서 반올림하는 법
- 2021년 독자 전공 조사 결과
- 브라운의 다리
- 거리공간이 컴팩트인 것과 완비이면서 완전 유계인 것은 동치다
- 온스테인-울렌벡 방정식
- 최대공약수와 서로소
- 칵스-잉거솔-로스 모델, CIR Model
- 몫과 나머지
- CKLS 평균 복귀 감마 확률미분방정식
- 짝수의 정의
- SDE 수치적 해의 강한 수렴과 약한 수렴
- 줄리아에서 file.choose()처럼 대화창 열어서 파일 선택하는 법
- 이토-테일러 전개 유도
- 파이썬에서 프로그램 일시중지하는 세가지 방법
- 오일러-마루야마 메소드 유도
- 파이썬 os 모듈 총정리
- 밀슈타인 메소드 유도
- 줄리아에서 비트 배열 반전시키는 법
- 람페르티 변환
- 파이썬 shutil 모듈 총정리
- 쇼지-오자키 국소 선형화 메소드
- 로그-정규분포
- 기하 브라운 운동
- 파이썬 패키지, 라이브러리, 모듈 버전 체크하는 법
- 블랙-숄즈 모델 유도
- 줄리아에서 ==과 ===의 차이점
- AI Hub 소개
- 가우스 과정
- kaggle API로 데이터 받는 법, OSError: Could not find kaggle.json. 해결
- 확률과정의 자기유사성과 허스트 인덱스
- Kaggle 소개
- 소수와 합성수
- 투자 정보 Open API CYBOS Plus 소개
- TeX에서 큰 괄호를 한 쪽에만 치는 법
- CYBOS Plus 설치 튜토리얼
- 프랙탈 브라운 운동
- CYBOS Plus로 종목 코드 불러오는 법 CpUtil.CpStockCode
- Every와 Each 뒤에는 반드시 단수명사가 온다
- CYBOS Plus로 종목 주가 불러오는 법 CpSysDib.StockChart
- All 뒤에는 가산명사 복수형이나 비가산명사 단수형이 온다
- CYBOS Plus로 기관, 외국인 매매량 불러오는 법
- 줄리아에서 그림 배경 투명하게 출력하는 법
- CYBOS Plus로 공매도 추이 불러오는 법
- 커플드 다이내믹 시스템
- 창원시 빅데이터 포털 소개
- a의 확률로 V하다
- investing.com 소개
- Let 뒤에는 무조건 동사원형이 온다
- 줄리아에서 plot에 tex 사용하는 법
- 파레토 분포
- 환경 빅데이터 플랫폼 소개
- 스케일 프리 네트워크
- 기상자료개방포털 소개
- 청-루 피트니스 모델
- ITS 국가교통정보센터 소개
- 바라바시-알버트 모델
- KDX 한국데이터거래소 소개
- 네트워크 이론에서의 허브 노드
- 야구에서 타석의 정의
- 줄리아에서 우아한 반복문을 사용하는 방법
- 야구에서 타수의 정의
- 줄리아에서 배열의 원소들이 어떤 리스트에 속하는지 체크하는 법
- 야구에서 안타의 정의
- 줄리아에서의 심볼
- 야구에서 홈런의 정의
- 줄리아의 반복문에서 인덱스와 값을 동시에 참조하는 방법
- 야구에서 볼넷과 몸에 맞는 공의 정의
- 줄리아에서 .mat처럼 데이터를 저장하는 법
- 야구에서 희생타의 정의
- 줄리아에서 딕셔너리와 페어
- 야구에서 타율의 정의
- 줄리아에서 근사값 체크하는 법
- 야구에서 장타율의 정의
- 줄리아에서 파이썬처럼 문자열 다루는 법
- 야구에서 출루율의 정의
- 선형 계획 문제의 정의
- 야구에서 OPS의 정의
- 함수를 취한 확률변수꼴 합의 기대값
- 레일리 분포
- 확률 밀도 함수의 컨볼루션 공식
- 줄리아 그림에 한글 넣는 법
- 지수족 확률분포
- 줄리아 그림에 텍스트 넣는 법
- VS code Ctrl+Shift+C 기본 터미널 변경하는 법
- 줄리아 그림에서 특정 데이터만 라벨 숨기는 법
- 피타고리안 승률
- 줄리아에서 문자열 합치는 법
- 베이불 분포
- 줄리아에서 다항함수 사용하는 법
- 선형 계획 문제의 방정식 폼
- 줄리아에서 소인수분해 및 소수관련 함수 사용하는 법
- 선형 계획 문제의 기저가용해
- 줄리아에서 특정 문자열 포함 여부 확인하는 법
- 기저가용해의 유일성 증명
- 줄리아 문자열에서 특정 패턴 위치 찾는 법
- 선형계획문제의 방정식 폼에서 최적해의 존재성 증명
- 컨벡스 헐의 정의
- 선형계획문제에서 최적해가 존재한다면 그 중 하나는 기저가용해다
- 줄리아에서 빈 데이터프레임 만드는 법
- F-분포에서 베타 분포 유도
- 줄리아에서 패키지 특정 버전으로 설치하는 법
- t-분포에서 F-분포 유도
- 줄리아에서 무한대 사용하는 법
- 스털링 공식의 수리통계적 증명
- 줄리아에서 데이터프레임에 새 행 넣는 법
- 수리통계학에서의 델타 메소드
- 줄리아에서 데이터프레임 정렬하는 법
- 우도함수의 정의
- 줄리아 그림에 선분 넣는 법
- 여러 부등식을 요약하는 부등식꼴
- 줄리아에서 텍스트 출력 꾸미는 법
- 지시함수의 곱
- 줄리아에서 CSV 출력 시 깨진 문자 해결법
- 페론-프로베니우스 정리
- 줄리아 그림 가로세율 비율 조정하는 법
- 최소충분통계량
- 줄리아에서 그림 범례 위치 조정하는 법
- 보조통계량
- 줄리아에서 레이아웃 주고 서브플랏 그리는 법
- 로케이션 패밀리
- 줄리아에서 데이터프레임 중복된 행 삭제하는 법
- 스케일 패밀리
- 줄리아에서 데이터프레임 그룹별로 나누고 계산하는 법
- 완비통계량
- 줄리아에서 그림 양식 만드는 법
- 바수 정리 증명
- 줄리아에서 그림에 수직선 수평선 넣는 법
- 모먼트 메소드
- 줄리아에서 데이터프레임 특정 행만 제거하는 법
- 지수족 확률분포의 완비통계량
- 줄리아 그림 기본 설정 바꾸는 법
- 최소충분통계량이 주어진 불편추정량의 분산은 최소가 된다
- 줄리아 컨테이너 내부 원소 타입 체크하는 법
- 로케이션-스케일 패밀리의 보조통계량
- 줄리아에서 가변 인자 함수 정의하는 법
- 새터스화이트 근사
- 스탈린 정렬
- 최대우도추정량의 불변성질 증명
- 브랜칭 프로세스
- 불편추정량의 라오-크래머 하한
- 골턴-왓슨 프로세스
- 최선불편추정량, 최소분산불편추정량 UMVUE
- 수리통계학에서의 코시-슈바르츠 부등식 증명
- 최소분산불편추정량의 유일성
- 줄리아에서 문자열 숫자로 바꾸는 법
- 레만-셰페 정리 증명
- 줄리아에서 외부 프로그램 실행하는 법
- 유일한 최대우도추정량은 충분통계량에 종속된다
- 줄리아에서 명령줄 인수 넣는 법
- 랜덤샘플의 표본평균의 평균과 분산
- 터미널에서 텍스트 파일 인코딩 확인하는 법
- 수리통계적인 가설검정의 정의
- 확률과정의 전이확률
- 로케이션 패밀리의 충분통계량과 최대우도추정량
- 연속 마코프 체인
- 수리통계적인 우도비검정의 정의
- 콜모고로프 미분방정식 유도
- 충분통계량이 포함된 우도비검정
- 길레스피 확률 시뮬레이션 알고리즘
- 가설 검정의 검정력 함수
- 스펙트럴 래디어스의 정의
- 불편 검정력 함수와 최강력검정
- 일변량 확률 변수 샘플링하는 법
- 네이만-피어슨 보조정리 증명
- 원소나열법에서의 햇표기
- 단조우도비의 정의
- 추상대수학에서의 R-모듈
- 칼린-루빈 정리 증명
- 추상대수학에서의 F-벡터스페이스
- 충분통계량이 포함된 최강력검정
- 미분소 행렬을 통한 푸아송 프로세스의 정의
- 줄리아의 네임드 튜플
- 수리통계적인 유의확률의 정의
- 줄리아에서 변수이름을 칼럼명으로 가지는 데이터프레임 만드는 법
- 추상대수학에서의 프리 그룹
- 줄리아에서 데이터프레임 사이즈 확인하는 법
- 제로멀피즘
- 줄리아에서 예외처리하는 법
- 호몰로지 그룹의 정의
- 줄리아에서 배열이 비어있는지 확인하는 법
- 포커-플랑크 방정식 유도
- 줄리아에서 패키지 버전 확인하는 법
- 레즐리 연령 구조 모델
- 아핀 독립의 정의
- 줄리아에서 R에서 쓰던 내장데이터셋 불러오는 법
- 심플렉스의 정의
- 줄리아의 범주형 배열
- 대각행렬곱을 통한 행렬의 행별, 열별 스칼라곱
- 줄리아에서 데이터 프레임 요약보는 법
- SEIR 모델: 잠복기와 잠재기
- 줄리아에서 csv 파일 컬럼만 읽어들이는 법
- SIRV 모델: 백신과 돌파감염
- 줄리아에서 빈도수 계산하는 법
- SIRD 모델: 죽음과 치명률
- 줄리아에서 데이터프레임 특정 값 변경하는 법
- 구간추정량
- 줄리아의 삼항연산자 ? :
- 수리통계적인 신뢰집합의 정의
- 줄리아 데이터프레임에서 NaN을 0으로 바꾸는 법
- 수리통계학에서 피벗의 정의
- 가설검정과 신뢰집합의 일대일 대응관계
- 최정확 신뢰집합
- 선형계획법에서의 딕셔너리와 태블로
- 확률적 증감함수와 신뢰구간
- 선형계획법의 심플렉스 메소드
- 유니모달 분포의 최단 신뢰구간
- 심플렉스 메소드의 초기화와 보조문제
- 선형계획법에서 목적 함수의 무한성
- 줄리아에서 조건문 짧게 쓰는 법
- 심플렉스 메소드의 사이클링
- 일양분포의 충분통계량과 최소우도추정량
- 심플렉스 메소드의 브랜드 룰
- 기하분포의 충분통계량과 최소우도추정량
- 선형계획법의 기본정리 증명
- 푸아송분포의 충분통계량과 최소우도추정량
- 선형계획법에서의 듀얼
댓글