そもそもプログラミング言語の意味論が処理系と無関係とかw
操作的意味論って知ってるか?www