これはコンピュータサイエンスにおける最も美しい洞察です