CONTENTS

DNAコンピューティングとは、従来のパソコンのようなシリコン製の半導体チップ（電子回路）の代わりに、生体の遺伝情報である「DNA分子（A、T、G、Cの塩基配列）」を計算素子として利用する次世代の計算技術です。 Molec…
Read more

現在の宇宙物理学において、ダークマターの正体が原始ブラックホール（PBH）である確からしさは「有力な候補の一つだが、主役と言い切るにはまだ非常に厳しい制限がかかっている状態」です。 Black Holes in the …
Read more

物理学の理論上、温度には「これ以上は上がらない」という絶対的な上限（最高の温度）が存在します。 どこまでも無限に上昇するわけではありません。 最低の温度が「絶対零度（-273.15度）」と決まっているように、最高にも限界…
Read more

極限環境の比較一覧表 地球上の1気圧（$1.013 * 10^5 Pa）や室温（約300K）を基準にすると、核融合のスケールは次のように分類できます。 環境 中心温度 中心気圧 / 密度 起こっている現象 地球上（核融合…
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