はじめに

標準 Pascal と数についてのおさらいです (ちょびっと Delphi)。

数

自然数 (ℕ) は整数 (ℤ) に含まれ、整数は有理数 (ℚ) に含まれ、有理数は実数 (ℝ) に含まれます (ℕ⊂ℤ⊂ℚ⊂ℝ)。

加算	減算	乗算	除算
〇	△	〇	△

例えば byte 型 (UInt8) は部分範囲型を使って次のように定義する事ができます。

type
  byte = 0..255;

標準 Pascal の場合、次の順序値が存在しない場合に順序型関数 Succ() はエラーを返しますが、Delphi だとエラーにならない事があります。次のコードは Delphi だと 0 が表示されます。

program SuccTest(output);
type
  byte = 0..255;
var
  v: byte;
begin
  v := 255;
  v := Succ(v);
  Writeln(v);
end.

コンパイラ指令 {$R+} で範囲チェックを行うようにすれば実行時エラーになります。

program SuccTest(output);
{$R+}
  ...

Delphi には Byte 型をはじめとした符号なし整数型が複数用意されています。

See also:

加算	減算	乗算	除算
〇	〇	〇	△

See also:

加算	減算	乗算	除算
〇	〇	〇	〇

See also:

加算	減算	乗算	除算
〇	〇	〇	〇

Pascal の古い仕様では Real 型は実数の部分集合という扱いでした。概念的にはそうなのでしょうが、Pascal の集合型ではどうやっても Real 型と同等な型を定義できません。コンピュータのリソースには限りがありますからね。

See also:

数について学ぶと、標準 Pascal にあるルーチンや演算子の存在する理由がなんとなく解ります。

標準 Pascal には複素数 (ℂ) を計算するための機能が備わっていません。

See also: