結果 : computer language theory