haruya12.hatenadiary.org面白かった。そのあと、ツイッターでこの式から を導いて を導いていたものがあったが、発掘できなかった。あまり関係ないが、 を思い出した。そしてこれから、 になる。なお、ここで、 に を代入すると となる。