형 이론 oor Engels

형 이론

Vertalings in die woordeboek Koreaans - Engels

type theory

wikidata

Geskatte vertalings

Vertoon algoritmies gegenereerde vertalings

voorbeelde

wedstryd
woorde
Advanced filtering
Voorbeelde moet herlaai word.
안시등급 4.50 이하의 별들 주위를 도는 V은, 이론적으로 관측기구를 통하여 볼 수 있다.
All right, Geoffrey, don' t worryWikiMatrix WikiMatrix
그 중 한 가지인 Rh 혈액형에 관해서, 피에 관한 최근의 한 책에서는 “현재 거의 300가지의 Rh이론적으로 인정된다”47고 하였다.
It' s you.It' il never be anyone elsejw2019 jw2019
시간과 장소를 정하면 연락을 할게 타이론과 내 조카를 교환하는 거야
Everything' s going to change todayOpenSubtitles2018.v3 OpenSubtitles2018.v3
착각주의 (錯覺主義)는 먼저 하이파 대학 교수 사울 스밀란스키에 의해 제의된 이상학적 이론이다.
I' m your man for that to bootWikiMatrix WikiMatrix
꼭끼이는 바지대신 여유 있는 의 바지를 입고, 또 ‘나이론’제 대신 면제품 내의를 착용함으로써 사타구니에 땀이 덜 젖게 하십시오.
Action taken on Parliament's resolutionsjw2019 jw2019
이론을 따르면 ‘요셉’이 이복들에게 팔린 내용의 기록은 두 가지 모순되는 이야기를 서투르게 결합한 것이 된다.
that someone will visit me here, and I' il tell him I love himjw2019 jw2019
"높이", "면적", "기초", "이등변 삼각"및 기타 이론적 토대부터 시작할 필요가 있다는 것을 두려워하지 마십시오.
Yesterday, at a mine owned by a subsidiary of D. A. M. in South Africa, there was an explosion, and at least # workers are dead, and some are still missingParaCrawl Corpus ParaCrawl Corpus
그는 그 결과에 의해 Disquisitiones Gauss arithmeticae에서 정사각 형태의 이론에 대한 취득 generalising의 목적과 형태의 이론을 일했다.
Dealings with the rest of the class will be subject to our consentParaCrawl Corpus ParaCrawl Corpus
제1 극값 분포를 선택한 것은 상당히 임의적으로 보이지만, 이는 수학적 계산이 가능케 하고, 이성적 선택 이론을 통해 사용예들을 정당화할 수 있게끔 해준다.
A good shot and a good saveWikiMatrix WikiMatrix
이론에 의하면 장엄한 모루구름—상승 기류와 하강 기류의 난류 속에서, 거대한 꽃양배추 머리처럼 파상으로 수킬로미터 솟아오르는 구름—속에서 빗방울과 작은 얼음 조각들이, 작은 물방울 및 빙정으로 된 안개와 충돌할 때 전하가 생긴다고 한다.
What' s wrong, baby?jw2019 jw2019
37분의 1,935의 정사각 형태의 분석 이론에 대한 근본적인 시걸의 연구의 중요성이었다 그는 어떤 계수 대수 번호 필드 출신 정사각의 형태를 고려의 새로운 경지를 부러.
Oh, much more than thatParaCrawl Corpus ParaCrawl Corpus
그의 작품은 최소 사각 근사치와 확률의 이론의 올라오네; 그가 보간 그의 결과를 적용, 대략 구적법 및 기타 분야.
The blue- spotted salamander... just got downgraded from endangered to threatened last weekParaCrawl Corpus ParaCrawl Corpus
그는 숫자 이론의 문제로, 사각의 상환 정수의 특정 표현에 특별한 기능을 적용했다.
If disclosure would adversely affect the confidentiality of commercial or industrial information of the organisation where such confidentiality is provided for by national or Community law to protect a legitimate economic interest, the organisation may be permitted to index this information in its reporting, e.g. by establishing a base line year (with the index number #) from which the development of the actual input/impact would appearParaCrawl Corpus ParaCrawl Corpus
그는 숫자 이론에, 특히 정사각 형태의 클래스를 참조 관계로 이러한 결과를 적용했다.
He could have a naive idiot like you like a piece of cakeParaCrawl Corpus ParaCrawl Corpus
그것은 괴팅겐에서 그는 1912 년 자신의 박사 학위를 얻은, 란다우와 분석 번호를 이론 및 바이너리 정사각 형태의 작업을했다.
You' il be a better man for this, my friendParaCrawl Corpus ParaCrawl Corpus
정사각의 형태와 자신의 이해와 이론 invariant 그는 1855 년 변화의 이론을 만들었습니다.
It could be anything, reallyParaCrawl Corpus ParaCrawl Corpus
그는 서양 음악, 멜로디의 수수께끼의 형식적 구조, 학부 일내에 그에게 관심을하기 시작했다 우릴하며 수학적 요소의 고려가 다소 강렬한 그를 여기에 참여도 미적 개체에 다각, tilings 등 그의 이론을 적용했다, 화병, 심지어 시를.
The exchange rates used for the calculation of this remuneration shall be established in accordance with the detailed rules for the implementation of the Financial Regulation and correspond to the dates of application of the weightingsParaCrawl Corpus ParaCrawl Corpus
그는 그의 작품에서 그린 첫 번째 결론은 뉴턴의 '중력의 잘못된 이론을들었고, 그 반대의 사각 법률에 개최되지 않았다.
So I helped the guy out someParaCrawl Corpus ParaCrawl Corpus
또한 Poinsot 번호를 이론에서 일한 그는 어떻게 두개의 사각과 원시 뿌리의 차이로 숫자를 표현하는 Diophantine 방정식,이 주제에 대한 연구.
I' m gonna be straight with you hereParaCrawl Corpus ParaCrawl Corpus
그는 1855 년 Gauss '오류의 이론에와 프랑스어로 번역된 작품 이상의 사각의 방법.
Aren' t we going to barricade?ParaCrawl Corpus ParaCrawl Corpus
그는 나중에 자신의 잠재적인 이론 그리고 그의 방법은 이상과 자연 과학 사이의 사각의 필수 링크를 제공 믿어왔다.
Spit over that piece of firewoodParaCrawl Corpus ParaCrawl Corpus
특히 두 개의 정사각 형태의, 어떤, 현대 프레 젠 테이션에서 하나의 선형 변형 이론의 거의 모든 레퍼토리를 필요로 문제의 동시 감소 우려하고있다.
Yeah, well it didn’ t workParaCrawl Corpus ParaCrawl Corpus
그는 또한 1770 년 이론을 증명하는 번호는 모든 양의 정수에 4 개의 사각의 합계이다 일했다.
Differential diagnosisParaCrawl Corpus ParaCrawl Corpus
예를 들어 1896 년 그가 factorisation 정수 quaternions에 대한 이론에 대한 논문을 발표하고 4 개의 사각의 합으로 나타내는 정수의 문제에 적용됩니다.
I mean, this is just the beginningParaCrawl Corpus ParaCrawl Corpus
책 이름은 사각의 책이 어떤 의미와 다른 것들 중에서도 Pythogorean 세배를 찾을 방법을 검사 이론에 책을 번호입니다.
Things go awry.- What?ParaCrawl Corpus ParaCrawl Corpus
39 sinne gevind in 13 ms. Hulle kom uit baie bronne en word nie nagegaan nie.