微積分（曖昧さ回避）

無料辞書のウィクショナリーで微積分学を調べてください。

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

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

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

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

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

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

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

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

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

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

この曖昧さ回避ページは、タイトル「微積分」に関連する記事を一覧表示します。
内部リンクからこのページに移動した場合は、リンクを目的の記事に直接変更することをお勧めします。