CONTENTS

数学的な完全性はこの世の中に実装され得ない。数学は常に近似で物理的に出現する。これは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

数学と理論物理学の双方で極めて重要な役割を果たす例外型リー群 E8、およびその無限次元の拡張や関連する代数構造（E∞）について、歴史的論文により理解を深める。 これらの群・代数は、単なる対称性の分類を超えて、弦理論（スト…
Read more

現代の法構造、インフラストラクチャ、テクノロジーは人間の認知を超えた複雑性を有する。したがって人間の個人の判断だと歴史的な積み上げのシーケンスが膨大になってくると常に不要だから外しても良いという軽率な判断になりうる。新し…
Read more