カテゴリー: 08-NEWS

https://www.math.ias.edu/~avi/PUBLICATIONS/GopalanMeRaSiWi_2025.pdf 主体Aが問題xについて考える時、Aとxは時間変化した場合に互いの位置がどう遷移したか…
Read more

安易な割引は、最終的に利益ギリギリの不毛な均衡へ自滅的に向かっていくという現象は、経済学やゲーム理論において古くから数理的に証明されてきた、囚人のジレンマ的パラドックスです。このパラドックスは過学習と局所最適が適切にされ…
Read more

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

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

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