※追記　頑張って計算して書いた日記だけど、書いている間に元のページが消されたらしい（Webアーカイブ）。消されたということは取り下げたということだろうから、おかしいと気づ...