グラム・シュミットの直交化

目標：グラム・シュミットの直交化法を使って、基底から正規直交基底を作れる

前提：内積、ノルム、ベクトルの線形独立