#形式手法

2 件 · すべてのタグ

📡 Events

October 27, 2026

「指数時間仮説は偽である」：OpenAIが提示した決定性アルゴリズムと検証権の行方

OpenAI理論計算機科学形式手法計算量理論

October 18, 2026

Lean 4.35に4つのカーネルが同梱：証明検査器そのものを形式証明する新時代

Lean形式手法AIコード監査コンパイラ