コンピュータ科学の超難問「同期」。 #227

日記を書いていたら突然消えた。原因を探っていたら、コンピュータ科学の超難問に直面しました。

【株式会社pedanticの求人情報】

一緒に働いてくれるパーソナリティ兼プロデューサーと動画編集者を募集してます！

【目次】

【参考文献】

◯Obsidian「How Obsidian stores data」( https://help.obsidian.md/data-storage  )

→Obsidianのデータ保存方法についてはここから。

◯Microsoft Q&A「Android OneDrive sync a local folder」( https://learn.microsoft.com/en-us/answers/questions/5192005/android-onedrive-sync-a-local-folder  )

→「スマホのOneDriveは自動同期してくれない」についてはここから。

◯FolderSync「Settings」( https://foldersync.io/docs/help/folderpairsettings/  )

→FolderSyncについてはここから。

◯Quote Investigator「Quote Origin: A Person With One Watch Knows What Time It Is. A Person With Two Watches Is Never Sure」( https://quoteinvestigator.com/2022/07/04/watch/  )

→シーガルの法則についてはここから。

◯Leslie Lamport「Time, Clocks, and the Ordering of Events in a Distributed System」( https://lamport.azurewebsites.net/pubs/time-clocks.pdf  )

→論理時計の概念について。

◯Google Research「Spanner: Google's Globally-Distributed Database」( https://research.google.com/archive/spanner-osdi2012.pdf  )

→GoogleのTrueTimeの原論文。

◯Google「Expanding our global infrastructure with new regions and subsea cables」( https://blog.google/topics/google-cloud/expanding-our-global-infrastructure-new-regions-and-subsea-cables/ )

→Googleが海底ケーブルを自社で引いた事例。

◯デジタルの皇帝たち

（バリューブックス）→ https://www.valuebooks.jp/bp/VS0090653423

（Amazon）→ https://amzn.to/42Wy99M

慶應義塾大学理工学部卒。専攻は情報工学。理屈っぽいコンテンツを作り散らかすことで生計を立てている。

1995年生まれ。愛知県出身。名古屋大学文学部卒。専攻は言語学。本業は雑誌編集者。著書に『会話の0.2秒を言語学する 』（新潮社）などがある。Podcast「神保町で会いましょう」のパーソナリティも務める。

Twitter→ https://x.com/yuru_mizuno

神保町で会いましょう→ https://open.spotify.com/show/6cYkvDO0HnJKLPgDBGUjjS