표기
 주로 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]]
----
[[신호,signal]] [[신호및시스템,signals_and_systems]] [[통신,communication]]이론 쪽

[[이산시간,discrete_time]] vs [[연속시간,continuous_time]]
...각각 [[이산성,discreteness]] and [[연속성,continuity]]

[[WpEn:Discrete_time_and_continuous_time]]

rel. [[샘플링,sampling]] [[표본화,sampling]]

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

mklink
Srch:연속시간 Srch:이산시간

시불변성 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

// via https://youtu.be/EYGYdxs2kgY?t=2358
}

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

[[시간복잡도,time_complexity]] (curr. [[복잡도,complexity]])

[[다항시간,polynomial_time]]
{
MKLINK
[[certificate]]
[[verification]]

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

[[다항시간알고리듬,polynomial_time_algorithm]]
{
[[다항시간,polynomial_time]] [[알고리듬,algorithm]]

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은,

[[compile_time]] and [[runtime]] and etc. - [[프로그램,program]] [[,compilation]](curr [[컴파일러,compiler]]) [[실행,execution]]
https://foldoc.org/compile+time
[[Wiki:CompileTime]]
https://foldoc.org/run+time
[[Wiki:RunTime]]
runtime type information (RTTI) https://foldoc.org/Run-Time+Type+Information

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
----
[[통신,communication]]쪽에서

RTT : round trip time
latency
delay
----
[[시계열,time_series]]
----
시간의 선후, 전후, ... 즉 시간을 기준으로 한 앞뒤(?) 이런거 표현들 정리 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]]

rel
[[causality]] - [[인과율,causality]] and/or [[인과성,causality]]

----
Poincare_recurrence_time
{
Poincare recurrence time

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

https://googology.fandom.com/wiki/Poincaré_recurrence_time
https://everything2.com/title/eternal+recurrence - 프리드리히 니체 Friedrich_Nietzsche

관련: 매우큰수, [[우주론,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 [[Date(2023-05-06T09:59:17)]] 현재

정확한 뜻은?
일단 [[Date(2023-05-06T09:59:17)]]에 검색 없이 생각나는 것만 대충 적으면,
[[그래프,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]] - syn__chron__ization
  etc.

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

 물리 > 상대론 에서
 [[동시성,simultaneity]] { [[https://terms.naver.com/entry.naver?docId=5741478&cid=60217&categoryId=60217 물리학백과: 동시성 (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

----
Sub: [[주기,period]] [[시간상수,time_constant]]