「マッピング」の版間の差分

5行目:

[[レギュラーテンペラメント]]は単なるピッチの集合以上のものである。[[純正律サブグループ]]からそのピッチ集合の特定の音高に対応付ける''一貫したルール''を持つものである。（「抽象的なレギュラーテンペラメント」は決まった音高の集合ですらない。ピッチは決まっておらず、対応付けるルールが示す構造がテンペラメントを特徴づける。）この一貫したルールは'''マッピング'''と呼ばれている。マッピングは「この純正律の音をこのテンペラメントのどの音で演奏すればいいの？」に答えるものである。答えはその純正律の音の「テンパーされたバージョン」で、それは状況によってかなり近く近似されたりかなり外れて近似されたりする。

単純に一番近い（四捨五入的な意味で）音で演奏すればいいんじゃないかと思うかもしれない、しかし、それは（通常）全くレギュラーテンペラメントにならない！それは一貫した結果を得られない。同じ純正音程が、現れた場所によって異なる音程にされてしまうのだ。レギュラーテンペラメントのマッピングというのはそれぞれの純正音程を常に''同じ''~~テンパーされた音程で表現する。結果として、複雑な純正音程はサイズ的に一番近い音程にはならないことが多い。~~

単純に一番近い（四捨五入的な意味で）音で演奏すればいいんじゃないかと思うかもしれない、しかし、それは（通常）全くレギュラーテンペラメントにならない！それは''一貫した''結果を得られない。同じ純正音程が、現れた場所によって異なる音程にされてしまうのだ。レギュラーテンペラメントのマッピングというのはそれぞれの純正音程を常に''同じ''テンパーされた音程で表現する。その際に一番近い音程にマップすることは必須ではないし、複雑な純正音程はサイズ的に一番近い音程にはならないことが多い。

== ~~A note on mathematical terminology~~ ==

== 数学用語との関係 ==

数学の用語で "mapping"（写像）は "map" や "function"（関数）の同義語であるが、RTTにおいては「マッピング」を{{w|線形写像}}の意味で使う。そして行列の形で取り扱う。

== ~~Equal temperament mappings~~ ==

== 平均律のマッピング ==

平均律、つまりランク1テンペラメントは単なる等間隔のピッチではない。平均律は

# ~~表現したい純正律サブグループ、例えば"5リミット純正律"~~

# 表現したい純正律サブグループ、例えば「5リミット純正律」

# その純正律サブグループの各音高から平均律音高（本質的には整数1個で表せる）へのマッピング

からなる。

例として、3リミットテンペラメントとしての[[12平均律]]を考えよう。具体的に話を進めるために、{{w|A440~~|A=440Hz~~}} を基準音とする。この場合純正律サブグループは[[3リミット]]~~で、つまり、全ての音高がA440から~~ 2 と 3 以外の素因数がない純正音程だけ隔たっている、そういうピッチ集合だということである。数式で書くと

例として、3リミットテンペラメントとしての[[12平均律]]を考えよう。具体的に話を進めるために、{{w|A440}}を基準音とする。この場合純正律サブグループは[[3リミット]]で、つまり、全ての音高が A=440 Hz から 2 と 3 以外の素因数がない純正音程だけ隔たっている、そういうピッチ集合だということである。数式で書くと

<math>\left\{440\cdot 2^a\cdot 3^b\,\middle|\,a,b\in\mathbb Z\right\}</math>

~~次は関数の出力側である12edoの音高を表すのに整数を導入する。A440~~ がノート番号 0、そこから上がった B♭ がノート番号 1、下がった A♭ がノート番号 −1、… ~~するとマッピングは素因数~~ 2 の1個当たり 12 ステップ、素因数 3 の1個当たり 19 ステップ（3/1 は 1901.955… セントだがこれを 1900 セントに丸める）であると表される。数式で書くと<math>12a + 19b</math>となる。よって、A440から 1/1 上がった音（つまりA440）はノート番号 0、A440から（以後省略）2/1 上がった音（以後省略）はノート番号 12、3/2 はノート番号 7、そして312/219（ピタゴラスコンマ）はノート番号 0 （A440から動かない）となる。

