オンライン整数列大辞典

提供: miniwiki
移動先:案内検索
オンライン整数列大辞典
URL
oeis.org/classic/
タイプ データベース
分野 整数列
使用言語 英語
項目数 300,000項目以上[1]
閲覧 無料
著作権 コピーライト[2]
設立 1995年
設立者 ニール・スローン
管理人 OEIS財団 (OEIS Foundation)
現状 項目数増加中[3]

オンライン整数列大辞典(オンラインせいすうれつだいじてん、On-Line Encyclopedia of Integer Sequences, 以下 OEIS)は、無料で利用可能な整数列(各項が整数である数列)のオンラインデータベースである。

2018年3月時点で30万を超える整数列の情報が収められており[1]、この種のデータベースとしては最大のものである。英単語や数列の一部分を入力することにより検索ができる。各々の項目は数列の名前に始まり、由来、参考文献、公式、キーワードなどの情報を含む。その他、数列を一定の規則で変換した音楽を聞くことができるといった遊び心もあり、数学の専門家から数学パズル愛好者まで幅広い利用者の興味を集めている。

コンテンツは基本的に全て英語である(各言語版も用意されているが、一部のごく簡単なメッセージが翻訳されているに過ぎない)。

歴史

アメリカの数学者ニール・スローンは、学生であった1960年半ば、組合せ論における自身の研究のために整数列のコレクションを始めた。当初はパンチカードでデータ整理されていた。彼はそのコレクションを二度、本として出版している。

  1. A Handbook of Integer Sequences (1973年, ISBN 0-12-648550-X):約2400個の整数列を含む。
  2. 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 はときどき「存在しない」ことを表すために用いられる。例えば、テンプレート:OEIS2C の第 n 項は「なるべく小さな n × n 個の連続した素数を用いて魔方陣を作ったときの、その最小の素数」である。明らかに a ( 1 ) は 2 である。a ( 3 ) を求めるのはやや難しいが 1480028129 である[7]。しかし、n = 2 のときはそのような魔方陣は存在しないため、a ( 2 ) は 0 とされている。

0 が本来の意味を持つ数列では、この用法として -1 が代わりに用いられることもある。例えば テンプレート:OEIS2C など。

整数でない数

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, … (テンプレート:OEIS2C) と分母の列 1, 1, 1, 2, 1, 1, 3, 2, 3, 1, … (テンプレート:OEIS2C) がデータベースに収められている。

円周率 π = 3.1415926535897… は超越数であるが、各桁の数字を並べてできる整数列 3, 1, 4, 1, 5, 9, 2, 6, … (テンプレート:OEIS2C) や、連分数展開してできる整数列 3, 7, 15, 1, 292, 1, … (テンプレート:OEIS2C) がデータベースに収められている。

自己参照数列

OEIS の歴史の初期の段階から、多くの人々が OEIS 自身を用いてできる数列を登録するように主張してきた。このことについてスローンは次のように回想している。「一つにはデータベースの重要性を維持したいという気持ちから、また一つには A22 が 11 項しか知られていなかったことから、私はそのような数列を登録することを拒否してきました。」

以下、変数 n に対し、ID が n である数列は A_n で表す。スローンが比較的早くに登録を認めた自己参照数列に、a ( n ) = A_n の第 n 項テンプレート:OEIS2C、後に テンプレート:OEIS2C)がある。当然この数列は有限である。また、第 91967 項は定義されていない。なお、この項目の存在が テンプレート:OEIS2C の先の項を求めることを促進した。

テンプレート:OEIS2C は第 n 項が A_n の初項に等しい数列である。しかし、数列の初項をどうすべきかは意見の相違があるため(オフセットの項を参照)、度々変更されるのが問題である。

n が数列 A_n に含まれるか、という問いを考えることにより、ある問題をはらんだ数列 テンプレート:OEIS2C(含まれるような n の列)と テンプレート:OEIS2C(含まれないような n の列)が考えられる。例えば テンプレート:OEIS2C は合成数の列であるから、合成数 2808 は A053873 に含まれる。テンプレート:OEIS2C は素数の列であるから、素数でない 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, … (テンプレート:OEIS2C) の Name の欄には The cubes: a ( n ) = n^3 と記載されている。

Sequence(数列)

数列の先頭部分。大抵の場合4行ほどにわたって記載されているが、この部分だけ見ても、長い有限数列か無限数列かは区別できない。区別するためには Keyword の欄(後述)を見る必要がある。

