2006-11-22 Berthelot/Ogus, Notes on Crystalline Cohomology, Princeton, 1978 book math 2章を読み直す.f の定義が書かれていない.X→S のことだろうが.微分作用素の合成のところでは f を別の意味でつかっている.