1 級（運用意味論）サンプル問題 / Grade 1 sample questions

Kairos 言語検定の 1 級——運用まで設計できる（covering・評価註釈・external・決定性）——のサンプル問題。教本は 1 級教本 — 運用意味論（各章末の「演習」がここの問題）。

形式: 出力予測＝式と評価範囲から出力を答える（末尾の「検証」節をリファレンス実装か Playground で再現できる）・概念＝仕様の理解を問う（仕様の該当行が根拠）。各問題は言語仕様の §参照つき——正本は常に言語仕様。