コード生成とデバッグ支援のためのモデル。