小窓モード


プレミアム

ログイン
設定

設定

decidableとは 意味・読み方・使い方

発音を聞く
プレーヤー再生
ピン留め

追加できません

(登録数上限)

単語を追加

意味・対訳 決定可能な


コンピューター用語辞典での「decidable」の意味

decidable

形容詞

決定可能


「decidable」を含む例文一覧

該当件数 : 15



例文

To make accurately decidable whether or not next transfer paper exists at fixed timing.例文帳に追加

一定のタイミングで次の転写紙の有無の正確な判定を可能にする。 - 特許庁

PRINTED MATTER OF TRUTH OR FALSEHOOD DECIDABLE SECURITIES AND THE LIKE AND DECIDING METHOD THEREFOR例文帳に追加

真偽判定可能な有価証券類の印刷物及びその真偽判定方法 - 特許庁

For the reachable property node, a quantifier-free formula (QFP) in a decidable subset of first order logic is determined.例文帳に追加

到達可能なプロパティ・ノードに対して、1次論理の決定可能なサブセット内の限定記号のない数式(QFP)を決定する。 - 特許庁

To make precisely decidable areas and to set various areas while eliminating the need for change to a mechanical part.例文帳に追加

精度良い領域判定を可能にすると共に、機械的な部分への変更を不要にしながら種々の領域設定への対処を容易可能にする。 - 特許庁

To widely notify/provide real-time retail information about a plurality of stores in the same trade of a region, where consumers normally go shopping in a comparatively decidable way.例文帳に追加

消費者が常日頃購買している地域の同業の複数店についてのリアルタイムな小売り情報を、比較判断できる形で周知・提供すること。 - 特許庁

The sub CPU 33a performs extinguishing controls and lighting controls on the basis of a decided light emission pattern from light emissions patterns set as decidable in the frequency recognition process with the input of the sense signals.例文帳に追加

サブCPU33aは、検知信号を入力したことを契機として、周波数識別処理において決定することができると設定された発光パターンの中から決定した発光パターン基づき消灯制御及び点灯制御を行う。 - 特許庁

例文

To provide a performance instructing device improving operability by making a flow of music graspable and making even in a beginner a key to be depressed instantly decidable.例文帳に追加

曲の流れを把握できるとともに、初心者でも押鍵すべき鍵を瞬時に判断することができ、これにより操作性を向上させることが可能な演奏指示装置を提供する。 - 特許庁

>>例文の一覧を見る


調べた例文を記録して、 効率よく覚えましょう
Weblio会員登録無料で登録できます!
  • 履歴機能
    履歴機能
    過去に調べた
    単語を確認!
  • 語彙力診断
    語彙力診断
    診断回数が
    増える!
  • マイ単語帳
    マイ単語帳
    便利な
    学習機能付き!
  • マイ例文帳
    マイ例文帳
    文章で
    単語を理解!
  • その他にも便利な機能が満載!
Weblio会員登録(無料)はこちらから

Weblio英語表現辞典での「decidable」の意味

decidable

品詞 形容詞

訳語 決定可能な


Wiktionary英語版での「decidable」の意味

decidable

語源

decide +‎ -able

発音

形容詞

decidable (comparative more decidable, superlative most decidable)

  1. capable of being decided.
  2. (computer science) describing a set for which there exists an algorithm that will determine whether any element is or is not within the set in a finite amount of time.
    It is easy to show that the set of even numbers is decidable by creating the relevant Turing machine.
  3. (logic) in intuitionistic logic, a proposition P is decidable in a given theory if it can be proven from the theory that "either P or not P", i.e. in symbols: .[1]

反意語

派生語

関連する語


「decidable」を含む例文一覧

該当件数 : 15



例文

When any result which is contradictory to the law of a compression number is calculated, it is decided that the answer of multiplication is not correct, and when the result is not contradictory to the law of a compression number, the correctness of the answer of multiplication is not decidable.例文帳に追加

ただし、圧縮数の法則に矛盾する結果が出た場合は、掛け算の答えが不正解であると判定できるが、圧縮数の法則に矛盾しない場合は、掛け算の答えの正否は判定できない。 - 特許庁

