「差分」バックアップの話

バックアップが面倒だなと思った。実際にバックアップなんてあまり真面目にやってない。 無駄に容量食ってない? という疑念が頭を離れないのでやる気がしないのですね。 じゃあ、変更しそうなファイルだけを人間が選択してバックアッ …

Continue reading ‘「差分」バックアップの話’ »

LLRBツリー(Left-Leaning Red-Black Tree)

平衡二分木の世界では近年では赤黒木(Red-Black Tree, RB-tree)が標準的である。追加、検索、削除がそれぞれ最悪O(log N)というすぐれものだが、場合分けが多く実装はけっこう面倒だ。 赤黒木というの …

Continue reading ‘LLRBツリー(Left-Leaning Red-Black Tree)’ »

Firefoxのsqlite DBファイルをvacuum

sqliteにもvacuumあるらしいですね。作り直してコピーするという内容らしいですが、作って消して…と繰り返しているDBはかなり小さくなるという噂。 sqliteは便利です。ほかのプログラムに組み込みやすいし、設定も …

Continue reading ‘Firefoxのsqlite DBファイルをvacuum’ »

Windows DVDメーカー

便利ですね。Windowsだから有料のソフトになるのかなぁと思ってダメモトでスタートメニューの検索に「dvd」と入れてみたら、まさかの標準添付。操作も単純すぎるところがなかなか良い。 入力の動画フォーマットはcodecが …

Continue reading ‘Windows DVDメーカー’ »