陰計算

1970年代以前の数学において "umbral calculus"（陰影の算法、陰計算（いんけいさん））は、ある種の「証明」に用いられるある種の暗喩的手法と、それとは一見して無関係のはずの多項式方程式との間に横たわる驚くべき関係についていうものであった。これらの手法は John Blissard (1861) で導入されたもので、ブリサードの記号法 (Blissard's symbolic method) と呼ばれることもある。