2017-05-17 執筆していました あんまり進まないですねぇ。 いつものことながら、イントロダクションを書くのが一番難しい… んじゃないかと思いますがどうでしょう。 計算は一応終わっているから本文はスルスル進むと信じたいですけれども。