2021-03-07 訂正 きょう、公開する予定だった記事はあやまって未完成のまま (数分間ですが) 公開してしまいました。そのため、いったん記事をとりさげて、あした訂正版の再公開をおこないます。申し訳ございません。