TERMWIRE
No.0835 ― 更新日 2026-09-13 ― 関連語 2件
ていしせいもんだい ／ Halting Problem
あるプログラムが、いつか処理を終えて止まるのか、それとも永遠に止まらないのかを、事前に必ず判定できる方法は存在しないという理論。
どんなプログラムに対しても、実行する前にそれが停止するかどうかを100%正確に判定してくれる万能な別のプログラムは、原理的に作ることができないということが数学的に証明されている。
無限ループを完全に自動で検出するツールは理論上作れないという限界を示しており、コンピュータサイエンスの基礎理論として学ばれる。