表示的意味論
すでに存在する言語の意味論を利用して言語を説明する
参考
『アンダースタンディングコンピュテーション』