1. 모델링 modeling =,modeling ¶

1.1. 데이터모델링 data modeling ¶

2. fitting ¶

2.1. 모형 적합 fitting a model ¶

pagename model_fitting?
// from 데이터과학-기초-1데이터-과학이란

aka 피팅,fitting - 번역? 적합???

모형/모델에 적합하게 (... 추정시스템? 예측시스템?)을 만드는 것?

-> 모수,parameter의 값을 추정하는 것과 equivalent? QQQ

방법들:

VG: srch: gradient_descent
최대가능도추정,maximum_likelihood_estimation,MLE

2.2. 과대적합(과적합)과 과소적합, overfitting and underfitting ¶

3. model theory #modeltheory ¶

=,model_theory =,model_theory . model_theory

(여기 있을 내용은 아니지만, 구성 단어들이 일치하므로. (model과 theory에 중복해서 있어야 하는데 일단 여기에 놓음)

model과 theory의 비교/차이,
모델,model=모형,model과 이론,theory의 비교/차이점:
다음 링크의 첫번째 답변 참조.

logic - Incompleteness theorem: Peano arithmetic vs. standard model of arithmetic - Mathematics Stack Exchange
https://math.stackexchange.com/questions/4247792/incompleteness-theorem-peano-arithmetic-vs-standard-model-of-arithmetic

2023-12-04 )

model_theory

