翻訳と辞書
Words near each other
・ 論理否定
・ 論理和
・ 論理和の導入
・ 論理和の消去
・ 論理哲学
・ 論理哲学論考
・ 論理回路
・ 論理型
・ 論理型プログラミング
・ 論理型言語
論理変数
・ 論理学
・ 論理学の哲学
・ 論理学の歴史
・ 論理学体系
・ 論理学史
・ 論理学者
・ 論理定項
・ 論理実証主義
・ 論理実証主義者


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

論理変数 : ミニ英和和英辞書
論理変数[ろんり]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

: [ろん]
 【名詞】 1. (1) argument 2. discussion 3. dispute 4. controversy 5. discourse 6. debate 7. (2) theory 8. doctrine 9. (3) essay 10. treatise 1 1. comment
論理 : [ろんり]
 【名詞】 1. logic 
: [り]
 【名詞】 1. reason 
: [へん]
  1. (adj-na,n) change 2. incident 3. disturbance 4. strange 5. flat (music) 6. odd 7. peculiar 8. suspicious-looking 9. queer 10. eccentric 1 1. funny 1
変数 : [へんすう]
 (n) variable (e.g., math)
: [すう, かず]
  1. (n,n-suf) number 2. figure 

論理変数 ( リダイレクト:ブーリアン型 ) : ウィキペディア日本語版
ブーリアン型[ぶーりあんがた]
ブーリアン型(ブーリアンがた、)は、真理値の「真 = true」と「偽 = false」という2値をとる基本データ型である。また、ブーリアンブール型論理型()ともいう。1桁のバイナリ数値データ型(つまり1ビットのデータ型)と見ることもできる。
if文の条件式の値は、このデータ型として使われることが多い。また、各種ブール演算を行うことができ、論理積 (AND, &,
*
)、論理和 (OR, |, +)、排他的論理和 (XOR, NEQV, ^)、同値 (EQV, =, ==)、非同値 (NEQV, <>, !=)、否定 (NOT, ~, !)などの操作が可能である。これらの演算はブール代数の演算に対応している。
====
では、BooleanStandard パッケージにあり、False および True という値をとる列挙型として定義されている。ここで、False < True である。

type Boolean is (False, True);
p : Boolean := True;
...
if p then
...
end if;

比較演算子(=, /=, <, <=, >, >=)は Boolean を含めた全ての列挙型に適用可能である。ブール演算子 andorxornotBoolean について定義されており、その派生型にも適用可能である。ブール演算子は Boolean の配列にも適用可能である。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「ブーリアン型」の詳細全文を読む

英語版ウィキペディアに対照対訳語「 Boolean data type 」があります。




スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.