概要

On-Line Encyclopedia of Integer Sequences は、一般に OEIS と略され、スローンのものとも呼ばれる、整数列の整理された検索可能な収集物です。数学、計算機科学、物理、娯楽的問題、その他の分野に現れる列を集めており、列を特定したり学んだりするための標準的な参照先として機能します。データベースでは各項目に固有の識別子が割り当てられ、通常は「A」で始まる番号で示されます。たとえばフィボナッチ数列は A000045 です。また、初めの項、重要なメタデータ、参考文献が掲載されています。利用者はウェブインターフェースの OEIS データベース や、より広いウェブ資源として オンライン からこのプロジェクトにアクセスできます。

構成と典型的な項目

OEIS の各項目は、利用者が列を認識し、理解し、活用しやすいように構成されています。主な要素には次のようなものがあります。

  • 先頭項: パターンを示す最初の整数列。
  • 定義と公式: 分かっている場合は、説明、閉形式、漸化式、生成関数など。
  • キーワードと分類: 「easy」「nonn」「proved」や、分野を示す短いタグ。
  • 参考文献とリンク: 書籍や論文への引用、ソフトウェアや関連列へのリンク。
  • プログラムとデータ: 例示的なコード断片（Maple、Mathematica、Python）や、項の一覧のダウンロード。
  • コメントと相互参照: 投稿者による注記や、関連項目への参照。

歴史と発展

この収集は、数学者 Neil J. A. Sloane が個人的に管理していたカード目録として始まり、関心の広がりとともに共有資源へと発展しました。やがて世界中の投稿者が列、訂正、より深い解説を追加するようになりました。プロジェクトはオンラインで検索可能な形式へ移行し、投稿と編集のためのコミュニティ手続きも整えられました。現在はボランティアの編集者と運営組織によって維持されており、新しい列や計算ツールが登場するたびに更新され続けています。

検索、ツール、投稿

OEIS には複数の検索方法があります。連続する項を並べて列を探す方法（部分列検索）、キーワードによる検索、公式による検索、A番号による検索が可能です。サイトはプロット表示や音声化などの補助ツールも備えており、項の音による表現を再生してパターンを確認できる項目もよくあります。広く知られた列の例としては、フィボナッチ数列 (Fibonacci) や 2 の冪 (powers of two) があり、ほかにも多くの古典的な列や組合せ論的な族を列検索で見つけられます。対話的な機能は、新しい列の投稿や既存項目への注釈付けを利用者に促します。

用途、例、意義

OEIS は、研究者、学生、パズル解答者、ソフトウェア開発者に利用されています。計算の中に現れた列の同定、参考文献や証明の手がかり、数値データへの即時アクセスに役立ちます。典型的な用途としては、計算で得た数列が既知の列に一致するかを確認すること、起こりうる公式や漸化式を見つけること、ある列が研究された文献を探すことなどがあります。また、このリポジトリは、カタラン数、素数に関連する列、特定用途の整数配列といった直感的な例を集めることで、教育的な役割も果たしています。

注目すべき特徴と違い

OEIS をほかの数学資源と区別する特徴には、具体的な整数列への強い焦点、多数の投稿者からなる大規模なコミュニティ、そして人間による解説と計算ツールの組み合わせがあります。項目は簡潔な A 番号で識別され、広範に相互参照されています。通常の文章情報に加えて、この百科事典は視覚的・聴覚的な表示やダウンロード可能なデータも提供し、実験数学や再現可能な研究を支えています。検索方法や対話機能の詳細は、プロジェクト概要の ツールと機能 を参照してください。