代数的仕様記述使って仮想機械を定義して、
その仮想機械で意味論定義するのは、
表示的意味論にカウントしてもいいですか？
それとも、やっぱ操作的意味論？(ｶﾞｯｸｼ