CONTENTS

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

ルシアン月次報告で何を見るか？ ルシアンが繊維消費財マーケットにおいて持つ歴史的経路依存性に基づいたproposition（命題）に対してproof construction（証明パス構築）が進んでいるか。proof v…
Read more

グローバルとはイリュージョンである。 チューリングの停止問題やヒルベルトの決定問題から言えることは、あらゆるアルゴリズムを解くことのできる汎用的なアルゴリズムはないので、ローカルアルゴリズムのライブラリーを作るしかないと…
Read more

チェスタトンの柵の考え方を採用するのであれば、なぜ行なっているかわからないことはそれがなぜ行われているのかを理解するまで取り外してはいけない。人間が思い浮かべるような戦争と平和と言う整数的な二元論における平和の実現とは究…
Read more

数学的真理の帰結は常に人間という個別ノードには理解し難い高次圏的概念であることを前提とすれば文明の選べる答えは質量を増して最後はブラックホール（エントロピーの減少）→蒸発、または地球から雲散霧消して質量を減らす（エントロ…
Read more