カテゴリー: computability

言語で喋るから合成数が増えて既約性を失い、決定、判断ができなくなる。自然言語は補助として、記号とステップに置き換えて既約性を検証すれば素数性判定ができる。 口論で混乱する人がいるのは相手の言葉をそのまま処理するからである…
Read more

The Codified Preamble: Computational and Structural Tractability of AI When discussing Artificial Intelligence…
Read more

ハードウェアの物理的な限界（エンジニアリング）から、計算理論による下界の特定について 並列計算と計算複雑性理論の系譜（1967〜1995） 1. 黎明期：物理リソースの限界と「直列の壁」 📌 アムダールの法則（Amdah…
Read more

ヒットソングが飽きないのは、過去に確率的に生き残ったヒットソングの情報を網の目に組み合わせているからと言える。そうすると、論文も、過去の確率的に生き残ったロングセラーをつぎはぎに高次論理で繋ぎ合わせれば次のヒット論文を作…
Read more

It is traditional to view NP as the class of languages whose elements posses short proofs of membership. A “pr…
Read more

あらゆる言語による論理は記号に置き換えることができる。あるstatement(宣言)がyes or noで判断できる記号形式を取る時、それをproposition(命題)と呼ぶ。propositionがtrueであること…
Read more

立体は4色以上で塗り分け可能である。一方平面は1-4色で塗り分け可能である。3 colorableの判定はNP completeであるものの、現代のコンピューターはNP completeを3-SATに変換してCDCL(c…
Read more

1. DNAの「NP性」 ビジネスや人生の決断がなぜ難しいかというと、それがP問題（順番に計算すれば決定的に解ける問題）ではなく、NP困難 / 3SAT問題（選択肢の組み合わせが限りなく非決定的な有限問題）だからです。 …
Read more

Theory of Computation、コンピュテーションに関する論理は、観測者、参加者が人間であり、機械であれ、自然であれ、情報処理資源が限定されている（computationally limited）ことが前提と…
Read more

理論計算機科学分野の二大最高峰カンファレンス 1. STOC (Symposium on Theory of Computing) 2. FOCS (Foundations of Computer Science)