次に関数の出力側である12edoの音高を表すのに整数を導入する。A440 がノート番号 0、そこから上がった B♭ がノート番号 1、下がった A♭ がノート番号 −1、… とするとマッピングは素因数 2 の1個当たり 12 ステップ、素因数 3 の1個当たり 19 ステップ（3/1 は 1901.955… セントだがこれを 1900 セントに丸める）であると表される。数式で書くと<math>12a + 19b</math>となる。よって、A440から 1/1 上がった音（つまりA440）はノート番号 0、A440から（以後省略）2/1 上がった音（以後省略）はノート番号 12、3/2 はノート番号 7、そして312/219（ピタゴラスコンマ）はノート番号 0 （A440から動かない）となる。

=== ~~Contrast with rounding~~ ===

=== 四捨五入との比較 ===

336/257 で表されるピッチを考える。純正律では、これはA440から 70.38… セント上がった音であり、12edoの音高ではB♭が一番近い。しかし、上記マッピングを適用するなら、これはノート番号 1（B♭）ではなく 0 （A）にマップされることになる。なぜかといえば、336/257 ~~はピタゴラスコンマを3回積み上げたものであり、ピタゴラスコンマが~~ 0 ~~ステップである以上それを3個積んでも0ステップである（3個目だけ1ステップになったりしない~~; ~~それが線形で一貫だということ）のでやっぱりA440のままでなければならないのである。これがマッピングと四捨五入の違いである。~~

336/257 で表されるピッチを考える。純正律では、これはA440から 70.38… セント上がった音であり、12edoの音高ではB♭が一番近い。しかし、上記マッピングを適用するなら、これはノート番号 1（B♭）ではなく 0 （A）にマップされることになる。なぜかといえば、336/257 はピタゴラスコンマを 3 回積み上げたものであり、ピタゴラスコンマが 0 ステップである以上それを 3 個積んでも 0 ステップである（3 個目だけ 1 ステップになったりしない; それが線形で一貫だということ）のでやっぱりA440のままでなければならないからである。これがマッピングと四捨五入の違いである。

=== ~~Notation~~ ===

=== 記法 ===

RTTにおいてこのようなマッピングのための特別な記法がある。上記の3リミット12平均律は {{val| 12 19 }} と書かれる。最初の素数（2）は 12 ステップにマップされ、次の素数（3）は 19 ステップにマップされるという意味である。数学的に言うならこれは "マッピング行列" で、マッピングの情報をとてもコンパクトに表している。これはランク1テンペラメントなのでマッピング行列は1行であり、またこれは3リミットテンペラメントなのでマッピング行列は2列でそれぞれ素数 2 と素数 3 ~~を表している。（ブラ記法で書かれた1行だけのマッピング行列（あるいはマッピング行列の中の行）を~~[[ヴァル]]~~と呼ぶ。）~~

RTTにおいてこのようなマッピングのための特別な記法がある。上記の3リミット12平均律は {{val| 12 19 }} と書かれる。最初の素数（2）は 12 ステップにマップされ、次の素数（3）は 19 ステップにマップされるという意味である。数学的に言うならこれは "マッピング行列" で、マッピングの情報をとてもコンパクトに表している。これはランク1テンペラメントなのでマッピング行列は 1 行であり、またこれは3リミットテンペラメントなのでマッピング行列は 2 列でそれぞれ素数 2 と素数 3 を表している。ブラ記法で書かれた1行だけのマッピング行列（あるいはマッピング行列の中の行）を[[ヴァル]]と呼ぶ。

=== ~~Many 12edo temperaments~~ ===

=== 様々な12平均律 ===

今度は3リミットではなく5リミットテンペラメントとしての12平均律を考える。このテンペラメントは全ての3リミット純正音程を上記と同じようにマップするが、それだけではなくそれ以外の5リミット純正音程も扱う。そのマッピング行列は {{val| 12 19 28 }} となる。技術的に言うとこれは {{val| 12 19 }} とは''異なる''レギュラーテンペラメントであるが、一般的な用語としてはどちらも「12平均律」と呼ばれる。

さらに11リミットの12平均律を考える。そのマッピング行列は？それは 11/8 を「だいぶシャープなD」と考えるか「だいぶフラットなD♯」と考えるかによって変わる。マッピングはそれぞれ {{val| 12 19 28 34 41 }} と {{val| 12 19 28 34 42 }} となる。後者のほうがより正確な 11/8 を持つが、前者は 12/11 を含むいくつかの音程がより正確になる。RTT流に言えば、オクターブを12等分する11リミットテンペラメントは2個あるということである。「11リミット12平均律」という言い方ではマッピングを特定できていなく、つまり特定のテンペラメントを指し示せていない。

