オンライン整数列大辞典

サイトにおける慣習

データベースに登録されている全ての数列には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 である。しかし、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 の欄（後述）を見る必要がある。

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 たちは無視する。

Author（著者）

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

検索の方法

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 (A014283) が検索される。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 と入力すればよい。