これまたグロタンディーク起源らしいが、http://www.kurims.kyoto-u.ac.jp/EMIS/journals/AM/09-4/roger.pdf に何気なくちょっと書いてあった代数的微分作用素〈algebraic differential operator〉。Aは階付き可換代数とする。次数〈階数 degree | grade〉r…