さらに11リミットの12平均律を考える。そのマッピング行列は？それは 11/8 を「だいぶシャープなD」と考えるか「だいぶフラットなD♯」と考えるかによって変わる。マッピングはそれぞれ {{val| 12 19 28 34 41 }} と {{val| 12 19 28 34 42 }} となる。後者のほうがより正確な 11/8 を持つが、前者は 12/11 を含むいくつかの音程がより正確になる。RTT流に言えば、オクターブを12等分する11リミットテンペラメントは 2 個あるということである。「11リミット12平均律」という言い方ではマッピングを特定できていなく、つまり特定のテンペラメントを指し示せていない。

厳密に言えば、「5リミット12平均律」や「3リミット12平均律」ですら同様に曖昧である、なぜなら例えば {{val| 12 19 27 }} だって有効なテンペラメントだからである（{{val| 12 19 28 }} よりずっと不正確ではあるが）。このテンペラメントでは 5/4 ~~が12edoの3ステップ（300~~ セント）で表される。もちろん実用上は高リミットにならないとこの曖昧性は問題にならない。

厳密に言えば、「5リミット12平均律」や「3リミット12平均律」ですら同様に曖昧である、なぜなら例えば {{val| 12 19 27 }} だって有効なテンペラメントだからである（{{val| 12 19 28 }} よりずっと不正確ではあるが）。このテンペラメントでは 5/4 が12edoの 3 ステップ（300 セント）で表される。もちろん実用上は高リミットにならないとこの曖昧性は問題にならない。

== ~~Linear temperament mappings~~ ==

== リニアテンペラメントのマッピング ==

1本の等間隔ピッチのチェーンではないテンペラメントを考える。例として異名同音なし（C♯とD♭をあくまで別物とする）の伝統的記法を考える。全ての音高はオクターブと完全4度の組み合わせとして記述できる。例えば

45行目:

言い換えると、全ての音高は整数の組 (''x'', ''y'') で表され、''x'' がオクターブの個数（負なら下がるほう）、''y'' が完全4度の個数である。

== ~~Temperamental rank~~ ==

== テンペラメントのランク ==

テンペラメントの「ランク」（階数）はそのテンペラメントの中（写像先）に独立した方向のジェネレーターチェーンがいくつあるかを示している。これは群論と線形代数由来の用語である。それはテンペラメントのマッピングの次元数だともみなせる。

テンペラメントの「ランク」（階数）はそのテンペラメントの中（写像先）に独立した方向の[[ジェネレーターとピリオド|ジェネレーターチェーン]]がいくつあるかを示している。これは群論と線形代数由来の用語である。それはテンペラメントのマッピングの次元数だともみなせる。

例:

# 平均律はランク1である。それ全体があるジェネレーターの積み重ねとして存在している。

# 2個のジェネレーター（慣習的に[[ジェネレーターとピリオド|順にピリオドとジェネレーター]]ともいう）からなるテンペラメントはランク2である。ミーントーンがいい例で、5度の積み重ねとオクターブの積み重ねという独立したジェネレーターチェーンを持ち2次元の格子を構成している。

# 2個のジェネレーター（慣習的に順にピリオドとジェネレーターともいう）からなるテンペラメントはランク2である。ミーントーンがいい例で、5度の積み重ねとオクターブの積み重ねという独立したジェネレーターチェーンを持ち2次元の格子を構成している。

# 3個のジェネレーター（ピリオドと2個のジェネレーターともいう）からなるテンペラメントはランク3である。5リミット純正律は（何もテンパーしていないので通常「テンペラメント」とは呼ばないが、ともかく）ランク3でありジェネレーターは 2/1、3/1、5/1である（2/1, 3/2, 5/4でもよい）。

# 7リミット純正律はランク4であり、11リミット純正律はランク5であり、13リミット純正律はランク6であり、…

