2004-06-30から1日間の記事一覧

図説 特攻 ふくろうの本(ISBN:4309760341)

お気に入りの図がたくさん入った「ふくろうの本」シリーズのひとつ。特攻の創設された経緯、具体的な戦果、特攻兵器の数々の紹介から、特攻隊の名前の由来までとてもたくさんの参考文献をうまく使いながらコンパクトにまとめた本。 特攻隊の人たちの屈託のな…

図書館

町の図書館に行く。とても立派な図書館で読みたい本をいくつも見つけるが、あえてやめておく。 本を読みながら、寝たらいつの間にか気を失う。

プロジェクトの発表

課題第2回の発表。思ったより自分の順番が早くて焦るけど、なんとかなる。

ネットワークソフトウェア特論

CIDRとVLSMについて。ネットワークマスクが1種類だとサブネットの大きさにばらつきがあった場合に使用効率が落ちる。よって、サブネットマスクの大きさをサブネットごとに設定できるようにしようというもの。ようするに、ノードの数が少ないサブネットはサ…

REC=RE∩co-RE

不思議な性質。計算可能集合=枚挙可能集合とco-枚挙可能集合の共通部分に等しいというもの。 証明だが=の定義を使う。つまり(REC⊆RE∩co-RE)∧(RE∩co-RE⊆REC)を証明すればよい。 右辺は明らか。REの方がより大きな概念である。証明では、定義から0で停止す…

計算の理論

枚挙可能集合の性質とその証明について。