>>479のどこでΔf(x)=f(x+1)-f(x)を線型写像だと定義してるというのだろうか