CONTENTS

The physics of white dwarf matter https://ui.adsabs.harvard.edu/scan/manifest/1940MNRAS.100..582E W. A. Wildha…
Read more

1. 原子爆弾の科学的基礎（核分裂・連鎖反応の論文） 原爆の理論的・実験的根拠となった、1930年代末の極めて重要な物理学論文です。 2. マンハッタン計画・初期の技術報告 戦中から戦後直後にかけて、研究所や政府機関から…
Read more

Kissat https://fmv.jku.at/kissat Google OR-Tools miniSAT http://minisat.se/Papers.html

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

素数の研究は、2300年前の古代ギリシャから現代に至るまで、人類の至高の知性がバトンを繋いできた壮大な歴史です。 1. 古代・近代：素数の基礎と無限性の証明 初期の関心は「素数とは何か」「いくつあるのか」という根本的な問…
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

全身の骨格とインナーネット（骨膜、深層筋膜）をセンサリングした方が、表層の筋肉を意識するよりも良さそうである。特に、脳幹の近辺の環椎後頭関節の回転軸を起点に、骨膜と深層筋膜のネットワークが、上肢（手指）と下肢（足指）へ向…
Read more

単一組織の垂直統合は基本的に失敗する。なぜならばそれは3-SATの三体問題的ゲーム理論のパラドックスを内包しているからである。そして3-SATの弱点を把握して作られるエコシステムでは2-SATの検証コストの低さで勘違いし…
Read more

現代の参入障壁モデルの4要素 ① ハードウェア（参入障壁の土台） ② ソフトウェア（限界突破と運用の知能） ③ スペシャリスト（進化と運用のエコシステム） ④ キルスイッチ（絶対的な抑止力と生存戦略） このモデルが一般化…
Read more