CONTENTS

状態（男性） 巡航速度（時速） 1kmあたりのペース(120bpm) 1500m通過タイム(120bpm) 1500m最速タイム(175〜185bpm+) ①運動不足 時速 5.5 km 10分54秒 /km 16分21…
Read more

高強度の無酸素運動で体を追い込まないと試合に勝てないというのは幻想であり、低強度(120-150bpm)の有酸素運動で処理できる情報量を増やすというソフトウェア駆動型ハードウェアトレーニングの方が主流になっている。 Wh…
Read more

①Yes/Noで判定できる命題の定義②命題充足条件の決定(3-SAT)③NP-completeのCDCLによるsatisficing computationから製造業を捉えると、一般経済論としての需給予測、整数計画法が成…
Read more

対話型証明は個別ノードよりも効率がよい。発表者が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