Symbolic Computing

/sɪmˈbɒlɪk kəmˈpjuːtɪŋ/ シンボリック コンピューティング

1. 数式や論理式などの記号表現を直接操作する計算手法。

数値の計算ではなく、記号や数式そのものをコンピュータで操作・処理する分野を指します。例えば、方程式を解いたり、微分・積分を行ったりする際に、数値的な近似ではなく、記号の形で正確な解を導出するアプローチです。

Symbolic computing is often used in computer algebra systems. (記号計算は、しばしばコンピュータ代数システムで用いられます。)

• Symbolic computing: 記号計算。数式などを記号として扱う計算のこと。
• is: 〜である、と状態を表す動詞。
• often: しばしば、頻繁に。
• used: 使われる、利用される。
• in: 〜の中で、〜において。
• computer algebra systems: コンピュータ代数システム。数式処理を行うためのソフトウェアシステム。

Unlike numerical computing, symbolic computing provides exact solutions. (数値計算とは異なり、記号計算は厳密な解を提供します。)

• Unlike: 〜とは異なり。
• numerical computing: 数値計算。近似値を用いる計算手法。
• symbolic computing: 記号計算。
• provides: 提供する、与える。
• exact solutions: 厳密解。近似ではない正確な答え。

Developing algorithms for symbolic computing is a complex task. (記号計算のためのアルゴリズムを開発するのは複雑な作業です。)

• Developing: 開発すること。
• algorithms: アルゴリズム。問題を解決するための手順。
• for: 〜のための。
• symbolic computing: 記号計算。
• is: 〜である、と状態を表す動詞。
• a complex task: 複雑なタスク。難しい課題。

関連

• Computer algebra
• Automated theorem proving
• Lisp
• Prolog
• Wolfram Mathematica
• Maple
• AI
• Symbolic AI
• Knowledge representation