@@ 5行目: / 5行目: @@
 [[レギュラーテンペラメント]]は単なるピッチの集合以上のものである。[[純正律サブグループ]]からそのピッチ集合の特定の音高に対応付ける''一貫したルール''を持つものである。（「抽象的なレギュラーテンペラメント」は決まった音高の集合ですらない。ピッチは決まっておらず、対応付けるルールが示す構造がテンペラメントを特徴づける。）この一貫したルールは'''マッピング'''と呼ばれている。マッピングは「この純正律の音をこのテンペラメントのどの音で演奏すればいいの？」に答えるものである。答えはその純正律の音の「テンパーされたバージョン」で、それは状況によってかなり近く近似されたりかなり外れて近似されたりする。
-単純に一番近い（四捨五入的な意味で）音で演奏すればいいんじゃないかと思うかもしれない、しかし、それは（通常）全くレギュラーテンペラメントにならない！ それは一貫した結果を得られない。同じ純正音程が、現れた場所によって異なる音程にされてしまうのだ。レギュラーテンペラメントのマッピングというのはそれぞれの純正音程を常に''同じ''テンパーされた音程で表現する。結果として、複雑な純正音程はサイズ的に一番近い音程にはならないことが多い。
+単純に一番近い（四捨五入的な意味で）音で演奏すればいいんじゃないかと思うかもしれない、しかし、それは（通常）全くレギュラーテンペラメントにならない！ それは''一貫した''結果を得られない。同じ純正音程が、現れた場所によって異なる音程にされてしまうのだ。レギュラーテンペラメントのマッピングというのはそれぞれの純正音程を常に''同じ''テンパーされた音程で表現する。その際に一番近い音程にマップすることは必須ではないし、複雑な純正音程はサイズ的に一番近い音程にはならないことが多い。
-== A note on mathematical terminology ==
+== 数学用語との関係 ==
 数学の用語で "mapping"（写像）は "map" や "function"（関数）の同義語であるが、RTTにおいては「マッピング」を{{w|線形写像}}の意味で使う。そして行列の形で取り扱う。
-== Equal temperament mappings ==
+== 平均律のマッピング ==
 平均律、つまりランク1テンペラメントは単なる等間隔のピッチではない。平均律は
-# 表現したい純正律サブグループ、例えば"5リミット純正律"
+# 表現したい純正律サブグループ、例えば「5リミット純正律」
 # その純正律サブグループの各音高から平均律音高（本質的には整数1個で表せる）へのマッピング
 からなる。
-例として、3リミットテンペラメントとしての[[12平均律]]を考えよう。具体的に話を進めるために、{{w|A440|A=440Hz}} を基準音とする。この場合純正律サブグループは[[3リミット]]で、つまり、全ての音高がA440から 2 と 3 以外の素因数がない純正音程だけ隔たっている、そういうピッチ集合だということである。数式で書くと
+例として、3リミットテンペラメントとしての[[12平均律]]を考えよう。具体的に話を進めるために、{{w|A440}}を基準音とする。この場合純正律サブグループは[[3リミット]]で、つまり、全ての音高が A=440 Hz から 2 と 3 以外の素因数がない純正音程だけ隔たっている、そういうピッチ集合だということである。数式で書くと
 <math>\left\{440\cdot 2^a\cdot 3^b\,\middle|\,a,b\in\mathbb Z\right\}</math>
