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


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

論理変数 : ウィキペディア日本語版
ブーリアン型[ぶーりあんがた]
ブーリアン型(ブーリアンがた、)は、真理値の「真 = 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.