>>752
「編集距離がたしかに距離であることを示せ」
割と知られた本の割と知られた問題を書くぐらいだったら、ねw