-次は関数の出力側である12edoの音高を表すのに整数を導入する。A440 がノート番号 0、そこから上がった B&#x266D; がノート番号 1、下がった A&#x266D; がノート番号 &minus;1、… するとマッピングは素因数 2 の1個当たり 12 ステップ、素因数 3 の1個当たり 19 ステップ（3/1 は 1901.955… セントだがこれを 1900 セントに丸める）であると表される。数式で書くと<math>12a + 19b</math>となる。よって、A440から 1/1 上がった音（つまりA440）はノート番号 0、A440から（以後省略）2/1 上がった音（以後省略）はノート番号 12、3/2 はノート番号 7、そして3<sup>12</sup>/2<sup>19</sup>（ピタゴラスコンマ）はノート番号 0 （A440から動かない）となる。
+次に関数の出力側である12edoの音高を表すのに整数を導入する。A440 がノート番号 0、そこから上がった B&#x266D; がノート番号 1、下がった A&#x266D; がノート番号 &minus;1、… とするとマッピングは素因数 2 の1個当たり 12 ステップ、素因数 3 の1個当たり 19 ステップ（3/1 は 1901.955… セントだがこれを 1900 セントに丸める）であると表される。数式で書くと<math>12a + 19b</math>となる。よって、A440から 1/1 上がった音（つまりA440）はノート番号 0、A440から（以後省略）2/1 上がった音（以後省略）はノート番号 12、3/2 はノート番号 7、そして3<sup>12</sup>/2<sup>19</sup>（ピタゴラスコンマ）はノート番号 0 （A440から動かない）となる。
-=== Contrast with rounding ===
+=== 四捨五入との比較 ===
-<sup>36</sup>/2<sup>57</sup> で表されるピッチを考える。純正律では、これはA440から 70.38… セント上がった音であり、12edoの音高ではB&#x266D;が一番近い。しかし、上記マッピングを適用するなら、これはノート番号 1（B&#x266D;）ではなく 0 （A）にマップされることになる。なぜかといえば、3<sup>36</sup>/2<sup>57</sup> はピタゴラスコンマを3回積み上げたものであり、ピタゴラスコンマが 0 ステップである以上それを3個積んでも0ステップである（3個目だけ1ステップになったりしない; それが線形で一貫だということ）のでやっぱりA440のままでなければならないのである。これがマッピングと四捨五入の違いである。
+<sup>36</sup>/2<sup>57</sup> で表されるピッチを考える。純正律では、これはA440から 70.38… セント上がった音であり、12edoの音高ではB&#x266D;が一番近い。しかし、上記マッピングを適用するなら、これはノート番号 1（B&#x266D;）ではなく 0 （A）にマップされることになる。なぜかといえば、3<sup>36</sup>/2<sup>57</sup> はピタゴラスコンマを 3 回積み上げたものであり、ピタゴラスコンマが 0 ステップである以上それを 3 個積んでも 0 ステップである（3 個目だけ 1 ステップになったりしない; それが線形で一貫だということ）のでやっぱりA440のままでなければならないからである。これがマッピングと四捨五入の違いである。
-=== Notation ===
+=== 記法 ===
-RTTにおいてこのようなマッピングのための特別な記法がある。上記の3リミット12平均律は {{val| 12 19 }} と書かれる。最初の素数（2）は 12 ステップにマップされ、次の素数（3）は 19 ステップにマップされるという意味である。数学的に言うならこれは "マッピング行列" で、マッピングの情報をとてもコンパクトに表している。これはランク1テンペラメントなのでマッピング行列は1行であり、またこれは3リミットテンペラメントなのでマッピング行列は2列でそれぞれ素数 2 と素数 3 を表している。（ブラ記法で書かれた1行だけのマッピング行列（あるいはマッピング行列の中の行）を[[ヴァル]]と呼ぶ。）
+RTTにおいてこのようなマッピングのための特別な記法がある。上記の3リミット12平均律は {{val| 12 19 }} と書かれる。最初の素数（2）は 12 ステップにマップされ、次の素数（3）は 19 ステップにマップされるという意味である。数学的に言うならこれは "マッピング行列" で、マッピングの情報をとてもコンパクトに表している。これはランク1テンペラメントなのでマッピング行列は 1 行であり、またこれは3リミットテンペラメントなのでマッピング行列は 2 列でそれぞれ素数 2 と素数 3 を表している。ブラ記法で書かれた1行だけのマッピング行列（あるいはマッピング行列の中の行）を[[ヴァル]]と呼ぶ。
-=== Many 12edo temperaments ===
+=== 様々な12平均律 ===
 今度は3リミットではなく5リミットテンペラメントとしての12平均律を考える。このテンペラメントは全ての3リミット純正音程を上記と同じようにマップするが、それだけではなくそれ以外の5リミット純正音程も扱う。そのマッピング行列は {{val| 12 19 28 }} となる。技術的に言うとこれは {{val| 12 19 }} とは''異なる''レギュラーテンペラメントであるが、一般的な用語としてはどちらも「12平均律」と呼ばれる。
