「décidabilité」のコアイメージコアイメージ
問題の答えを、必ず停止する手続きで判定できる性質
「décidabilité」のフランス語での定義フランス語での定義
Caractère d'un problème dont la réponse peut être déterminée par une procédure qui s'arrête toujours.
「décidabilité」の語源語源
décidabilitéは、déciderから作られた形容詞 décidableに、性質を表す接尾辞 -ité が付いた名詞
「décidabilité」のコラムコラム
- décidabilitéは、答えを出せても計算に非常に長い時間がかかる場合を含み、解きやすさや速さを表す語ではない