Offset(オフセット)

ここで言うオフセットとは、初項が第何項であるか、ということである。すなわちオフセットが n のとき、初項は a ( n ) と表される。例えば、平方数の列 a ( n ) = n^2 (テンプレート:OEIS2C) 0, 1, 4, 9, 16, 25, … のオフセットは 0 であるが、もし 1, 4, 9, 16, 25, … で始まるならオフセットは 1 である。ほとんどの数列のオフセットは 0 か 1 であるが、次のようにそれ以外のオフセットを持つ数列もある。

テンプレート:OEIS2C
オフセットが 3 である数列の例。初項 a ( 3 ) は、なるべく小さな素数と 1 を用いて 3 × 3 の魔方陣を作ったときの、各行の和。以下、a ( n ) は n × n の魔方陣を考えたときのその値。
テンプレート:OEIS2C
オフセットが -1 である数列の例。初項 a ( -1 ) は -1等星、すなわち視等級が -1.5 から -0.5 までの恒星の個数。-1等星はシリウスカノープスのみであるから a ( -1 ) = 2 である。以下、a ( n ) は n 等星の恒星の個数(ただし、変光星二重星をどう扱うかによって個数は変動する)。先の方では隣り合う項の比がほぼ一定になるという主張が興味深い。

時には初項に採用すべき項について意見が分かれることがある。例として、第 n 項が次の意味を持つ数列を考えよう。パンケーキに包丁を n 回入れて、なるべく多くのピースに分けたとき、ピースは何個になるか。1回ならば2個に、2回ならば4個に、3回ならば7個に切り分けることができる。OEIS におけるこの数列 テンプレート:OEIS2C は 1, 2, 4, 7, 11, 16, 22, 29, 37, … で始まる。初項の 1 は、包丁を1回も入れない場合のピースの個数を表している。すなわち、この数列のオフセットは 0 である。しかし、包丁を入れない場合を考えるのは無意味であるとの解釈もあり、MathWorld は 2 を初項としている[8]

オフセットは重要な項目であるが、ときどき数列の投稿者が、デフォルトのオフセット 1 が適当かどうかをチェックすることを怠るために混乱がおこる。

Offset の欄には通常ふたつの数が記載されている。ひとつ目の数は上に説明された意味を持ち、ふたつ目の数は「絶対値が 1 より大きな数が初めて現れるのは初項から数えて何項目か」を表している。このふたつ目の数は、検索の速度を上げるのに役立っている。例えば、第 n 項が位数 n のの個数である数列 テンプレート:OEIS2C は 1, 1, 1, 2 で始まり、その前に n の項が 0 である 0 が並んでいるので、オフセットの欄には 0, 5 と記載されている。また、全ての項が 0, 1, -1 のどれかならば、ふたつ目の数は 1 と記載される。

Comment(コメント)

この欄には、他の欄に記載されるのが適当でないあらゆる情報が記載される。他の数列との興味ある関係や、定義からすぐに導かれるわけではない応用例などである。

例えば Lekray Beedassy は立方数の列 テンプレート:OEIS2C に次の意味のコメントを与えている。「三角形の二辺を n 等分し、各等分点を向かい合う頂点と線分で結ぶ。その図形内に三角形は(重なりあっているものを含めて)n^3 個ある。」

各コメントにはそのコメントを書いた人の名前と日付が付けられているが、それが省略されている場合は、そのコメントを書いたのは数列を投稿した人である(Author の欄を参照)。

References(参考文献)

その数列を扱っている文献。多くは英語で書かれた論文や専門書である。

Links(リンク集)

関連するサイトへのリンク集。多くは個人的なサイトであり、そのサイトの著者名も記されている。

Formula(公式)

種々の公式が与えられている。その数列の各項を与える閉じた計算式(もし存在すればだが)をはじめ、漸化式や他の数列との関係式などもこの欄で与えられる。

Example(例)

ある項がなぜその数になるかの説明。定義だけでは意味が分かりにくい場合に、この欄が用意されていることがある。

Maple, Mathematica, Program(プログラム)

その数列を計算するためのプログラム。比較的簡単なコードで書かれており、計算効率は考慮されていないことが多い。MapleMathematica のプログラムには固有の欄が用意されるが、その他の数式処理ソフト(PARI/GP, Magma, MATLAB, Python, Excel など)によるプログラムはそのソフト名とともに一括して Program の欄に記載される。

