微積分（曖昧さ回避）

微積分（ラテン語の calculus （ 「小石」の意味、複数形はcalculī ）に由来）は、最も一般的な意味では、計算の方法またはシステムです。

微積分とは次のようなものを指します。

生物学

• カルキュラス（クモ）、Oonopidae科の属
• Caseolus calculus、小型陸生カタツムリの属および種

薬

• 歯石（歯垢）、歯に沈着したリン酸カルシウム塩、歯石とも呼ばれる
• 結石（医学）胆石や腎臓結石など、体内に形成される石

数学

• 微積分学（または単に微積分学）は、運動と変化率を研究する学問です。
  • 微分積分
  • 積分学
  • 非標準微積分学、ロビンソンの無限小数を用いた無限小数微積分学へのアプローチ
• 和と差の微積分（差分演算子）は、差分微積分とも呼ばれ、「微積分」の離散的な類似物です。
• 関数計算、演算子に様々なタイプの関数を適用する方法
• 代数幾何学の一分野であるシューベルト計算
• テンソル計算（テンソル解析とも呼ばれる）は、テンソル場を含むベクトル計算の一般化である。
  • ベクトル計算（ベクトル解析とも呼ばれる）は、内積空間におけるベクトルの多変数解析のための特殊な表記法から構成される。
  • 行列計算、行列空間上の多変数計算のための特殊な表記法
• 数値計算（数値解析とも呼ばれる）、数値近似の研究
• アンブラル計算、多項式上の特定の演算の組合せ論
• 変分法は、関数の極値化を扱う研究分野である。
• 伊藤計算確率過程への計算の拡張。

論理

• 論理計算、前提から式を導き出すための言語と規則を定義する形式体系
  • 命題論理学は、命題の論理を支配する推論の規則を規定する。
  • 述語論理は、述語の論理を支配する推論規則を規定する。
  • 証明計算、論理的推論のシステムを表現する枠組み
    • シーケント計算、一階述語論理の証明計算
    • サークエント計算、サークエントと呼ばれるグラフ形式の構造に基づく証明計算
  • 状況計算、動的システム内の関係を記述するための枠組み
    • イベント計算、イベントとその影響についての推論モデル
    • 流暢な計算、動的システム内の関係を記述するためのモデル
• 関係の計算、集合代数による二項関係の操作、関係の合成、転置関係
• イプシロン計算、量指定子をイプシロン演算子に置き換えた論理言語
• 様相μ計算、モデル検査などの形式検証手法で使用される一般的な時相論理

物理

• ボンダイk計算、相対性理論で用いられる手法
• ジョーンズ計算は光学において偏光を記述するために使用される。
• 光学において、非干渉性の光の偏光を記述するストークスベクトルを扱うために使用されるミュラー計算
• 演算計算は、電子工学で生じる微分方程式を解くために使用されます。

正式な言語

• ラムダ計算は、計算理論と深いつながりを持つ反射関数の理論の定式化である。
  • カッパ計算、型付きラムダ計算の第一階フラグメントの再定式化
  • ロー計算はラムダ計算に書き換えを均一に統合する一般的な手段として導入された。
• プロセス計算、並行システムの形式モデルを定式化する一連のアプローチ
  • アンビエント計算、エージェントモビリティの概念に基づく並行システムのためのモデル群
  • 分散プログラミング言語の設計のための理論モデルである結合計算
  • π計算、同時通信プロセスの理論の定式化
• リレーショナル計算、リレーショナルデータモデルのための計算
  • ドメインリレーショナル計算
  • タプル計算
• プログラムのモデルを効率的なプログラムに洗練する方法である洗練計算

その他の意味

• 微積分（複数形はcalculi ）、ローマの計算トークン
• 戦場計算、意思決定と行動計画のプロセスにおけるすべての既知の要素の軍事的計算
• 過失計算、注意義務違反の有無を判断するための米国不法行為法の法的基準
• ベンサムによれば、行為の利益を評価する手順である幸福計算
• 漫画『タンタンの冒険』に登場する架空の人物、カルキュラス教授

参照

• 微積分トピックのリスト