Wolframにおける現在の研究プロジェクト

計算言語の設計

すべてについて統一的な計算表現を作成するという長期プロジェクト

アルゴリズム開発

独自のアルゴリズムだけでなく，アルゴリズムの自動選択や調整を行うためのメタアルゴリズムも常に開発

Computational X

すべての分野に計算パラダイムを適用するためのテクノロジーとエコシステムの構築

量子科学と量子技術

量子計算のための記号的フレームワークの開発と，主要な企業および学術機関のステークホルダーとの連携

AI

シンボリックAIから生成AIのためのツールまで，数十年に渡りAIの科学と応用を先導

自動コードアシスタント

AIでコードプロジェクトを構築しテストする新しいフレームワークの開発

ブロックチェーンテクノロジー

分散型システムの革新に計算知能を応用

Multicomputation

物理学と数学における新たな基盤となるアイデアを通じて並列性を再概念化

数学的形式化

数学を形式化し，計算可能にする新しい手法を開拓

情報提示の自動化

視覚情報の提示のために，新しいアルゴリズムやヒューリスティックを常に開発

UX革新

1987年の計算ノートブックの発明に始まり，インタラクティブ計算の限界に挑戦

記号的コンパイル

最新の理論手法を用いて，高度なコンパイル技術の最前線を推し進める

リサーチセッションのライブ配信

2017年以降，作業ミーティングをライブ配信することで，オープンサイエンスとオープンソフトウェア設計を先導

「私たちは自分たちが使うためにWolfram言語を構築しました．しかし，これを使ってこれほど多くの科学が発見でき，これほど多くの技術が発明できるとは夢にも思いませんでした．世界中の多くの人々がこの言語を用いてどれほどのことを成し遂げてきたかは言うまでもありません．」 —Stephen Wolfram

これまでの研究成果の一部

• 2D入力シンタックス(1996)
• 自動化されたダークモード(2025)
• クラウドノートブック(2014)
• 計算可能ドキュメント(1996)
• 計算知識ベース(2009)
• 制御精度計算(1988)
• 言語入力としてのグラフ(2010)
• 言語要素としての画像(2008)
• 即時API(2014)
• 統合された自由形式入力(2010)
• 統合された並列計算(2008)
• 文字のような数学演算子(1996)
• 多方向系(2002)
• 自然言語の数学理解(2009)
• ノートブック(1987)
• パターンベースのプログラミング(1987)
• 区分微積分(2004)
• 記号的グラフィックス(1988)
• 記号的数値解法(1991)
• 記号的確率計算(2010)
• 記号的プログラミング(1987)
• 記号的な現実世界の実体(2007)
• 記号的システム工学(2012)
• 記号的ユーザインターフェース(2007)
• 超越根(2008)
• ...その他

Wolfram言語の新バージョンはすべて，多数の研究開発の成果に基づいて構築されています．

研究型の教育プログラム

研究支援プロジェクト

数学の歴史

五次方程式を解く

計算知識の年表

ブリユアン領域ビューア

リーマンゼータのポスター

特殊関数ライブラリ

---

MathWorld

Wolfram Function Repository

Wolfram GitHub