1. 불 해석 Boolean Interpretation ¶

Boolean_interpretation
https://proofwiki.org/wiki/Definition:Boolean_Interpretation

...
"Boolean Interpretation"
Boolean Interpretation
Boolean Interpretation

2. 추상해석? abstract interpretation ¶

abstract interpretation
abstract_interpretation
추상해석,abstract_interpretation =추상해석,abstract_interpretation =,abstract_interpretation . abstract_interpretation ?

http://emal.iptime.org/noriwiki/index.php/Abstract_interpretation
http://emal.iptime.org/noriwiki/index.php/분류:Abstract_interpretation

https://foldoc.org/abstract interpretation

...
"abstract interpretation"
abstract interpretation abstract interpretation
abstract interpretation

https://en.wiktionary.org/wiki/abstract_interpretation x 2023-11-15

2.1. (topics about 추상해석) ¶

least_fixed_point =,least_fixed_point =,least_fixed_point . least_fixed_point |=,LFP LFP

{
least fixed point

REL
부분순서집합,partially_ordered_set,poset
고정점,fixed_point

Twin
Least_fixed_point = https://en.wikipedia.org/wiki/Least_fixed_point
https://ja.wikipedia.org/wiki/最小不動点

https://en.wiktionary.org/wiki/least_fixed_point x
...
least fixed point
least fixed point

least_fixed_point
}

widening =,widening =,widening . widening
http://emal.iptime.org/noriwiki/index.php/Widening

narrowing =,narrowing =,narrowing . narrowing
http://emal.iptime.org/noriwiki/index.php/Narrowing

3. 기호의 해석 ¶

기호,symbol 심벌,symbol의 해석에 대해서는 curr at 모형,model#modeltheory

rel model_theory curr at 모형,model#modeltheory
rel semiotics =,semiotics =,semiotics . semiotics { semiotics semiotics기호학 semiotics semiotics semiotics semiotics semiotics }

4. (양자역학) ¶

4.1. Bohm's interpretation ¶

양자역학,quantum_mechanics

https://ko.wikipedia.org/wiki/드_브로이-봄_이론
https://en.wikipedia.org/wiki/De_Broglie–Bohm_theory

... Bohm interpretation Bohm

4.2. 코펜하겐 해석(Copenhagen interpretation) ¶

5. (misc) 단어 '해석'에 대해 ¶

해석은 수학에선 보통 analysis의 번역임.
해석학,analysis, 복소해석, 조화해석, 수치해석, 푸리에 해석, etc.

analysis
어낼러시스,analysis
해석학,analysis
해석,analysis

해석을 보면
{
관계해석relational_calculus ...저기선 calculus의 번역에 쓰임.
}

6. MKLINK, COMPARE ¶