'''form'''이 잘 갖춰졌을 경우 'well-formed'라고 한다. ex. [[마크업언어,markup_language]]로 된 [[문서,document]]는 well-formed인 게 있고 그렇지 않은 게 있음 ex. [[적형식,wff]] Sub: ---- normal form (general) : [[normal_form]] =,normal_form . normal_form ... [[정규형,normal_form]] or [[표준형,normal_form]] { WtEn:normal_form KmsE:"normal form" see also [[canonical_form]] (같은 뜻일때가 있음) curr at [[정규형normal_form]]페이지 아래쪽 (TODO 거기서 fork) WpEn:Normal_form Ggl:"normal form" } normal form (DB) : [[정규형normal_form]] ---- [[canonical_form]] =,canonical_form . Srch:canonical_form { canonical form 표준|정규|정준 형식|형|꼴 ? QQQ 표준이라는 번역이 적합하다면 standard_form 도 같은 뜻? ... WtEn:standard_form Google:standard+form wk 는 그렇다고 함. // see also [[normal_form]] (같은 뜻일때가 있음) [[canonicalization]]이 canonical form이 아닌 것을 이런 형식으로 만드는? WtEn:canonical_form .... 추가함 read WpSimple:Canonical_form = https://simple.wikipedia.org/wiki/Canonical_form WpKo:표준_형식 = https://ko.wikipedia.org/wiki/표준_형식 "표준 형식, 또는 표준형, 표준꼴, 정규형" 그걸 찾는 방법은 "표준화 정규화 WpKo:정규화 canonicalization normalization" WpEn:Canonical_form = https://en.wikipedia.org/wiki/Canonical_form "In mathematics and computer science, a '''canonical, normal, or standard form''' of a mathematical object is a standard way of presenting that object as a mathematical expression." ... Ndict:표준형식 Naver:표준형식 Google:표준형식 ... Ndict:canonical+form Naver:canonical+form Google:canonical+form } ---- [[이차형식,quadratic_form]] [[미분형식,differential_form]] [[Backus-Naur_form]] BNF =,BNF . { 배커스-나우르 표기법 (Backus-Naur form) - 기계인간 John Grib https://johngrib.github.io/wiki/jargon/backus-naur-form/ 구문 [[syntax]] [[문법,grammar]] ? https://foldoc.org/Backus-Naur+Form metasyntax notation } EBNF extended BNF =,EBNF . { https://foldoc.org/Extended+Backus-Naur+Form metasyntax notation } ABNF augmented BNF =,ABNF . { https://datatracker.ietf.org/doc/html/rfc5234 https://foldoc.org/Augmented+Backus-Naur+Form metasyntax notation } [[논증형식,argument_form]] - curr. [[논증,argument]] = 수학에서 = "form" is another name for a homogeneous polynomial[* WpEn:Quadratic_form 처음 부분] 즉, '''형식'''이란 [[동차다항식,homogeneous_polynomial]]의 다른 이름이다. { 모든 nonzero terms가 같은 degree를 가진 [[다항식,polynomial]]. AKA '''제차다항식'''? WpKo:동차다항식 WpEn:Homogeneous_polynomial } [[복소수,complex_number]]는 - [[표현,representation]] [[극형식,polar_form]], 지수형식? [[exponential_form]] 으로 나타낼 수 있다 == (이하 몇개는 linearity ...) == [[선형성,linearity]] == linear form == [[linear_form]] =,linear_form . Srch:linear_form WtEn:linear_form https://proofwiki.org/wiki/Definition:Linear_Form WpEn:Linear_form Ggl:"linear form" == bilinear form == [[bilinear_form]] =,bilinear_form . Srch:bilinear_form WtEn:bilinear_form https://proofwiki.org/wiki/Definition:Bilinear_Form https://proofwiki.org/wiki/Definition:Associated_Bilinear_Form WpEn:Bilinear_form Ggl:"bilinear form" https://ncatlab.org/nlab/show/bilinear+form bilinear+form "bilinear form" == quadratic form == [[quadratic_form]] =,quadratic_form . Srch:quadratic_form quadratic form WtEn:quadratic_form https://proofwiki.org/wiki/Definition:Quadratic_Form https://proofwiki.org/wiki/Definition:Associated_Quadratic_Form https://ncatlab.org/nlab/show/quadratic+form quadratic+form "quadratic form" == symplectic form == symplectic form [[symplectic_form]] =,symplectic_form . Srch:symplectic_form WtEn:symplectic_form MKL [[symplectic_manifold]] (curr at [[다양체,manifold&action=highlight&value=symplectic_manifold]] Ggl:"symplectic form" == sesquilinear form == sesquilinear form [[sesquilinear_form]] =,sesquilinear_form . Srch:sesquilinear_form WtEn:sesquilinear_form https://ncatlab.org/nlab/show/sesquilinear+form https://proofwiki.org/wiki/Definition:Sesquilinear_Form sesquilinear+form "sesquilinear form" Ndict:"sesquilinear form" Ggl:"sesquilinear form" Bing:sesquilinear+form Naver:sesquilinear+form == Kähler form == Kähler form Ggl:"Kähler form" Bing:"Kähler form" "Kähler form" == Hermitian form == Hermitian form [[Hermitian_form]] =,Hermitian_form . Srch:Hermitian_form WtEn:Hermitian_form WpEn:Hermitian_form https://ncatlab.org/nlab/show/Hermitian+form Ggl:"Hermitian form" Bing:"Hermitian form" "Hermitian form" = 단어 = '''형식'''의 (form 말고) 다른 영어 번역들: format ex. [[형식_문자열,format_string]] formal ex. [[형식언어,formal_language]] [[형식산술,formal_arithmetic]] { https://encyclopediaofmath.org/wiki/Arithmetic,_formal - ''arithmetical calculus'' (aka [[arithmetical_calculus]]?) } [[formal_verification]] { 이건 '정형검증'이라는 번역이 많음. (formal을 '형식'보단 '정형'이라 번역.) verfication은 입증/검증/인증/(산술의 경우)검산/ ... Ndict:verfication } ... ... Self:formal_ ... NdEn:형식 ---- '''form'''의 (형식 말고) 다른 한국어 번역들: 형태 [[implicit_form]]: 내재적 형태, [[explicit_form]]: 명시적 형태. [* WpKo:상미분방정식#정의] 형상, 틀, 거푸집, 폼, ... 형태 형상과 비슷한 것: 모양 NdEn:모양 KmsK:모양 Ndict:모양 Ggl:모양 [[셰이프,shape]] [[피겨,figure]] [[UI_element]]([[위젯,widget]])인 form (명확한 표현은 input_form ?) - [[입력,input]]을 받고 보통 'Submit' [[버튼,button]]이 마지막에 있는 그런?? - 의 번역은 뭐가좋을지. [[폼,form]]? Naver:입력+form Naver:입력+폼 Naver:input+form Ggl:입력+form Ggl:input+form Bing:입력+form ... NdEn:form ---- '''형식,form'''과 비슷한 개념: formula [[formula]]Srch:formula - 번역들: 공식, 식, ex. [[적형식,wff]] pl. formulae or formulas (wk) https://ko.wikipedia.org/wiki/공식 https://simple.wikipedia.org/wiki/Formula https://en.wikipedia.org/wiki/Formula Rel. [[정리,theorem]] [[equality]] [[inequality]] [[식,expression]] format [[Srch:format]] - 번역들: 형식, 서식, 형식은 [[규칙,rule]]과 비슷? 규칙의 일종? tmp twins https://everything2.com/title/form