-さらに11リミットの12平均律を考える。そのマッピング行列は？ それは 11/8 を「だいぶシャープなD」と考えるか「だいぶフラットなD&#x266F;」と考えるかによって変わる。マッピングはそれぞれ  {{val| 12 19 28 34 41 }} と {{val| 12 19 28 34 42 }} となる。後者のほうがより正確な 11/8 を持つが、前者は 12/11 を含むいくつかの音程がより正確になる。RTT流に言えば、オクターブを12等分する11リミットテンペラメントは2個あるということである。「11リミット12平均律」という言い方ではマッピングを特定できていなく、つまり特定のテンペラメントを指し示せていない。
+さらに11リミットの12平均律を考える。そのマッピング行列は？ それは 11/8 を「だいぶシャープなD」と考えるか「だいぶフラットなD&#x266F;」と考えるかによって変わる。マッピングはそれぞれ  {{val| 12 19 28 34 41 }} と {{val| 12 19 28 34 42 }} となる。後者のほうがより正確な 11/8 を持つが、前者は 12/11 を含むいくつかの音程がより正確になる。RTT流に言えば、オクターブを12等分する11リミットテンペラメントは 2 個あるということである。「11リミット12平均律」という言い方ではマッピングを特定できていなく、つまり特定のテンペラメントを指し示せていない。
-厳密に言えば、「5リミット12平均律」や「3リミット12平均律」ですら同様に曖昧である、なぜなら例えば {{val| 12 19 27 }} だって有効なテンペラメントだからである（{{val| 12 19 28 }} よりずっと不正確ではあるが）。このテンペラメントでは 5/4 が12edoの3ステップ（300 セント）で表される。もちろん実用上は高リミットにならないとこの曖昧性は問題にならない。
+厳密に言えば、「5リミット12平均律」や「3リミット12平均律」ですら同様に曖昧である、なぜなら例えば {{val| 12 19 27 }} だって有効なテンペラメントだからである（{{val| 12 19 28 }} よりずっと不正確ではあるが）。このテンペラメントでは 5/4 が12edoの 3 ステップ（300 セント）で表される。もちろん実用上は高リミットにならないとこの曖昧性は問題にならない。
-== Linear temperament mappings ==
+== リニアテンペラメントのマッピング ==
 本の等間隔ピッチのチェーンではないテンペラメントを考える。例として異名同音なし（C&#x266F;とD&#x266D;をあくまで別物とする）の伝統的記法を考える。全ての音高はオクターブと完全4度の組み合わせとして記述できる。例えば
@@ 45行目: / 45行目: @@
 言い換えると、全ての音高は整数の組 (''x'', ''y'') で表され、''x'' がオクターブの個数（負なら下がるほう）、''y'' が完全4度の個数である。
-== Temperamental rank ==
+== テンペラメントのランク ==
-テンペラメントの「ランク」（階数）はそのテンペラメントの中（写像先）に独立した方向のジェネレーターチェーンがいくつあるかを示している。これは群論と線形代数由来の用語である。それはテンペラメントのマッピングの次元数だともみなせる。
+テンペラメントの「ランク」（階数）はそのテンペラメントの中（写像先）に独立した方向の[[ジェネレーターとピリオド|ジェネレーターチェーン]]がいくつあるかを示している。これは群論と線形代数由来の用語である。それはテンペラメントのマッピングの次元数だともみなせる。
 例:
 # 平均律はランク1である。それ全体があるジェネレーターの積み重ねとして存在している。
-# 2個のジェネレーター（慣習的に[[ジェネレーターとピリオド|順にピリオドとジェネレーター]]ともいう）からなるテンペラメントはランク2である。ミーントーンがいい例で、5度の積み重ねとオクターブの積み重ねという独立したジェネレーターチェーンを持ち2次元の格子を構成している。
+# 2個のジェネレーター（慣習的に順にピリオドとジェネレーターともいう）からなるテンペラメントはランク2である。ミーントーンがいい例で、5度の積み重ねとオクターブの積み重ねという独立したジェネレーターチェーンを持ち2次元の格子を構成している。
 # 3個のジェネレーター（ピリオドと2個のジェネレーターともいう）からなるテンペラメントはランク3である。5リミット純正律は（何もテンパーしていないので通常「テンペラメント」とは呼ばないが、ともかく）ランク3でありジェネレーターは 2/1、3/1、5/1である（2/1, 3/2, 5/4でもよい）。
 # 7リミット純正律はランク4であり、11リミット純正律はランク5であり、13リミット純正律はランク6であり、…