CONTENTS

今日の月往復や惑星探査ロケットは、すべて以下の論文が敷いた数理的・物理的なレールの上を走ります。 1. ロケット工学・宇宙飛行の基礎 ■ コンスタンチン・ツィオルコフスキー（1903年） ツィオルコフスキーのロケット方程…
Read more

対話型証明はIP=PSPACEまで検証可能だが自己言及問題は自分が内部項の一要素になる以上、自然状態ではラッセルのパラドックスでPすらも解けない。 「自己言及（Self-reference）」が含まれる問題をそのままシス…
Read more

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

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

WACCの平均を超えるROICをチェックするSAT（UNSAT)ソルバー。 トポロジー、モジュラー、微分、PCP、ゴレイ符号、conflict driven clause learning、3 SAT、zkp、Arthu…
Read more

randomnessというリソースを用いることにより、4→3→2→1と還元し、23のゴレイ符号エラーチェックをしながら物質宇宙というチューリングマシンの出力を1にする一連の記号とシーケンスによる汎用的なpropositi…
Read more

数学的な完全性はこの世の中に実装され得ない。数学は常に近似で物理的に出現する。これはcontinuum vs discreteの制約条件があるからであり、時代が変わったとしてもこのルールは不変である。数学と物理をまたがる…
Read more

「Interactive Proof型事業DD」とは：検証者（投資家）が、証明者（起業家）に対して「ランダムなチャレンジ（質問・要求）」を提示し、それに対する証明者の「レスポンス（回答・エビデンス）」を複数ラウンドにわた…
Read more

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

NP ∩ coNP「NPかつcoNP」に属する、あるいは属すると予想されている具体的な問題 1. 素因数分解問題 (Integer Factorization) 現代の暗号理論の基礎であり、このクラスで最も有名な問題です…
Read more