技術士試験(情報工学部門)・情報技術者試験。ファーストマクロ。

�@　静的な型検査とは、コンパイル時に型に関するエラーを検査することである。

�A　型検査を行うことにより、エラーを発見できる可能性が高まる。

�B　オブジェクト指向言語においては、オブジェクトに対する型検査は行わない。

�C　整数型 (32bit) の値を浮動小数点数型 (32bit) の値に変換すると、精度の喪失が起きる可能性がある。

�D　演算子や関数の多重定義 (オーバーローディング) を許す言語では、演算の対象の型によって異なる処理を行うことができる。

�@　正しい説明である。

�A　正しい説明である。

�B　適切でない。オブジェクトに対する型検査は行う。

�C　2ⁿ × 1.仮数部 で表せない整数は、精度の喪失が起こる。

�D　正しい説明である。