Difference between r1.64 and the current
@@ -164,36 +164,6 @@
delay----
[[시계열,time_series]]
시간의 선후, 전후, ... 즉 시간을 기준으로 한 앞뒤(?) 이런거 표현들 정리 TODO
@@ -346,5 +316,4 @@
----
Sub: [[주기,period]] [[시간상수,time_constant]]
표기
시간의 단위,unit
Topics
시간의 단위,unit
s (second)
Facebook의 flick
년, 월, 일, etc. -> 각 PL/framework의 API, ISO 등 표준,standard, timestamp ...등에서 언급하는 datetime. (pagename?) { 연,year 월,month 일,day 윤년,leap_year ... https://rosettacode.org/wiki/Days_between_dates }
시간의 역/역수,reciprocalFacebook의 flick
어원은 frame-tick에서.
1/705,600,000 of a second
동영상 프레임 처리를 위해 만들어진 단위인가?
Jiffy1/705,600,000 of a second
동영상 프레임 처리를 위해 만들어진 단위인가?
년, 월, 일, etc. -> 각 PL/framework의 API, ISO 등 표준,standard, timestamp ...등에서 언급하는 datetime. (pagename?) { 연,year 월,month 일,day 윤년,leap_year ... https://rosettacode.org/wiki/Days_between_dates }
Topics
time_interval (관련: 구간,interval)
시각 - 이건 시간과 혼동되어 쓰일 때가 많으나 뜻의 차이가 분명 있는데
timestamp { http://www.linfo.org/timestamp.html ... timestamp timestamp }
// 이 둘은 여기? 아님 '클록,clock (mkl 주기,period)' ..? 이 만들어지면 거기에?
synchronous 동기, 동기식, 동기적(인) ...
asynchronous 비동기, 비동기식, 비동기적(인)
Sub:시각 - 이건 시간과 혼동되어 쓰일 때가 많으나 뜻의 차이가 분명 있는데
timestamp { http://www.linfo.org/timestamp.html ... timestamp timestamp }
// 이 둘은 여기? 아님 '클록,clock (mkl 주기,period)' ..? 이 만들어지면 거기에?
synchronous 동기, 동기식, 동기적(인) ...
asynchronous 비동기, 비동기식, 비동기적(인)
n. asynchrony asynchronism asynchronicity비동기성, 비동시성, ...
Sub:
Sub:
AJAX,Asynchronous_JavaScript_and_XML ? or 에이잭스 ? pagename tbd
asyncio
mkl 자바스크립트,JavaScript
XML이 이름에 있지만 그 자리에 JSON이나 plain_text 가 쓰여도 Ajax.
Ajax
Ajax_(programming)
Ajax_(programming)
... ajax
async 뭐뭐XML이 이름에 있지만 그 자리에 JSON이나 plain_text 가 쓰여도 Ajax.
Ajax
Ajax_(programming)
Ajax_(programming)
... ajax
asyncio
반감기,half-life
지연시간,latency and 응답시간,response_time
지연시간,latency and 응답시간,response_time
MKLINK 지연,delay - 지연,delay
see https://johngrib.github.io/wiki/latency/
이것들은 통신,communication 연결,connection 대역폭,bandwidth network throughput 관련
응답_시간
Response_time_(technology)
시간복잡도,time_complexitysee https://johngrib.github.io/wiki/latency/
이것들은 통신,communication 연결,connection 대역폭,bandwidth network throughput 관련
응답_시간
Response_time_(technology)
rel. 영역,domain - 이산시간영역 and 연속시간영역
시불변성 time_invariance or time-invariance - writing
시변성 time_variance or time-variance - writing
merge:
{
시불변성:
시변성 time_variance or time-variance - writing
merge:
{
시불변성:
ex.
- TI
- not TI
- not TI
- TI
- not TI
- not TI
Theoretical CS에서 time이 언급되는 것들
문제,problem에 대해:
어떤 certifcate(possible solution? candidate for solution?)가 주어지면
이것이 해,solution인지 아닌지 여부를 다항시간안에 verify할 수 있는 그런 문제는, class NP에 속한다?
}
어떤 certifcate(possible solution? candidate for solution?)가 주어지면
이것이 해,solution인지 아닌지 여부를 다항시간안에 verify할 수 있는 그런 문제는, class NP에 속한다?
}
비결정적다항시간? nondeterministic_polynomial_time ? ... non-deterministic ?
Computer/software engineering쪽에서 ~time은,
compile_time and runtime and etc. - 프로그램,program ,compilation(curr 컴파일러,compiler) 실행,execution
https://foldoc.org/compile time
CompileTime
https://foldoc.org/run time
RunTime
runtime type information (RTTI) https://foldoc.org/Run-Time Type Information
https://foldoc.org/compile time
CompileTime
https://foldoc.org/run time
RunTime
runtime type information (RTTI) https://foldoc.org/Run-Time Type Information
realtime, real_time
https://wiki.osdev.org/Real-Time_Systems
RTOS
{
실시간_운영체제
Real-time_operating_system
Real-time_operating_system
}
topics:
{
scheduling_algorithm
deterministic_algorithm
embedded_system
latency
}
https://wiki.osdev.org/Real-Time_Systems
RTOS
{
실시간_운영체제
Real-time_operating_system
Real-time_operating_system
}
topics:
{
scheduling_algorithm
deterministic_algorithm
embedded_system
latency
}
time_slice - multiprocessing, multitasking, multithreading 쪽에서 time의 구간,interval?
aka time quantum
https://foldoc.org/time slice
time_slice (ez, del ok)
aka time quantum
https://foldoc.org/time slice
time_slice (ez, del ok)
RTT : round trip time
latency
delay
latency
delay
시간의 선후, 전후, ... 즉 시간을 기준으로 한 앞뒤(?) 이런거 표현들 정리 TODO
before
after
after
a priori
a posteriori
a posteriori
(이 표현들의 의미에 대해 대충 생각, chk) before - now - after 이걸 실직선real_line 위의 구간,interval으로 나타낸다 할때, now=t 혹은 {t}라 할 때 before=(−∞,t) after=(t,∞)이고 a priori는 before위의 한 점, a posteriori는 after위의 한 점?
ex.
추정,estimation
추정,estimation
사전추정(치/값) a priori estimate
사후추정(치/값) a posteriori estimate
확률,probability사후추정(치/값) a posteriori estimate
a priori probability
a posteriori probability
... 이건 Bayesian_statistics(curr. 베이즈_정리,Bayes_theorem)에서 중요한 주제인데...
a_priori#Englisha posteriori probability
... 이건 Bayesian_statistics(curr. 베이즈_정리,Bayes_theorem)에서 중요한 주제인데...
Poincare_recurrence_time
{
Poincare recurrence time
{
Poincare recurrence time
rel. Poincare_recurrence_theorem
{
푸앵카레_재귀정리
Poincaré_recurrence_theorem
Up: recurrence_theorem(writing)
}
{
푸앵카레_재귀정리
Poincaré_recurrence_theorem
Up: recurrence_theorem(writing)
}
https://googology.fandom.com/wiki/Poincaré_recurrence_time
https://everything2.com/title/eternal recurrence - 프리드리히 니체 Friedrich_Nietzsche
https://everything2.com/title/eternal recurrence - 프리드리히 니체 Friedrich_Nietzsche
time shift / time shifting
Up: shift
{
TBD: shift/shifting 의 pagename? 한국어는 뭘로 하지...
보이는/가능한 번역들: 이동(가장 흔함), 시프트, 시프팅, 쉬프트, 쉬프팅, 밀기(kms),
kms shift ( https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=shift ) : 보통 '이동'으로 번역, 기타 '밀기'(?)
{
forward shift operator 전진이동연산자
horizontal shift 수평이동
origin shift 원점이동
second shifting theorem 제2이동정리
shift 이동
shift operator 밀기연산자
shifted function 이동함수
} // as of 2023-05-06 현재
{
TBD: shift/shifting 의 pagename? 한국어는 뭘로 하지...
보이는/가능한 번역들: 이동(가장 흔함), 시프트, 시프팅, 쉬프트, 쉬프팅, 밀기(kms),
kms shift ( https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=shift ) : 보통 '이동'으로 번역, 기타 '밀기'(?)
{
forward shift operator 전진이동연산자
horizontal shift 수평이동
origin shift 원점이동
second shifting theorem 제2이동정리
shift 이동
shift operator 밀기연산자
shifted function 이동함수
} // as of 2023-05-06 현재
정확한 뜻은?
일단 2023-05-06에 검색 없이 생각나는 것만 대충 적으면,
그래프,graph 플롯,plot ... 의 shift는 x축이나 y축으로 translation(rel. 병진운동,translational_motion) 하는 것과 같은 뜻.
라플라스_변환,Laplace_transform을 할 때는 x축으로, 근데 변수는 t인 시간,time에 대한 shift에 대한 특별한 두 정리가 있다.
Computer에선 primitive data type (중에서 정확히 뭐?) ...에 대해 shift operation이란, // primitive_data_type shift_operation or shift_operator
일단 2023-05-06에 검색 없이 생각나는 것만 대충 적으면,
그래프,graph 플롯,plot ... 의 shift는 x축이나 y축으로 translation(rel. 병진운동,translational_motion) 하는 것과 같은 뜻.
라플라스_변환,Laplace_transform을 할 때는 x축으로, 근데 변수는 t인 시간,time에 대한 shift에 대한 특별한 두 정리가 있다.
Computer에선 primitive data type (중에서 정확히 뭐?) ...에 대해 shift operation이란, // primitive_data_type shift_operation or shift_operator
주로 이건 레지스터,register에서 일어나는 일이며... CHK
비트열(bit_sequence? bit_string?)을 왼쪽이나(left_shift) 오른쪽으로(right_shift) 한칸 움직이는...? CHK
... definition of shifting비트열(bit_sequence? bit_string?)을 왼쪽이나(left_shift) 오른쪽으로(right_shift) 한칸 움직이는...? CHK
left shift를 하면 가장 오른쪽에 0을 채운다.
그런데 right shift는 data type의 signedness? 에 따라 0을 채울지 1을 채울지가 결정된다. CHK // left shift와 달리 right shift는 signed_right_shift vs unsigned_right_shift 둘이 있다.
이것의 자매품으로 rotate가 있다. 역시 left_rotate right_rotate가 있다.그런데 right shift는 data type의 signedness? 에 따라 0을 채울지 1을 채울지가 결정된다. CHK // left shift와 달리 right shift는 signed_right_shift vs unsigned_right_shift 둘이 있다.
}
기타 관련 표현:
epoch
시간의 '간격'은 interval. (같은 영단어: 구간,interval) (그것이 일정하면 주기,period의 일종?)
duration - 시각의 차, 시간 ? 찾으면 '지속' 나오는데 두 시각 사이 시간에서 '지속'될때 쓰는 표현?
period - 이것도 시각의 차, 시간 - 주기,period
chrono - 그리스어 어원이었나?
물리 > 상대론 에서
동시성,simultaneity { 물리학백과: 동시성 (Simultaneity) }
시간을 맞추는? - 동기화,synchronization
일정한 시간의 간격(interval)은
물리적으로 - 주기,period
CPU, 컴퓨터구조,computer_architecture - clock, cycle (명령어,instruction fetch/decode 하는 instruction_cycle 을 한국어로 가끔 주기,period를 써서 '명령어 주기'로 번역하는 듯 ....instruction cycle instruction cycle)
life_game (등등 각종 simulation 에서도 마찬가지로?) : 세대,generation, step, tick { https://conwaylife.com/wiki/Generation }
관련표현: time_slice - multitasking 에서
...
tense - 시제,tense?
temporal > temporal_logic (TL)
tense_operator tense operator - 연산자,operator ... 시제연산자 or 시간연산자
time에 대한 formal model (형식적 모형,model)으로
시간의 '간격'은 interval. (같은 영단어: 구간,interval) (그것이 일정하면 주기,period의 일종?)
duration - 시각의 차, 시간 ? 찾으면 '지속' 나오는데 두 시각 사이 시간에서 '지속'될때 쓰는 표현?
period - 이것도 시각의 차, 시간 - 주기,period
chrono - 그리스어 어원이었나?
chronicle n. 연대기, chronological adj. 연대순의
brachistochrone (shortest time)
tautochrone (same time)
동기화,synchronization - synchronization
etc.
transient - 과도적인 / 일시적인, 순간적인brachistochrone (shortest time)
tautochrone (same time)
동기화,synchronization - synchronization
etc.
물리 > 상대론 에서
동시성,simultaneity { 물리학백과: 동시성 (Simultaneity) }
시간을 맞추는? - 동기화,synchronization
일정한 시간의 간격(interval)은
물리적으로 - 주기,period
CPU, 컴퓨터구조,computer_architecture - clock, cycle (명령어,instruction fetch/decode 하는 instruction_cycle 을 한국어로 가끔 주기,period를 써서 '명령어 주기'로 번역하는 듯 ....instruction cycle instruction cycle)
life_game (등등 각종 simulation 에서도 마찬가지로?) : 세대,generation, step, tick { https://conwaylife.com/wiki/Generation }
관련표현: time_slice - multitasking 에서
...
tense - 시제,tense?
언어,language 언어학,linguistics > 문법,grammar 에서 시제.
tense_logic / tense_modal_logic
temporal tense_logic / tense_modal_logic
양상논리 양상논리학 modal_logic 에 tense modal logic (시제 양상 논리?) ~= temporal_logic { temporal logic 시간논리? 시제논리? } // temporal logic temporal logic temporal logic
(tense logic - temporal logic 의 관계는 Temporal_logic첫 문단 참조.)
(tense logic - temporal logic 의 관계는 Temporal_logic첫 문단 참조.)
temporal > temporal_logic (TL)
{
temporal logic
temporal_logic
시간_논리
Temporal_logic
https://plato.stanford.edu/entries/logic-temporal/
항상always 결국eventually 예전에는 지금now since/until during ...등등
논리,logic 논리학,logic
} // temporal logic temporal logic
(위 둘 tense logic / temporal logic에서 topics:)temporal logic
temporal_logic
시간_논리
Temporal_logic
https://plato.stanford.edu/entries/logic-temporal/
항상always 결국eventually 예전에는 지금now since/until during ...등등
논리,logic 논리학,logic
} // temporal logic temporal logic
tense_operator tense operator - 연산자,operator ... 시제연산자 or 시간연산자
time에 대한 formal model (형식적 모형,model)으로
instant - 순간기반모형?
interval - 구간,interval 구간기반모형?
기반이 있다, see https://plato.stanford.edu/entries/logic-temporal/#ForModTim
linear time temporal logic LTL - see https://plato.stanford.edu/entries/logic-temporal/#LinTimTemLogLTLinterval - 구간,interval 구간기반모형?
기반이 있다, see https://plato.stanford.edu/entries/logic-temporal/#ForModTim
(time 생략해도 같은 뜻. 바로 아래)
linear_temporal_logic (LTL)linear temporal logic, linear-time temporal logic, LTL
선형_시제_논리 PTL(propositional temporal logic)이라고도 한다고. PTL(propositional temporal logic)
Linear_temporal_logic
metric_temporal_logic (MTL)선형_시제_논리 PTL(propositional temporal logic)이라고도 한다고. PTL(propositional temporal logic)
Linear_temporal_logic