isoイメージの作成 64bit版は日本語Rimix がないので，英語版64bitのisoイメージをダウンロード http://www.ubuntu.com/download/desktop md5 hash 値のありか https://help.ubuntu.com/community/UbuntuHashes

必要なもの smbfsパッケージ 接続方法 $ sudo mkdir /media/NAS $ sudo mount -t smbfs //(IP_adress)/(directory) /media/NAS -o username=(your_name),password=(your_password)

Java: The Good Parts を読んで印象に残ったことの覚え書き． 設計の2段階 Javaにおけるオブジェクトの設計は，大きく2段階ある（と思う）． 目的を決める = インターフェースの設計 戦略を考える = クラスの設計 インターフェースの良し悪し インターフェー…

メソッド名 原則 操作を行うメソッド 「操作を表す動詞」+「目的語」 add, remove, putChar, ... 値を返すメソッド 「戻り値を表す名詞」 size, length, ... 例外 ゲッタ get + 「フィールド名」 getId(); セッタ set + 「フィールド名」 setId(); 変換メソ…

（命題） 可算個の有限集合の和は可算である（証明） 可算個の有限集合を A1, A2, ... とし， その和集合を S = ∪i Ai とする． S が有限集合のとき 明らかに可算である． S が無限集合のとき Bi ∩ Bj = ∅ (i ≠ j) となるように 以下の規則で新たな集合Biを…

（命題） 任意の集合 S に対して， |S| < |P(S)|（証明） |S| ≤ |P(S)| であること |S| = |T| となる T ⊆ P(S) が存在することを示す． ここで T = { {x} | x ∈ S } を選べば，明らかに |S| = |T|． |S| ≠ |P(S)| であること 背理法を用いて示す． 一対一対…