停止性
停止性 英語表記: Finiteness 概要 停止性（Finiteness）とは、アルゴリズムが、どのような正当な入力に対しても、必ず有限の時間とステップ数で処理を終え、結果を出力するか、または処理の失敗を通知しなけれ […]
性質と要件
このカテゴリの用語
有効性
有効性 英語表記: Effectiveness 概要 有効性（Effectiveness）とは、アルゴリズムを構成する個々の処理手順が、現実的な時間とリソースで確実に実行可能であり、その結果が明確に定義されているという性 […]
正当性
正当性 英語表記: Correctness 概要 正当性（Correctness）とは、アルゴリズムがどのような入力に対しても、期待される仕様通りに必ず正しい結果を出力するという性質を指します。これは、私たちがアルゴリズ […]