情報科学 › ソフトウェア開発 › ネットワーク(TCP/IP)

IPv4 アドレスと CIDR プレフィックス

定義 4.1(「ネットワーク(TCP/IP)」§4)

IPv4 アドレスは 32 ビットの列で、8 ビットずつ 10 進で区切って 192.0.2.1 のように書きます。プレフィックス P=p/nP = p/n(0≤n≤320 \le n \le 32)とは、上位 nn ビットが pp の上位 nn ビットと一致する 32 ビット列全体の集合を指します。nn をプレフィックス長と呼びます。この表記法を CIDR(Classless Inter-Domain Routing)といいます。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。

関連するノック 2 問