Simple Science

最先端の科学をわかりやすく解説

最先端の科学をわかりやすく解説

Curtis Bright

人工知能 SAT解決への革新的アプローチ：MCTSとCnC

モンテカルロ木探索とキューブ＆コンカーを組み合わせると、SAT解決の効率が上がるよ。

2025-08-28T14:24:22+00:00 ― 1 分で読む

形式言語とオートマトン理論有限オートマトンと黄金比

有限オートマトンを使って、黄金比みたいな無理数の桁を計算する。

2025-07-29T12:08:13+00:00 ― 1 分で読む

暗号とセキュリティ SHA-256の課題と衝突攻撃の話

SHA-256のセキュリティと最近の衝突発見技術を調べる。

2025-07-22T22:59:48+00:00 ― 1 分で読む

暗号とセキュリティ整数因子分解技術の進展

新しいハイブリッド手法が暗号化の整数因数分解の効率を向上させる。

2025-07-22T22:51:54+00:00 ― 1 分で読む