Documentation Mathematica Mathematicaツアー

Mathematica の統合されたアイディア

Mathematica はすべてが記号式で表されるという，強力な統合されたアイディアに基づいている．

すべての数式表現は基本型式である の結合により構築されている．

要素のリスト

代数式

方程式

論理式

コマンド

グラフィックス

抽象数学記法

ボタン

ノートブックのセル

数式表現の一貫性により，任意の構文が簡単にMathematica に付加できる．

化合物

電気回路

Mathematica のすべての操作は，究極的には記号式の変換である．Mathematica には，変換規則を適用するための独自の強力なパターンマッチ機能が備わっている．

「/.」はMathematica に簡単な変換規則を適用するよう指示する．

x_とy_は任意の式を表すので，x_+ y_ というパターンは項の和を表す．

Mathematica はパターンを用いて関数の概念を一般的に表現する．

Mathematica はパターンを用いて，関数の概念を一般化する．以下は，任意のxに対して使われる通常の関数定義である．

一般定義に優先される特殊なケース．

fの使用例を示す．

fに与えられた定義をクリアする．

パターンが使用できるということによる重要な特徴により，「関数」は任意の構造の引数が取れる．

パターンを使うことで，「関数」は任意の構造の引数を取ることができる．

以下では，Circleオブジェクトが引数として与えられたときの「関数」領域の値を指定する．

論理簡約化規則を実装する．