モジュラー型

演算結果が範囲を超えると指定した法で剰余をとって折り返す、Adaの符号なし整数型。

概念URI

https://comcomponent.com/knowledge/ada-modular-type/

別名・表記

modular type / mod型

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• Ada(プログラミング言語)はモジュラー型の実装を担います。mod で宣言した型は演算結果が範囲を超えると剰余で折り返す。符号付き整数型は範囲を超えると Constraint_Error になる。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典

この概念を扱う記事

• Ada と Rust の安全性の考え方の違い ── 型・オーバーフロー・所有権・データ競合・形式検証を実際に動かして比べる(言及)

一次資料

• https://www.adaic.org/resources/add_content/standards/22rm/html/RM-3-5-4.html

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