プログラミング言語／プログラム実行の意味論を記述するには、ある程度決まったやり方（定石）があります。それを紹介します。単に書き方のルールを並べるのでは退屈ですから、具体的な例を使って説明します。その例に使う言語の名前がUMiToL（ウミトル） --…