Crossrefs(相互参照)

関連する数列への内部リンク。

Cf. の部分は、投稿者が関係が深いと認めた数列である。Adjacent sequences: の部分は、ID が近いいくつかの数列である。Sequence in context: の部分は、辞書式順序でその数列の前後にあるいくつかの数列である。ただし、OEIS における順序では、基本的に符号および先頭部分の 0, 1, -1 たちは無視する。

Keyword(キーワード)

OEIS は各々の数列を特徴付ける4文字程度のアルファベットの列をいくつか用意している[9]

base
定義が基数に依存することを意味する。例えば、回文素数の列 2, 3, 5, 7, 11, 101, 131, 151, 181, … (テンプレート:OEIS2C) は10進法という特殊事情が大きく働いている。実際、2進法で表すとその多くは回文数にならない。ある意味でこのキーワードが付されるべきであっても、そのようになっていない数列もある。例えば、メルセンヌ素数の列 3, 7, 31, 127, 8191, 131071, … (テンプレート:OEIS2C) はキーワード欄に base がないが、メルセンヌ素数は2進法に関するレピュニット素数とも解釈できる。
bref
その数列の知られている部分が非常に短く、分析するには情報が足りないことを意味する。このキーワードが付いている数列の例として、テンプレート:OEIS2C の第 n 項は、n 個の元からなる集合上の二項演算であって、次の2条件を満たすものの個数である。(1) 結合的である。すなわち、任意の x, y, z に対して (x * y) * z = x * (y * z) を満たす。(2) 反可換である。すなわち、任意の x, y に対して x * y ≠ y * x を満たす。この数列は a ( 4 ) までしか知られていない。
cofr
ある数の連分数展開により得られる数列であることを意味する。例えばネイピア数のものは テンプレート:OEIS2C である。
cons
円周率やネイピア数のような数学的に重要な定数の各桁の数を並べてできる数列であることを意味する。例えばネイピア数のものは テンプレート:OEIS2C である。
core
素数列 (テンプレート:OEIS2C) やフィボナッチ数列 (テンプレート:OEIS2C) のように、数学のある分野において基本的かつ重要な数列であることを意味する。
dead
誤りを含む数列であることを意味する。正しい数列へ導くポインタとしての役割のみ担っている。大抵の場合は二重に登録されたものであって、本質的には正しい数列と同じものである。例えば、メルセンヌ素数の列 テンプレート:OEIS2C に対する テンプレート:OEIS2C など。
dumb
主観的なキーワードの一つであり、重要でないことを意味する。数学に関係があるものも関係ないものもある。前者の例としては、円周率とネイピア数の各桁の数を交互に並べたもの (テンプレート:OEIS2C) があり、後者の例としては、キーボードのテンキーの数字を螺旋状に読んだもの (テンプレート:OEIS2C) がある。
easy
数列の各項が簡単に計算できることを意味する。おそらく、このキーワードが付されるに最もふさわしい数列は自然数の列 1, 2, 3, 4, 5, 6, 7, … (テンプレート:OEIS2C) であろう。このキーワードは「f ( m ) の形をした素数の列」というタイプの数列に付けられることもある。例えば、n^2 + 1 の形の素数の列 (テンプレート:OEIS2C) がそうである。確かに n^2 + 1 を計算するのは易しいが、それが素数であるかどうかを判定することは一般には難しい。そのような素数が無限に存在するかどうかさえわかっていない。
eigen
固有数列 (eigensequence) であることを意味する。スローンは論文[10]において、ある数列の変換によって不変である数列を固有数列と名付けた。例えば、数列におけるオイラー変換とは次の式によって anbn に移す変換である。
[math]1+\sum_{n=1}^\infty b_n x^n = \prod_{n=1}^\infty \frac{1}{(1-x^n)^{a_n}}[/math]
a ( n ) が「節点の個数が n 個である根つき木の個数」である数列 (テンプレート:OEIS2C) は(オフセットを適切に解釈することによって)この変換に関して不変である。
fini
数列が有限であることを意味する。ただし、このキーワードが付いているからといって、表示されている項で全てであるとは限らない。例えば テンプレート:OEIS2Cローマ数字 I, V, X, L, C, D, M を少なくとも一回ずつ用いてできる数、すなわち一種のパンデジタル数の列)では、全ての項の4分の1ほどが表示されているだけであり、末項は 3888 (MMMDCCCLXXXVIII) である。
frac
分数列の分子または分母のみを取り出した数列であることを意味する。ほとんどの場合は、分子の列と分母の列は相互参照されている。ただし、テンプレート:OEIS2C のように、片方(この場合は 1 が並んだ数列 テンプレート:OEIS2C である)が明らかな場合は省略されることもある。
full
数列が有限であって、なおかつ表示されているもので全てであることを意味する。このキーワードが付いている場合は、fini も同時に付いていることになる。例えば、散在型単純群English版 はちょうど 26 個存在することが知られており、その位数の列 テンプレート:OEIS2C にはこのキーワードが付されている。
hard
数列の各項を求めることが易しくはないことを意味する。このキーワードは未解決問題に対応する数列にしばしば付される。例えば、テンプレート:OEIS2C の第 n 項は、n 次元単位を格子状に並べた際に一つの球が接することのできる球の最大個数である(格子状という条件を除けば、より難しい接吻数問題に対応する)。最初の10項(オフセットが 0 なので9次元まで)のみが知られている。
less
主観的なキーワードであるが、あまり面白くはない数列であることを意味する。
look
数列をグラフ上にプロットした時、視覚的に面白い並び方になることを意味する。
more
表示されている部分より先は知られていないが、求めるのはそれほど難しくないであろうと思われることを意味する。例えば bref の解説で例示された テンプレート:OEIS2C にはこのキーワードが付されている。「もっと先を求めてみませんか?」といったニュアンス。
mult
数列が乗法的であることを意味する。数列が乗法的であるとは a ( 1 ) = 1 であって、互いに素な二つの整数 m, n に対して a ( m n ) = a ( m ) a ( n ) を満たすことである。例えば、テンプレート:OEIS2Cゼータ関数 ζ に対し、
[math]\frac{\zeta(s)}{\zeta(s-2)}=\sum_{n=1}^\infty \frac{a_n}{n^s}[/math]
で与えられる数列 an であるが、これは乗法的である。
new
その時点から約2週間以内に、新しく投稿されたものであるか大幅に書き直されたものであることを意味する。このキーワードは投稿フォームのチェックボックスには存在せず、新しい数列には自動的に付加される。
nice
そのままの意味であり、おそらく最も主観的なキーワードである。
nonn
数列が非負整数のみで構成されていることを表す。知られている部分が非負整数であることを表すのであって、無限の先まで非負整数であることを保証するものではない。また、採用されるオフセットに依存する場合もある。例えば、立方数の列 テンプレート:OEIS2C はオフセットが負ならば負の整数を含むが、オフセットが 0 であるためにこのキーワードが付されている。
obsc
定義が不明瞭であり、もっと良い記述が望まれることを意味する。
probation
仮に登録されたものの、後に編集者によって削除されるかもしれないことを意味する。
sign
数列が負の数を含むことを意味する。このキーワードが付いた数列は、符号のデータと絶対値のデータに分けて管理されている。
tabf
やや不規則だが面白い形に並んだ数から得られたものであることを意味する。例えば テンプレート:OEIS2C はルール 110 のセル・オートマトンから得られた数列である[11]。次の tabl と似ているが、そこで例示するパスカルの三角形から得られる数列が、初項から1項、2項、3項、… ずつ区切れば由来が分かるのに対し、tabf では1項、1項、2項、2項または1項、3項、5項のように不規則に区切らなければ由来が見えないという違いがある。
tabl
数列が幾何学模様(三角形や四角形など)に並んだものから得られたものであることを意味する。例えば テンプレート:OEIS2Cパスカルの三角形を一列に並べたものである。
uned
データベースに加えられるべきものだと思われるが、スローンがまだ項目を編集していないことを意味する。通常は項目が正しいかどうかチェックされるのだが、時間がなくてチェックが追い付かない場合にこのキーワードが付される。誰かが注意深くチェックしてスローンに報告することが求められている。
unkn
ほとんど何も知られていないことを意味する。例えば テンプレート:OEIS2C はウェブ上で話題にされたものであるが、詳しいことはわかっていない。公式または計算方法をスローンに知らせることが求められている。
walk
一筆書きする方法の個数を表す数列であることを意味する。例えば テンプレート:OEIS2C は正方形状に並んだ n^2 個の点を(点から次の点へは最短距離で結ぶようにして)一筆書きする方法の個数である。
word
特定の言語に依存する数列であること意味する。例えば 4, 3, 3, 5, 4, 4, 3, 5, 5, 4, 3, 6, 6, 8, 8, 7, 7, 9, 8, 8, … (テンプレート:OEIS2C) は zero, one, two, three, four, five, … の文字数である(21 以降ではハイフンまたは空白は数えない)。

