カテゴリ
4 ページ目
コンピュータ科学
プログラムを1回も動かさずに、なぜ「絶対にバグが起きない」と証明できるのか：形式検証とモデル検査の科学
理論上は爆発するはずの難問を、なぜ現代のコンピュータは瞬時に解けるのか：SATソルバーと論理充足のアルゴリズム
全員が相手を待つと、なぜ何も進まなくなるのか：デッドロックの理論と対策
速いだけでは不十分？：「時間に間に合う」を数理的に保証するリアルタイムOS（RTOS）とスケジューリング理論の深淵
