アサーションチェック Assertion 表明。 プログラム中の変数間で真となる条件をチェックする事。 テストコードとほぼ同義。 GoogleTestなどの自動テストを構築するときはアサーションチェックを記述している。 コード追跡 デバッガのこと。トレーサも含む。 …

忘れていたので復習。 有限オートマトンとは… 「有限個の状態と状態遷移のある振る舞いの抽象的なモデル」 ある瞬間において入力値が決まれば次の状態遷移が記述されているモデル。 その状態の数が有限個あるという事。 出題パターンとしては２種類。 (1)オ…