2. 自己紹介 ・名前 : 久保 達彦 ・ HatenaID:cubicdaiya ・ twitter:@cubicdaiya ・ HP:http://cccis.jp ・職業 : プログラマ，時々サーバ管理者

5. 今日の朝、最新版 (1.08) をリリースしました。

8. とりあえず 使ってみよう

9. 二つの文字列の差分を取る

10. 二つの int 型配列の差分を取る

11. template によって要素と要素列という形で抽象化されるので、 いろんな場面で活用できる ・文字列 ( 文字の列 ) ・ int 型の配列 ( 数値の列 ) ・テキストファイル ( 文字列から成る行の列 ) ・ etc

12. 三つの文字列をマージする

13. 変更箇所が衝突した場合

14. patch

15. dtlの内部構造

18. A から B への変換を実現するための 要素の追加と削除の合計回数 2 つの要素列を A と B とする C: 共通 , D: 削除 , A: 追加 Levenstein Distance = A(n) + D(n) = 4 A(n) = 2, D(n) =2 Levenstein Distance abcdef -> acbedf C a D b C c D d A b C e A d C f

19. 2 つの要素列を A と B とする C: 共通 , D: 削除 , A: 追加 LCS = (C a) + (C c) + (C e) + (C f) = acef LCS A と B の最長共通部分列 abcdef -> acbedf C a D b C c D d A b C e A d C f

20. 2 つの要素列を A と B とする C: 共通 , D: 削除 , A: 追加 SES これ A から B への変換を 最小の編集回数で行うための手順 abcdef -> acbedf C a D b C c D d A b C e A d C f

21. エディットグラフ

22. エディットグラフ a b c d e f d a c f e a (0, 0) (M, N) x 軸 y 軸

24. Diffとは

25. エディットグラフ上の点 (0, 0) から点 (M, N) (M=6, N=6) までの最短経路を求める問題 a b c d e f d a c f e a (0, 0) (M, N) x 軸 y 軸 コスト = 編集距離

27. 差分の計算はかなり重い処理なので効率的なアルゴリズムが必要

28. dtlにおける 差分の求め方

31. Δ = D a b c a b c d e f (3, 6) a (0, 0) Δ = 3

32. Δ ≠ D a b c d q q a b e f (0, 0) (4, 6) D=Δ の対角線からはみ出たらはみ出た分だけ戻ってこないといけない P Δ P

33. D=Δ+2P により、 探索範囲は以下のようになる (0, 0) (M, N) P Δ Ｐ ここまでが探索範囲

34. 探索の仕方

37. 対角線k = y - x p (p, 0) k = -p p Δ ｋ＝ Δ ｋ＝ Δ+p (0, 0) (M, N) x y

39. その他の機能の実装 について ちょこっと紹介

40. diff3の実装

41. dtlのマージ手順 1. 要素列 B と A の差分を取る (SES を SES_BA とする )2. 要素列 B と C の差分を取る (SES を SES_BC とする )3. SES_BA と SES_BC を先頭から比較していき、 A と C の変更点が組み合わされた要素列 S を生成する

42. patch の実装

43. patch は SES を使えば簡単 擬似コードです

46. 最後に もし C++ で diff したくなったり、 必要になったら是非使ってみてください。 バグレポートやパッチも大歓迎↓ http://code.google.com/p/dtl-cpp [email_address]

47. ご静聴ありがとうございました