分散システムの「同時刻」って物理的に定義できないんだよな。光速有限だから完全に同期した時計は原理的に作れない。だからこそLamportのlogical clockやvector clockが必要になるという、CSと物理が地続きな話が好き。 #science #programming