| 語1 | 語2 | スコア | 共起ページ数 |
|---|
| 税込 | 通常価格 | 2.87433 | 20 |
| Ivan | Risti | 2.831329 | 20 |
| まとめ | 演習問題 | 2.755467 | 32 |
| 型検査器の実装 | 型検査器を動かしてみる | 2.711521 | 24 |
| n月刊ラムダノートVol | に掲載された記事 | 2.704138 | 20 |
| 特別価格 | 税込 | 2.58904 | 19 |
| CSP | HSTS | 2.541733 | 14 |
| CSP | ピニング | 2.541733 | 14 |
| 拡張 | 暗号スイート | 2.533224 | 16 |
| StartCom | 社のセキュリティ侵害 | 2.533224 | 16 |
| Risti | の全訳です | 2.355921 | 14 |
| n月刊ラムダノートVol | 本書は | 2.345666 | 20 |
| しかし実際にサーバやアプリで通信の暗号化を適切に利用するには | 現代生活を支えるインターネットでは暗号化が不可欠です | 2.310717 | 12 |
| しかし実際にサーバやアプリで通信の暗号化を適切に利用するには | 暗号化アルゴリズムの知識だけでなく | 2.310717 | 12 |
| セキュリティプロトコルであるTLSとそのWebでの応用 | 暗号化アルゴリズムの知識だけでなく | 2.310717 | 12 |
| 2nd | Edition | 2.310717 | 12 |
| Webセキュリティが現在の姿へと至った背景を理解し | の全訳です | 2.310717 | 12 |
| HSTS | ピニング | 2.237186 | 12 |
| Handshake | プロトコル | 2.225677 | 10 |
| Ivan | の全訳です | 2.213204 | 13 |
| Risti | Webセキュリティが現在の姿へと至った背景を理解し | 2.213204 | 13 |
| 特別価格 | 通常価格 | 2.124835 | 14 |
| DHパラメータの強度を見極める | Heartbleedに対する挙動を調べる | 2.097328 | 8 |
| Edition | Ivan | 2.067218 | 12 |
| Ivan | Webセキュリティが現在の姿へと至った背景を理解し | 2.067218 | 12 |
| Bulletproof | TLS | 2.036416 | 20 |
| Bulletproof | TLSとPKIの全体像を体系的かつ具体的に語った | 2.019719 | 12 |
| Leanによりソフトウェアを開発するための基礎を身に付けます | 動作するプログラムとして自然数と整数を構築することで | 1.997432 | 8 |
| Leanによりソフトウェアを開発するための基礎を身に付けます | 数学の形式化に興味がある数学者はもちろん | 1.997432 | 8 |
| 数学に挑戦したいプログラマーや | 数学の形式化に興味がある数学者はもちろん | 1.997432 | 8 |
| エディタ上でコードを書いている最中から | 現代の開発環境では | 1.997432 | 8 |
| エディタ上でコードを書いている最中から | 実行もせずにエラーが判明することがあります | 1.997432 | 8 |
| コードの補完でも | 実行もせずにエラーが判明することがあります | 1.997432 | 8 |
| コードの補完でも | 文脈に適した候補が魔法のように提示されてきます | 1.997432 | 8 |
| こうした機能で中心的な役割を果たすのが | 文脈に適した候補が魔法のように提示されてきます | 1.997432 | 8 |
| こうした機能で中心的な役割を果たすのが | 型システム | 1.997432 | 8 |
| では | なぜ型システムはプログラムのエラーを早期に発見したり | 1.997432 | 8 |
| なぜ型システムはプログラムのエラーを早期に発見したり | 適切な補完候補を絞り出せたりするのでしょうか | 1.997432 | 8 |
| 背景となる数学の理論を教科書で学ぶ以外に | 適切な補完候補を絞り出せたりするのでしょうか | 1.997432 | 8 |
| 型システムで何ができるのか | 背景となる数学の理論を教科書で学ぶ以外に | 1.997432 | 8 |
| どのように機能するかを知る道はないのでしょうか | 型システムで何ができるのか | 1.997432 | 8 |
| AST | TypeScriptのサブ言語に対する型検査器を実装しながら | 1.997432 | 8 |
| AST | 抽象構文木 | 1.997432 | 8 |
| や処理系の実装を通してプログラミングへの理解を深めるように | 抽象構文木 | 1.997432 | 8 |
| や処理系の実装を通してプログラミングへの理解を深めるように | 型検査器の実装を通して | 1.997432 | 8 |
| 型システムのしくみ | 型検査器の実装を通して | 1.997432 | 8 |
| を覗いてみましょう | 型システムのしくみ | 1.997432 | 8 |
| コンピュータセキュリティの解説書の著者であり | 原著者 | 1.997432 | 8 |
| コンピュータセキュリティの解説書の著者であり | セキュリティ製品の開発者である | 1.997432 | 8 |
| 10年以上に及ぶ調査研究の成果である著書 | セキュリティ製品の開発者である | 1.997432 | 8 |