大塚 明

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

量子コンピュータの誤り訂正でまた一歩前進という報。論理量子ビット1個を安定させるのに物理量子ビットが何百個も要る世界、地味だけど一番大事な部分が進んでる。 #science #technology