Turing jump
(computing theory) In computability theory, an operation that assigns to each decision problem X a successively harder decision problem X′ with the property that X′ is not decidable by an oracle machine with an oracle for X.
plural of joint lock
(Gnosticism) The name of the Demiurge or 'False God'. Created when Sophia (one of the lesser aeons) tried to emanate without her counterpart (Christ).
(law) Abbreviation of United States District Court for the Western District of Texas, as used in case citations.
セミナーで研究者は、チューリングジャンプが各決定問題Xに対して、Xをオラクルとして持ついかなるオラクル機械でも決定できない後続の問題X′を割り当てる仕組みを例を使って示した。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★