経路制御のお話。「最適」な経路制御といってもいろんな「最適」があるよ、ということ。ホップ数であるとか、リンクの物理的な距離、回線速度など。 で、その上で、最短パスルーティングを計算する。この場合、多くのアルゴリズムがある。一番有名なのは、ダ…

まずは、べき集合が非可算であることを示す。 可算とは自然数の集合Ｎから対象の集合Ｘへの上への関数が存在していることを指す。つまり、集合Ｘには対応していないＮが存在しないことになる。 ようするに、集合Ｘの要素にそれぞれ自然数の番号を付けていく…

対角線論法に関するお話。詳しくはWikipediaで「カントールの対角線論法」を参照。ここでかかれている、実数は非可算であるという証明についても、授業で説明があった。