表示的意味論の実装