いくつかのキーワードは互いに排他的である。すなわち両立しない組み合わせとして core と dumb、easy と hard、full と more、less と nice、nonn と sign がある。

Author(著者)

たとえその数列が古くから知られていたとしても、この欄には OEIS への投稿者が記される。著者の名前はフルネームで与えられる。すなわち、ファーストネームの完全なスペル、ミドルネーム(もしあれば)、ラストネームが記される。Reference や Links の欄では通常名前が省略されることと対照的である。また、著者のメールアドレスが記される。その際、アットマークは (AT) で代用される。A055000 以降の多くの数列では、投稿した日付も記されている。特によく投稿する人の名前は略記される。例えば、スローン自身は njas と表記されている[12]

検索の方法

OEIS で数列を検索するにはいくつかの方法がある。以下、その方法について解説する。

数列の一部を入力する

整数をいくつか入力すると、それらを項に含む数列を検索できる。各項は空白かコンマで区切るが、その両者では意味が異なり、コンマで区切った場合は項の並びも指定したことになる。

検索結果を絞り込むために、a ( 2 ) から a ( 7 ) までをコンマ区切りで入力することが推奨されている。それでもなお、望む程度に検索結果が絞り込まれない場合もある。

マイナスの記号を入力することはできるが、それらは基本的に無視される。例えば、第 n 項が n^2 から n 番目のフィボナッチ数を引いたものである数列 0, 3, 7, 13, 20, 28, 36, 43, 47, 45, 32, 0, -64 を入力すると、符号を入れ替えた数列 0, -3, -7, -13, -20, -28, -36, -43, -47, -45, -32, 0, 64 (テンプレート:OEIS2C) が検索される。signed: を先頭に入力すればマイナスの記号は無視されない。

