1. C++パッチでnoexcept契約を検証する手法

    [PROGRAMMING]

    C++の小規模な修正で、正常系の出力確認だけでは例外仕様の互換性を見落とし得るとして、入力ごとに隔離したビルドと評価記録を用いる検証手順を提案している。