func-svm.r バグ修正

VC theory: Growth function. Sauer's ineq の証明は講義ではしないことにしました。それよりも VC次元の例などを出したほうが分かりやすいでしょう。

dropping the redundant constraints in standard form LP. extended foundamental theorem の詳細を理解していないので、あとで確認。