C++の型でファームウェアの取り違えを防ぐ：単位と値の検証の境界

2026年9月30日の「Building Safer Firmware in Modern C++」開催告知をきっかけに、値の意味を型で表す設計を掘り下げます。単位や引数の取り違えをコンパイル時に防ぐ仕組みと、実行時の入力検証が残る境界を整理します。