固定小数点型(fixed point type)

誤差の上限をdeltaで指定し、値を刻み(small)の整数倍で表すAdaの実数型。普通の固定小数点型と、smallがdeltaに等しく10のべき乗になる10進固定小数点型がある。

概念URI

https://comcomponent.com/knowledge/ada-fixed-point-type/

別名・表記

fixed point type / 10進固定小数点型 / decimal fixed point type

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• Ada(プログラミング言語)は固定小数点型(fixed point type)の実装を担います。固定小数点型はAdaの言語仕様が定める実数の型で、普通の固定小数点型と10進固定小数点型がある。10進固定小数点型はsmallがdeltaと同じ10のべき乗なので、0.001 mm刻みの図面の値を誤差なく表せる。記事の例では、Long_Floatのまま比べると上限ちょうどの5.10 mmが不合格になり、'Roundで丸めてから比べると合格になった。 / 確度: 確立した関係 / 確認日: 2026-11-10 出典 出典
• 固定小数点型(fixed point type)は範囲制約(range constraint)を利用します。記事のScaled_Lengthでは、固定小数点型の宣言にrangeを書いて値の範囲を決めている。固定小数点型どうしの掛け算の結果をMmに型変換するときに、範囲検査が行われる。 / 確度: 確立した関係 / 確認日: 2026-11-10 出典 出典

この概念を扱う記事

• ピクセルとミリメートルを型で分ける ── Adaで寸法検査の単位の取り違えを防ぐ(言及)

一次資料

• https://ada-lang.io/docs/arm/AA-3/AA-3.5/

このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。