2012-06-01から1ヶ月間の記事一覧

VirtualBox の仮想 HDD イメージ(.VDI)圧縮

以前に書いたけれど Ubuntu では run level 1 の起動方法が違ってハマったためまとめなおし。手順は 1) ゲストで空き領域をゼロで埋め、 2) ホストでイメージを圧縮、となる。以下詳細。 ゲスト Ubuntu での操作 zerofree コマンドで空き領域をゼロで埋める…

数字を桁ごとに分解する方法

最近「すごいHaskell 楽しく学ぼう!」という本を買い、ちまちま読み進めているところ。第 6 章に「すみません。各桁の数の合計が 40 になる最初の自然数は何でしょうか?」というお題があって、これの解説中に map digitToInt . show という式があって、感…