darcs pullが遅すぎて作業にならなくなった．なんとなくではあるが， 時間的に古いパッチ列の間に時間的に新しいパッチ（基本的にconflictを解消するためのパッチ）をはさむ． darcs unread というのがパフォーマンスに悪影響を与えている気がする．とりあえ…