情報科学 › ソフトウェア開発 › ネットワーク(TCP/IP)
ドメイン名の階層と権威サーバ
ドメイン名 www.example.com. は、右端の根(ルート、空ラベル)から左へ com、example、www とたどる木のパスです。各ノードに対して、その配下の情報について正しい答えを返す責任を持つサーバを権威 DNS サーバといい、親のゾーンは子のゾーンの権威サーバを指す NS レコードだけを保持します。名前とアドレスの対応は A レコード(IPv4)、AAAA レコード(IPv6)として保持されます。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。