【記事訂正：5月17日 19:30】 記事初出時の、複数箇所の誤記および不正確な記述を修正しました。誠に申し訳ありません。 修正内容の詳細は、記事末尾をご参照ください。