시간,time

표기
주로 t
시각이 t이고 시간은 Δt 줄여서 t, 라고 볼 수도?
주기,period의 경우 T

시간의 단위,unit
s (second)
Facebook의 flick
어원은 frame-tick에서.
1/705,600,000 of a second
동영상 프레임 처리를 위해 만들어진 단위인가?
Jiffy
년, 월, 일, etc. -> 각 PL/framework의 API, ISO 등 표준,standard, timestamp ...등에서 언급하는 datetime. (pagename?) { 연,year 월,month 일,day 윤년,leap_year ... https://rosettacode.org/wiki/Days_between_dates }

시간의 역/역수,reciprocal
s-1은 Hz (주파수,frequency, 진동수,frequency)

Topics
time_interval (관련: 구간,interval)
시각 - 이건 시간과 혼동되어 쓰일 때가 많으나 뜻의 차이가 분명 있는데
영어로는 구분 없이 time? chk
저것의 pagename? 시각,time?
저것의 syn.: 순간? 순간,moment? =instant ?
timestamp { http://www.linfo.org/timestamp.html ... Naver:timestamp Google:timestamp }

// 이 둘은 여기? 아님 '클록,clock (mkl 주기,period)' ..? 이 만들어지면 거기에?
synchronous 동기, 동기식, 동기적(인) ...
Rel. synchronize v. / synchronization - 동기화,synchronization
n. WtEn:synchronicity
asynchronous 비동기, 비동기식, 비동기적(인)
n. WtEn:asynchrony WtEn:asynchronism WtEn:asynchronicity비동기성, 비동시성, ...
Sub:
AJAX,Asynchronous_JavaScript_and_XML ? or 에이잭스 ? pagename tbd
mkl 자바스크립트,JavaScript
XML이 이름에 있지만 그 자리에 JSON이나 plain_text 가 쓰여도 Ajax.
WpKo:Ajax
WpSp:Ajax_(programming)
WpEn:Ajax_(programming)
... Ggl:ajax
async 뭐뭐
asyncio
... Ggl:asyncio

Sub:
반감기,half-life
지연시간,latency and 응답시간,response_time
MKLINK 지연,delay - RR:지연,delay
see https://johngrib.github.io/wiki/latency/
이것들은 통신,communication 연결,connection 대역폭,bandwidth network throughput 관련

WpKo:응답_시간
WpEn:Response_time_(technology)
시간복잡도,time_complexity




rel. 영역,domain - 이산시간영역 and 연속시간영역


시불변성 time_invariance or time-invariance - writing
시변성 time_variance or time-variance - writing
merge:
{
시불변성:

시스템,system이 가질 수 있는 성질 중 하나.
$x(t)\to y(t) \;\Rightarrow\; x(t-t_0)\to y(t-t_0)$
$x[n]\to y[n] \;\Rightarrow\; x[n-n_0]\to y[n-n_0]$
이걸 ∀t/∀n에 대해 만족하면 시불변 system, 만족하지 않으면 시변 시스템? chk

ex.
$y(t)=\sin(x(t))$ - TI
$y[n]=nx[n]$ - not TI
$y(t)=x(2t)$ - not TI


Theoretical CS에서 time이 언급되는 것들



문제,problem에 대해:
어떤 certifcate(possible solution? candidate for solution?)가 주어지면
이것이 해,solution인지 아닌지 여부를 다항시간안에 verify할 수 있는 그런 문제는, class NP에 속한다?
}


MKLINK
class_P? or P_class ? .... aka PTIME WpKo:P_(복잡도) WpEn:P_(complexity)

worst time complexity가 // 복잡도,complexity > 시간복잡도,time_complexity
O(n^k) (k는 상수)인 알고리듬? chk

대체적으로 어떤 알고리듬이 polynomial time이면 'efficient' 그 문제,problem는 'tangible' 이라 했었나..? chk
}

비결정적다항시간? nondeterministic_polynomial_time ? ... non-deterministic ?

비결정적다항시간알고리듬? nondeterministic_polynomial_time_algorithm ?
{
MKLINK
class_NP
}
Computer/software engineering쪽에서 ~time은,


realtime, real_time
https://wiki.osdev.org/Real-Time_Systems
RTOS
{
WpKo:실시간_운영체제
WpSimple:Real-time_operating_system
WpEn:Real-time_operating_system
}
topics:
{
scheduling_algorithm
deterministic_algorithm
embedded_system
latency
}

Unix_time - writing - 1970-01-01 0시 UTC 이후 지난 초,second 수. 윤초,leap_second는 무시.

time_slice - multiprocessing, multitasking, multithreading 쪽에서 time의 구간,interval?
aka time quantum
https://foldoc.org/time slice
WtEn:time_slice (ez, del ok)

timesharing time-sharing time_sharing
https://foldoc.org/time-sharing

RTT : round trip time
latency
delay
시간의 선후, 전후, ... 즉 시간을 기준으로 한 앞뒤(?) 이런거 표현들 정리 TODO

before
after

a priori
a posteriori

(이 표현들의 의미에 대해 대충 생각, chk) before - now - after 이걸 실직선real_line 위의 구간,interval으로 나타낸다 할때, now=t 혹은 {t}라 할 때 before=(−∞,t) after=(t,∞)이고 a priori는 before위의 한 점, a posteriori는 after위의 한 점?

ex.
추정,estimation
사전추정(치/값) a priori estimate
사후추정(치/값) a posteriori estimate
확률,probability
a priori probability
a posteriori probability
... 이건 Bayesian_statistics(curr. 베이즈_정리,Bayes_theorem)에서 중요한 주제인데...

WtEn:a_priori#English


Poincare_recurrence_time
{
Poincare recurrence time

rel. Poincare_recurrence_theorem
{
WpKo:푸앵카레_재귀정리
WpEn:Poincaré_recurrence_theorem
Up: recurrence_theorem(writing)
}


관련: 매우큰수, 우주론,cosmology, universe
}
article, 특히 측정,measurement 관련된.
time_measurement ?

시간 단위 측정 (1) – 시간 측정의 역사와 원자시계 – 과학의 지평
https://horizon.kias.re.kr/21237/
time shift / time shifting

신호및시스템,signals_and_systems
라플라스_변환,Laplace_transform - 1, 2 두 정리
등에 자주 나오는데 TBW.

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 현재

정확한 뜻은?
일단 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
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가 있다.
... Google:definition of shifting

}

