表示的意味論は数学の概念に対応付けることがその目的で、
操作的意味論は全て(数学を含む)を抽象的な機械の動作で表現する
っていう、まったく反対の方向を向いているっていうことですか？