最適化をやってみたところ、 めんめんつさんとの議論で興味深い差が出てきたので、 もう少し深く考えてみる。