タグ: #theory

한국어English日本語中文

← すべての記事

• 普遍的な概念としての計算 — 何が堅牢で、何が誇張なのか

  Tim Roughgardenが教える「普遍的で根本的な概念としての計算」という講義が話題です。実際の中身は、停止性問題、アルゴリズムの効率、NP完全性、そしてPとNPを扱う堅実な計算理論です。この記事は、その堅牢な核心と、宇宙や心が文字どおり計算だという、より大きな主張とを切り分け、「すべては計算だ」がどこから反証不可能な言葉になるのかを問います。

  2026-07-11 · 14 分で読めます #computer-science#computation#complexity#theory#philosophy

• CAP定理をごまかさずに理解する

  「三つのうち二つを選ぶ」という定番の説明は間違いです。三つの文字がそれぞれ何を厳密に意味するのか、なぜ実際にはパーティションが起きたときだけCとAのあいだで選ぶのか、なぜPACELCがより完全な絵なのか、そしてDynamoやSpannerといった実システムがどこに立っているのかを、ごまかさずに押さえます。

  2026-06-23 · 23 分で読めます #distributed-systems#databases#theory