『分散システムのリーダー選挙』の記事の輪読 https://aws.amazon.com/jp/builders-library/leader-election-in-distributed-systems/?did=ba_card&trk=ba_card