オンライン整数列大辞典
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/11/09 08:25 UTC 版)
オンライン整数列大辞典 | |
---|---|
URL | |
oeis |
|
タイプ | データベース |
分野 | 整数列 |
使用言語 | 英語 |
項目数 | 300,000項目以上[1] |
閲覧 | 無料 |
著作権 | コピーライト[2] |
設立 | 1995年 |
設立者 | ニール・スローン |
管理人 | OEIS財団 (OEIS Foundation) |
現状 | 項目数増加中[3] |
オンライン整数列大辞典(オンラインせいすうれつだいじてん、On-Line Encyclopedia of Integer Sequences, 以下 OEIS)は、無料で利用可能な整数列(各項が整数である数列)のオンラインデータベースである。
2018年3月時点で30万を超える整数列の情報が収められており[1]、この種のデータベースとしては最大のものである。英単語や数列の一部分を入力することにより検索ができる。各々の項目は数列の名前に始まり、由来、参考文献、公式、キーワードなどの情報を含む。その他、数列を一定の規則で変換した音楽を聞くことができるといった遊び心もあり、数学の専門家から数学パズル愛好者まで幅広い利用者の興味を集めている。
コンテンツは基本的に全て英語である(各言語版も用意されているが、一部のごく簡単なメッセージが翻訳されているに過ぎない)。
歴史
アメリカの数学者ニール・スローンは、学生であった1960年半ば、組合せ論における自身の研究のために整数列のコレクションを始めた。当初はパンチカードでデータ整理されていた。彼はそのコレクションを二度、本として出版している。
- A Handbook of Integer Sequences (1973年, ISBN 0-12-648550-X):約2400個の整数列を含む。
- The Encyclopedia of Integer Sequences サイモン・プラウフとの共著 (1995年, ISBN 0-12-558630-2):5487個の整数列を含む。
これらの本は好評を博し、特に2冊目の出版の後は数学者たちが絶えずスローンに新しい整数列を知らせるようになった。コレクションは本の形式で出版するには膨大になりすぎたため、整数列が16000個を超えた1994年8月には電子メールサービスが始まり、直後の1995年にはウェブサイトが開設された。この活動のスピンオフとして、1998年に学術雑誌 Journal of Integer Sequences[4] が創刊された。
スローンは約40年にわたって「自分の」数列たちを一人で管理してきたが、2002年に編集委員会を結成し、2009年まで編集委員およびボランティアたちによってデータベースが維持されてきた。この間、1年あたり約1万個のペースで新しい整数列がデータベースに加わり、2004年11月7日、整数列の個数は10万個を突破した。データ量は、1995年の本に換算すれば750巻分に達した[5]。
2009年3月には、MediaWikiを用いたページが開設され、情報のやり取りに利用されている。2009年10月26日、スローンは OEIS の知的財産権をOEIS財団に委譲した[6]。
2011年11月に項目数が20万を突破し、2018年2月には項目数が30万を突破した。
サイトにおける慣習
データベースに登録されている全ての数列には6桁の識別番号 (ID number) が割り当てられており、先頭に A を付して表される。A000796 の代わりに A796 を用いるなど、しばしば先頭の 0 は省略される。
OEIS では ASCII によるプレーンなテキストのみが用いられるため、表記においてはいくつかの暗黙の了解がある。数列 f の第 n 項は f ( n ) と表す。当該項目の数列は a と表し、その他の数列は英語の名前もしくは ID で表す。また、ギリシャ文字は通常その英語名で表される。例えば μ は mu と表し、φ は phi と表す。
本記事においては、これらの慣習にならって基本的にローマン体の文字を用いる。
零の特殊な意味
0 はときどき「存在しない」ことを表すために用いられる。例えば、A104157 の第 n 項は「なるべく小さな n × n 個の連続した素数を用いて魔方陣を作ったときの、その最小の素数」である。明らかに a ( 1 ) は 2 である。a ( 3 ) を求めるのはやや難しいが 1480028129 である[7]。しかし、n = 2 のときはそのような魔方陣は存在しないため、a ( 2 ) は 0 とされている。
0 が本来の意味を持つ数列では、この用法として -1 が代わりに用いられることもある。例えば A072041 など。
整数でない数
OEIS においては整数が主役であるが、何らかの方法で整数列に変換することで、整数でない数も扱われていると言える。
有理数の列は、分子の列と分母の列の2つの整数列と見なせる。例えば、ファレイ数列 0/1, 1/1, 0/1, 1/2, 1/1, 0/1, 1/3, 1/2, 2/3, 1/1, … に対しては、その分子の列 0, 1, 0, 1, 1, 0, 1, 1, 2, 1, … (A006842) と分母の列 1, 1, 1, 2, 1, 1, 3, 2, 3, 1, … (A006843) がデータベースに収められている。
円周率 π = 3.1415926535897… は超越数であるが、各桁の数字を並べてできる整数列 3, 1, 4, 1, 5, 9, 2, 6, … (A000796) や、連分数展開してできる整数列 3, 7, 15, 1, 292, 1, … (A001203) がデータベースに収められている。
自己参照数列
OEIS の歴史の初期の段階から、多くの人々が OEIS 自身を用いてできる数列を登録するように主張してきた。このことについてスローンは次のように回想している。「一つにはデータベースの重要性を維持したいという気持ちから、また一つには A22 が 11 項しか知られていなかったことから、私はそのような数列を登録することを拒否してきました。」
以下、変数 n に対し、ID が n である数列は A_n で表す。スローンが比較的早くに登録を認めた自己参照数列に、a ( n ) = A_n の第 n 項(A031135、後に A091967)がある。当然この数列は有限である。また、第 91967 項は定義されていない。なお、この項目の存在が A000022 の先の項を求めることを促進した。
A100544 は第 n 項が A_n の初項に等しい数列である。しかし、数列の初項をどうすべきかは意見の相違があるため(オフセットの項を参照)、度々変更されるのが問題である。
n が数列 A_n に含まれるか、という問いを考えることにより、ある問題をはらんだ数列 A053873(含まれるような n の列)と A053169(含まれないような n の列)が考えられる。例えば A002808 は合成数の列であるから、合成数 2808 は A053873 に含まれる。A000040 は素数の列であるから、素数でない 40 は A053169 に含まれる。問題は 53169 や 53873 はどちらに含まれるか、ということである。53169 は A53169 に含まれるか含まれないかのどちらかである。含まれるとすれば、A53169 の定義より 53169 は A53169 に含まれないことになって矛盾する。含まれないとすれば、再び A53169 の定義より 53169 は A53169 に含まれることになってやはり矛盾する。この議論はラッセルのパラドックスによく似ている。
項目の主な欄の意味
本節は OEIS の各項目の主な欄についての解説である。
ID Number(識別番号)
OEIS に登録された全ての数列に割り振られた6桁の識別番号。先頭に A を付して表される。論文・本や外部のサイトにおいて数列を表すために「OEIS の A****** (A****** in OEIS)」 または単に「スローンの A****** (Sloane's A******)」のように書かれるほど世間に認知されている。
以前は現在とは別の識別番号が用いられていた。1973年出版の Handbook of Integer Sequences では、約2400個の数列が辞書式順序で並べられ、M が付された4桁の識別番号が与えられた。1995年出版の Encyclopedia of Integer Sequences では、5487個の数列がやはり辞書式順序で並べられ、N が付された4桁の識別番号が与えられた。これらの古い識別番号は、A が付いた新しい識別番号と同じく利用可能であり、この欄に記載されている。
Name(名前)
その数列の一般的な名前もしくは簡単な説明が記載されている。定義式が与えられている場合もある。例えば立方数の列 1, 8, 27, 64, 125, 216, 343, 512, … (A000578) の Name の欄には The cubes: a ( n ) = n^3 と記載されている。
Sequence(数列)
数列の先頭部分。大抵の場合4行ほどにわたって記載されているが、この部分だけ見ても、長い有限数列か無限数列かは区別できない。区別するためには Keyword の欄(後述)を見る必要がある。
Offset(オフセット)
ここで言うオフセットとは、初項が第何項であるか、ということである。すなわちオフセットが n のとき、初項は a ( n ) と表される。例えば、平方数の列 a ( n ) = n^2 (A000290) 0, 1, 4, 9, 16, 25, … のオフセットは 0 であるが、もし 1, 4, 9, 16, 25, … で始まるならオフセットは 1 である。ほとんどの数列のオフセットは 0 か 1 であるが、次のようにそれ以外のオフセットを持つ数列もある。
- A073502
- オフセットが 3 である数列の例。初項 a ( 3 ) は、なるべく小さな素数と 1 を用いて 3 × 3 の魔方陣を作ったときの、各行の和。以下、a ( n ) は n × n の魔方陣を考えたときのその値。
- A072171
- オフセットが -1 である数列の例。初項 a ( -1 ) は -1等星、すなわち視等級が -1.5 から -0.5 までの恒星の個数。-1等星はシリウスとカノープスのみであるから a ( -1 ) = 2 である。以下、a ( n ) は n 等星の恒星の個数(ただし、変光星や二重星をどう扱うかによって個数は変動する)。先の方では隣り合う項の比がほぼ一定になるという主張が興味深い。
時には初項に採用すべき項について意見が分かれることがある。例として、第 n 項が次の意味を持つ数列を考えよう。パンケーキに包丁を n 回入れて、なるべく多くのピースに分けたとき、ピースは何個になるか。1回ならば2個に、2回ならば4個に、3回ならば7個に切り分けることができる。OEIS におけるこの数列 A000124 は 1, 2, 4, 7, 11, 16, 22, 29, 37, … で始まる。初項の 1 は、包丁を1回も入れない場合のピースの個数を表している。すなわち、この数列のオフセットは 0 である。しかし、包丁を入れない場合を考えるのは無意味であるとの解釈もあり、MathWorld は 2 を初項としている[8]。
オフセットは重要な項目であるが、ときどき数列の投稿者が、デフォルトのオフセット 1 が適当かどうかをチェックすることを怠るために混乱がおこる。
Offset の欄には通常ふたつの数が記載されている。ひとつ目の数は上に説明された意味を持ち、ふたつ目の数は「絶対値が 1 より大きな数が初めて現れるのは初項から数えて何項目か」を表している。このふたつ目の数は、検索の速度を上げるのに役立っている。例えば、第 n 項が位数 n の群の個数である数列 A000001 は 1, 1, 1, 2 で始まり、その前に n の項が 0 である 0 が並んでいるので、オフセットの欄には 0, 5 と記載されている。また、全ての項が 0, 1, -1 のどれかならば、ふたつ目の数は 1 と記載される。
Comment(コメント)
この欄には、他の欄に記載されるのが適当でないあらゆる情報が記載される。他の数列との興味ある関係や、定義からすぐに導かれるわけではない応用例などである。
例えば Lekray Beedassy は立方数の列 A000578 に次の意味のコメントを与えている。「三角形の二辺を n 等分し、各等分点を向かい合う頂点と線分で結ぶ。その図形内に三角形は(重なりあっているものを含めて)n^3 個ある。」
各コメントにはそのコメントを書いた人の名前と日付が付けられているが、それが省略されている場合は、そのコメントを書いたのは数列を投稿した人である(Author の欄を参照)。
References(参考文献)
その数列を扱っている文献。多くは英語で書かれた論文や専門書である。
Links(リンク集)
関連するサイトへのリンク集。多くは個人的なサイトであり、そのサイトの著者名も記されている。
Formula(公式)
種々の公式が与えられている。その数列の各項を与える閉じた計算式(もし存在すればだが)をはじめ、漸化式や他の数列との関係式などもこの欄で与えられる。
Example(例)
ある項がなぜその数になるかの説明。定義だけでは意味が分かりにくい場合に、この欄が用意されていることがある。
Maple, Mathematica, Program(プログラム)
その数列を計算するためのプログラム。比較的簡単なコードで書かれており、計算効率は考慮されていないことが多い。Maple と Mathematica のプログラムには固有の欄が用意されるが、その他の数式処理ソフト(PARI/GP, Magma, MATLAB, Python, Excel など)によるプログラムはそのソフト名とともに一括して Program の欄に記載される。
Crossrefs(相互参照)
関連する数列への内部リンク。
Cf. の部分は、投稿者が関係が深いと認めた数列である。Adjacent sequences: の部分は、ID が近いいくつかの数列である。Sequence in context: の部分は、辞書式順序でその数列の前後にあるいくつかの数列である。ただし、OEIS における順序では、基本的に符号および先頭部分の 0, 1, -1 たちは無視する。
Keyword(キーワード)
OEIS は各々の数列を特徴付ける4文字程度のアルファベットの列をいくつか用意している[9][10][11]。
- allocated
- 投稿者のために割り当てられた数列であり、編集中または承認待ちの状態である。
- allocating
- 割り当ての過程においてこのキーワードが付けられることがある。
- base
- 定義が基数に依存することを意味する。例えば、回文素数の列 2, 3, 5, 7, 11, 101, 131, 151, 181, … (A002385) は10進法という特殊事情が大きく働いている。実際、2進法で表すとその多くは回文数にならない。ある意味でこのキーワードが付されるべきであっても、そのようになっていない数列もある。例えば、メルセンヌ素数の列 3, 7, 31, 127, 8191, 131071, … (A000668) はキーワード欄に base がないが、メルセンヌ素数は2進法に関するレピュニット素数とも解釈できる。
- bref
- その数列の知られている部分が非常に短い、もしくは次の項が非常に大きいために、3項以下しか表示されていないことを意味する。
- changed
- 最近編集されたことを意味する。
- cofr
- ある数の連分数展開により得られる数列であることを意味する。例えばネイピア数の連分数展開 (A003417) や、 円周率の連分数展開 (A001203) がある。
- cons
- ネイピア数 (A001113) や円周率 (A001203) などの、数学上の定数を各桁の数を並べて表した数列であることを意味する。
- core
- 素数列 (A000040) やフィボナッチ数列 (A000045) のように、数学的に重要な数列であることを意味する。しばしば nice キーワードとともに付与される。
- dead
- 二重に登録されたものや、文献に掲載された誤りを含む数列などのうち、削除されずに残されているものに付けられる。例えば、メルセンヌ素数の列 A000668 に対する A088552 などがある。
- dumb
- 主観的なキーワードの一つであり、重要でないことを意味するが、後述の less キーワードと重複する部分が大きいため、現在ではあまり用いられなくなった。数学的に意味のある解釈ができないものや数学に関係がないものがある。前者の例としては、円周率とネイピア数の各桁の数を交互に並べたもの (A001355) があり、後者の例としては、キーボードのテンキーの数字を螺旋状に読んだもの (A082390) がある。
- easy
- 数列の各項が簡単に計算できることを意味する。計算方法や数列自体の理解が難しい数列であっても、コンピューターで短時間のうちに計算できる手法が存在すればこのキーワードが付けられる。
- eigen
-
何らかの変換をしても自身が変化しない、固有数列 (eigensequence) であることを意味する。スローンは論文[12]において、ある数列の変換によって不変である数列を固有数列と名付けた。例えば、数列におけるオイラー変換とは次の式によって an を bn に移す変換である。
-
- オンライン整数列大辞典のページへのリンク