あれってクリストッフェルをテンソルとか言ってるよね。
非常に違和感がある。