ドキュメントの更新

いくつか古い表記があったので直しました．