기타 관련 표현:
epoch
시간의 '간격'은 interval. (같은 영단어: 구간,interval) (그것이 일정하면 주기,period의 일종?)
duration - 시각의 차, 시간 ? 찾으면 '지속' 나오는데 두 시각 사이 시간에서 '지속'될때 쓰는 표현?
period - 이것도 시각의 차, 시간 - 주기,period
chrono - 그리스어 어원이었나?
chronicle n. 연대기, chronological adj. 연대순의
Srch:brachistochrone (shortest time)
Srch:tautochrone (same time)
동기화,synchronization - synchronization
etc.

transient - 과도적인 / 일시적인, 순간적인

물리 > 상대론 에서
동시성,simultaneity { [https]물리학백과: 동시성 (Simultaneity) }

시간을 맞추는? - 동기화,synchronization

일정한 시간의 간격(interval)은
물리적으로 - 주기,period
CPU, 컴퓨터구조,computer_architecture - clock, cycle (명령어,instruction fetch/decode 하는 instruction_cycle 을 한국어로 가끔 주기,period를 써서 '명령어 주기'로 번역하는 듯 ....Ndict:instruction cycle Ggl: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
양상논리 양상논리학 modal_logic 에 Ggl:tense modal logic (시제 양상 논리?) ~= temporal_logic { temporal logic 시간논리? 시제논리? } // temporal logic Ndict:temporal logic Ggl:temporal logic
(tense logic - temporal logic 의 관계는 WpEn:Temporal_logic첫 문단 참조.)

temporal
WtEn:temporal#Adjective (2.) "relating to time"

temporal > temporal_logic (TL)
{
temporal logic

WtEn:temporal_logic
WpKo:시간_논리
WpEn:Temporal_logic
https://plato.stanford.edu/entries/logic-temporal/
항상always 결국eventually 예전에는 지금now since/until during ...등등
논리,logic 논리학,logic
} // temporal logic Ggl:temporal logic

(위 둘 tense logic / temporal logic에서 topics:)
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/#LinTimTemLogLTL
(time 생략해도 같은 뜻. 바로 아래)

linear_temporal_logic (LTL)
linear temporal logic, linear-time temporal logic, LTL
WpKo:선형_시제_논리 PTL(propositional temporal logic)이라고도 한다고. Ggl:PTL(propositional temporal logic)
WpEn:Linear_temporal_logic

metric_temporal_logic (MTL)
metric temporal logic (MTL)
WpEn:Metric_temporal_logic