CONTENTS

対話型証明は個別ノードよりも効率がよい。発表者がYes No判定できる命題を提示し、検証者は3SATになるよう導く必要がある。

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

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

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

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