수학백과: 모델론
{
mathematical_logic수리논리 의 한 분야.
aka 모델론 모델이론 모형론 모형이론.
20세기 초 도입, Alfred_Tarski { http://www.aistudy.com/pioneer/Tarski.A.htm https://ko.wikipedia.org/wiki/알프레트_타르스키 Alfred_Tarski } 의 기여가 컸다
1.모델(구조,structure)

$\displaystyle \mathcal{L}$ : 1계논리(분명 first-order_logic... =일차논리. linked to: 술어논리, i.e. 술어논리,predicate_logic - 술어논리,predicate_logic)의 언어,language // rel? : first-order_language
$\displaystyle \mathcal{P}$ : 술어기호들의 집합 .... 술어,predicate 기호,symbol 집합,set
$\displaystyle \mathcal{F}$ : 함수기호들의 집합 .... 함수,function
$\displaystyle \mathcal{C}$ : 상수기호들의 집합 .... 상수,constant
에서
$\displaystyle \mathcal{L}=\mathcal{P}\cup\mathcal{F}\cup\mathcal{C}$

그럼 언어 $\displaystyle \mathcal{L}$ 의 model $\displaystyle M$ 이란, $\displaystyle M$ 의 영역(universe) // 유니버스,universe의 번역을 영역,universe으로 했음. 이거? Universe_(mathematics) https://encyclopediaofmath.org/wiki/Universe
(비공집합) $\displaystyle |M|$ 에
$\displaystyle \mathcal{L}$ 의 특정 기호 각각의 해석,interpretation이 첨부된(mapping? correspondence? bijection?) 것이다. 기호의 해석이란, =해석 =,interpretation .

• $\displaystyle P$ 가 $\displaystyle n$ 항 술어기호 predicate_symbol predicate_symbol이면 이것의 해석 $\displaystyle P_M$ 은 $\displaystyle |M|^n$ 의 한 부분집합,subset이고
  
• $\displaystyle f$ 가 $\displaystyle n$ 항 함수기호 function_symbol function_symbol이면 이것의 해석 $\displaystyle f^M$ 은 한 함수 $\displaystyle |M|^n\to|M|$ 이며
  
• $\displaystyle c$ 가 상수기호 constant_symbol? constant_symbol이면 이것의 해석 $\displaystyle c^M$ 은 $\displaystyle |M|$ 의 한 원소,element이다.
  즉,
  $\displaystyle M=(|M|,\,P^M,\,f^M,\,c^M\;|\; P\in\mathcal P,\,f\in\mathcal F,\,c\in\mathcal C)$
  이고
  이러한 형태로 표현할 수 있는 것을 $\displaystyle (\mathcal L-)$ 모델 이라 한다. 모델을 구조,structure라고도 한다. // model and structure difference in mathematical logic 수리논리학 모델 구조 차이
  
  

이하 명제를 '만족' ( 혹시 충족으로도 번역되는 satisfaction ?? 포뮬러,formula가 참,true이 되게 하는 그거? rel. satisfaction_relation? chk. satisfaction in mathematics ... 만족,satisfaction 충족,satisfaction ... 만족 )
이 무엇인지에대한 내용.
}

Sub:
Kripke_semantics

모델론

모델론

Model_theory

model theory

model theory

"model theory"

4. Markov model ¶

Markov_model

https://m.blog.naver.com/angelkim88/20189440567
{
보면 ( - 2023-05-23에 매우대충적음)

문제가 날씨 예측이라 할 때,

관측 데이터가 있고

가정,assumption을
오늘 날씨는 어제 날씨에만 영향을 받는다.
current state는 previous state에 dependent.
이렇게 하는게 이 가정이 마르코프_가정,Markov_assumption.

그리고 상태,state들이 directed_graph 그래프,graph로 연결된 상황에서
상태,state의 수열,sequence (상태열,state_sequence) 언급됨

그런데 이 sequence가 너무 길어지면 느려지므로 (exponential time complexity로 된다)
dynamic_programming을 쓴다.

기타 rel
전이,transition
상태전이,state_transition
전이확률,transition_probability
}

https://ko.wikipedia.org/wiki/마르코프_모형

mentions

	상태가 관찰 가능	상태가 부분적으로 관찰 가능
시스템이 자율적 autonomous?	마르코프_연쇄,Markov_chain	hidden_Markov_model
시스템이 통제됨 controlled?	마르코프_결정과정,Markov_decision_process,MDP	부분적 관찰가능 마르코프_결정과정,Markov_decision_process,MDP

https://simple.wikipedia.org/wiki/Markov_model

mentions Markov_chain hidden_Markov_model Markov_decision_process

https://en.wikipedia.org/wiki/Markov_model

... Markov.model Markov.model

Up: stochastic_model

5. Document Object Model (DOM) ¶

DOM,Document_Object_Model
or
DOM,document_object_model ??? pagename TBD

HTML,hypertext_markup_language
웹개발,web_development

이게 적용되는 대상은
XML
... and?

굳이 분류를 한다면 (? 필요한지?)
문서,document
객체,object
모형,model or 모델,model

트리,tree

SAX = Simple_API_for_XML
{
Simple_API_for_XML

= https://ko.wikipedia.org/wiki/Simple_API_for_XML

Simple_API_for_XML

= https://en.wikipedia.org/wiki/Simple_API_for_XML

}

문서_객체_모델

= https://ko.wikipedia.org/wiki/문서_객체_모델

Document_Object_Model

= https://simple.wikipedia.org/wiki/Document_Object_Model

Document_Object_Model

= https://en.wikipedia.org/wiki/Document_Object_Model

6. memory model ¶

7. ML: model ¶

8. ML/NLP/linguistics: 언어모델 언어모형 language model ¶

언어,language
rel.
언어학,linguistics
자연어처리 NLP - 자연어처리모델

https://namu.wiki/w/언어 모델
{

• 통계학기반
  
• 인공신경망,artificial_neural_network,ANN기반
  
  • 비지도학습,unsupervised_learning
    
    • 트랜스포머,transformer <- 가 현재(202x) 많이 쓰인다
      

여러 format의 대규모 dataset을 모아 토큰화,tokenization하고 multimodal(다중 모드,mode...)를 구축하여 학습,learning(기계학습,machine_learning)시키면, foundation_model 파운데이션 모델: foundation model 이 구축된다
이후 분야별로 fine-tuning을 거치면
프롬프트,prompt입력을 하면 추론을 통해 여러 출력을 하는 생성형인공지능,generative_artificial_intelligence서비스를 만들 수 있다(ex. 챗봇,chatbot etc)
}

... 언어모델 language.model

8.1. 대형 언어 모델 large language model (LLM) ¶

... 대형언어모델 large.language.model

9. network, networking ¶

10. actor model ¶

행위자 모델 또는 액터 모델

행위자_모델

= https://ko.wikipedia.org/wiki/행위자_모델

Actor_model

= https://en.wikipedia.org/wiki/Actor_model

rel.
dataflow = data_flow { 데이터_흐름 Dataflow = https://en.wikipedia.org/wiki/Dataflow }
process_calculus (curr 칼큘러스,calculus) - see Actor_model_and_process_calculi = https://en.wikipedia.org/wiki/Actor_model_and_process_calculi

concurrent_computing
concurrent_computation
concurrency

11. (Chemistry, Physics) 원자모형 atomic model ¶

pagename 원자모형,atomic_model?

물리학백과: 원자모형 Atomic model
"근대적인 원자모형으로

톰슨 원자모형, // 톰슨_원자모형 톰슨 원자모형 톰슨 원자모형 "톰슨 원자모형"
러더퍼드 원자모형, // 러더퍼드_원자모형 러더퍼드 원자모형 러더퍼드 원자모형 "러더퍼드 원자모형"
보어 원자모형 // 보어_원자모형 보어 원자모형 보어 원자모형 "보어 원자모형"
이 있으며, 현재는 양자역학,quantum_mechanics을 반영한
전자구름 모형을 통해 ..." 전자구름 모형 전자구름 모형 "전자구름 모형" // Rel 전자구름 rel 오비탈,orbital

https://ko.wikipedia.org/wiki/원자_모형
특이한게 interwiki 없.. 2023-10-22

12. (Physics > CMP) Drude model ¶

드루드_모형,Drude_model =드루드_모형,Drude_model =,Drude_model 드루드_모형 Drude_model
Drude model
드루드_모형
Drude model
Drude model
"Drude model"

드루드? 국적확인 todo.. 아래 이징은 독일사람이므로 확실

13. (physics) Ising model ¶

14. Atkinson-Shiffrin model ¶

Atkinson-Shiffrin model
Atkinson-Shiffrin memory model
정보처리, 기억
정보처리,information_processing
기억,memory

심리학
심리학,psychology

"Atkinson-Shiffrin model"
Atkinson-Shiffrin model
Atkinson-Shiffrin model

---

MERGE TO 모형,model