Slide 21
Slide 21 text
○
؆୯ͳϨϕϧͰΑ͚Εɺ
͋Δ͖ܗͷએݴ ωοτϫʔΫஔͷઃఆ ͳͷͰʁ
○ ωοτϫʔΫஔΛઃఆ͢Δͱ ͦͷܗʹऩଋ͠Α͏ͱ͢Δɻͨͩ͠એݴͱͯ͠͏ͨΊʹ
͕݅͋Δ
○ DBOEJEBUFDPOpHΛɺBUPNJD ʹ DPNNJUͰ͖Δ͜ͱ
○ ଘࡏ͠ͳ͍ઃఆ OPEFMFUF͠ͳͯ͘
ফ͑Δ͜ͱ
• ຊʹٻΊ͍ͯΔͷͰͳ͍ɻϓϩτίϧ͕ఆ͢Δʮ͋Δ͖ܗʯ
ຊདྷͷϏδωεཁ݅ʹ߹Θͳ͍
○
❌ ,FFQBMJWF1%6͕ /ί࿈ଓͰམͪͳ͍
○
⭕ 1BDLFUMPTT/
○
⭕ ΩϟύγςΟͷ /·ͰτϥϑΟοΫΛͤΔ
宣⾔の抽象度・粒度の問題
•あるべき形をどう記述するか
•どう比較するか
•収束させるための手続きを どう汎用化するか
という問題は、あるべき形の宣言粒度を
プロトコルに合わせることで、「ネットワーク
機器の設定をどうモデル化するか」まで簡単に
できる。
( 私たちは初手として、それでOK )