データを1ビットも明かさずに、なぜ複数人で「合計」や「順位」だけを計算できるのか：秘密計算（MPC）とヤオの億万長者問題
Tags
29 ページ目
Computer Science
プログラムを1回も動かさずに、なぜ「絶対にバグが起きない」と証明できるのか：形式検証とモデル検査の科学
ロックを一切使わずに、どうやって複数スレッドで同じデータを書き換えるのか：ロックフリー処理とABA問題の科学
宇宙探査機の通信やQRコードは、なぜ一部が欠けてもデータを完全に復元できるのか：誤り訂正符号とシャノン限界の科学
誤差だらけのセンサーと不確かな予測から、なぜ宇宙船や自動運転車は「本当の現在地」を割り出せるのか：カルマンフィルタと状態推定の数理工学
小さな文字が潰れずに美しく読めるのはなぜか：フォント描画・ベジェ曲線・サブピクセルレンダリングの技術
騒がしい店内で3秒聴くだけで、なぜ曲名が一瞬でわかるのか：音響指紋（Shazam）と信号分離の仕組み
理論上は爆発するはずの難問を、なぜ現代のコンピュータは瞬時に解けるのか：SATソルバーと論理充足のアルゴリズム
「誰か」ではなく「何を持つか」で権限を決める：ケイパビリティによるセキュリティ設計
一文字も失わずに、なぜファイルを小さくできるのか：可逆圧縮の原理と限界——シャノン情報理論・ハフマン・算術符号・ANS・LZ77からLLMまで
昔のゲーム機をソフトウェアで再現できるのはなぜか：エミュレーションの仕組み——命令解釈、JIT動的再コンパイル、Fastmem、そしてサイクル精度の深淵
全員が相手を待つと、なぜ何も進まなくなるのか：デッドロックの理論と対策
速いだけでは不十分？：「時間に間に合う」を数理的に保証するリアルタイムOS（RTOS）とスケジューリング理論の深淵
秘密の存在そのものを隠せるのか：ステガノグラフィと情報を埋め込む技術
「複雑さ」は文字数では測れない：コルモゴロフ複雑性とランダムの正体
決められた手順から、どうやって「乱数」をつくるのか：予測不能性の技術
実行ファイルから元のプログラムは取り戻せるのか：逆コンパイルの可能性と限界
保存中に電源が切れても、なぜデータを守れるのか：クラッシュ整合性の設計
コンパイラ最適化技術：SSA（静的単一代入）とは
CAP定理とPACELC定理：分散データベースが抱えるジレンマ
