正標数において、通常の導分の部分加群である可積分導分（m-integrable derivations）を考える。これはHasse-Schmidt derivationから誘導されるもので、正標数の特異点に対してとくに興味深いものである。本講演では、可積分導分の加群に現れる leapsと呼ばれる集合に着目する。 主結果としてleaps が有限集合であることを示す。この結果は Narváez Macarro によって提起された問題への肯定的解答を与え、さらに \infty-integrable derivationsの coherent 性を導く。 Hasse-Schmidt derivationなどについて基礎的事項から解説する予定である。