単語を入力する

アルファベットや記号からなる文字列を入力すれば、記事内にその文字列を含む数列を検索できる。

多角数を検索する場合には注意が必要である。12角数 (dodecagonal numbers) よりも先では、ギリシャ語の接頭辞を用いた表現ではなく、n-gonal numbers で検索する必要がある。例えば、47角数は heptaquartagonal numbers ではなく、47-gonal numbers で登録されている。

文字列が存在する欄を指定することもできる。例えば、keyword:more や offset:-2 などと入力すればよい。

ID を入力する

各々の数列に付された ID で検索する方法もある。A796 と入力すれば、記事内に A000796 を含む全ての項目が検索できる。ID が A000796 である数列のみ表示したいならば、id:A796 と入力すればよい。

脚注

  1. 1.0 1.1 サイトトップページ 最下部の表記より "Last modified March 29 22:32 EDT 2018. Contains 301549 sequences."
  2. Notice Welcome - Copyright Noticeの項目より "This database and its associated files are copyright 2011 by The OEIS Foundation Inc." 最終アクセス 2012年1月4日
  3. Recent Additions のページで最新の追加項目を見る事が出来る。 最終アクセス 2012年1月4日
  4. Journal of Integer Sequences 論文を無料でダウンロード可能
  5. http://oeis.org/wiki/Welcome#OEIS:_Brief_History OEIS: Brief history]
  6. Transfer of IP in OEIS to The OEIS Foundation Inc.
  7. Harvey Heinz, Minimum Consecutive Primes -3 この場合の最小の魔方陣
  8. Weisstein, Eric W. “Circle Division by Lines”. MathWorld(英語). Template:Cite webの呼び出しエラー:引数 accessdate は必須です。
  9. Keywords OEIS で用いられるキーワードの一覧
  10. M. Bernstein & N. J. A. Sloane, Some canonical sequences of integers, Linear Algebra and its Applications, 226-228 (1995), 57-72. ps ファイル
  11. Weisstein, Eric W. “Rule 110”. MathWorld(英語). Template:Cite webの呼び出しエラー:引数 accessdate は必須です。
  12. Author OEIS における著者の表示のルール

関連項目

外部リンク