ブーリアン型
(論理変数 から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/10/07 08:50 UTC 版)
ブーリアン型（ブーリアンがた、英: Boolean datatype）は、真理値の「真 = true」と「偽 = false」という2値をとるデータ型である。ブーリアン、ブール型、論理型（logical datatype）などともいう。2種類の値を持つ列挙型とも、2進で1ケタすなわち1ビットの整数型とも、見ることもできる。
- ^ Error Handling in COM | Microsoft Docs
- ^ エラー処理 - cppreference.com
- ^ sizeof (C# リファレンス) | Microsoft Docs
- ^ Truthy
- ^ Falsy
- ^ exists - perldoc.perl.org
- ^ defined - perldoc.perl.org
- ^ “Special method names: Basic customization”. Python Language Reference. 2008年2月3日閲覧。[リンク切れ]
- ^ “GNU Smalltalk Library Reference: True”. www.gnu.org. 2018年6月28日閲覧。
- ^ “GNU Smalltalk Library Reference: False”. www.gnu.org. 2018年6月28日閲覧。
- ^ CType Function - Visual Basic | Microsoft Docs
- ^ Strings.Len Method (Microsoft.VisualBasic) | Microsoft Docs
- ^ Boolean Data Type (Visual Basic) | Microsoft Docs
論理変数
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/10/03 01:23 UTC 版)
「並行論理プログラミング」の記事における「論理変数」の解説
C言語などのプログラミング言語の変数は値の格納場所であって、計算が進むに従って内容が変化する。論理プログラミングでの変数は数学的な変数に近いもので、何らかの値につけた名前である。値は決まっているか決まっていないかのいずれかで、プログラムの実行に従い徐々に論理変数を使わずに表現できる具体的な値を持つようになる。値は一度決まってしまえばその後変わることはない。並行論理プログラミングの強力さの多くはこれらの論理変数の性質による。値が変わることはない性質により、従来言語で並行プログラミングを行う際に問題になる、共有変数の値更新に伴う煩雑なクリティカルセクションの問題をプログラマーが意識する必要はなくなる。また、変数自身に不定の概念が含まれているため、ストリームのように先頭の要素からインクリメンタルに決まり残りの要素が不定のデータを、例えば[data|X](Xは論理変数)のように論理変数を含めたリストとして自然に表現できる。並行論理プログラミングでは通信チャネルとして論理変数を使うが、同時に他のプロセスに論理変数を含めたデータを送ることもできるため、他プロセスに通信チャネル自身をデータと同じように渡すことができる。並行論理プログラミング言語では、通信チャネルは第一級のオブジェクトである。
※この「論理変数」の解説は、「並行論理プログラミング」の解説の一部です。
「論理変数」を含む「並行論理プログラミング」の記事については、「並行論理プログラミング」の概要を参照ください。
- 論理変数のページへのリンク
