カテゴリー: infinitude

会社が停滞する、赤字になる最大の理由は下界（Lower Bound）の特定をせずに、期待値がマイナスの決定を続けているからである。 1. 多くの企業が陥る「上界（upper bound）の幻影」 赤字に陥る、あるいは新規…
Read more

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

情報を開示しても秘匿しても証明能力の上限に違いは生まれない。 1. 情報の開示と秘匿による証明能力の等価性 AM, Arthur-Merlin game or User-Expert game 検証者（アーサー）が用いる…
Read more

Theory of computationを日本語訳したいのだが、日本語にしてしまうと射像がたりず、意味が失われてしまう単語をどう表現すべきなのか。真のComputationは決定性、非決定性を扱うコミュニティである。コ…
Read more

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

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

Overcoming the “Impossible” Distributed Consensus Mathematicians identifies distributed computing …
Read more

確率は当てにするものではない。数学的証明を導くための随伴であり、探索センサーのようなものである。どんなに確率が高かったとしても100％が証明されていない以上は始めるべきではない。 NP=PCP(O (log n), O(…
Read more

PCP定理（Probabilistically Checkable Proofs Theorem）は、計算複雑性理論の一つで「巨大で複雑な証明も、ごく一部をランダムにチェックするだけで、その正しさを（高い確率で）判定でき…
Read more

1. 誕生の舞台：マンハッタン計画 (1940年代) 第二次世界大戦中、アメリカのロスアラモス国立研究所では、原子爆弾の開発（マンハッタン計画）が進められていました。 2. 命名：フォン・ノイマンの合流 ウラムはこのアイ…
Read more