作用素値汎関数