カテゴリー: 08-NEWS

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

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

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

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

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

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

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

アメリカで成功した人の講演やアメリカで成功したヘッジファンドには一つ致命的な論理の穴がある。それはworst scenario caseへの数学lower boundへの配慮が抜けているのである。そしてこれは第一原理であ…
Read more

1. 「難しさ（Hardness）を乱数に変える」 まず、「計算問題が難しいということは、予測不可能（＝乱数と同じ）ということだ」という逆転の発想を数理的に定式化したのが、ニサンとヴィグダーソンの論文です。 2. P ≠…
Read more