BURANは、すべてがパターンであり、すべての計算がパターン変換を通じて行われるプログラミング言語です。
["ご挨拶申し上げます！"] ↦ [stdout]
階乗 {
[0] ↦ [1]
[𝑛] ↦ [𝑛 × 階乗(𝑛 − 1)]
}
階乗([5]) ↦ [120]
if、return、match キーワードなし — パターンそのものがロジックです。標準的な数学記法（×、−、𝑛）により、定義が数式として読めます。変換矢印 ↦ はデータフローを明示的に示します。
手続きや操作の順序を記述するのではなく、Buranプログラムはデータのパターンが他のパターンにどのように変換されるかを定義し、エレガントで統一された計算モデルを作り出します。非人間によるコーディングと開発を念頭に設計され、Buranの一貫した構文と明確なセマンティクスは機械生成に理想的でありながら、人間にも読みやすいものとなっています。これには、ISO 80000-2標準記法を使用してプログラムを書ける数学者や、文法規則をパターン変換として直接表現できる言語学者などの専門家も含まれます。
開発中 — 仕様とリファレンス実装は2026年初頭に公開予定
パラダイム
Buranは、パターン変換モデルの下で複数の計算パラダイムを統合しています：
応用分野
計算言語学
Buranは、テキストの分析、変換、構造化が必要な自然言語処理タスクに優れています。パターンマッチングを基盤とすることで、文法規則、形態論的変換、構文解析を自然に表現できます。Unicodeと拡張書記素クラスタのサポートにより、あらゆる人間の言語のテキストを適切に処理できます。
数学的計算
ISO標準に従った数学記法のネイティブサポートにより、Buranは数学者や科学者が紙に書くように式を書くことを可能にします。行列、複素数、記号的微積分、統計のためのドメイン固有の評価により、記法の明確さを維持しながら高度な数学的計算を実現します。
汎用プログラミング
専門分野を超えて、Buranは有能な汎用言語として機能します。そのパターン変換モデルは、データ処理パイプライン、構成の変換、構造を認識して対応する出力を生成するあらゆるタスクを自然に表現します。統一された構文により、異なる問題領域間での認知負荷が軽減されます。
記号計算
記号処理にルーツを持つこの言語は、計算機代数システム、定理証明器、形式検証ツールに最適です。パターンは数学的表現、論理式、または任意の構造化された記号データを表現でき、変換は推論規則や代数的簡約を実装します。
哲学
Buranの核心には、計算とは本質的にパターンを認識し、対応する結果を生成することであるという信念があります。パターンを第一級市民とし、変換を普遍的な操作とすることで、言語は驚くべき一貫性を達成します：データ構造、関数定義、型宣言、I/O操作のすべてが同じパターンベースのモデルに従います。
この言語はUnicodeを後付けではなく、基本的な設計決定として採用しており、言語規則、数学的公式、または一般的なアルゴリズムを表現する場合でも、プログラムが自然に読めるようになっています。人間が読める記法へのこのコミットメントは、形式仕様と直感的理解の間のギャップを埋めるというBuranの目標を反映しています。
起源
Buranは、記号操作とパターンマッチングを単なる便利機能ではなく基本的な操作として扱った言語から特に影響を受け、60年以上にわたるプログラミング言語研究のアイデアを統合しています。
パーニニのアシュターディヤーイー
紀元前約400年最初の形式言語システム。パーニニのサンスクリット文法は、言語パターンを表層形式に変換する約4,000の代数的書き換え規則で構成されています。この古代インドの傑作は、現代の計算を2千年先取りしました—そのスートラはパターン変換規則であり、すべてのルールベースプログラミングの概念的祖先となっています。
数学記法
1557年数学の形式言語。数学者たちは何世紀にもわたって、複雑なアイデアを簡潔かつ明確に表現するための精密な記号記法を開発してきました。Buranは標準的な数学記法をISO 80000-2規約に従って直接実行可能なコードとして扱い、数学者が数式を書くようにプログラムを書けるようにします。
Lisp
1958元祖の記号計算言語。Lispは、プログラムとデータが同じ表現を共有でき、メタプログラミングと記号操作を可能にすることを確立しました。Buranは、この同図像性を普遍的なパターン構文を通じて継承しています。
SNOBOL
1962バックトラッキングを伴う高度な文字列パターンマッチングを先駆けました。SNOBOLは、パターンマッチングが単なる文字列操作ではなく、主要な制御構造になりうることを示しました。Buranはこのビジョンをすべてのデータ型に拡張しています。
Refal
1966最も直接的な祖先。ソビエト連邦で開発されたRefalは、パターン変換を完全な計算モデルとして導入しました。プログラムは、式がパターンとマッチし結果に変換される書き換え規則のシステムでした。Refalは、この言語の名前の由来となったソビエトのブラン宇宙船の自律飛行システムのプログラミングに使用されたと言われています。Buranのコアセマンティクスは、Refalのビジョンから直接派生しています。
Prolog
1972ユニフィケーションを通じてパターンマッチングを論理プログラミングにもたらしました。Prologは、宣言的なパターンベースの仕様が命令型アルゴリズムを置き換えられることを示しました。Buranは、Prologの論理変数セマンティクスを避けながら、この宣言的精神を採用しています。
ML
1973パターンマッチングを静的型付けと代数的データ型と統合しました。MLは、パターンマッチングと型安全性がエレガントに共存できることを証明しました。Buranのアイデンティティメタデータを通じた型システムは、ドキュメントとしての型というMLの哲学を反映しています。
APL
1966数学記法が実行可能であることを示しました。配列操作のための特殊記号を使用するAPLは、自然な数学的表現のためのUnicode採用を先取りしていました。両言語とも、実践者の思考に合った記法を優先しています。
Wolfram Language
1988記号的パターンマッチングと計算数学を組み合わせました。Wolfram Languageの変換ルールとドメイン固有の評価戦略は、Buranの数学的計算へのアプローチとそのドメインシステムに直接影響を与えました。
Haskell
1990遅延評価を持つ純粋関数型コンテキストでパターンマッチングを洗練させました。Haskellのガード、where節、パターン構文は、Buranのパターンガードシステムと組成的プログラム構築へのアプローチに影響を与えました。
これらの基盤から、Buranは統合として現れます：パーニニの書き換え規則、数学記法の形式的精度、Refalの変換モデル、Lispの記号的柔軟性、SNOBOLのパターンの洗練、Prologの宣言的明確さ、MLの型規律、APLの記法的大胆さ、Wolframの数学的ドメイン、そしてHaskellの関数的エレガンス。結果は、パターン変換を多くの機能の一つとしてではなく、すべての計算の統一原理として扱う言語です。
この統合により、Buranは新しい計算時代に位置づけられます。その一貫したパターンベースのセマンティクスは、機械生成に理想的に適しています—AIシステムは、歴史的な不規則性に縛られた言語よりも、正確なBuranコードをより確実に生成できます。同時に、同じ一貫性がドメインネイティブな記法と組み合わさることで、Buranはプログラミング経験のない専門家にも真にアクセス可能になります：実行可能な数式を書く数学者、文法をエンコードする言語学者、モデルを表現する科学者。Buranは人間の専門知識と機械の実行の間のギャップを埋め、両方に役立つ計算への道を提供します。
X-Buran
識別子x-buranは、複数のコンテキストで統一された技術的アイデンティティとして機能します：
言語コード
有効なBCP 47私用タグです。HTMLではlang="x-buran"、HTTPではContent-Language: x-buranを使用して、多言語コンテキストでBuranソースコードを識別します。
ドメイン
x-buran.comの公式ホームです。Buranプログラミング言語のドキュメント、仕様、リソースを提供します。
HTTPヘッダー
X-Buran-VersionやX-Buran-Domainなどのカスタムヘッダーは、プロトコル層を通じてBuran処理コンテンツに関するメタデータを伝達できます。
創始
プログラマー。言語学者。ハーバード大学卒業。小学3年生でクラスメートにプログラミングを教えた。
2025年にBuranを創造。記号計算とパターンマッチング言語の数十年にわたる研究からインスピレーションを得て、新しい計算時代のための現代的な言語を作り出しました。