To make easily decidable the presence or absence of a wire break or short circuit, to shorten the inspection time, and to improve the productivity of a liquid crystal display panel for segment display.例文帳に追加

セグメント表示用の液晶表示パネルにおいて、断線もしくは短絡の有無を容易に判別でき、検査時間を短縮し、生産性を向上する。 - 特許庁

To preliminarily make it decidable whether reservations are able to be executed normally or not when reservations of recordings and reproductions by a timer are to be peformed at the time of performing the recording and reproducing of the plural channels.例文帳に追加

複数チャンネルの記録再生を行う際、タイマーによる記録再生予約を行う場合、予約が正常に実行出来るかどうかを予め判定出来ない。 - 特許庁

When any result which is contradictory to the law of a compression number is calculated, it is decided that the answer of multiplication is wrong, and when the result is not contradictory to the law of a compression number, the correctness of the answer of multiplication is not decidable.例文帳に追加

ただし、圧縮数の法則に矛盾する結果が出た場合は、掛け算の答えが間違っていると判定できるが、圧縮数の法則に矛盾しない場合は、掛け算の答えの正否は判定できない。 - 特許庁

Semantic attribute information decidable from a line of morpheme information obtained by morpheme analysis is previously specified, and the obtained semantic attribute information is imparted to a morpheme analysis result in a form not affecting a parsing process and is transferred to parsing.例文帳に追加

形態素解析によって得られる形態素情報の並びから判定可能な意味属性情報をあらかじめ特定しておき、得られた意味属性情報を構文解析処理に影響を与えない形式で形態素解析結果に付与した上で構文解析に渡す。 - 特許庁

The mutation effect of font is obtained by making a character font correspond to a function having values on a plane on which the character font is drawn, moving the values of the function with an advection equation by using a vector field on the optionally decidable plane, and drawing the font corresponding to the moved function.例文帳に追加

文字フォントと、文字フォントが描かれる平面上に値を持つ関数を対応させ、任意に決定できる平面上のベクトル場を用いて、その関数を移流方程式によって値を移動させ、移動後の関数に対応するフォントを描画することで、フォントの変形効果を得る。 - 特許庁

Communication information such as unattended incoming call of a transmission or incoming call history is made to be decidable at a glance by changing partially or entirely the display form of the transmission or incoming call history in order to solve the problem of being difficult to confirm the communication information.例文帳に追加

発信又は着信履歴の不在着信等の通信情報を確認しづらいという課題を解消する為に、発信又は着信履歴の一部又は全ての表示態様を変更することにより、一目で判断できるようにすることを目的とする。 - 特許庁

例文

An intermesh memory element (500) comprises a plurality of memory components (204) having decidable resistance values, and a plurality of electronic switches (206) which control currents flowing in the memory components and each of which gives potential to one memory component or a plurality of the memory components.例文帳に追加

インターメッシュ・メモリ素子(500)は、決定可能な抵抗値を有するようにそれぞれ構成された複数のメモリ・コンポーネント(204)と、メモリ・コンポーネント内を流れる電流を制御して1つまたは複数のメモリ・コンポーネントに電位がかけられるようにそれぞれ構成された複数の電子スイッチ(206)とを含む。 - 特許庁

>>例文の一覧を見る


decidableのページの著作権
英和・和英辞典 情報提供元は 参加元一覧 にて確認できます。

   
日外アソシエーツ株式会社日外アソシエーツ株式会社
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、Wiktionaryのdecidable (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。
Wikimedia CommonsThis file is available under Creative Commons Attribution/Share-Alike License(CC-BY-SA); additional terms may apply.
Weblio英和・和英辞典に掲載されているWikimedia Commonsの音声ファイルはCreative Commons Attribution-ShareAlike (CC-BY-SA)ライセンスの下で利用可能です。追加の条件が適用される場合があります。詳細はFile:En-us-decidable.oggのライセンス要件を参照ください。

ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。

こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

このモジュールを今後表示しない
みんなの検索ランキング
閲覧履歴
無料会員登録をすると、
単語の閲覧履歴を
確認できます。
無料会員に登録する
英→日 日→英
こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

©2024 GRAS Group, Inc.RSS