
正規数は、 60の累乗(または、同等に30の累乗)を均等に割り切れる数です。同様に、これらは2、3、5のみが素約数である数です。たとえば、 60 2 = 3600 = 48 × 75 なので、 60 の累乗の約数として 48 と 75 は両方とも正規数です。
これらの数字は数学とその応用のさまざまな分野で発生し、研究分野によって異なる名前が付けられています。
- 数論では、これらの数は5 滑らかな数と呼ばれます。これは、これらの数が2、3、または 5 のみを素因数として持つと特徴付けられるためです。これは、より一般的なk滑らかな数、つまりkより大きい素因数を持たない数の特殊なケースです。
- バビロニア数学の研究では、60 の累乗の約数は正規数または正規 60 進数と呼ばれ、バビロニア人が数字の表記に使用した60 進数 (基数 60) の記数法がバビロニア数学の中心であったため、この分野では非常に重要です。
- 音楽理論では、 5 度限界 純正律の音の比率に規則的な数が現れます。音楽理論や関連する建築理論に関連して、これらの数は調和整数と呼ばれています。
- コンピュータサイエンスでは、通常の数は、これらの数を昇順で生成するコンピュータアルゴリズムを見つける問題を提案したリチャード・ハミングにちなんで、ハミング数と呼ばれることがよくあります。この問題は、関数型プログラミングのテストケースとして使用されてきました。
数論
正式には、正則数は、非負の整数、、 に対しての形式の整数です。このような数は の約数です。正則数は 5平滑数とも呼ばれ、その最大の素因数が 5 以下であることを示します。 [2]より一般的には、k平滑数は、その最大の素因数がk以下である数です。[3]
最初のいくつかの通常の数字は[2]
オンライン整数列百科事典には、 5次元の滑らかな数列を含む定義がいくつか掲載されている。 [4]
正則数は 1 から 60 の範囲内では密集しているように見えますが、より大きな整数の間ではかなりまばらです。正則数が何らかのしきい値以下となるのは、点が座標平面と平面で囲まれた 四面体に属する場合に限ら れます。これは不等式の両辺の対数を取ればわかります。したがって、最大で である正則数の数は、この四面体の 体積として見積もることができ、これは です。 さらに正確には、大文字の O 記法 を使用すると、 までの正則数の数はで あり 、この近似の誤差項は実際には であると推測されています。[2] までの 3 次元滑らかな数の個数に関する同様の式は、シュリニヴァーサ・ラマヌジャンがGH ハーディへの最初の手紙 で示しています。[5]
バビロニアの数学
バビロニアの60進法では、通常の数の逆数は有限の表現を持つ。が を割り切る場合、 の60進法表現は の表現をいくつかの桁だけシフトしたものになる。これにより、これらの数による割り算が簡単になり、 で割り、 を掛け、シフトする。[6]
たとえば、通常の数 54 = 2 1 3 3による割り算を考えてみましょう。54 は 60 3の約数であり、 60 3 /54 = 4000 なので、60 進法で 54 で割るには、4000 を掛けて 3 桁ずらします。60 進法では、4000 = 1×3600 + 6×60 + 40×1、または (Joyce が挙げているように) 1:6:40 です。したがって、60 進法の 1/54 は 1/60 + 6/60 2 + 40/60 3であり、バビロニアの表記法では最初の数字の累乗が指定されていなかったため、1:6:40 とも表記されます。逆に、1/4000 = 54/60 3なので、1:6:40 = 4000 による除算は、代わりに 54 を掛けて 60 進数の 3 桁をシフトすることで実行できます。
バビロニア人は、通常の数の逆数の表を使用しており、その一部は今でも残っています。[7]これらの表は、バビロニア時代を通じてほとんど変更されていませんでした。[6]セレウコス朝時代のイナキビト・アヌという人物が書いた粘土板には、6桁の通常の数231のうち、1桁目が1または2である136の逆数が順番にリストされています。また、3 23 (60進数では2 1 4 8 3 0 7) など、6桁を超える数の逆数も含まれています。この逆数は、60進数で17桁です。これらの数の計算とソートの難しさに注目したドナルド・クヌースは、 1972年にイナキビト・アヌを「現代の電子計算機で1秒以上かかる計算問題を解いた歴史上最初の人物」と称賛しました。 (非正規数の逆数の近似値を示す表が2つ知られており、そのうちの1つは56から80までのすべての数の逆数を示している。)[8] [9]
正数の方が他の数よりも好まれる主な理由は、その逆数が有限であることに関係しているが、逆数以外のバビロニアの計算にも正数が使われていた。例えば、正方数の表が見つかっており[6]、壊れた粘土板プリンプトン 322 は、によって生成される正方数かつ 60 未満のピタゴラス数列を列挙しているとノイゲバウアーによって解釈されている[10]。ファウラーとロブソンは平方根の計算について論じており、例えばバビロニア人はどのようにして2 の平方根 の近似値を見つけたのか、おそらく 17/12 のような分数の正数近似値を使っていたのかもしれない[9] 。
音楽理論
音楽理論では、全音階の純正律には規則的な数字が関係している。つまり、この音階の1オクターブ内の音高は、ほぼ連続する規則的な数字のシーケンス 24、27、30、32、36、40、45、48 の数に比例する周波数を持つ。[11]したがって、このチューニングの楽器では、すべての音高は単一の基本周波数の規則的な数の倍音である。この音階は 5限界チューニングと呼ばれ、任意の2 つの音高間の間隔は 2 i 3 j 5 kから 5 までの素数の累乗として、または同等に規則的な数の比として記述できることを意味する。[12]
西洋音楽でおなじみの全音階以外の 5 限界音階も、他の文化の伝統音楽と現代の実験音楽の両方で使用されています。Honingh と Bod (2005) は、より大規模な音階データベースから抽出した 31 の異なる 5 限界音階をリストしています。これら 31 の音階はそれぞれ、全音階の純正律と同様に、すべての音程が規則的な数の比率であるという特性を持っています。 [ 12] オイラーのトネッツは、オクターブ関係 (2 の累乗) を因数分解して残りの値が平面グリッドを形成するようにすることで、5 限界チューニングのピッチを便利にグラフィカルに表現します。[12]一部の音楽理論家は、より一般的に、規則的な数は調性音楽自体の基本であり、5 より大きい素数に基づくピッチ比は協和音にはならないと述べています。[13]しかし、現代のピアノの平均律は5を限界とする調律ではなく、[14]現代の作曲家の中には5より大きい素数に基づいた調律を実験している人もいます。[15]
音楽理論への正則数の応用に関連して、1 だけ異なる正則数のペアを見つけることは興味深い。そのようなペアはちょうど 10 個あり、それぞれのペアは音楽の音程として意味のある超特定比を定義する。これらの音程は、2/1 (オクターブ)、3/2 (完全五度)、4/3 (完全四度)、5/4 (正確な長三度)、6/5 (正確な短三度)、9/8 (正確な長音)、10/9 (正確な短音)、16/15 (正確な全音階半音)、25/24 (正確な半音階半音)、および 81/80 (シントニックコンマ) である。[16]
ルネサンスの普遍的調和理論では、音楽の比率は建築物などの他の用途にも使用されていました。これらの共通の音楽と建築の比率の分析に関連して、たとえばパラディオの建築では、規則的な数は調和整数とも呼ばれています。[17]
アルゴリズム
正規の数字を昇順で計算するアルゴリズムは、エドガー・ダイクストラによって普及しました。ダイクストラ (1976、1981) は、すべての 5 次元滑らかな数の無限昇順を構築する問題をハミングの問題としました。この問題は現在ハミングの問題として知られており、このようにして生成された数字はハミング数とも呼ばれています。これらの数字を計算するダイクストラのアイデアは次のとおりです。
- ハミング数列は 1 から始まります。
- シーケンスの残りの値は、、および の形式になります。ここで、は任意のハミング数です。
- したがって、値 1 を出力し、シーケンス、、およびをマージすることによってシーケンスを生成できます。
このアルゴリズムは、生成された値ごとに定数回の算術演算を使用する(暗黙的に)並行で効率的な実装が上記のように簡単に構築できるため、遅延関数型 プログラミング言語の威力を示すためによく使用されます。同様に効率的な厳密な関数型または命令型の順次実装も可能ですが、明示的に並行する生成ソリューションは簡単ではない可能性があります。[18]
Pythonプログラミング言語では、規則的な数値を生成する遅延関数型コードが、言語実装の正確さを検証する組み込みテストの1つとして使用されています。[19]
クヌース (1972) が論じた関連した問題は、桁の 60 進数をすべて昇順に並べることである (上記の #バビロニア数学 を参照)。アルゴリズム的に言えば、これは から までの正則数の無限列の部分列を (順番に) 生成することと同等である。[ 8] これらの数を順序どおりに生成せず、その後ソートするコンピュータ コードの初期の説明については、ジンゲリッチ (1965) を参照。[20]クヌースは、6 桁の数字をより速く生成するアドホック アルゴリズム (彼が Bruins (1970) に帰属) について説明しているが、これは のより大きな値には直接一般化できない。[8] エップスタイン (2007) は、 の任意の値に対してこのタイプの表を線形時間で計算するアルゴリズムについて説明している。[21]
その他のアプリケーション
ヘニンガー、レインズ、スローン(2006)は、が正数で8で割り切れる場合、次元極値偶ユニモジュラー格子の生成関数は多項式のan乗であることを示している。 [22]
他のクラスの滑らかな数と同様に、正則数は、時間とともに変化するデータ内の信号の主要な周波数を分析する技術である高速フーリエ変換を実行するコンピュータプログラムの問題サイズとして重要です。たとえば、テンパートン(1992)の方法では、変換の長さが正則数である必要があります。[23]
プラトンの『国家』第8巻には、 60 4 = 12,960,000という非常に規則的な数とその約数(プラトンの数を参照)を中心とした結婚の寓話が含まれている。後の学者たちは、この一節を説明するためにバビロニアの数学と音楽理論の両方を持ち出した。[24]
竹の特定の種は、一定の年数と推定される間隔で(マスティングと呼ばれるプロセス)、同期して大量の種子を放出します。種によって間隔は異なり、10、15、16、30、32、48、60、120年の間隔の例があります。 [25]このプロセスのタイミングと同期をとる生物学的メカニズムは、滑らかな数字、特にこの場合は5滑らかな数字に適しているという仮説があります。他のいくつかの竹の種の推定マスティング間隔は、一定の年数ではありませんが、これは測定誤差として説明できる可能性があります。[25]
注記
- ^ Erkki Kurenniemi による「Chords,scales, and divisor lattices」の同様の図からインスピレーションを得ています。
- ^ abc スローン「A051037」。
- ^ ポメランス(1995年)。
- ^ OEIS は 5 滑らかさを含むシーケンスを検索します。
- ^ ベルント&ランキン(1995年)。
- ^ abc アーボエ(1965年)。
- ^ サックス(1947年)。
- ^ abc クヌース(1972年)。
- ^ ab ファウラー&ロブソン(1998)。
- ^ この解釈の一般的な扱いについては、Conway & Guy (1996) を参照してください。Plimpton 322 には他の解釈もありますが、その記事を参照してください。ただし、すべて通常の数字が関係しています。
- ^ クラーク(1877年)。
- ^ abc Honingh & Bod (2005).
- ^ たとえば、アスムッセン (2001) は、「調性音楽のどの楽曲でも」すべての音程は規則的な数の比率でなければならないと述べており、これはハーベンス (1889) などのかなり以前の著述家による同様の発言を反映している。現代の音楽理論の文献では、この主張はロンゲ=ヒギンズ (1962) によるものとされることが多い。ロンゲ=ヒギンズは、5 限界音程を整理するためにトネツに密接に関連するグラフィカルな配置を使用した。
- ^ コピーエズ(2003年)。
- ^ ウルフ(2003年)。
- ^ Halsey & Hewitt (1972) は、これが Størmer の定理(Størmer 1897)に従うことを指摘し、この場合の証明を提供しています。Silver (1971) も参照してください。
- ^ ハワード&ロングエア(1982年)。
- ^ 例えば、Hemmendinger (1988) または Yuen (1992) を参照。
- ^ test_generators.py の関数 m235。
- ^ ジンゲリッチ(1965年)。
- ^ エップスタイン(2007年)。
- ^ ヘニンガー、レインズ&スローン(2006年)。
- ^ テンパートン(1992年)。
- ^ バートン(1908);マクレイン(1974)。
- ^ ab ヴェラー、ノワク、デイビス (2015).
参考文献
- Aaboe, Asger (1965)、「セレウコス朝の数学表(拡張された正数の逆数と平方数)」、楔形文字研究ジャーナル、19 (3)、アメリカ東洋研究学校:79–86、doi:10.2307/1359089、JSTOR 1359089、MR 0191779、S2CID 164195082。
- Asmussen, Robert (2001)、バロックとクラシックのハーモニーの分析の基礎としての正弦波周波数の周期性: コンピューターベースの研究(PDF)、博士論文、リーズ大学、オリジナル(PDF)から2016-04-24 にアーカイブ、 2007-03-15 に取得。
- バートン、ジョージ A. (1908)、「プラトンの婚姻数のバビロニア起源について」、アメリカ東洋学会誌、29、アメリカ東洋学会: 210–219、doi :10.2307/592627、JSTOR 592627。
- ベルント、ブルース C.、ランキン、ロバート アレクサンダー編 (1995)、ラマヌジャン: 手紙と解説、数学史、第 9 巻、アメリカ数学会、p. 23、Bibcode :1995rlc..book.....B、ISBN 978-0-8218-0470-4。
- Bruins, EM (1970)、「La construction de la grande table le valeurs réciproques AO 6456」、Finet, André (ed.)、Actes de la XVII e Rencontre Assyriologique Internationale、Comité belge de recherches en Mésopotamie、pp. 99– 115。
- クラーク、AR(1877年1月)、「純正律」、ネイチャー、15(377):253、Bibcode:1877Natur..15..253C、doi:10.1038/015253b0。
- コンウェイ、ジョン H. ;ガイ、リチャード K. (1996)、コペルニクスの数の書、pp. 172–176、ISBN 0-387-97993-X。
- ダイクストラ、エドガー W. (1976)、「17. RW ハミングによる演習」、プログラミングの規律、プレンティス ホール、pp. 129–134、ISBN 978-0132158718
- Dijkstra, Edsger W. (1981)、Hamming's exercise in SASL (PDF)、レポート EWD792。もともとは個人的に配布された手書きのメモ。
- エップスタイン、デイビッド(2007)、範囲制限付きハミング問題。
- ファウラー、デイビッド、ロブソン、エレノア (1998)、「古代バビロニア数学における平方根近似:YBC 7289 の文脈」(PDF)、Historia Mathematica、25 (4): 366–378、doi : 10.1006/hmat.1998.2209、375ページ。
- ジンゲリッチ、オーウェン(1965)、「11桁の正六十進数とその逆数」、アメリカ哲学協会紀要、55(8)、アメリカ哲学協会:3–38、doi:10.2307/1006080、JSTOR 1006080。
- Habens, Rev. WJ (1889)、「音楽の音階について」、Proceedings of the Musical Association、16、Royal Musical Association: 16th Session、p. 1、JSTOR 765355。
- Halsey, GD; Hewitt, Edwin (1972)、「音楽における超特殊比について」、American Mathematical Monthly、79 (10)、Mathematical Association of America: 1096–1100、doi :10.2307/2317424、JSTOR 2317424、MR 0313189。
- ヘメンディンガー、デイヴィッド (1988)、「Prolog における「ハミング問題」」、ACM SIGPLAN Notices、23 (4): 81–86、doi :10.1145/44326.44335、S2CID 28906392。
- ヘニンガー、ナディア; レインズ、EM;スローン、NJA (2006)、「生成関数のn乗根の整数性について」、 Journal of Combinatorial Theory、シリーズ A、113 (8): 1732–1745、arXiv : math.NT/0509316、doi :10.1016/j.jcta.2006.03.018、MR 2269551、S2CID 15913795} です。
- Honingh, Aline; Bod, Rens (2005)、「凸性と音楽オブジェクトの整形式性」、Journal of New Music Research、34 (3): 293–303、doi :10.1080/09298210500280612、S2CID 16321292。
- ハワード、デボラ、ロンゲア、マルコム(1982年5月)「調和的比例とパラディオのクアトロ・リブリ」、建築歴史家協会誌、41(2):116–143、doi:10.2307/989675、JSTOR 989675
- Knuth, DE (1972)、「古代バビロニアのアルゴリズム」(PDF)、Communications of the ACM、15 (7): 671–677、doi :10.1145/361454.361514、S2CID 78299451976年のCACM 19(2)には、タブレットには興味のある数字231個すべては含まれていないと訂正が掲載されている。訂正された記事は、短い補遺とともにSelected Papers on Computer Science、CSLI Lecture Notes 59、Cambridge Univ. Press、1996年、185~203ページに掲載されているが、元の論文に含まれていた付録は掲載されていない。
- コピエズ、ラインハルト(2003)「和声音程のイントネーション:熟練したミュージシャンの平均律と純正律への適応性」、ミュージック・パーセプション、20(4):383–410、doi:10.1525/mp.2003.20.4.383
- ロンゲ=ヒギンズ、HC(1962)、「音楽仲間への手紙」、ミュージック・レビュー(8月):244-248。
- マクレイン、アーネスト G. (1974)、「プラトンの『国家』における音楽的な「結婚」」"、音楽理論ジャーナル、18(2)、デューク大学出版局:242-272、JSTOR 843638。
- ポメランス、カール(1995)、「数論的アルゴリズムにおける滑らかな数の役割」、国際数学者会議の議事録、第 1 巻、第 2 巻 (チューリッヒ、1994 年)、バーゼル: ビルクハウザー、pp. 411–422、MR 1403941。
- サックス、AJ (1947)、「バビロニアの数学テキスト。I. 正規の六十進数の逆数」、楔形文字研究ジャーナル、1 (3)、アメリカ東洋研究学校: 219–240、doi :10.2307/1359434、JSTOR 1359434、MR 0022180、S2CID 163783242。
- シルバー、AL リー (1971)、「ミュージマティクスまたは尼僧のバイオリン」、アメリカ数学月刊誌、78 (4)、アメリカ数学協会: 351–357、doi :10.2307/2316896、JSTOR 2316896。
- Sloane, N. J. A. (編)、「シーケンス A051037 (5 滑らかな数)」、整数シーケンスのオンライン百科事典、 OEIS Foundation
- Størmer、Carl (1897)、「Pell x 2 − Dy 2 = ±1 et leurs application」、Skrifter Videnskabs-selskabet (Christiania)、Mat.-Naturv。 Kl.、私(2)。
- テンパートン、クライヴ(1992)、「任意のN = 2 p 3 q 5 rに対する一般化素因数FFTアルゴリズム」、SIAM Journal on Scientific and Statistical Computing、13(3):676–686、doi:10.1137/0913039、S2CID 14764894。
- Veller, Carl; Nowak, Martin A.; Davis, Charles C. (2015 年 5 月)、「離散的増殖によって進化した竹の開花間隔の延長」、Ecology Letters、18 (7): 653–659、Bibcode :2015EcolL..18..653V、doi :10.1111/ele.12442、PMID 25963600
- ウルフ、ダニエル・ジェームズ(2003年3月)、「代替チューニング、代替調性」、コンテンポラリー・ミュージック・レビュー、22(1–2):3–14、doi:10.1080/0749446032000134715、S2CID 191457676
- Yuen, CK (1992)、「ハミング数、遅延評価、および積極的な廃棄」、ACM SIGPLAN Notices、27 (8): 71–75、doi :10.1145/142137.142151、S2CID 18283005。
外部リンク
- クラーク大学の David E. Joyce 教授の Web サイトから引用した、3600 までの正数の逆数の表。
- RosettaCode 約 50 のプログラミング言語でのハミング数の生成
