C1級の関数のグラフに対して自然に「転がる」が定義されるとして、
そこから、右側微分があるだけでも良いよねと拡張しただけなわけで、
そもそも離散点上でどのようになるって話になってない。