正規化向量

配方
使用的 Opam 套件