「décidable」のコアイメージコアイメージ
有限回の手順を進めれば、答えを必ず判定できる性質
「décidable」のフランス語での定義フランス語での定義
Qui peut être résolu par une procédure déterminée donnant une réponse après un nombre fini d'étapes.
「décidable」の語源語源
décidableは、déciderに可能を表す接尾辞-ableが付いた形で、déciderはラテン語 decidere に由来
「décidable」のコラムコラム
- 計算可能性理論では、problème décidableに対しては必ず停止する判定手続きが存在し、停止問題はその反対の代表例