ワイルスピノルの計算にはかなり慣れてきた。