週末返上で計算をやっているが、なかなか面倒で進まない。いや、少しずつ進んではいるようなのだが、なかなかnontrivialなことがある。しかしこれでうまく行っているはずなので、そう信じてやっていると、本当にそうなっていると確認できた時の感動がある。…