結果 : functions as vector spaces