形式的意味論で定義していないプログラム言語は
意味関数で定義できないということを意味しているの？