decidability
|de/ci/da/bi/li/ty|
/dɪˌsaɪdəˈbɪləti/
決定可能であること
can be decided
語源
「decidability」はラテン語の動詞「decidere」から派生し、接頭辞「de-」は「離れて・切り離す」、語根「caedere」は「切る」を意味しました。現代語では英語の動詞 'decide' に名詞化接尾辞が付いて形成されています。
「decidere」は古フランス語の 'decider' を経て中英語の 'deciden' / 'decide' になり、そこから形容詞 'decidable'、さらに名詞 'decidability' が作られました。
元々は『切り離す』という物理的な意味があり、やがて『決定する』の意味に移り、現代では『決定できるという性質』(特に論理学・計算機科学での性質)を指します。
品詞ごとの意味
名詞 1
(論理学・計算機科学での)決定可能性。ある決定問題や形式理論について、すべての入力に対して正しくYes/Noを出す(停止する)アルゴリズムが存在する性質
The decidability of first-order theories varies: some are decidable while others are known to be undecidable.
一階述語論理の決定可能性は場合によって異なる:ある理論は決定可能だが、他は決定不可能であることが知られている。
同意語
反意語
名詞 2
決定できること、決められるという性質(一般的な用法)
The committee questioned the decidability of the issue before moving to a vote.
委員会は投票に移る前にその問題が決定可能かどうかを問題視した。
同意語
反意語
最終更新時刻: 2025/12/14 19:23
