>>384
正規直交化するというのと正規直交基底を作るというのは違うことですが。