Ada言語の魅力を紹介します。強い型付け、範囲制約、パッケージによる仕様と実装の分離、契約による設計、言語組み込みのタスク、SPARKによる形式検証、GNATとAlireでの開発環境まで、高信頼ソフトウェアを支える設計思想を整理します。 Archived version of https://comcomponent.com/blog/ada-language-appeal/, as published on 2026-07-26. The live article is maintained and may change after this date. First published 2026-06-12.
AdaのAnnex D(リアルタイムシステム)を8つの実践的なコード例で学びます。タスク優先度、Ceiling_Locking、delay untilによる周期実行、Ravenscarプロファイル、タスク別実行時間計測まで段階的に整理します。 Archived version of https://comcomponent.com/blog/ada-real-time-systems/, as published on 2026-07-26. The live article is maintained and may change after this…
Adaのサブセット言語SPARKによる形式検証の実践的な入門記事です。契約(Pre/Post)から証明へステップアップする方法、GNATproveの使い方、ループ不変条件、データフロー契約、証明レベル、そして実プロジェクトへの適用方法までを整理します。 Archived version of https://comcomponent.com/blog/ada-spark-formal-verification/, as published on 2026-07-26. The live article is maintained and may chan…
Adaのジェネリックプログラミングを、総称サブプログラム、総称パッケージ、仮サブプログラム、型カテゴリ、実務上の設計指針まで体系的に解説します。型安全な再利用とゼロコスト抽象化の考え方を整理します。 Archived version of https://comcomponent.com/blog/ada-generic-programming/, as published on 2026-07-26. The live article is maintained and may change after this date. First publish…
Adaの言語組み込み並行処理であるタスクと保護オブジェクトの入門記事です。ランデブー(entry/accept)、選択的アクセプト、保護オブジェクトによる排他制御、タイムアウト付き呼び出し、タスク優先度まで整理します。 Archived version of https://comcomponent.com/blog/ada-task-concurrency/, as published on 2026-07-26. The live article is maintained and may change after this date. First…
POSITION / RESEARCH-GAP NOTE. Version 1.1 (2026-07-26); first published 2026-07-18. This note establishes no empirical result and must not be cited as one. It argues a structural gap and gives the design specification of the study that would close it. — The gap — A family of acco…
Isaías Rodríguez Aguirre, Mineralwater Xu
[3.7.2] - 2026-07-26 Fixed Native File Dialog Linkage: Enforced static library compilation (BUILD_SHARED_LIBS=OFF) for nativefiledialog-extended (nfd) on Linux to resolve runtime libnfd.so.1 shared library loading errors. [3.7.0] - 2026-07-24 Added Multi-Vendor GPU Acceleration F…