本日は形容詞の用法です。

・If R is a subset of N whose complement is finite, then R is decidable.  (補集合が有限の N があり、その部分集合がRならば、Rは決まる。) 

books.google.co.jp

【研究】decidableは「決定する」または「明白な」などの意味になります。

次回からはdelayの用法を扱います。